1
Publications
23
Citations
1
H-Index
2016
Active since
Affiliations
Nicolás Ricci is an author at Consejo Nacional de Investigaciones Científicas y Técnicas specializing in formal methods, automated reasoning, and verification.
Top concepts
DesignEngineeringVerificationFormal MethodsSoftware DesignComputer ScienceAutomated ReasoningFormal VerificationSystems EngineeringSoftware Engineering
Publications per year
2016–2016
1
1
Goal-conflict detection based on temporal satisfiability checking
Renzo Degiovanni, Nicolás Ricci, Dalal Alrajeh et al. · 2016 · 23 citations
Rows per page
1–1 of 1