Author of the publication

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.

 

Other publications of authors with the same name

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)SAT solving experiments in Vampire., , , and . Vampire Workshop, volume 38 of EPiC Series in Computing, page 29-32. EasyChair, (2014)A Scalable Platform for Monitoring Data Intensive Applications., , and . J. Grid Comput., 17 (3): 503-528 (2019)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)Applying Self-* Principles in Heterogeneous Cloud Environments., , , , and . Cloud Computing, 2nd Ed., Springer, (2017)