Bound Propagation for Arithmetic Reasoning in Vampire. - Ioan Dragan; Konstantin Korovin; Laura Kovács; Andrei Voronkov (SYNASC, 2013)

SAT solving experiments in Vampire. - Armin Biere; Ioan Dragan; Laura Kovács; Andrei Voronkov (Vampire Workshop, 2014)

Lingva: Generating and Proving Program Properties Using Symbol Elimination. - Ioan Dragan; Laura Kovács (Ershov Memorial Conference, 2014)

Experimenting with SAT Solvers in Vampire. - Armin Biere; Ioan Dragan; Laura Kovács; Andrei Voronkov (MICAI (1), 2014)

Self-defining SLA infrastructure in BSS cloud deployments. - Ioan Dragan; Razvan Daniel Zota (RoEduNet, 2015)

An Overview of Monitoring Tools for Big Data and Cloud Applications. - Gabriel Iuhasz; Ioan Dragan (SYNASC, 2015)

vanHelsing: A Fast Proof Checker for Debuggable Compiler Verification. - Roland Lezuo; Ioan Dragan; Gergö Barany; Andreas Krall (SYNASC, 2015)

Preface to SOSeMC 2016. - Teodor-Florin Fortis; Ioan Dragan (ICAC, 2016)

Exposing HPC services in the Cloud: the CloudLightning Approach. - Ioan Dragan; Teodor-Florin Fortis; Marian Neagul (Scalable Comput. Pract. Exp., 2016)

Architecture of a Scalable Platform for Monitoring Multiple Big Data Frameworks. - Gabriel Iuhasz; Daniel Pop; Ioan Dragan (Scalable Comput. Pract. Exp., 2016)

Towards the Integration of a HPC Build System in the Cloud Ecosystem. - Ioan Dragan; Teodora Selea; Teodor-Florin Fortis (CISIS, 2017)

The CloudLightning approach to cloud-user interaction. - Teodora Selea; Ioan Dragan; Teodor-Florin Fortis (CloudNG@EuroSys, 2017)

Collecting Facebook data for big data research. - Ioan Dragan; Razvan Zota (RoEduNet, 2017)

Applying Self-* Principles in Heterogeneous Cloud Environments. - Ioan Dragan; Teodor-Florin Fortis; Gabriel Iuhasz; Marian Neagul; Dana Petcu (Cloud Computing, 2nd Ed., 2017)

A Scalable Platform for Monitoring Data Intensive Applications. - Ioan Dragan; Gabriel Iuhasz; Dana Petcu (J. Grid Comput., 2019)