Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Ioan Dragan
@article{DBLP:journals/grid/DraganIP19,
author = {Ioan Dragan and
Gabriel Iuhasz and
Dana Petcu},
title = {A Scalable Platform for Monitoring Data Intensive Applications},
journal = {J. Grid Comput.},
volume = {17},
number = {3},
pages = {503--528},
year = {2019},
url = {https://doi.org/10.1007/s10723-019-09483-1},
doi = {10.1007/S10723-019-09483-1},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/grid/DraganIP19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cisis/DraganSF17,
author = {Ioan Dragan and
Teodora Selea and
Teodor{-}Florin Fortis},
editor = {Leonard Barolli and
Olivier Terzo},
title = {Towards the Integration of a {HPC} Build System in the Cloud Ecosystem},
booktitle = {Complex, Intelligent, and Software Intensive Systems - Proceedings
of the 11th International Conference on Complex, Intelligent, and
Software Intensive Systems (CISIS-2017), Torino, Italy, July 10-12,
2017},
series = {Advances in Intelligent Systems and Computing},
volume = {611},
pages = {916--925},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-61566-0\_87},
doi = {10.1007/978-3-319-61566-0\_87},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cisis/DraganSF17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurosys/SeleaDF17,
author = {Teodora Selea and
Ioan Dragan and
Teodor{-}Florin Fortis},
editor = {John P. Morrison and
Gabriel Gonz{\'{a}}lez{-}Casta{\~{n}}{\'{e}}},
title = {The CloudLightning approach to cloud-user interaction},
booktitle = {Proceedings of the 1st International Workshop on Next generation of
Cloud Architectures, CloudNG@EuroSys 2017, Belgrade, Serbia, April
23-26, 2017},
pages = {4:1--4:5},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3068126.3068130},
doi = {10.1145/3068126.3068130},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/eurosys/SeleaDF17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/roedunet/DraganZ17,
author = {Ioan Dragan and
Razvan Zota},
title = {Collecting Facebook data for big data research},
booktitle = {2017 16th RoEduNet Conference: Networking in Education and Research
(RoEduNet), Tg. Mures, Romania, September 21-23, 2017},
pages = {1--3},
publisher = {{IEEE}},
year = {2017},
url = {https://doi.org/10.1109/ROEDUNET.2017.8123757},
doi = {10.1109/ROEDUNET.2017.8123757},
timestamp = {Mon, 20 Dec 2021 08:40:26 +0100},
biburl = {https://dblp.org/rec/conf/roedunet/DraganZ17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/ccn/DraganFINP17,
author = {Ioan Dragan and
Teodor{-}Florin Fortis and
Gabriel Iuhasz and
Marian Neagul and
Dana Petcu},
editor = {Nick Antonopoulos and
Lee Gillam},
title = {Applying Self-* Principles in Heterogeneous Cloud Environments},
booktitle = {Cloud Computing - Principles, Systems and Applications, Second Edition},
series = {Computer Communications and Networks},
pages = {255--274},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-54645-2\_10},
doi = {10.1007/978-3-319-54645-2\_10},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/series/ccn/DraganFINP17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scpe/IuhaszPD16,
author = {Gabriel Iuhasz and
Daniel Pop and
Ioan Dragan},
title = {Architecture of a Scalable Platform for Monitoring Multiple Big Data
Frameworks},
journal = {Scalable Comput. Pract. Exp.},
volume = {17},
number = {4},
pages = {313--321},
year = {2016},
url = {https://doi.org/10.12694/scpe.v17i4.1203},
doi = {10.12694/SCPE.V17I4.1203},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/scpe/IuhaszPD16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scpe/DraganFN16,
author = {Ioan Dragan and
Teodor{-}Florin Fortis and
Marian Neagul},
title = {Exposing {HPC} services in the Cloud: the CloudLightning Approach},
journal = {Scalable Comput. Pract. Exp.},
volume = {17},
number = {4},
pages = {323--330},
year = {2016},
url = {https://doi.org/10.12694/scpe.v17i4.1204},
doi = {10.12694/SCPE.V17I4.1204},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/scpe/DraganFN16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icac/FortisD16,
author = {Teodor{-}Florin Fortis and
Ioan Dragan},
editor = {Samuel Kounev and
Holger Giese and
Jie Liu},
title = {Preface to SOSeMC 2016},
booktitle = {2016 {IEEE} International Conference on Autonomic Computing, {ICAC}
2016, Wuerzburg, Germany, July 17-22, 2016},
pages = {342},
publisher = {{IEEE} Computer Society},
year = {2016},
url = {https://doi.org/10.1109/ICAC.2016.75},
doi = {10.1109/ICAC.2016.75},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icac/FortisD16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/roedunet/DraganZ15,
author = {Ioan Dragan and
Razvan Daniel Zota},
title = {Self-defining {SLA} infrastructure in {BSS} cloud deployments},
booktitle = {2015 14th RoEduNet International Conference - Networking in Education
and Research (RoEduNet NER), Craiova, Romania, September 24-26, 2015},
pages = {228--232},
publisher = {{IEEE}},
year = {2015},
url = {https://doi.org/10.1109/RoEduNet.2015.7312000},
doi = {10.1109/ROEDUNET.2015.7312000},
timestamp = {Mon, 20 Dec 2021 08:56:49 +0100},
biburl = {https://dblp.org/rec/conf/roedunet/DraganZ15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/synasc/LezuoDBK15,
author = {Roland Lezuo and
Ioan Dragan and
Gerg{\"{o}} Barany and
Andreas Krall},
editor = {Laura Kov{\'{a}}cs and
Viorel Negru and
Tetsuo Ida and
Tudor Jebelean and
Dana Petcu and
Stephen M. Watt and
Daniela Zaharie},
title = {vanHelsing: {A} Fast Proof Checker for Debuggable Compiler Verification},
booktitle = {17th International Symposium on Symbolic and Numeric Algorithms for
Scientific Computing, {SYNASC} 2015, Timisoara, Romania, September
21-24, 2015},
pages = {167--174},
publisher = {{IEEE} Computer Society},
year = {2015},
url = {https://doi.org/10.1109/SYNASC.2015.34},
doi = {10.1109/SYNASC.2015.34},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/synasc/LezuoDBK15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/synasc/IuhaszD15,
author = {Gabriel Iuhasz and
Ioan Dragan},
editor = {Laura Kov{\'{a}}cs and
Viorel Negru and
Tetsuo Ida and
Tudor Jebelean and
Dana Petcu and
Stephen M. Watt and
Daniela Zaharie},
title = {An Overview of Monitoring Tools for Big Data and Cloud Applications},
booktitle = {17th International Symposium on Symbolic and Numeric Algorithms for
Scientific Computing, {SYNASC} 2015, Timisoara, Romania, September
21-24, 2015},
pages = {363--366},
publisher = {{IEEE} Computer Society},
year = {2015},
url = {https://doi.org/10.1109/SYNASC.2015.62},
doi = {10.1109/SYNASC.2015.62},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/synasc/IuhaszD15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/BiereDKV14,
author = {Armin Biere and
Ioan Dragan and
Laura Kov{\'{a}}cs and
Andrei Voronkov},
editor = {Laura Kov{\'{a}}cs and
Andrei Voronkov},
title = {{SAT} solving experiments in Vampire},
booktitle = {Proceedings of the 1st and 2nd Vampire Workshops, Vampire@VSL 2014,
Vienna, Austria, July 23, 2014 / Vampire@CADE 2015, Berlin, Germany,
August 2, 2015},
series = {EPiC Series in Computing},
volume = {38},
pages = {29--32},
publisher = {EasyChair},
year = {2014},
url = {https://doi.org/10.29007/5l47},
doi = {10.29007/5L47},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/BiereDKV14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ershov/DraganK14,
author = {Ioan Dragan and
Laura Kov{\'{a}}cs},
editor = {Andrei Voronkov and
Irina B. Virbitskaite},
title = {Lingva: Generating and Proving Program Properties Using Symbol Elimination},
booktitle = {Perspectives of System Informatics - 9th International Ershov Informatics
Conference, {PSI} 2014, St. Petersburg, Russia, June 24-27, 2014.
Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {8974},
pages = {67--75},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-662-46823-4\_6},
doi = {10.1007/978-3-662-46823-4\_6},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ershov/DraganK14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/micai/BiereDKV14,
author = {Armin Biere and
Ioan Dragan and
Laura Kov{\'{a}}cs and
Andrei Voronkov},
editor = {Alexander F. Gelbukh and
F{\'{e}}lix Castro{-}Espinoza and
Sof{\'{\i}}a N. Galicia{-}Haro},
title = {Experimenting with {SAT} Solvers in Vampire},
booktitle = {Human-Inspired Computing and Its Applications - 13th Mexican International
Conference on Artificial Intelligence, {MICAI} 2014, Tuxtla Guti{\'{e}}rrez,
Mexico, November 16-22, 2014. Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {8856},
pages = {431--442},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-13647-9\_39},
doi = {10.1007/978-3-319-13647-9\_39},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/micai/BiereDKV14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/synasc/DraganKKV13,
author = {Ioan Dragan and
Konstantin Korovin and
Laura Kov{\'{a}}cs and
Andrei Voronkov},
editor = {Nikolaj S. Bj{\o}rner and
Viorel Negru and
Tetsuo Ida and
Tudor Jebelean and
Dana Petcu and
Stephen M. Watt and
Daniela Zaharie},
title = {Bound Propagation for Arithmetic Reasoning in Vampire},
booktitle = {15th International Symposium on Symbolic and Numeric Algorithms for
Scientific Computing, {SYNASC} 2013, Timisoara, Romania, September
23-26, 2013},
pages = {169--176},
publisher = {{IEEE} Computer Society},
year = {2013},
url = {https://doi.org/10.1109/SYNASC.2013.30},
doi = {10.1109/SYNASC.2013.30},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/synasc/DraganKKV13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2023-09-28 02:27 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
