CIRC: A behavioral verification tool based on circular coinduction D Lucanu, EI Goriac, G Caltais, G Roşu Algebra and Coalgebra in Computer Science: Third International Conference …, 2009 | 57 | 2009 |
PREG Axiomatizer–A ground bisimilarity checker for GSOS with predicates L Aceto, G Caltais, EI Goriac, A Ingolfsdottir Algebra and Coalgebra in Computer Science: 4th International Conference …, 2011 | 11 | 2011 |
A decision procedure for bisimilarity of generalized regular expressions M Bonsangue, G Caltais, EI Goriac, D Lucanu, J Rutten, A Silva Formal Methods: Foundations and Applications: 13th Brazilian Symposium on …, 2011 | 10 | 2011 |
Automating coinduction with case analysis EI Goriac, D Lucanu, G Roşu International Conference on Formal Engineering Methods, 220-236, 2010 | 10 | 2010 |
Algebraic meta-theory of processes with data D Gebler, EI Goriac, MR Mousavi arXiv preprint arXiv:1307.7444, 2013 | 9 | 2013 |
Axiomatizing GSOS with predicates L Aceto, G Caltais, EI Goriac, A Ingólfsdóttir arXiv preprint arXiv:1108.3124, 2011 | 7 | 2011 |
Patterns for Maude metalanguage applications EI Goriac, G Caltais, D Lucanu, O Andrei, G Grigoraş Electronic Notes in Theoretical Computer Science 238 (3), 121-138, 2009 | 6 | 2009 |
Exploiting algebraic laws to improve mechanized axiomatizations L Aceto, EI Goriac, A Ingolfsdottir, MR Mousavi, MA Reniers International Conference on Algebra and Coalgebra in Computer Science, 36-50, 2013 | 5 | 2013 |
Meta SOS-a maude based SOS meta-theory framework L Aceto, EI Goriac, A Ingolfsdottir arXiv preprint arXiv:1307.7446, 2013 | 5 | 2013 |
A Rewrite Stack Machine for ROC! G Caltais, EI Goriac, D Lucanu, G Grigoras 2008 10th International Symposium on Symbolic and Numeric Algorithms for …, 2008 | 4 | 2008 |
SOS rule formats for idempotent terms and idempotent unary operators L Aceto, EI Goriac, A Ingólfsdóttir International Conference on Current Trends in Theory and Practice of …, 2013 | 3 | 2013 |
Automated proving of the behavioral attributes G Grigoras, D Lucanu, G Caltais, EI Goriac 2009 Fourth Balkan Conference in Informatics, 33-38, 2009 | 3 | 2009 |
A ground-complete axiomatization of stateless bisimilarity over Linda L Aceto, EI Goriac, A Ingólfsdóttir Information Processing Letters 115 (2), 212-220, 2015 | 2 | 2015 |
Automatic equivalence proofs for non-deterministic coalgebras M Bonsangue, G Caltais, EI Goriac, D Lucanu, J Rutten, A Silva Science of Computer Programming 78 (9), 1324-1345, 2013 | 2 | 2013 |
Simplification and Generalization in CIRC EI Goriac, G Caltais, D Lucanu 2009 11th International Symposium on Symbolic and Numeric Algorithms for …, 2009 | 2 | 2009 |
SOS rule formats for idempotent terms and idempotent unary operators L Aceto, A Ingolfsdottir, EI Goriac The Journal of Logic and Algebraic Programming 83 (1), 64-80, 2014 | 1 | 2014 |
Axiomatizations from Structural Operational Semantics: Theory and Tools EI Goriac Háskólinn í Reykjavík, 2013 | | 2013 |