Toggle navigation
Notables
de la Ciencia
ACERCA DE
PROYECTO
Historia del proyecto
Contacto
JavaScript is disabled for your browser. Some features of this site may not work without it.
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