InstitutionLeiden Institute of Advanced Computer Science (LIACS)<br> Centre for Mathematics and Computer Science (CWI)Emailmarcello@liacs.nlStatusCollaboratorPublications2015Model checking recursive programs interacting via the heapIrina Asavoae, Frank de Boer, Marcello Bonsangue, Dorel Lucanu, Jurriann Rot Journal2013Automatic equivalence proofs for non-deterministic coalgebrasMarcello Bonsangue, Georgiana Caltais, Eugen Goriac, Dorel Lucanu, Jan Rutten, Alexandra Silva Journal2012Interacting via the Heap in the Presence of RecursionJurriann Rot, Irina Asavoae, Frank de Boer, Marcello Bonsangue, Dorel Lucanu ConferenceBounded Model Checking of Recursive Programs with Pointers in KIrina Asavoae, Frank de Boer, Marcello Bonsangue, Dorel Lucanu, Jurriann Rot Conference2011A decision procedure for bisimilarity of generalized regular expressionsMarcello Bonsangue, Georgiana Caltais, Eugen Goriac, Dorel Lucanu, Jan Rutten, Alexandra Silva Conference