Is this you? Create Your Porfile
Avatar

Ricardo Medel

National University of Río Cuarto

Network

Latest external collaboration on country level. Dive into details by clicking on the dots.

Explore More

Hotspot

Dive into the research topics where Ricardo Medel is active.

Explore More

Publication

Featured researches published by Ricardo Medel.

XI Congreso Argentino de Ciencias de la Computación | 2005

CCMini: a prototype of certifying compiler based on annotated abstract syntax trees

Francisco Bavera; Martín Nordio; Ricardo Medel; Jorge Aguirre; Gabriel Alfredo Baum

VII Workshop de Investigadores en Ciencias de la Computación | 2005

Entorno de Código Móvil Seguro

Jorge Aguirre; Gabriel Alfredo Baum; Marcelo Arroyo; Francisco Bavera; Ricardo Medel; Martín Nordio; Cecilia Kilmurray; Johanna Mussolini

X Congreso Argentino de Ciencias de la Computación | 2004

STALlion: a simple typed assembly language for static analysis

Martín Nordio; Francisco Bavera; Ricardo Medel; Jorge Aguirre; Gabriel Alfredo Baum

X Congreso Argentino de Ciencias de la Computación | 2004

Optimización del prototipo del entorno de ejecución de PCC-SA

Francisco Bavera; Martín Nordio; Ricardo Medel; Jorge Aguirre; Gabriel Alfredo Baum

VI Workshop de Investigadores en Ciencias de la Computación | 2004

Grupo de procesadores de lenguajes

Francisco Bavera; Martín Nordio; Jorge Aguirre; Marcelo Arroyo; Gabriel Alfredo Baum; Ricardo Medel

V Workshop de Investigadores en Ciencias de la Computación | 2003

Avances en procesadores de lenguajes y proof-carrying code

Jorge Aguirre; Ricardo Medel; Marcelo Arroyo; Nicolás Florio; Francisco Bavera; Paola Caymes Scutari; D. Nordio

IX Congreso Argentino de Ciencias de la Computación | 2003

Avances en Proof-Carrying Code

Francisco Bavera; Martín Nordio; Ricardo Medel; Jorge Aguirre; Gabriel Alfredo Baum

VIII Congreso Argentino de Ciencias de la Computación | 2002

Aportes para al verificación eficiente de sistemas utilizando el cálculo relacional

Gabriel Alfredo Baum; Ricardo Medel

V Congreso Argentino de Ciencias de la Computación | 1999

Aplicación de algebras fork en la verificación automática de sistemas especificados en lógica modal

Ricardo Medel; Gabriel Alfredo Baum

IV Congreso Argentina de Ciencias de la Computación | 1998

Construcción y optimización de programas en Fork Álgebras

Gabriel Alfredo Baum; Marcelo F. Frias; Nazareno Aguirre; Ricardo Medel

Explore More

Collaboration

Dive into the Ricardo Medel's collaboration.

Top Co-Authors
Avatar

Francisco Bavera

National University of Río Cuarto

View shared research outputs
Top Co-Authors
Avatar

Gabriel Alfredo Baum

National University of La Plata

View shared research outputs
Top Co-Authors
Avatar

Jorge Aguirre

University of Buenos Aires

View shared research outputs
Top Co-Authors
Avatar

Martín Nordio

National University of Río Cuarto

View shared research outputs
Top Co-Authors
Avatar

Marcelo Arroyo

National University of Río Cuarto

View shared research outputs
Top Co-Authors
Avatar

Gabriel Alfredo Baum

National University of La Plata

View shared research outputs
Top Co-Authors
Avatar

Jorge Aguirre

University of Buenos Aires

View shared research outputs
Top Co-Authors
Avatar

Marcelo F. Frias

Instituto Tecnológico de Buenos Aires

View shared research outputs
Top Co-Authors
Avatar

Nazareno Aguirre

National Scientific and Technical Research Council

View shared research outputs
Top Co-Authors
Avatar

Nicolás Florio

National University of Río Cuarto

View shared research outputs
Explore More
Researchain Logo
Decentralizing Knowledge