Navegar

Colección

Datos Estadísticas

Lista de

Cerium alloys
6
"Pr3+ surface fraction in CePr mixed oxides determined by XPS analysis" (2018) Poggio-Fraccari, E.; Baronetti, G.; Mariño, F. Journal of Electron Spectroscopy and Related Phenomena. 222:1-4
"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 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
"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
"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
"Describing and analyzing behaviours over tabular specifications using (Dyn)alloy" (2009) Aguirre, N.M.;Frias, M.F.;Moscato, M.M. (...)Wassyng, A. 12th International Conference on Fundamental Approaches to Software Engineering, FASE 2009. 5503:155-170