Eugen-Ioan Goriac

From MaRDI portal
Person:477629

Available identifiers

zbMath Open goriac.eugen-ioanMaRDI QIDQ477629

List of research outcomes





PublicationDate of PublicationType
https://portal.mardi4nfdi.de/entity/Q49925022021-06-09Paper
https://portal.mardi4nfdi.de/entity/Q49658202021-03-10Paper
Patterns for Maude Metalanguage Applications2015-03-19Paper
A ground-complete axiomatization of stateless bisimilarity over Linda2014-12-09Paper
SOS Rule Formats for Idempotent Terms and Idempotent Unary Operators2014-11-04Paper
SOS rule formats for idempotent terms and idempotent unary operators2014-02-25Paper
Exploiting Algebraic Laws to Improve Mechanized Axiomatizations2013-09-13Paper
CIRC: A Behavioral Verification Tool Based on Circular Coinduction2012-06-01Paper
PREG Axiomatizer – A Ground Bisimilarity Checker for GSOS with Predicates2011-09-02Paper
A Decision Procedure for Bisimilarity of Generalized Regular Expressions2011-05-12Paper

Research outcomes over time

This page was built for person: Eugen-Ioan Goriac

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:477629&oldid=7024489"
Powered by MediaWiki