Eugen-Ioan Goriac (ICE-TCS

Identifiers

• name variant Eugen-Ioan Goriac (ICE-TCS 0.60 · backfill

Papers (2)

1. Meta SOS - A Maude Based SOS Meta-Theory Framework cs.LO · 2013 · author #5
2. Algebraic Meta-Theory of Processes with Data cs.LO · 2013 · author #3

Mentions

• 1307.7446 #5 · backfill · confidence 0.70 Eugen-Ioan Goriac (ICE-TCS
• 1307.7444 #3 · backfill · confidence 0.70 Eugen-Ioan Goriac (ICE-TCS

Frequent Coauthors

• Iceland) 2 shared papers
• Reykjavik University 2 shared papers
• School of Computer Science 2 shared papers
• Anna Ingolfsdottir (ICE-TCS 1 shared papers
• Daniel Gebler (Department of Computer Science 1 shared papers
• Halmstad University) 1 shared papers
• Luca Aceto (ICE-TCS 1 shared papers
• Mohammad Reza Mousavi (Center for Research on Embedded Systems (CERES) 1 shared papers
• VU University Amsterdam (VU)) 1 shared papers