Skip navigation
Inicio
Listar
Comunidades
Listar Items por:
Fecha Publicación
Autor
Título
Materia
Ayuda
En pocas palabras
Ayuda Convenios
Ayuda Rápida
Preguntas Frecuentes
Apoyo a autores
Institucional
Objetivos
Beneficios
Recursos
Somos
Contacto
Equipo de Trabajo
BiDYA
Ingresar
Mi Espacio
Alertas
Editar perfil
Buscar
english
español
Colibri
Listar por Autor Luna, Carlos
Ir a:
0-9
A
B
C
D
E
F
G
H
I
J
K
L
M
N
O
P
Q
R
S
T
U
V
W
X
Y
Z
O introducir las primeras letras:
Ordenar por:
Título
Fecha de publicación
Fecha de envío
En orden:
Ascendente
Descendente
Resultados por página
5
10
15
20
25
30
35
40
45
50
55
60
65
70
75
80
85
90
95
100
Autor/Registro:
Todo
1
5
10
15
20
25
30
35
40
45
50
Mostrando resultados 1 a 20 de 21
Siguiente >
Fecha de publicación
Título
Autor(es)
2008
A Certified Access Controller for JME-MIDP 2.0 enabled Mobile Devices
Roushani Oskui, Ramin
;
Betarte, Gustavo
;
Luna, Carlos
2008
A Certified Access Controller for JME-MIDP 2.0 enabled Mobile Devices
Crespo, Juan Manuel
;
Betarte, Gustavo
;
Luna, Carlos
2006
A formal specification of the MIDP 2.0 security model
Zanella Béguelin, Santiago
;
Betarte, Gustavo
;
Luna, Carlos
2009
Análisis formal del estándar NIST para modelos RBAC
Luna, Carlos
;
Rosa, Cristian D
2009
Autorización de Acceso en MIDP 3.0
Mazeikis, Gustavo
;
Luna, Carlos
2013
Descripción y análisis del modelo de seguridad de Android
Romano, Agustín
;
Luna, Carlos
2000
Especificación y análisis de sistemas de tiempo real en teoría de tipos. Caso de estudio : the railroad crossing example
Luna, Carlos
2007
Especificación y verificación formal de sistemas críticos en el Instituto de Computación de la Universidad de la República (Uruguay)
Betarte, Gustavo
;
Luna, Carlos
;
Sierra Abbate, Luis Ricardo
2009
Estado del arte de lenguajes y herramientas de transformación de modelos
López, Horacio
;
Veresi, Fernando
;
Viñolo, Marcelo
;
Calegari, Daniel
;
Luna, Carlos
2011
Estado del arte de testing de transformaciones de modelos
López, Leonardo
;
Pintos, Leonardo
;
Calegari, Daniel
;
Luna, Carlos
2010
Estado del arte de verificación de transformación de modelos
López, Horacio
;
Varesi, Fernando
;
Viñolo, Marcelo
;
Calegari, Daniel
;
Luna, Carlos
2014
Formal analysis of security models for mobile devices, virtualization platforms and domain name systems
Luna, Carlos
2014
Formalizing alternating-time temporal logic in the coq proof assistant
Luna, Carlos
;
Sierra, Luis
;
Zanarini, Dante
2008
Hacia una especificación formal de un microcontrolador usado en marcapasos
Luna, Carlos
;
Echenique, Paula
;
Sierra Abbate, Luis Ricardo
2008
Hacia una especificación formal del modelo de seguridad de MIDP 3.0
Mazeikis, Gustavo
;
Betarte, Gustavo
;
Luna, Carlos
2012
Modelos de memoria en entornos de virtualización
Chimento, Jesús Mauricio Martín
;
Luna, Carlos
;
Betarte, Gustavo
;
Campo, Juan Diego
2017
Orientación estudiantil y desempeño académico en ingeniería
Luna, Carlos
;
Alessandrini, Daniel
;
Otegui, Ximena
;
Chiavone, Luciana
;
Viscarret, Andrea
2005
Programación 2 :experiencias y propuestas
Alliaume, Javier
;
Luna, Carlos
;
Pedemonte, Martín
;
Viera, Marcos
2010
Representation of metamodels using inductive types in a type-theoretic framework for MDE
Calegari García, Daniel
;
Luna, Carlos
;
Szasz, Nora
;
Tasistro, Alvaro
2010
Seguridad informática en la Universidad de la República
Betarte, Gustavo
;
Blanco, Alejandro
;
Campo, Juan Diego
;
Corti, María Eugenia
;
Luna, Carlos
;
Rodríguez Da Silva, Marcelo Paul
;
Zipitría, Felipe