"New response in electrochemical impedance spectroscopy due to the presence of molybdenum on AB5-type alloys" (2015) Díaz, V.;Humana, R.;Teliz, E. (...)Zinola, F. International Journal of Hydrogen Energy. 40(20):6639-6646

"ARXPS and DFT studies of thermally induced Pb surface segregation on Au/Cu alloys" (2014) Völker, E.; Williams, F.J.; Jacob, T.; Schiffrin, D.J. Journal of Alloys and Compounds. 586:475-478

"Parallel bounded verification of alloy models by tranScoping" (2014) Rosner, N.;Pombo, C.G.L.;Aguirre, N. (...)Cohen E. 5th International Conference on Verified Software: Theories, Tools, Experiments, VSTTE 2013. 8164:88-107

"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)

"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

"Mesoporous Pt and Pt/Ru alloy electrocatalysts for methanol oxidation" (2011) Franceschini, E.A.;Planes, G.A.;Williams, F.J. (...)Corti, H.R. Journal of Power Sources. 196(4):1723-1729

"Alloy+HotCore: A fast approximation to unsat core" (2010) D'Ippolito, N.;Frias, M.F.;Galeotti, J.P. (...)Mera, S. 2nd International Conference on Abstract State Machines, Alloy, B and Z, ABZ 2010. 5977 LNCS:160-173

"Dynamite 2.0: New features based on UnSAT-core extraction to improve verification of software requirements" (2010) Moscato, M.M.; López Pombo, C.G.; Frias, M.F. 7th International Colloquium on Theoretical Aspects of Computing, ICTAC 2010. 6255 LNCS:275-289

"ParAlloy: Towards a framework for efficient parallel analysis of alloy models" (2010) Rosner, N.; Galeotti, J.P.; Lopez Pombo, C.G.; Frias, M.F. 2nd International Conference on Abstract State Machines, Alloy, B and Z, ABZ 2010. 5977 LNCS:396-397

"Carotid artery stenosis: Tailoring treatment according to risk profile" (2009) Belardi, J. Catheterization and Cardiovascular Interventions. 73(2):137-138

"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

"Microscopic characterization of metallic surfaces by photoinduced thermoelastic bumps" (2006) Martínez, O.E.; Balzarotti, F.; Mingolo, N. 15th IFHTSE - International Federation for Heat Treatment and Surface Engineering Congress 2006:490-494

"Semigrand-canonical ensemble simulations of the phase diagrams of alloys" (2003) Marquez, F.M.;Cienfuegos, C.;Pongsai, B.K. (...)Barrera, G.D. Modelling and Simulation in Materials Science and Engineering. 11(2):115-126

"Simulation of metals and alloys using quasi-harmonic lattice dynamics" (1997) Barrera, G.D.; De Tendler, R.H. Computer Physics Communications. 105(2-3):159-168

"Zener relaxation strength in b.c.c. and f.c.c. alloys under torsional and longitudinal excitations" (1994) Povolo, F.; Mosca, H.O. Acta Metallurgica Et Materialia. 42(1):109-117

"High temperature background damping" (1994) Povolo, F.; Lambri, O.A.; Torio, M.E. Journal of Alloys and Compounds. 211-212(C):518-521