Seguir
Ricardo Medel
Ricardo Medel
Adjunct Professor, Universidad Tecnologica Nacional Facultad Regional Cordoba
Dirección de correo verificada de frc.utn.edu.ar
Título
Citado por
Citado por
Año
Experimental analysis of different techniques for bounded model checking
N Amla, R Kurshan, KL McMillan, R Medel
Tools and Algorithms for the Construction and Analysis of Systems: 9th …, 2003
922003
A typed assembly language for non-interference
R Medel, A Compagnoni, E Bonelli
Italian Conference on Theoretical Computer Science, 360-374, 2005
372005
Information flow analysis for a typed assembly language with polymorphic stacks
E Bonelli, A Compagnoni, R Medel
International Workshop on Construction and Analysis of Safe, Secure, and …, 2005
152005
Non-interference for a typed assembly language
R Medel, A Compagnoni, E Bonelli
Foundations of Computer Security, 67, 2005
122005
SIFTAL: A typed assembly language for secure information flow analysis
E Bonelli, A Compagnoni, R Medel
Informal Proceedings of FCS 5, 2004
122004
Modelos de aprendizaje supervisados: aplicaciones para la predicción de incendios forestales en la provincia de Córdoba
ME Cardenas, R Medel, JJ Castillo, JC Vázquez, O Casco
XVII Workshop de Investigadores en Ciencias de la Computación (Salta, 2015), 2015
102015
A framework for execution of secure mobile code based on static analysis
M Nordio, F Bavera, R Medel, J Aguirre, G Baum
XXIV International Conference of the Chilean Computer Science Society, 59-66, 2004
72004
Manual-Guía de Aprendizaje de Programación Avanzada
A Ferreira, C Luna, R Medel
publicado por la Editorial de la Fundación de la Universidad Nacional de Río …, 1998
61998
Una propuesta de integración de nociones lógico-matemáticas en la enseñanza de la Programación
A Ferreira Szpiniak, CD Luna, R Medel
III Congreso Argentino de Ciencias de la Computación, 1997
61997
Estudio bibliográfico del estado del arte del desarrollo y aplicaciones educativas de CanSats
M Arruabarrena, A Fernández, R Medel, L Mori
X CATE, 2019
52019
Metodología para el Desarrollo de Aplicaciones en un Ambiente de Televisión Digital
N Navarro, R Medel
52013
Avances en Proof-Carrying Code
F Bavera, M Nordio, R Medel, J Aguirre, GA Baum
IX Congreso Argentino de Ciencias de la Computación, 2003
52003
Avances en el estudio de la Televisión Digital como plataforma educativa
M Abrutsky, F Bobbio, I Giagante, R Medel, N Navarro, MA Odetti
Editor Responsable 3, 2013
42013
Typed assembly languages for software security
RH Medel
Stevens Institute of Technology, 2007
42007
Our experiences teaching functional programming at University of Río Cuarto (Argentina)
AF Szpiniak, CD Luna, RH Medel
ACM SIGCSE Bulletin 30 (2), 28-30, 1998
41998
SIFTAL: A Typed Assembly Language for Secure Information Flow Analysis, 2004
E Bonelli, A Compagnoni, R Medel
Manuscript, 0
4
Minisatélite Cansat Aplicado al Aprendizaje Basado en Problemas en Diversos Contextos Educativos
M Arruabarrena, L Báez, A Fernández, M Lammers, E Marengo, R Medel, ...
Jornadas de Ciencia y Tecnología 50, 2020
32020
Televisión Digital como plataforma educativa
M Abrutsky, F Bobbio, I Giagante, R Medel, N Navarro, MA Odetti
XV Workshop de Investigadores en Ciencias de la Computación, 2013
32013
Sistema de predicción de incendios forestales para la provincia de Córdoba
M Cardenas, O Casco, J Castillo, A Curti, S Gutierrez, R Medel, ...
22016
Experiencia del primer año de dictado de una asignatura electiva sobre Software Libre en la carrera de Ingeniería en Sistemas
R Medel
III Simposio Argentino de Tecnología y Sociedad (STS 2016)-JAIIO 45 (Tres de …, 2016
22016
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20