PABLO DANIEL PONZIO

Datos académicos

Lugar de trabajo	UNIVERSIDAD NACIONAL DE RIO CUARTO / FACULTAD DE CS.EXACTAS FISICOQUIMICAS Y NATURALES / DEPARTAMENTO DE COMPUTACION / GRUPO DE INGENIERIA DE SOFTWARE
Título	Doctor de la Universidad de Buenos Aires, área Computación
Grado	Universitario de posgrado/doctorado

PRODUCCION CIENTÍFICO TECNOLÓGICA

Mostrando ítems 1-3 de 3

Artículo Automated Workarounds from Java Program Specifications based on SAT Solving

Uva, Marcelo Ariel; Ponzio, Pablo Daniel ; Regis, Germán; Aguirre, Nazareno Matias ; Frias, Marcelo Fabian (Springer Verlag, 2018-11)
Artículo Efficient Tight Field Bounds Computation Based on Shape Predicates

Ponzio, Pablo Daniel ; Rosner, Nicolas Leandro ; Aguirre, Nazareno Matias ; Frias, Marcelo Fabian (Springer, 2014-05)
Artículo Improving lazy abstraction for SCR specifications through constraint relaxation

Degiovanni, Renzo Gastón ; Ponzio, Pablo Daniel ; Aguirre, Nazareno Matias ; Frias, Marcelo Fabian (John Wiley & Sons Ltd, 2018-03)

Mostrando ítems 1-3 de 3