 | 2011 |
|---|
| 9 |       | Luca Aceto,
Georgiana Caltais,
Eugen-Ioan Goriac,
Anna Ingólfsdóttir:
PREG Axiomatizer - A Ground Bisimilarity Checker for GSOS with Predicates.
CALCO 2011: 378-385 |
| 8 | | Luca Aceto,
Georgiana Caltais,
Eugen-Ioan Goriac,
Anna Ingólfsdóttir:
Axiomatizing GSOS with Predicates
SOS 2011: 1-15 |
| 2010 |
|---|
| 7 | | Eugen-Ioan Goriac,
Dorel Lucanu,
Grigore Rosu:
Automating Coinduction with Case Analysis.
ICFEM 2010: 220-236 |
| 6 | | Marcello M. Bonsangue,
Georgiana Caltais,
Eugen-Ioan Goriac,
Dorel Lucanu,
Jan J. M. M. Rutten,
Alexandra Silva:
A Decision Procedure for Bisimilarity of Generalized Regular Expressions.
SBMF 2010: 226-241 |
| 2009 |
|---|
| 5 | | Gheorghe Grigoras,
Dorel Lucanu,
Georgiana Caltais,
Eugen-Ioan Goriac:
Automated Proving of the Behavioral Attributes.
BCI 2009: 33-38 |
| 4 | | Dorel Lucanu,
Eugen-Ioan Goriac,
Georgiana Caltais,
Grigore Rosu:
CIRC: A Behavioral Verification Tool Based on Circular Coinduction.
CALCO 2009: 433-442 |
| 3 | | Eugen-Ioan Goriac,
Georgiana Caltais,
Dorel Lucanu:
Simplification and Generalization in CIRC.
SYNASC 2009: 85-92 |
| 2 | | Eugen-Ioan Goriac,
Georgiana Caltais,
Dorel Lucanu,
Oana Andrei,
Gheorghe Grigoras:
Patterns for Maude Metalanguage Applications.
Electr. Notes Theor. Comput. Sci. 238(3): 121-138 (2009) |
| 2008 |
|---|
| 1 | | Georgiana Caltais,
Eugen-Ioan Goriac,
Dorel Lucanu,
Gheorghe Grigoras:
A Rewrite Stack Machine for ROC!.
SYNASC 2008: 85-91 |
Data released under the ODC-BY 1.0 license — See also our legal information page