Eugen-Ioan Goriac Coauthor index pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Other views: by type - by year (modern) - classic-C
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
DBLP keys2013
c9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Luca Aceto, Eugen-Ioan Goriac, Anna Ingólfsdóttir: SOS Rule Formats for Idempotent Terms and Idempotent Unary Operators. SOFSEM 2013: 108-120
i1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Marcello M. Bonsangue, Georgiana Caltais, Eugen-Ioan Goriac, Dorel Lucanu, Jan J. M. M. Rutten, Alexandra Silva: Automatic Equivalence Proofs for Non-deterministic Coalgebras. CoRR abs/1303.1994 (2013)
2011
c8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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
c7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Luca Aceto, Georgiana Caltais, Eugen-Ioan Goriac, Anna Ingólfsdóttir: Axiomatizing GSOS with Predicates. SOS 2011: 1-15
2010
c6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Eugen-Ioan Goriac, Dorel Lucanu, Grigore Rosu: Automating Coinduction with Case Analysis. ICFEM 2010: 220-236
c5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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
j1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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)
c4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Gheorghe Grigoras, Dorel Lucanu, Georgiana Caltais, Eugen-Ioan Goriac: Automated Proving of the Behavioral Attributes. BCI 2009: 33-38
c3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Dorel Lucanu, Eugen-Ioan Goriac, Georgiana Caltais, Grigore Rosu: CIRC: A Behavioral Verification Tool Based on Circular Coinduction. CALCO 2009: 433-442
c2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Eugen-Ioan Goriac, Georgiana Caltais, Dorel Lucanu: Simplification and Generalization in CIRC. SYNASC 2009: 85-92
2008
c1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Georgiana Caltais, Eugen-Ioan Goriac, Dorel Lucanu, Gheorghe Grigoras: A Rewrite Stack Machine for ROC!. SYNASC 2008: 85-91

Coauthor Index

1Luca Aceto
[c9] [c8] [c7]
2Oana Andrei
[j1]
3Marcello M. Bonsangue
[i1] [c5]
4Georgiana Caltais
[i1] [c8] [c7] [c5] [j1] [c4] [c3] [c2] [c1]
5Gheorghe Grigoras
[j1] [c4] [c1]
6Anna Ingólfsdóttir
[c9] [c8] [c7]
7Dorel Lucanu
[i1] [c6] [c5] [j1] [c4] [c3] [c2] [c1]
8Grigore Rosu
[c6] [c3]
9Jan J. M. M. Rutten
[i1] [c5]
10Alexandra Silva
[i1] [c5]
Home | Conferences | Journals | Series | FAQ — Search: Faceted | Free | Complete | Author
Last update Mon May 20 10:58:10 2013 CET by the DBLP Team — This material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page