"Sherlockfog: Finding opportunities for MPI applications in fog and edge computing" (2018) Geier, M.; Mocskos, E.; Mocskos E.; Nesmachnow S. 4th Latin American Conference on High Performance Computing, CARLA 2017. 796:185-199

"A denotational view of replicated data types" (2017) Gadducci, F.;Melgratti, H.;Roldán, C. (...)Massink M. 19th IFIP WG 6.1 International Conference on Coordination Models and Languages, COORDINATION 2017 - Held as Part of the 12th International Federated Conference on Distributed Computing Techniques, DisCoTec 2017. 10319 LNCS:138-156

"Efficient P2P inspired policy to distribute resource information in large distributed systems" (2017) Verghelet, P.;Mocskos, E.;Barrios Hernandez C.J. (...)Klapp J. 3rd Latin American Conference on High Performance Computing, CARLA 2016. 697:3-17

"Multiparty testing preorders" (2016) De Nicola, R.; Melgratti, H.; Ganty P.; Loreti M. 10th International Symposium on Trustworthy Global Computing, TGC 2015. 9533:16-31

"A formal analysis of the global sequence protocol" (2016) Melgratti, H.; Roldán, C.; Lafuente A.L.; Proenca J. 18th IFIP WG 6.1 International Conference on Coordination Models and Languages, COORDINATION 2016 and Held as Part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016. 9686:175-191

"A full operational semantics for asynchronous relational networks" (2015) Vissani, I.;Pombo, C.G.L.;Jose, J.L.F. (...)Diaconescu, R. 22nd International Workshop on Recent Trends in Algebraic Development Techniques, WADT 2014. 9463:131-150

"Understanding space weather to shield society: A global road map for 2015-2025 commissioned by COSPAR and ILWS" (2015) Schrijver, C.J.;Kauristie, K.;Aylward, A.D. (...)Vilmer, N. Advances in Space Research. 55(12):2745-2807

"Approximation algorithms for clique transversals on some graph classes" (2015) Lin, M.C.; Vasiliev, S. Information Processing Letters. 115(9):667-670

"Cloud computing for fluorescence correlation spectroscopy simulations" (2015) Marroig, L.;Riverón, C.;Nesmachnow, S. (...)Hernandez C.J.B. 2nd Latin American Conference on High Performance Computing, CARLA 2015. 565:34-49

"Improvements to super-peer policy communication mechanisms" (2015) Verghelet, P.;Mocskos, E.;Navaux P.O.A. (...)Hernandez C.J.B. 2nd Latin American Conference on High Performance Computing, CARLA 2015. 565:73-86

"Efficient fluorescence microscopy analysis over a volunteer grid/cloud infrastructure" (2014) Da Silva, M.;Nesmachnow, S.;Geier, M. (...)Nesmachnow S. 1st High-Performance Computing Latin America Community, HPCLATAM-CLCAR 2014 and Latin American Joint Conference, CARLA 2014. 485:113-127

"Issues in distributed timed model checking" (2005) Braberman, V.; Olivero, A.; Schapachnik, F. International Journal on Software Tools for Technology Transfer. 7(1):4-18

"On-the-fly workload prediction and redistribution in the distributed timed model checker zeus" (2005) Braberman, V.; Olivero, A.; Schapachnik, F. Proceedings of the 3rd International Workshop on Parallel Distributed Methods in Verification (PDMC 2004). 128(3):3-18

"Zeus: A distributed timed model-checker based on Kronos" (2002) Braberman, V.; Olivero, A.; Schapachnik, F. PDMC 2002, Parallel and Distributed Model Checking (Satellite Workshop of CONCUR 2002). 68(4):503-522