Concepedia
Statistics
Publications
25
Citations
641
H-Index
14
Active since
1991
Affiliations
University of Rome Tor Vergata(Current)
University of L'Aquila
Sapienza University of Rome
Boğaziçi University
Benedetto Intrigila is an author at University of Rome Tor Vergata specializing in computer science, mathematics, and computing.
Publications per year
1991–2021
UPMurphi: A Tool for Universal Planning on PDDL+ Problems
Giuseppe Della Penna, Daniele Magazzeni, Fabio Mercorio et al. · Proceedings of the International Conference on Automated Planning and Scheduling · 2009 · 107 citations · Full text
Computing, Computer Science, Systems Engineering +15
On the Cop Number of a Graph
Alessandro Berarducci, Benedetto Intrigila · Advances in Applied Mathematics · 1993 · 107 citations
Natural Sciences, Mathematics, Combinatorics +6
Exploiting transition locality in automatic verification of finite-state concurrent systems
Giuseppe Della Penna, Benedetto Intrigila, Igor Melatti et al. · International Journal on Software Tools for Technology Transfer · 2004 · 47 citations
Computing, Computer Engineering, Computer Science +14
Combinatorial principles in elementary number theory
Alessandro Berarducci, Benedetto Intrigila · Annals of Pure and Applied Logic · 1991 · 29 citations
Natural Sciences, Mathematics, Physics +12
A probabilistic approach to automatic verification of concurrent systems
Enrico Tronci, Giuseppe Della Penna, Benedetto Intrigila et al. · 2005 · 28 citations
1–5 of 25