Mihnea Iancu

14 papers C 4Journal 2Unranked 7
YearRankTypeTitle / Venue / Authors
2017
Mihnea Iancu
2016 C conf
CICM
Paul-Olivier Dehaye, Mihnea Iancu, Michael Kohlhase, Alexander Konovalov, Samuel Lelièvre, Dennis Müller, Markus Pfeiffer, Florian Rabe, Nicolas M. Thiéry, Tom Wiesing
2016 conf
ICMS
Deyan Ginev, Mihnea Iancu, Constantin Jucovshi, Andrea Kohlhase, Michael Kohlhase, Akbar Oripov, Jürgen Schefter, Wolfram Sperber, Olaf Teschke, Tom Wiesing
2015 C conf
CICM
Mihnea Iancu, Michael Kohlhase
2015 conf
LWA
Enxhell Luzhnica, Mihnea Iancu, Michael Kohlhase
2015 C conf
CICM
Mihnea Iancu, Michael Kohlhase
2015 conf
CICM (Work in Progress)
Deyan Ginev, Mihnea Iancu, Constantin Jucovshi, Andrea Kohlhase, Michael Kohlhase, Jürgen Schefter, Wolfram Sperber
2014 conf
ICMS
Michael Kohlhase, Mihnea Iancu
2014 conf
ICMS
Mihnea Iancu, Michael Kohlhase, Corneliu-Claudiu Prodescu
2014 C conf
CICM
Mihnea Iancu, Constantin Jucovschi, Michael Kohlhase, Tom Wiesing
2013 J jnl
J. Autom. Reason.
Mihnea Iancu, Michael Kohlhase, Florian Rabe, Josef Urban
2013 conf
CICM Workshops
Mihnea Iancu, Felix Mance, Florian Rabe
2012 conf
AISC/MKM/Calculemus
Mihnea Iancu, Florian Rabe
2011 J jnl
Math. Struct. Comput. Sci.
Mihnea Iancu, Florian Rabe