Name Card

Full name Familienname, Vorname
Dragan, Ioan Dumitru
 

Own Publications Eigene Publikationen

Results 1-10 of 10 (Search time: 0.001 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Lezuo, Roland ; Dragan, Ioan ; Barany, Gergo ; Krall, Andreas vanHelsing: A Fast Proof Checker for Debuggable Compiler VerificationKonferenzbeitrag Inproceedings 2015
2Dragan Ioan-Dumitru - 2015 - First-order theorem proving for program analysis...pdf.jpgDragan, Ioan-Dumitru First-order theorem proving for program analysis and theory reasoningThesis Hochschulschrift 2015
3Dragan, Ioan SAT solving experiments in VampirePräsentation Presentation2014
4Dragan, Ioan Lingva: Generating and Proving Program Properties using Symbol EliminationPräsentation Presentation2014
5Dragan, Ioan Experimenting with SAT Solvers in VampirePräsentation Presentation2014
6Dragan, Ioan ; Kovacs, Laura Lingva: Generating and Proving Program Properties using Symbol EliminationKonferenzbeitrag Inproceedings2014
7Biere, Armin ; Dragan, Ioan ; Kovács, Laura ; Voronkov, Andrei Experimenting with SAT Solvers in VampireKonferenzbeitrag Inproceedings2014
8Dragan, Ioan Solving systems of linear inequalities using Bound Propagation in VampirePräsentation Presentation2013
9Dragan, Ioan Recent Developments in Vampire for Program Analysis and Theory ReasoningPräsentation Presentation2013
10Dragan, Ioan ; Korovin, Konstantin ; Kovacs, Laura ; Voronkov, Andrei Bound Propagation for Arithmetic Reasoning in VampireKonferenzbeitrag Inproceedings2013