Pablo Castro

Pablo Castro

Universidad Nacional de Río Cuarto - Río Cuarto / Argentina
Engineering & Technology / Computer Science
AD Scientific Index ID: 4644692
National University of Río Cuarto
person_outline Pablo Castro's MOST POPULAR ARTICLES
1-) Deontic action logic, atomic boolean algebras and fault-tolerance Journal of Applied Logic 7 (4), 441-466, 2009
2-) A complete and compact propositional deontic logic Theoretical Aspects of Computing–ICTAC 2007: 4th International Colloquium …, 2007
3-) Goal-conflict detection based on temporal satisfiability checking Proceedings of the 31st IEEE/ACM International Conference on Automated …, 2016
4-) Goal-conflict likelihood assessment based on model counting Proceedings of the 40th International Conference on Software Engineering …, 2018
5-) Towards managing dynamic reconfiguration of software systems in a categorical setting Theoretical Aspects of Computing–ICTAC 2010: 7th International Colloquium …, 2010