| | |
Carlos Luna
List of publications from the DBLP Bibliography Server - FAQ
- CSB - MetaPress - Google - Bing - Yahoo
 | 2011 | |
|---|---|---|
| 10 |      | Gilles Barthe, Gustavo Betarte, Juan Diego Campo, Carlos Luna: Formally Verifying Isolation and Availability in an Idealized Model of Virtualization. FM 2011: 231-245 |
| 2010 | ||
| 9 | | Daniel Calegari, Carlos Luna, Nora Szasz, Alvaro Tasistro: A Type-Theoretic Framework for Certified Model Transformations. SBMF 2010: 112-127 |
| 2009 | ||
| 8 | | Ramin Roushani Oskui, Gustavo Betarte, Carlos Luna: A Certified Access Controller for JME-MIDP 2.0 Enabled Mobile Devices. SCCC 2009: 51-58 |
| 7 | | Gustavo Mazeikis, Gustavo Betarte, Carlos Luna: Formal Specification and Analysis of the MIDP 3.0 Security Model. SCCC 2009: 59-66 |
| 6 | | Ariel Gonzalez, Carlos Luna: Specification of Products and Product Lines WRS 2009: 44-55 |
| 2008 | ||
| 5 | | Ariel Gonzalez, Carlos Luna: Behavior Specification of Product Lines via Feature Models and UML Statecharts with Variabilities. SCCC 2008: 32-41 |
| 4 | | Juan Manuel Crespo, Gustavo Betarte, Carlos Luna: A Framework for the Analysis of Access Control Models for Interactive Mobile Devices. TYPES 2008: 49-63 |
| 2006 | ||
| 3 | | Santiago Zanella Béguelin, Gustavo Betarte, Carlos Luna: A Formal Specification of the MIDP 2.0 Security Model. Formal Aspects in Security and Trust 2006: 220-234 |
| 2001 | ||
| 2 | | Carlos Daniel Luna: Una Generalizacion del Modelo AGM de Cambio de Creencias. Inteligencia Artificial, Revista Iberoamericana de Inteligencia Artificial 5(13): 23-32 (2001) |
| 1998 | ||
| 1 | | Ariel Ferreira Szpiniak, Carlos Daniel Luna, Ricardo H. Medel: Our experiences teaching functional programming at University of Rio Cuarto (Argentina). SIGCSE Bulletin 30(2): 28-30 (1998) |
| 1 | Gilles Barthe | [10] |
| 2 | Santiago Zanella Béguelin | [3] |
| 3 | Gustavo Betarte | [3] [4] [7] [8] [10] |
| 4 | Daniel Calegari | [9] |
| 5 | Juan Diego Campo | [10] |
| 6 | Juan Manuel Crespo | [4] |
| 7 | Ariel Gonzalez | [5] [6] |
| 8 | Gustavo Mazeikis | [7] |
| 9 | Ricardo H. Medel | [1] |
| 10 | Ramin Roushani Oskui | [8] |
| 11 | Nora Szasz | [9] |
| 12 | Ariel Ferreira Szpiniak | [1] |
| 13 | Alvaro Tasistro | [9] |
Colors in the list of coauthors
Last update Sun Jun 3 16:06:10 2012 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page