Pablo F. Castro

Statistics

Publications

Citations

103

H-Index

Active since

2007

Affiliations

Consejo Nacional de Investigaciones Científicas y Técnicas(Current)

Universidad Nacional de Río Cuarto

Pablo F. Castro is an author at Consejo Nacional de Investigaciones Científicas y Técnicas specializing in requirements modeling, computer science, and goal modeling.

ORCID

Publications per year

2007–2018

Publications

Deontic action logic, atomic boolean algebras and fault-tolerance

Pablo F. Castro, T. S. E. Maibaum · Journal of Applied Logic · 2009 · 34 citations

Humanities, Computer Science, Fault Tolerance +13

ADO.NET entity framework

Pablo F. Castro, Sergey Melnik, Atul Adya · 2007 · 27 citations

Computing, Computer Science, Information Systems +17

Goal-conflict detection based on temporal satisfiability checking

Renzo Degiovanni, Nicolás Ricci, Dalal Alrajeh et al. · 2016 · 23 citations

Engineering, Systems Engineering, Conflict Resolution +16

Goal-conflict likelihood assessment based on model counting

Renzo Degiovanni, Pablo F. Castro, Marcelo Arroyo et al. · 2018 · 19 citations

Engineering, Systems Engineering, Conflict Analysis +16

1–4 of 4