Eugen Goriac Member Status: Former E-mail: egoriac@info.uaic.ro Publications 2013 Automatic equivalence proofs for non-deterministic coalgebras Jan Rutten and Alexandra Silva and Marcello Bonsangue and Georgiana Caltais and Eugen Goriac and Dorel Lucanu SCP BIB 2011 A decision procedure for bisimilarity of generalized regular expressions Jan Rutten and Alexandra Silva and Marcello Bonsangue and Georgiana Caltais and Eugen Goriac and Dorel Lucanu SBMF 2010 BIB 2010 Automating Coinduction with Case Analysis Grigore Rosu and Eugen Goriac and Dorel Lucanu ICFEM2010 BIB 2009 Automated Proving of the Behavioral Attributes Georgiana Caltais and Gheorghe Grigoras and Eugen Goriac and Dorel Lucanu BCI BIB CIRC : A Behavioral Verification Tool based on Circular Coinduction Grigore Rosu and Georgiana Caltais and Eugen Goriac and Dorel Lucanu CALCO BIB Patterns for Maude Metalanguage Applications Oana Andrei and Georgiana Caltais and Gheorghe Grigoras and Eugen Goriac and Dorel Lucanu WRLA 2008 BIB 2008 A Rewrite Stack Machine for ROC! Georgiana Caltais and Gheorghe Grigoras and Eugen Goriac and Dorel Lucanu SYNASC BIB
Automatic equivalence proofs for non-deterministic coalgebras Jan Rutten and Alexandra Silva and Marcello Bonsangue and Georgiana Caltais and Eugen Goriac and Dorel Lucanu SCP BIB
A decision procedure for bisimilarity of generalized regular expressions Jan Rutten and Alexandra Silva and Marcello Bonsangue and Georgiana Caltais and Eugen Goriac and Dorel Lucanu SBMF 2010 BIB
Automating Coinduction with Case Analysis Grigore Rosu and Eugen Goriac and Dorel Lucanu ICFEM2010 BIB
Automated Proving of the Behavioral Attributes Georgiana Caltais and Gheorghe Grigoras and Eugen Goriac and Dorel Lucanu BCI BIB
CIRC : A Behavioral Verification Tool based on Circular Coinduction Grigore Rosu and Georgiana Caltais and Eugen Goriac and Dorel Lucanu CALCO BIB
Patterns for Maude Metalanguage Applications Oana Andrei and Georgiana Caltais and Gheorghe Grigoras and Eugen Goriac and Dorel Lucanu WRLA 2008 BIB
A Rewrite Stack Machine for ROC! Georgiana Caltais and Gheorghe Grigoras and Eugen Goriac and Dorel Lucanu SYNASC BIB