Collaborator. Eugen-Ioan Gorian is a PhD student under Luca Aceto in the School of Computer Science at Reykjavik University, Iceland. Previously, Eugen was an undergrad student working under Dorel Luanu at the "A. I. Cuza" University of Iasi, Romania.
Publications within FSL
- Automating Coinduction with Case Analysis
- Eugen-Ioan Goriac, Dorel Lucanu and Grigore Rosu
ICFEM'10, LNCS 6447, pp 220-236. 2010
PDF, LNCS, ICFEM'10, CIRC, BIB