Emailgcaltais@info.uaic.roStatusFormerPublications2013Automatic equivalence proofs for non-deterministic coalgebrasMarcello Bonsangue, Georgiana Caltais, Eugen Goriac, Dorel Lucanu, Jan Rutten, Alexandra Silva Journal2011A decision procedure for bisimilarity of generalized regular expressionsMarcello Bonsangue, Georgiana Caltais, Eugen Goriac, Dorel Lucanu, Jan Rutten, Alexandra Silva Conference2009CIRC : A Behavioral Verification Tool based on Circular CoinductionDorel Lucanu, Eugen Goriac, Georgiana Caltais, Grigore Rosu ConferencePatterns for Maude Metalanguage ApplicationsEugen Goriac, Georgiana Caltais, Dorel Lucanu, Oana Andrei, Gheorghe Grigoras ConferenceAutomated Proving of the Behavioral AttributesGheorghe Grigoras, Dorel Lucanu, Georgiana Caltais, Eugen Goriac Conference2008A Rewrite Stack Machine for ROC!Georgiana Caltais, Eugen Goriac, Dorel Lucanu, Gheorghe Grigoras ConferenceProjectsAutomated Verification Using Circularities (CIRC)GrantsVerificare Automata Prin Circularitati (CIRC) (CIRC)