"Bounded exhaustive test input generation from hybrid invariants" (2014) Rosner, N.;Bengolea, V.;Ponzio, P. (...)Khurshid, S. ACM SIGPLAN Notices. 49(10):655-674

"Bounded exhaustive test input generation from hybrid invariants" (2014) Rosner, N.;Bengolea, V.;Ponzio, P. (...)Khurshid, S. 2014 ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2014:655-674

"Dynamite: A tool for the verification of alloy models based on PVS" (2014) Moscato, M.M.; Lopez Pombo, C.G.; Frias, M.F. ACM Transactions on Software Engineering and Methodology. 23(2)

"Parallel bounded analysis in code with rich invariants by refinement of field bounds" (2013) Rosner, N.;Galeotti, J.;Bermúdez, S. (...)Frias, M.F. 22nd International Symposium on Software Testing and Analysis, ISSTA 2013:23-33

"Ranger: Parallel analysis of alloy models by range partitioning" (2013) Rosner, N.;Siddiqui, J.H.;Aguirre, N. (...)IEEE Computer Society; Association for Computing Machinery, Special Interest Group on Software Engineering (ACM SIGSOFT); IEEE Technical Council on Software Engineering (TCSE); ACM SIGART; NASA 2013 28th IEEE/ACM International Conference on Automated Software Engineering, ASE 2013:147-157

"TACO: Efficient SAT-based bounded verification using symmetry breaking and tight bounds" (2013) Galeotti, J.P.; Rosner, N.; Lopez Pombo, C.G.; Frias, M.F. IEEE Transactions on Software Engineering. 39(9):1283-1306

"Analysis of invariants for efficient bounded verification" (2010) Galeotti, J.P.; Rosner, N.; Pombo, C.G.L.; Frias, M.F. 19th International Symposium on Software Testing and Analysis, ISSTA 2010:25-35

"Potentiality of lignin from the Kraft pulping process for removal of trace nickel from wastewater: Effect of demineralisation" (2009) Betancur, M.; Bonelli, P.R.; Velásquez, J.A.; Cukierman, A.L. Bioresource Technology. 100(3):1130-1137

"Reasoning about static and dynamic properties in alloy: A purely relational approach" (2005) Frias, M.F.;López Pombo, C.G.;Baum, G.A. (...)Maibaum, T.S.E. ACM Transactions on Software Engineering and Methodology. 14(4):478-526

"DynAlloy: Upgrading alloy with actions" (2005) Frias, M.F.; Galeotti, J.P.; Pombo, C.G.L.; Aguirre, N.M. 27th International Conference on Software Engineering, ICSE05:442-450

"DynAlloy: Upgrading alloy with actions" (2005) Frias, M.F.; Galeotti, J.P.; Pombo, C.G.L.; Aguirre, N.M. 27th International Conference on Software Engineering, ICSE05:442-450

"Half-metallic character and electronic properties of inverse magnetoresistant Fe1-xCoxSi alloys" (2004) Guevara, J.; Vildosola, V.; Milano, J.; Llois, A.M. Physical Review B - Condensed Matter and Materials Physics. 69(18):184422-1-184422-6