Reporte técnico Taller de especificación, construcción y verificación formales de Programas :propuesta y experiencias Autor(es): Luna, Carlos
Fecha de publicación: 2005
Institución: Universidad de la República

Reporte técnico Hacia una especificación formal de un microcontrolador usado en marcapasos Autor(es): Luna, Carlos - Echenique, Paula - Sierra Abbate, Luis Ricardo
Fecha de publicación: 2008
Institución: Universidad de la República

Reporte técnico Formalizing alternating-time temporal logic in the coq proof assistant Autor(es): Luna, Carlos - Sierra, Luis - Zanarini, Dante
Fecha de publicación: 2014
Institución: Universidad de la República

Reporte técnico Análisis formal del estándar NIST para modelos RBAC Autor(es): Luna, Carlos - Rosa, Cristian D
Fecha de publicación: 2009
Institución: Universidad de la República

Tesis de doctorado Formal analysis of security models for mobile devices, virtualization platforms and domain name systems Autor(es): Luna, Carlos
Fecha de publicación: 2014
Institución: Universidad de la República

Tesis de maestría Especificación y análisis de sistemas de tiempo real en teoría de tipos. Caso de estudio : the railroad crossing example Autor(es): Luna, Carlos
Fecha de publicación: 2000
Institución: Universidad de la República

Reporte técnico Especificación del comportamiento de líneas de productos mediante modelos de funcionalidades y máquinas de estados con variabilidades Autor(es): Luna, Carlos - González, Ariel
Fecha de publicación: 2007
Institución: Universidad ORT Uruguay

Artículo Orientación estudiantil y desempeño académico en ingeniería Autor(es): Luna, Carlos - Alessandrini, Daniel - Otegui, Ximena - Chiavone, Luciana - Viscarret, Andrea
Fecha de publicación: 2017
Institución: Universidad de la República

Tesis de grado Impacto de distintos niveles de fertilidad y atributos de terreno sobre la variabilidad de rendimiento del cultivo de soja a escala de chacra Autor(es): Otaño Luna, Carlos - Zarucki Rodríguez, Ignacio
Fecha de publicación: 2010
Institución: Universidad de la República

Reporte técnico Descripción y análisis del modelo de seguridad de Android Autor(es): Romano, Agustín - Luna, Carlos
Fecha de publicación: 2013
Institución: Universidad de la República
Otros Autores: “…Luna, Carlos…”

Reporte técnico Autorización de Acceso en MIDP 3.0 Autor(es): Mazeikis, Gustavo - Luna, Carlos
Fecha de publicación: 2009
Institución: Universidad de la República
Otros Autores: “…Luna, Carlos…”

Reporte técnico Extended UML stratecharts and product lines Autor(es): González, Ariel - Luna, Carlos
Fecha de publicación: 2009
Institución: Universidad ORT Uruguay
Otros Autores: “…Luna, Carlos…”

Conferencia Acciones al ingreso a Facultad de Ingeniería 1: Talleres de Orientación al Inicio TOI 1,2 Autor(es): Chiavone, Luciana - Luna, Carlos Daniel
Fecha de publicación: 2012
Institución: Universidad de la República
Otros Autores: “…Luna, Carlos Daniel…”

Reporte técnico A formal specification of the MIDP 2.0 security model Autor(es): Zanella Béguelin, Santiago - Betarte, Gustavo - Luna, Carlos
Fecha de publicación: 2006
Institución: Universidad de la República
Otros Autores:

Reporte técnico A Certified Access Controller for JME-MIDP 2.0 enabled Mobile Devices Autor(es): Crespo, Juan Manuel - Betarte, Gustavo - Luna, Carlos
Fecha de publicación: 2008
Institución: Universidad de la República
Otros Autores:

Reporte técnico Hacia una especificación formal del modelo de seguridad de MIDP 3.0 Autor(es): Mazeikis, Gustavo - Betarte, Gustavo - Luna, Carlos
Fecha de publicación: 2008
Institución: Universidad de la República
Otros Autores:

Reporte técnico A Certified Access Controller for JME-MIDP 2.0 enabled Mobile Devices Autor(es): Roushani Oskui, Ramin - Betarte, Gustavo - Luna, Carlos
Fecha de publicación: 2008
Institución: Universidad de la República
Otros Autores:

Reporte técnico Representation of metamodels using inductive types in a type-theoretic framework for MDE Autor(es): Calegari García, Daniel - Luna, Carlos - Szasz, Nora - Tasistro, Alvaro
Fecha de publicación: 2010
Institución: Universidad de la República
Otros Autores: “…Luna, Carlos…”

Reporte técnico Estado del arte de testing de transformaciones de modelos Autor(es): López, Leonardo - Pintos, Leonardo - Calegari, Daniel - Luna, Carlos
Fecha de publicación: 2011
Institución: Universidad de la República
Otros Autores:

Reporte técnico Programación 2 :experiencias y propuestas Autor(es): Alliaume, Javier - Luna, Carlos - Pedemonte, Martín - Viera, Marcos
Fecha de publicación: 2005
Institución: Universidad de la República
Otros Autores: “…Luna, Carlos…”