DYNALLOY: AN EXTENSION OF ALLOY FOR WRITING AND ANALYZING BEHAVIOURAL MODELS Germán Regis | César Cornejo | Simón Gutiérrez Brida | Mariano Politano | Fernando Raverta | Pablo Ponzio | Nazareno Aguirre | Juan Pablo G

Source URL: alloytools.org

• Formal methods
• Logic puzzles
• River crossing puzzle
• CH
• Alloy
• Software engineering
• Theoretical computer science

www.mso.anu.edu.au/saga Luca Casagrande V. Silva Aguirre, D. Stello, D. Hüber, A. Serenelli, S. Cassisi, A. Dotter, A.P. Milone, S. Hodgkin, A.F. Marino, M.N.Lund, A. Pietrinferni, M. Asplund, S. Feltzing, C. Flynn, F.

Source URL: colloquium.bao.ac.cn

Alinhamento e etiquetagem de corpora paralelos no CLUVI (Corpus Linguístico da Universidade de Vigo) José Luis Aguirre Moreno* Alberto Álvarez Lugrís* Iago Bragado Trigo* Luz Castro Pena#

Source URL: sli.uvigo.es

Curriculum Vitae PERSONAL INFORMATION Dr. Sara de la Rica Facultad de Economía y Empresa, Avda Lehendakari Aguirre, 83, 48015 Bilbao, Spain.

Source URL: www.eapmaster.org

Trabajos Libres 2017 ARTRITIS SEPTICA DE PRESENTACIÓN ATÍPICA Y DE Título: REPETICIÓN ASOCIADA A AGAMMAGLOBULINEMIA LIGADA AL X. REPORTE DE CASO. Autor: KAREN ALEJANDRA AGUIRRE RAYA GOMEZ UREÑA ELIZABETH, GONZALEZ V

Source URL: www.amipmx.com

María del Cisne Aguirre, José Solano. et al. / Evaluación del impacto ambiental en la arquitectura patrimonial a través de la aplicación de la Matriz de Leopold como un posible sistema de monitoreo interdisciplinar

Source URL: asri.eumed.net

Facultad de Derecho “PRESCRIPCIÓN EN EL SISTEMA TRIBUTARIO URUGUAYO” ALISON MENA TROITIÑO JAVIER AGUIRRE BADIN

Source URL: www.um.edu.uy

Los Angeles: From the Mountains to The Sea : 1921 California Biography Project cagenweb.com/cabio.htm A-J Aguirre, Martin C Allen, John Comfort

Source URL: cagenweb.com

UPB - INVESTIGACIÓN & DESARROLLO 12: 23 – UN NUEVO ENFOQUE PARA EL CÁLCULO DE COLUMNAS CONFINADAS DE HORMIGÓN DE ALTA RESISTENCIA UTILIZANDO EL MÉTODO GENERAL F. Aguirre RESUMEN

Source URL: www.upb.edu

CHAOS 16, 023101 共2006兲 Basin topology in dissipative chaotic scattering Jesús M. Seoane,a兲 Jacobo Aguirre, and Miguel A.F. Sanjuán Nonlinear Dynamics and Chaos Group, Departamento de Matemáticas y Física Apli

Source URL: chaos1.la.asu.edu