( en | de | ru )

 

Disambiguation of "Dragan, Ioan"

Author of the publication

copydeleteadd this publication to your clipboard
An Overview of Monitoring Tools for Big Data and Cloud Applications.

, and . SYNASC, page 363-366. IEEE Computer Society, (2015)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Silvia Dragan

Dragan Griebel

Dragan Dinulovic

Dragan Gligorievski

Dragan Stanojevic

 

Other publications of authors with the same name

SAT solving experiments in Vampire., , , and . Vampire Workshop, volume 38 of EPiC Series in Computing, page 29-32. EasyChair, (2014)Towards the Integration of a HPC Build System in the Cloud Ecosystem., , and . CISIS, volume 611 of Advances in Intelligent Systems and Computing, page 916-925. Springer, (2017)Collecting Facebook data for big data research., and . RoEduNet, page 1-3. IEEE, (2017)Preface to SOSeMC 2016., and . ICAC, page 342. IEEE Computer Society, (2016)vanHelsing: A Fast Proof Checker for Debuggable Compiler Verification., , , and . SYNASC, page 167-174. IEEE Computer Society, (2015)Experimenting with SAT Solvers in Vampire., , , and . MICAI (1), volume 8856 of Lecture Notes in Computer Science, page 431-442. Springer, (2014)Architecture of a Scalable Platform for Monitoring Multiple Big Data Frameworks., , and . Scalable Comput. Pract. Exp., 17 (4): 313-321 (2016)Bound Propagation for Arithmetic Reasoning in Vampire., , , and . SYNASC, page 169-176. IEEE Computer Society, (2013)A Scalable Platform for Monitoring Data Intensive Applications., , and . J. Grid Comput., 17 (3): 503-528 (2019)Lingva: Generating and Proving Program Properties Using Symbol Elimination., and . Ershov Memorial Conference, volume 8974 of Lecture Notes in Computer Science, page 67-75. Springer, (2014)