Eugen-Ioan Goriac
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
7
Venues
4
Active years
2008–2013
Best venue rank
B
Where they publish
Papers
7 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2013 | CALCO | Exploiting Algebraic Laws to Improve Mechanized Axiomatizations. | Luca Aceto, Eugen-Ioan Goriac, Anna Inglfsdttir, Mohammad Reza Mousavi, Michel A. Reniers |
| 2013 | SOFSEM | SOS Rule Formats for Idempotent Terms and Idempotent Unary Operators. | Luca Aceto, Eugen-Ioan Goriac, Anna Inglfsdttir |
| 2011 | CALCO | PREG Axiomatizer - A Ground Bisimilarity Checker for GSOS with Predicates. | Luca Aceto, Georgiana Caltais, Eugen-Ioan Goriac, Anna Inglfsdttir |
| 2010 | ICFEM | Automating Coinduction with Case Analysis. | Eugen-Ioan Goriac, Dorel Lucanu, Grigore Rosu |
| 2009 | CALCO | CIRC: A Behavioral Verification Tool Based on Circular Coinduction. | Dorel Lucanu, Eugen-Ioan Goriac, Georgiana Caltais, Grigore Rosu |
| 2009 | SYNASC | Simplification and Generalization in CIRC. | Eugen-Ioan Goriac, Georgiana Caltais, Dorel Lucanu |
| 2008 | SYNASC | A Rewrite Stack Machine for ROC!. | Georgiana Caltais, Eugen-Ioan Goriac, Dorel Lucanu, Gheorghe Grigoras |