Nazareno Aguirre
Scholar

Nazareno Aguirre

Google Scholar ID: MHw5kA0AAAAJ
Universidad Nacional de Río Cuarto / Consejo Nacional de Investigaciones Científicas y Técnicas
Software EngineeringFormal Methods
Homepage↗Google Scholar↗
Citations & Impact
All-time
Citations
555
 
H-index
14
 
i10-index
18
 
Publications
20
 
Co-authors
22
list available
Contact
No contact links provided.
Publications
2 items
State Field Coverage: A Metric for Oracle Quality
2025
Cited
0
Bounded Synthesis of Synchronized Distributed Models from Lightweight Specifications
2025
Cited
0
Resume (English only)
Co-authors
22 total
Co-author 1
Co-author 1
Co-author 2
Co-author 2
Pablo Castro
Pablo Castro
Universidad Nacional de Rio Cuarto, Argentina
Facundo Molina
Facundo Molina
Postdoctoral Researcher, IMDEA Software Institute
Co-author 5
Co-author 5
Juan Pablo Galeotti
Juan Pablo Galeotti
Universidad de Buenos Aires
Co-author 7
Co-author 7
Sebastian Uchitel
Sebastian Uchitel
Universidad de Buenos Aires and Imperial College London