Benedetto Intrigila

Qualifica
ORDINARIO
Fonte dei dati: Archivio della Ricerca http://art.torvergata.it
  1. Penna, G.d., Frasca, P., & Intrigila, B. (2019). Two factor authentication for e-government services using hardware-like One Time Password generators. JOURNAL OF COMPUTER SCIENCE, 15(1), 171-189. Dettagli
  2. Intrigila, B., & Mazzucchelli, L. (2018). Engineering Complex Safety Critical Software Systems: Abstraction and Concreteness. Paper presented at 2018 IEEE International Symposium on Systems Engineering (ISSE), Roma, Italy. Dettagli
  3. Intrigila, B., & Statman, R. (2018). Fixed points in lambda calculus. An eccentric survey of problems and solutions. INDAGATIONES MATHEMATICAE, 29(1), 450-458. Dettagli
  4. Intrigila, B., Manzonetto, G., & Polonsky, A. (2017). Refutation of sallé's longstanding conjecture. Paper presented at 2nd International Conference on Formal Structures for Computation and Deduction, FSCD 2017, September 3-9, 2017, Oxford, UK. Dettagli
  5. Antonacci, G., Calabrese, A., D'Ambrogio, A., Giglio, A., Intrigila, B., & Ghiron, N.l. (2016). A BPMN-based automated approach for the analysis of healthcare processes. In Proceedings of the 25th IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE 2016) (pp.124-129). Dettagli
  6. D'Alessandro, F., & Intrigila, B. (2015). On the commutative equivalence of bounded context-free and regular languages: The code case. THEORETICAL COMPUTER SCIENCE. Dettagli
  7. D'Alessandro, F., & Intrigila, B. (2015). On the commutative equivalence of bounded context-free and regular languages: Thesemi-linear case. THEORETICAL COMPUTER SCIENCE, 572, 1-24. Dettagli
  8. D'Alessandro, F., & Intrigila, B. (2015). On the commutative equivalence of semi-linear sets of Nk. THEORETICAL COMPUTER SCIENCE, 562(C), 476-495. Dettagli
  9. Cardinale Ciccotti, G., Della Penna, G., Intrigila, B., Magazzeni, D., Orefice, S., & Del Sordo, R. (2013). Sybel: a System Modelling Language Enhancing Automatic Support in the Software Development Process. INTERNATIONAL JOURNAL OF SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING. Dettagli
  10. Della Penna G, D.S.R. (2013). A Lightweight Formalism for the Integration of BPMN Models with Domain Ontologies. Paper presented at AI Meets Business Processes 2013 co-located with the 13th Conference of the Italian Association for Artificial Intelligence (AI*IA 2013). Dettagli
  11. D'Alessandro, F., Intrigila, B., & Varricchio, S. (2012). Quasi-polynomials, linear Diophantine equations and semi-linear sets. THEORETICAL COMPUTER SCIENCE. Dettagli
  12. Intrigila, B., & Statman, R. (2011). Solution to the range problem for combinatory logic. FUNDAMENTA INFORMATICAE. Dettagli
  13. Della-Penna, G., Intrigila, B., Magazzeni, D., & Mercorio, F. (2010). A PDDL+ Benchmark Problem: The Batch Chemical Plant. Paper presented at International Conference on Automated Planning and Scheduling (ICAPS) 2010. Dettagli
  14. Della Penna, G., Intrigila, B., Magazzeni, D., & Mercorio, F. (2010). Planning for Autonomous Planetary Vehicles. Paper presented at Autonomic and Autonomous Systems (ICAS), 2010 Sixth International Conference, Cancun, Mexico. Dettagli
  15. Della Penna, G., Intrigila, B., & Magazzeni, D. (2009). Evaluating fuzzy controller robustness using model checking. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (pp.303-311). Dettagli
  16. Della Penna, G., Intrigila, B., Magazzeni, D., & Mercorio, F. (2009). UPMurphi: A Tool for Universal Planning on PDDL+ Problems. In Proceedings of the Nineteenth International Conference on Automated Planning and Scheduling (ICAPS 2009). Dettagli
  17. D’Alessandro, F., Intrigila, B., & Varricchio, S. (2009). The Parikh counting functions of sparse context-free languages are quasi-polynomials. THEORETICAL COMPUTER SCIENCE, 410(47-49), 5158-5191. Dettagli
  18. Intrigila, B., & Statman, R. (2009). THE OMEGA RULE IS Pi(1)(1)-COMPLETE IN THE lambda beta-CALCULUS. LOGICAL METHODS IN COMPUTER SCIENCE, 5(2). Dettagli
  19. Della Penna, G., Intrigila, B., Magazzeni, D., Tofani, A., Melatti, I., & Tronci, E. (2008). Automated Generation of Optimal Controllers through Model Checking Techniques. In Informatics in Control Automation and Robotics Lecture Notes in Electrical Engineering, 2008, Volume 15. Springer. Dettagli
  20. Della Penna, G., Laurenzi, A.R., Orefice, S., & Intrigila, B. (2008). An XML based methodology to model and use scenarios in the software development process. INTERNATIONAL JOURNAL OF SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING, 18(6), 823-852. Dettagli
  21. Talamo, M., Arcieri, F., Della Penna, G., Dimitri, A., Intrigila, B., & Magazzeni, D. (2008). Robustness and Interoperability Problems in Security Devices. Paper presented at 4th International Conferences on Information Security and Cryptology Inscrypt 2008, Beijing, China. Dettagli
  22. Talamo, M., Arcieri, F., Della Penna, G., Dimitri, A., Intrigila, B., & Magazzeni, D. (2008). Verifying extended criteria for the interoperability of security devices. In ON THE MOVE TO MEANINGFUL INTERNET SYSTEMS: OTM 2008, PT II, PROCEEDINGS (pp.1131-1139). BERLIN : SPRINGER-VERLAG BERLIN. Dettagli
  23. Della Penna, G., Fallucchi, F., Intrigila, B., & Magazzeni, D. (2007). A genetic approach to the automatic generation of fuzzy control systems from numerical controllers. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (pp.230-241). Dettagli
  24. Intrigila, B., & Statman, R. (2007). The omega rule is \Pi^1_1-complete in the lambda-calculus. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (pp.178-193). Dettagli
  25. Intrigila, B., Melatti, I., Tofani, A., & Macchiarelli, G. (2007). Computational models of myocardial endomysial collagen arrangement. COMPUTER METHODS AND PROGRAMS IN BIOMEDICINE, 86(3), 232-244. Dettagli
  26. D'Alessandro, F., Intrigila, B., & Varricchio, S. (2006). On the structure of the counting function of sparse context-free languages. THEORETICAL COMPUTER SCIENCE, 356, 104-117. Dettagli
  27. Della Penna, G., Marco, A.D., Intrigila, B., Melatti, I., & Pierantonio, A. (2006). Interoperability mapping from XML schemas to ER diagrams. DATA & KNOWLEDGE ENGINEERING, 59(1), 166-188. Dettagli
  28. Della_Penna, G., Intrigila, B., Melatti, I., Tronci, E., & Venturini_Zilli, M. (2006). Finite horizon analysis of Markov Chains with the Murphi verifier. INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER. Dettagli
  29. Della Penna, G., Melatti, I., Intrigila, B., & Tronci, E. (2005). Exploiting hub states in automatic verification. In AUTOMATED TECHNOLOGY FOR VERIFICATION AND ANALYSIS, PROCEEDINGS (pp.54-68). BERLIN : SPRINGER-VERLAG BERLIN. Dettagli
  30. Intrigila, B., & Statman, R. (2005). Some results on extensionality in lambda calculus. ANNALS OF PURE AND APPLIED LOGIC. Dettagli
  31. Intrigila, B., Magazzeni, D., Melatti, I., & Tronci, E. (2005). A Model Checking Technique for the Verification of Fuzzy Control Systems.. Paper presented at 2005 International Conference on Computational Intelligence for Modelling Control and Automation (CIMCA 2005), Vienna. Dettagli
  32. Della Penna, G., Intrigila, B., Melatti, I., Tronci, E., & Zilli, M.V. (2004). Bounded Probabilistic Model Checking with the Murφ Verifier. Paper presented at Formal Methods in Computer-Aided Design. Dettagli
  33. Della Penna, G., Intrigila, B., Melatti, I., Tronci, E., & Zilli, M.V. (2004). Exploiting transition locality in automatic verification of finite-state concurrent systems. INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER, 6(4), 320-341. Dettagli
  34. Intrigila B., V.S. (2000). On the generalization of Higman and Kruskal's theorems to regular languages and rational trees. ACTA INFORMATICA, 36, 817-835. Dettagli