Eugen-Ioan Goriac

From FSL
Jump to: navigation, search

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

Personal tools
Namespaces

Variants
Actions
Navigation