"A study on JEM-EUSO’s trigger probability for neutrino-initiated EAS" (2013) Guzmán, A.;Supanitsky, A.;Iwotschkin, E. (...)Santangelo, A. 33rd International Cosmic Rays Conference, ICRC 2013. 2013-October

"Clausula: A didactic tool to teach first order logic" (2009) Mauco, M.V.; Ferrante, E. 26th Information Systems Education Conference, ISECON 2009. 26

"6th international workshop on scenarios and state machines: Models, algorithms, and tools (SCESM07)" (2007) Grieskamp, W.; Kicillof, N. 29th International Conference on Software Engineering, ICSE 2007:129-130

"Aspect-oriented weaving and the.NET common language runtime" (2007) Schmied, F.; Cyment, A. IET Software. 1(6):251-262

"Hypervolume approximation in timed automata model checking" (2007) Braberman, V.; Obes, J.L.; Olivero, A.; Schapachnik, F. 5th International Conference on Formal Modelling and Analysis of Timed Systems, FORMATS 2007. 4763 LNCS:69-81

"Alloy Analyzer+PVS in the analysis and verification of Alloy specifications" (2007) Frias, M.F.; Lopez Pombo, C.G.; Moscato, M.M. 13th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, (TACAS 2007). 4424 LNCS:587-601

"A toolsuite for the verification of real-time systems in Eclipse" (2006) Cavatorta, L.;De Caso, G.;Ferrari, A. (...)Olivero, A. 2006 OOPSLA Workshop on Eclipse Technology eXchange, ETX 2006:35-39

"M/CD++: Modeling continuous systems using Modelica and DEVS" (2005) D'Abreu, M.C.; Wainer, G.A. MASCOTS 2005: 13th IEEE International Symposium on Modeling, Analysis and Simulation of Computer and Telecommunications Systems. 2005:229-236

"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

"Multihomogeneous resultant matrices" (2002) Dickenstein, A.; Emiris, I.Z.; Mora T. Proceedings of the 2002 International Symposium on Symbolic and Algebraic Computation:46-54

"Using the DEVS paradigm to implement a simulated processor" (2000) Daicz, S.; Tróccoli, A.; Zlotnik, S.; Wainer, G. Proceedings of the IEEE Annual Simulation Symposium:58-65