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
Facultad de Ingeniería
Buscar
Búsqueda avanzada
Buscar:
Todo Colibri
Facultad de Ingeniería
Instituto de Computación
Publicaciones académicas y científicas
Reportes Técnicos
Tesis de grado
Tesis de posgrado
por
Filtros actuales:
Título
Autor
Materia
Fecha de Publicación
Clasificación
Palabras clave
Descriptores
Tutor
Convenios: Número
Convenios: Tipo
Convenios: Tipo específico
Convenios: Contraparte
Convenios: Pais de la contraparte
Iguales
Contiene
ID
Diferente a
No Contiene
ID distinto a
Comenzar una nueva búsqueda
Agregar filtros:
Usar filtros para refinar el resultado de la búsqueda.
Título
Autor
Materia
Fecha de Publicación
Clasificación
Palabras clave
Descriptores
Tutor
Convenios: Número
Convenios: Tipo
Convenios: Tipo específico
Convenios: Contraparte
Convenios: Pais de la contraparte
Iguales
Contiene
ID
Diferente a
No Contiene
ID distinto a
Resultados 1-10 de 20.
Anterior
1
2
Siguiente
Resultados por ítem:
Fecha de publicación
Título
Autor(es)
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
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
2010
Estado del arte de verificación de transformación de modelos
López, Horacio
;
Varesi, Fernando
;
Viñolo, Marcelo
;
Calegari, Daniel
;
Luna, Carlos
2009
Autorización de Acceso en MIDP 3.0
Mazeikis, Gustavo
;
Luna, Carlos
2010
Representation of metamodels using inductive types in a type-theoretic framework for MDE
Calegari García, Daniel
;
Luna, Carlos
;
Szasz, Nora
;
Tasistro, Alvaro
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
2012
Modelos de memoria en entornos de virtualización
Chimento, Jesús Mauricio Martín
;
Luna, Carlos
;
Betarte, Gustavo
;
Campo, Juan Diego
2005
Programación 2 :experiencias y propuestas
Alliaume, Javier
;
Luna, Carlos
;
Pedemonte, Martín
;
Viera, Marcos
2008
Hacia una especificación formal del modelo de seguridad de MIDP 3.0
Mazeikis, Gustavo
;
Betarte, Gustavo
;
Luna, Carlos
Anterior
1
2
Siguiente
Descubrir
Autor
7
Betarte, Gustavo
3
Calegari, Daniel
2
Campo, Juan Diego
2
López, Horacio
2
Mazeikis, Gustavo
2
Sierra Abbate, Luis Ricardo
.
siguiente >
Palabras claves
5
Coq
3
Java Micro Edition
3
MIDP
2
Calculus of Inductive Constructions
2
Especificaciones Formales
2
Interactive Mobile Devices
.
siguiente >