CARLOS GUSTAVO LOPEZ POMBO

Datos académicos

Lugar de trabajo	UNIVERSIDAD DE BUENOS AIRES / FACULTAD DE CIENCIAS EXACTAS Y NATURALES / DEPARTAMENTO DE COMPUTACION
Título	Doctorado de la Universidad de Buenos Aires con orientación en informática
Grado	Universitario de posgrado/doctorado
Campo de aplicación	Ciencia y cultura-Ciencia y tecnologia
Especialidad	Métodos formales aplicados a la ingeniería de software

PRODUCCION CIENTÍFICO TECNOLÓGICA

Mostrando ítems 1-7 de 7

Artículo Categorical foundations for structured specifications in Z

Castro, Pablo Francisco ; Aguirre, Nazareno Matias ; Lopez Pombo, Carlos Gustavo ; T.S.E. Maibaum (Springer, 2015-11)
Artículo Dynamite: A tool for the verification of alloy models based on PVS

Moscato, Mariano Miguel ; Lopez Pombo, Carlos Gustavo ; Frias, Marcelo Fabian (Association for Computing Machinery, 2014-03)
Capítulo de Libro (Heterogeneous) structured specifications in logics without interpolation

Título del libro: Ewa Orlowska on Relational Methods in Logic and Computer Science

Lopez Pombo, Carlos Gustavo ; Frias, Marcelo Fabian - Otros responsables: Golińska Pilarek, Joanna Zawidzki, Michal - (Springer Nature Switzerland AG, 2018)
Artículo HeteroGenius: a framework for hybrid analysis of heterogeneous software specifications

Gimenez, Manuel; Moscato, Mariano Miguel ; Lopez Pombo, Carlos Gustavo ; Frias, Marcelo Fabian (Electronic Proceedings in Theoretical Computer Science, 2013-08)
Capítulo de Libro On the construction of explosive relation algebras

Título del libro: A question is more illuminating than an answer: a festschrift for Paolo A. S. Veloso

Lopez Pombo, Carlos Gustavo ; Frias, Marcelo Fabian ; Maibaum, Thomas S. E. - Otros responsables: Haeusler, Edward Hermann Pinheiro Dias Pereira, Luis Carlos Viana, Jorge Petrucio - (College Publications, 2021)
Artículo Satisfiability Calculus: An Abstract Formulation of Semantic Proof Systems

Lopez Pombo, Carlos Gustavo ; Castro, Pablo; Aguirre, Nazareno M.; Maibaum, Thomas S.E. (IOS Press, 2019-04)
Artículo TACO: efficient SAT-based bounded verification using symmetry breaking and tight bounds

Galeotti, Juan Pablo ; Rosner, Nicolas Leandro ; Lopez Pombo, Carlos Gustavo ; Frias, Marcelo Fabian (IEEE Computer Society, 2013-03)

Mostrando ítems 1-7 de 7