Deyan Ginev

21 papers B 1C 2Misc 1Journal 6Unranked 11
YearRankTypeTitle / Venue / Authors
2020 B conf
LREC
Deyan Ginev, Bruce R. Miller
2019 J jnl
CoRR
Deyan Ginev, Bruce R. Miller
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 conf
CICM (Work in Progress)
Deyan Ginev, Mihnea Iancu, Constantin Jucovshi, Andrea Kohlhase, Michael Kohlhase, Jürgen Schefter, Wolfram Sperber
2014 J jnl
CoRR
Deyan Ginev, Bruce R. Miller, Silviu Oprea
2014 C conf
CICM
Deyan Ginev, Bruce R. Miller, Silviu Oprea
2014 J jnl
CoRR
Deyan Ginev, Bruce R. Miller
2014 C conf
CICM
Deyan Ginev, Joseph Corneli
2014 J jnl
CoRR
Deyan Ginev, Joseph Corneli
2013 conf
MKM/Calculemus/DML
Deyan Ginev, Bruce R. Miller
2013 conf
CICM Workshops
Deyan Ginev
2011 conf
SePublica
Catalin David, Deyan Ginev, Michael Kohlhase, Bogdan Matican, Stefan Mirea
2011 conf
ESWC Workshops
Mihai Cîrlanaru, Deyan Ginev, Christoph Lange
2011 conf
SePublica
Mihai Cîrlanaru, Deyan Ginev, Christoph Lange
2011 conf
LWA
Deyan Ginev, Heinrich Stamerjohanns, Michael Kohlhase
2011 conf
Calculemus/MKM
Deyan Ginev, Heinrich Stamerjohanns, Bruce R. Miller, Michael Kohlhase
2011 J jnl
CoRR
Christoph Lange, Michael Kohlhase, Catalin David, Deyan Ginev, Andrea Kohlhase, Bogdan Matican, Stefan Mirea, Vyacheslav Zholudev
2011 conf
ESWC (2)
Christoph Lange, Michael Kohlhase, Catalin David, Deyan Ginev, Andrea Kohlhase, Bogdan Matican, Stefan Mirea, Vyacheslav Zholudev
2011 Misc conf
ICCS
Michael Kohlhase, Joseph Corneli, Catalin David, Deyan Ginev, Constantin Jucovschi, Andrea Kohlhase, Christoph Lange, Bogdan Matican, Stefan Mirea, Vyacheslav Zholudev
2010 J jnl
Math. Comput. Sci.
Heinrich Stamerjohanns, Michael Kohlhase, Deyan Ginev, Catalin David, Bruce R. Miller
2009 conf
GI Jahrestagung
Deyan Ginev, Constantin Jucovschi, Stefan Anca, Mihai Grigore, Catalin David, Michael Kohlhase