Author

Deyan Ginev

Observed name: Ginev, Deyan
Institution: Cornell University
ORCID: 0000-0002-7306-8634
Observed ORCID: 0000-0002-7306-8634
OpenAlex ID: A5054102508
2010 · Heinrich Stamerjohanns, Michael Kohlhase, et al. · Mathematics in Computer Science · 47
2011 · Michael Kohlhase, Joseph Corneli, et al. · Procedia Computer Science · 27
2011 · Deyan Ginev, Heinrich Stamerjohanns, et al. · Lecture notes in computer science · 21
2010 · Catalin David, Deyan Ginev, et al. · Open Research Online (The Open University) · 15
2009 · Deyan Ginev, Constantin Jucovschi, et al. · GI-Jahrestagung · 11
2009 · Heinrich Stamerjohanns, Deyan Ginev, et al. · Czech digital mathematics library · 8
2019 · Ginev, Deyan, Miller, Bruce R. · arXiv (Cornell University) · 7
2016 · Deyan Ginev, Mihnea Iancu, et al. · Lecture notes in computer science · 6
2014 · Deyan Ginev, Joseph Corneli · Lecture notes in computer science · 6
2014 · Ginev, Deyan, Corneli, Joseph · arXiv (Cornell University) · 4
2013 · Deyan Ginev, Bruce R. Miller · Lecture notes in computer science · 3
2011 · Catalin David, Deyan Ginev, et al. · 2
2011 · Deyan Ginev, Heinrich Stamerjohanns, et al. · 2
2011 · Mihai Cîrlănaru, Deyan Ginev, et al. · 2
2012 · Mihai Cîrlănaru, Deyan Ginev, et al. · Lecture notes in computer science · 1
2008 · Heinrich Stamerjohanns, Deyan Ginev, et al. · Cahiers GUTenberg · 1
2026 · Ginev, Deyan, Caruso, Brian, et al. · arXiv (Cornell University)
2015 · Deyan Ginev, Mihnea Iancu, et al.
2014 · Ginev, Deyan, Miller, Bruce R. · arXiv (Cornell University)
2014 · Deyan Ginev, Bruce R. Miller, et al. · Lecture notes in computer science
2013 · Deyan Ginev, Bruce R. Miller
Works count: 31
Citation count: 164
H-index: 7
I10-index: 5
Year
Topic
Type