Ioan Dragan
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
4
Active years
2013–2017
Best venue rank
National
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2017 | CISIS | Towards the Integration of a HPC Build System in the Cloud Ecosystem. | Ioan Dragan, Teodora Selea, Teodor-Florin Fortis |
| 2017 | EuroSys | The CloudLightning approach to cloud-user interaction. | Teodora Selea, Ioan Dragan, Teodor-Florin Fortis |
| 2015 | SYNASC | An Overview of Monitoring Tools for Big Data and Cloud Applications. | Gabriel Iuhasz, Ioan Dragan |
| 2015 | SYNASC | vanHelsing: A Fast Proof Checker for Debuggable Compiler Verification. | Roland Lezuo, Ioan Dragan, Gerg Barany, Andreas Krall |
| 2014 | CADE | SAT solving experiments in Vampire. | Armin Biere, Ioan Dragan, Laura Kovcs, Andrei Voronkov |
| 2013 | SYNASC | Bound Propagation for Arithmetic Reasoning in Vampire. | Ioan Dragan, Konstantin Korovin, Laura Kovcs, Andrei Voronkov |