logo biblio digital exactas
logo twitter logo instagram logo whatsapp logo mail

Navegar

Colección

Datos Estadísticas

Lista de

Symmetry-breaking
6
"First-order insulator-to-metal Mott transition in the paramagnetic 3D system GaTa4Se8" (2014) Camjayi, A.;Acha, C.;Weht, R. (...)Rozenberg, M.J. Physical Review Letters. 113(8)
"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
"Dipolar condensates confined in a toroidal trap: Ground state and vortices" (2010) Abad, M.;Guilleumas, M.;Mayol, R. (...)Jezek, D.M. Physical Review A - Atomic, Molecular, and Optical Physics. 81(4)
"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
"Vortex formation in a two-dimensional Bose gas" (2010) Calzetta, E.; Ho, K.-Y.; Hu, B.L. Journal of Physics B: Atomic, Molecular and Optical Physics. 43(9)