Comisión de Investigaciones Científicas — Argentina
Computer Science · Physical Sciences
Accepting Students?
No reports yet. Know if this professor is taking students?
Research Topics
Logic, programming, and type systems(22), Model-Driven Software Engineering Techniques(18), Formal Methods in Verification(17), Advanced Software Engineering Methodologies(15), Business Process Modeling and Analysis(11)
Publications80 total
Frequent Co-authors
Clàudia Pons(15), Marcelo F. Frias(14), Armando M. Haeberer(8), Roxana Silvia Giandini(8), Gabriela Alejandra Pérez(4), Nazareno Aguirre(3), T. S. E. Maibaum(3), Gerardo Blanco(3), Pablo F. Castro(3), Francisco Bavera(3), Martín Nordio(3), Jorge Aguirre(3), Ricardo Medel(3), Paulo A. S. Veloso(2), Carlos G. López Pombo(2), Miguel Felder(2), Mario Arévalo(2), Daniel Ríos(2), Daniel Rios(2), Nicolás Moncaut(2)