Eugen-Ioan Goriac

Publication Activity (10 Years)

Years Active: 2008-2015
Publications (10 Years): 0

Top Topics

Complete Axiomatization

Morphological Operators

Top Venues

J. Log. Algebraic Methods Program.

Publications

Luca Aceto, Eugen-Ioan Goriac, Anna Ingólfsdóttir
A ground-complete axiomatization of stateless bisimilarity over Linda. Inf. Process. Lett. 115 (2) (2015)
Luca Aceto, Anna Ingólfsdóttir, Eugen-Ioan Goriac
SOS rule formats for idempotent terms and idempotent unary operators. J. Log. Algebraic Methods Program. 83 (1) (2014)
Luca Aceto, Eugen-Ioan Goriac, Anna Ingólfsdóttir
SOS Rule Formats for Idempotent Terms and Idempotent Unary Operators. SOFSEM (2013)
Luca Aceto, Eugen-Ioan Goriac, Anna Ingólfsdóttir, Mohammad Reza Mousavi, Michel A. Reniers
Exploiting Algebraic Laws to Improve Mechanized Axiomatizations. CALCO (2013)
Marcello M. Bonsangue, Georgiana Caltais, Eugen-Ioan Goriac, Dorel Lucanu, Jan J. M. M. Rutten, Alexandra Silva
Automatic equivalence proofs for non-deterministic coalgebras. Sci. Comput. Program. 78 (9) (2013)
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 (2013)
Luca Aceto, Eugen-Ioan Goriac, Anna Ingólfsdóttir
Meta SOS - A Maude Based SOS Meta-Theory Framework. EXPRESS/SOS (2013)
Daniel Gebler, Eugen-Ioan Goriac, Mohammad Reza Mousavi
Algebraic Meta-Theory of Processes with Data. EXPRESS/SOS (2013)
Luca Aceto, Georgiana Caltais, Eugen-Ioan Goriac, Anna Ingólfsdóttir
Axiomatizing GSOS with Predicates SOS (2011)
Luca Aceto, Georgiana Caltais, Eugen-Ioan Goriac, Anna Ingólfsdóttir
PREG Axiomatizer - A Ground Bisimilarity Checker for GSOS with Predicates. CALCO (2011)
Eugen-Ioan Goriac, Dorel Lucanu, Grigore Rosu
Automating Coinduction with Case Analysis. ICFEM (2010)
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)
Gheorghe Grigoras, Dorel Lucanu, Georgiana Caltais, Eugen-Ioan Goriac
Automated Proving of the Behavioral Attributes. BCI (2009)
Eugen-Ioan Goriac, Georgiana Caltais, Dorel Lucanu
Simplification and Generalization in CIRC. SYNASC (2009)
Dorel Lucanu, Eugen-Ioan Goriac, Georgiana Caltais, Grigore Rosu
CIRC: A Behavioral Verification Tool Based on Circular Coinduction. CALCO (2009)
Georgiana Caltais, Eugen-Ioan Goriac, Dorel Lucanu, Gheorghe Grigoras
A Rewrite Stack Machine for ROC!. SYNASC (2008)
Eugen-Ioan Goriac, Georgiana Caltais, Dorel Lucanu, Oana Andrei, Gheorghe Grigoras
Patterns for Maude Metalanguage Applications. WRLA (2008)