Eugen-Ioan Goriac

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
scientific article; zbMATH DE number 7356843 (Why is no real title available?)	2021-06-09	Paper
scientific article; zbMATH DE number 7356843 (Why is no real title available?) (available as arXiv preprint)	2021-06-09	Paper
scientific article; zbMATH DE number 7318985 (Why is no real title available?)	2021-03-10	Paper
scientific article; zbMATH DE number 7318985 (Why is no real title available?) (available as arXiv preprint)	2021-03-10	Paper
Patterns for Maude metalanguage applications Electronic Notes in Theoretical Computer Science	2015-03-19	Paper
A ground-complete axiomatization of stateless bisimilarity over Linda Information Processing Letters	2014-12-09	Paper
SOS rule formats for idempotent terms and idempotent unary operators Lecture Notes in Computer Science	2014-11-04	Paper
SOS rule formats for idempotent terms and idempotent unary operators The Journal of Logic and Algebraic Programming	2014-02-25	Paper
Exploiting algebraic laws to improve mechanized axiomatizations Algebra and Coalgebra in Computer Science	2013-09-13	Paper
CIRC: A Behavioral Verification Tool Based on Circular Coinduction Algebra and Coalgebra in Computer Science	2012-06-01	Paper
PREG axiomatizer -- a ground bisimilarity checker for GSOS with predicates Algebra and Coalgebra in Computer Science	2011-09-02	Paper
A Decision Procedure for Bisimilarity of Generalized Regular Expressions Lecture Notes in Computer Science	2011-05-12	Paper

Research outcomes over time

This page was built for person: Eugen-Ioan Goriac