Benedetto Intrigila

Publication Activity (10 Years)

Years Active: 1983-2023
Publications (10 Years): 11

Top Topics

Process Oriented

Deterministic Domains

Top Venues

Theor. Comput. Sci.

Log. Methods Comput. Sci.

Publications

Benedetto Intrigila, Giuseppe Della Penna, Andrea D'Ambrogio, Dario Campagna, Malina Grigore
Process-Oriented Requirements Definition and Analysis of Software Components in Critical Systems. Comput. 12 (9) (2023)
Benedetto Intrigila, Giulio Manzonetto, Nicolas Munnich
Extended Addressing Machines, explicit substitutions, PCF, definability, full abstraction. CoRR (2023)
Giuseppe Della Penna, Benedetto Intrigila, Giulio Manzonetto
Addressing Machines as models of lambda-calculus. Log. Methods Comput. Sci. 18 (3) (2022)
Benedetto Intrigila, Giulio Manzonetto, Nicolas Munnich
Extended Addressing Machines for PCF, with Explicit Substitutions. CoRR (2022)
Benedetto Intrigila, Giuseppe Della Penna, Andrea D'Ambrogio
A Lightweight BPMN Extension for Business Process-Oriented Requirements Engineering. Comput. 10 (12) (2021)
Giuseppe Della Penna, Benedetto Intrigila, Giulio Manzonetto
Addressing Machines as models of lambda-calculus. CoRR (2021)
Benedetto Intrigila, Giulio Manzonetto, Andrew Polonsky
Degrees of extensionality in the theory of Böhm trees and Sallé's conjecture. Log. Methods Comput. Sci. 15 (1) (2019)
Benedetto Intrigila, Giulio Manzonetto, Andrew Polonsky
Degrees of extensionality in the theory of Böhm trees and Sallé's conjecture. CoRR (2018)
Benedetto Intrigila, Giulio Manzonetto, Andrew Polonsky
Refutation of Sallé's Longstanding Conjecture. FSCD (2017)
Benedetto Intrigila, Richard Statman
Lambda theories allowing terms with a finite number of fixed points. Math. Struct. Comput. Sci. 27 (3) (2017)
Grazia Antonacci, Armando Calabrese, Andrea D'Ambrogio, Andrea Giglio, Benedetto Intrigila, Nathan Levialdi Ghiron
A BPMN-Based Automated Approach for the Analysis of Healthcare Processes. WETICE (2016)
Flavio D'Alessandro, Benedetto Intrigila
. Theor. Comput. Sci. 562 (2015)
Giuseppe Della Penna, Benedetto Intrigila, Daniele Magazzeni, Fabio Mercorio
Synthesis of Cost-Optimal Strong Plans in Non-Deterministic Domains. Int. J. Artif. Intell. Tools 24 (6) (2015)
Flavio D'Alessandro, Benedetto Intrigila
On the commutative equivalence of bounded context-free and regular languages: The code case. Theor. Comput. Sci. 562 (2015)
Flavio D'Alessandro, Benedetto Intrigila
On the commutative equivalence of bounded context-free and regular languages: The semi-linear case. Theor. Comput. Sci. 572 (2015)
Giuseppe Della Penna, Roberto del Sordo, Benedetto Intrigila, Nicolò Mezzopera, Maria Teresa Pazienza
A Lightweight Formalism for the Integration of BPMN Models with Domain Ontologies. AIBP@AI*IA (2013)
Giuseppe Della Penna, Sergio Orefice, Benedetto Intrigila, Daniele Magazzeni, Roberto del Sordo, Giuseppe Cardinale Ciccotti
Sybel: a System Modelling Language Enhancing Automatic Support in the Software Development Process. Int. J. Softw. Eng. Knowl. Eng. 23 (2) (2013)
Giuseppe Della Penna, Benedetto Intrigila, Daniele Magazzeni, Igor Melatti, Enrico Tronci
CGMurphi: Automatic synthesis of numerical controllers for nonlinear hybrid systems. Eur. J. Control 19 (1) (2013)
Flavio D'Alessandro, Benedetto Intrigila, Stefano Varricchio
Quasi-polynomials, linear Diophantine equations and semi-linear sets. Theor. Comput. Sci. 416 (2012)
Giuseppe Della Penna, Fabio Mercorio, Benedetto Intrigila, Daniele Magazzeni, Enrico Tronci
Cost-optimal Strong Planning in Non-deterministic Domains. ICINCO (1) (2011)
Benedetto Intrigila, Richard Statman
Solution to the Range Problem for Combinatory Logic. Fundam. Informaticae 111 (2) (2011)
Giuseppe Della Penna, Benedetto Intrigila, Daniele Magazzeni, Fabio Mercorio
Resource-Optimal Planning For An Autonomous Planetary Vehicle CoRR (2010)
Giuseppe Della Penna, Benedetto Intrigila, Daniele Magazzeni, Fabio Mercorio
A PDDL+ Benchmark Problem: The Batch Chemical Plant. ICAPS (2010)
Giuseppe Della Penna, Benedetto Intrigila, Daniele Magazzeni, Fabio Mercorio
Planning for Autonomous Planetary Vehicles. ICAS (2010)
Flavio D'Alessandro, Benedetto Intrigila, Stefano Varricchio
On some counting problems for semi-linear sets CoRR (2009)
Giuseppe Della Penna, Benedetto Intrigila, Daniele Magazzeni
Evaluating Fuzzy Controller Robustness Using Model Checking. WILF (2009)
Flavio D'Alessandro, Benedetto Intrigila, Stefano Varricchio
The Parikh counting functions of sparse context-free languages are quasi-polynomials. Theor. Comput. Sci. 410 (47-49) (2009)
Giuseppe Della Penna, Daniele Magazzeni, Fabio Mercorio, Benedetto Intrigila
UPMurphi: A Tool for Universal Planning on PDDL+ Problems. ICAPS (2009)
Benedetto Intrigila, Richard Statman
-Complete in the λβ-Calculus Log. Methods Comput. Sci. 5 (2) (2009)
Maurizio Talamo, Franco Arcieri, Giuseppe Della Penna, Andrea Dimitri, Benedetto Intrigila, Daniele Magazzeni
Verifying Extended Criteria for the Interoperability of Security Devices. OTM Conferences (2) (2008)
Flavio D'Alessandro, Benedetto Intrigila, Stefano Varricchio
The Parikh functions of sparse context-free languages are quasi-polynomials CoRR (2008)
Giuseppe Della Penna, Anna Rita Laurenzi, Sergio Orefice, Benedetto Intrigila
An XML Based Methodology to Model and Use Scenarios in the Software Development Process. Int. J. Softw. Eng. Knowl. Eng. 18 (6) (2008)
Giuseppe Della Penna, Nadia Lauri, Daniele Magazzeni, Benedetto Intrigila
OBDD Compression of Numerical Controllers. ICINCO-ICSO (2008)
Benedetto Intrigila, Richard Statman
-Calculus. TLCA (2007)
Giuseppe Della Penna, Francesca Fallucchi, Benedetto Intrigila, Daniele Magazzeni
A Genetic Approach to the Automatic Generation of Fuzzy Control Systems from Numerical Controllers. AI*IA (2007)
Benedetto Intrigila, Igor Melatti, Alberto Tofani, Guido Macchiarelli
Computational models of myocardial endomysial collagen arrangement. Comput. Methods Programs Biomed. 86 (3) (2007)
Benedetto Intrigila, Richard Statman
Solution of a Problem of Barendregt on Sensible lambda-Theories. Log. Methods Comput. Sci. 2 (4) (2006)
Benedetto Intrigila, Richard Statman
Solution of a Problem of Barendregt on Sensible lambda-Theories CoRR (2006)
Giuseppe Della Penna, Alberto Tofani, Marcello Pecorari, Orazio Raparelli, Benedetto Intrigila, Igor Melatti, Enrico Tronci
A Case Study on Automated Generation of Integration Tests. FDL (2006)
Giuseppe Della Penna, Daniele Magazzeni, Alberto Tofani, Benedetto Intrigila, Igor Melatti, Enrico Tronci
Automatic generation of optimal controllers through model checking techniques. ICINCO-ICSO (2006)
Giuseppe Della Penna, Benedetto Intrigila, Anna Rita Laurenzi, Sergio Orefice
An XML environment for scenario based requirements engineering. J. Syst. Softw. 79 (3) (2006)
Giuseppe Della Penna, Benedetto Intrigila, Igor Melatti, Enrico Tronci, Marisa Venturini Zilli
Finite horizon analysis of Markov Chains with the Murphi verifier. Int. J. Softw. Tools Technol. Transf. 8 (4-5) (2006)
Flavio D'Alessandro, Benedetto Intrigila, Stefano Varricchio
On the structure of the counting function of sparse context-free languages. Theor. Comput. Sci. 356 (1-2) (2006)
Giuseppe Della Penna, Antinisca Di Marco, Benedetto Intrigila, Igor Melatti, Alfonso Pierantonio
Interoperability mapping from XML schemas to ER diagrams. Data Knowl. Eng. 59 (1) (2006)
Giuseppe Della Penna, Igor Melatti, Benedetto Intrigila, Enrico Tronci
Exploiting Hub States in Automatic Verification. ATVA (2005)
Benedetto Intrigila, Richard Statman
Some results on extensionality in lambda calculus. Ann. Pure Appl. Log. 132 (2-3) (2005)
Benedetto Intrigila, Daniele Magazzeni, Igor Melatti, Enrico Tronci
A Model Checking Technique for the Verification of Fuzzy Control Systems. CIMCA/IAWTIC (2005)
Benedetto Intrigila, Richard Statman
The Omega Rule is II_2^0-Hard in the lambda beta -Calculus. LICS (2004)
Giuseppe Della Penna, Benedetto Intrigila, Sergio Orefice
An environment for the design and implementation of visual applications. J. Vis. Lang. Comput. 15 (6) (2004)
Giuseppe Della Penna, Benedetto Intrigila, Igor Melatti, Enrico Tronci, Marisa Venturini Zilli
Verifier. FMCAD (2004)
Giuseppe Della Penna, Benedetto Intrigila, Anna Rita Laurenzi, Sergio Orefice
A Methodology for Scenario Development. SEKE (2004)
Giuseppe Della Penna, Benedetto Intrigila, Igor Melatti, Enrico Tronci, Marisa Venturini Zilli
Exploiting transition locality in automatic verification of finite-state concurrent systems. Int. J. Softw. Tools Technol. Transf. 6 (4) (2004)
Giuseppe Della Penna, Benedetto Intrigila, Anna Rita Laurenzi, Sergio Orefice
An XML Definition Language to Support Scenario-Based Requirements Engineering. Int. J. Softw. Eng. Knowl. Eng. 13 (3) (2003)
Benedetto Intrigila, Monica Nesi
On structural properties of eta-expansions of identity. Inf. Process. Lett. 87 (6) (2003)
Giuseppe Della Penna, Benedetto Intrigila, Igor Melatti, Enrico Tronci, Marisa Venturini Zilli
Finite Horizon Analysis of Markov Chains with the Mur-phi Verifier. CHARME (2003)
Giuseppe Della Penna, Benedetto Intrigila, Enrico Tronci, Marisa Venturini Zilli
Synchronized regular expressions. Acta Informatica 39 (1) (2003)
Giuseppe Della Penna, Benedetto Intrigila, Igor Melatti, Enrico Tronci, Marisa Venturini Zilli
Finite Horizon Analysis of Stochastic Systems with the Mur varphi Verifier. ICTCS (2003)
Giuseppe Della Penna, Benedetto Intrigila, Igor Melatti, Michele Minichino, Ester Ciancamerla, Andrea Parisse, Enrico Tronci, Marisa Venturini Zilli
Automatic Verification of a Turbogas Control System with the Mur varphi Verifier. HSCC (2003)
Giuseppe Della Penna, Benedetto Intrigila, Igor Melatti, Enrico Tronci, Marisa Venturini Zilli
Integrating RAM and Disk Based Verification within the Mur-phi Verifier. CHARME (2003)
Giuseppe Della Penna, Antinisca Di Marco, Benedetto Intrigila, Igor Melatti, Alfonso Pierantonio
Xere: Towards a Natural Interoperability between XML and ER Diagrams. FASE (2003)
Giuseppe Della Penna, Benedetto Intrigila, Enrico Tronci, Marisa Venturini Zilli
Exploiting Transition Locality in the Disk Based Mur phi Verifier. FMCAD (2002)
Enrico Tronci, Giuseppe Della Penna, Benedetto Intrigila, Marisa Venturini Zilli
A Probabilistic Approach to Automatic Verification of Concurrent Systems. APSEC (2001)
Giuseppe Della Penna, Benedetto Intrigila, Enrico Tronci, Marisa Venturini Zilli
Synchronized Regular Expressions. Electron. Notes Theor. Comput. Sci. 62 (2001)
Enrico Tronci, Giuseppe Della Penna, Benedetto Intrigila, Marisa Venturini Zilli
Exploiting Transition Locality in Automatic Verification. CHARME (2001)
Giuseppe Della Penna, Benedetto Intrigila, Sergio Orefice
Generating graphical applications from state-transition visual specifications. Int. J. Hum. Comput. Stud. 55 (6) (2001)
Benedetto Intrigila, Ivano Salvo, Stefano Sorgi
A Characterization of Weakly Church-Rosser Abstract Reduction Systems That Are Not Church-Rosser. Inf. Comput. 171 (2) (2001)
Benedetto Intrigila, Anna Rita Laurenzi
Two Problems on Reduction Graphs in Lambda Calculus. Fundam. Informaticae 44 (1-2) (2000)
Benedetto Intrigila, Stefano Varricchio
On the Generalization of Higman and Kruskal's Theorems to Regular Languages and Rational Trees. Acta Informatica 36 (9/10) (2000)
Benedetto Intrigila, E. Biasone
On the number of fixed points of a combinator in lambda calculus. Math. Struct. Comput. Sci. 10 (5) (2000)
Benedetto Intrigila, Paola Inverardi, Marisa Venturini Zilli
A Comprehensive Setting for Matching and Unification over Iterative Terms. Fundam. Informaticae 39 (3) (1999)
Benedetto Intrigila, Marisa Venturini Zilli
Orders, Reduction Graphs and Spectra. Theor. Comput. Sci. 212 (1-2) (1999)
Benedetto Intrigila
Non-existent Statman's Double Fixedpoint Combinator Does Not Exist, Indeed. Inf. Comput. 137 (1) (1997)
Benedetto Intrigila, Marisa Venturini Zilli
A Remark on Infinite Matching vs Infinite Unification. J. Symb. Comput. 21 (3) (1996)
Corrado Böhm, Benedetto Intrigila
The Ant-Lion Paradigm for Strong Normalization Inf. Comput. 114 (1) (1994)
Benedetto Intrigila
Some Results on Numerical Systems in lambda-Calculus. Notre Dame J. Formal Log. 35 (4) (1994)
Alessandro Berarducci, Benedetto Intrigila
Some New Results on Easy lambda-Terms. Theor. Comput. Sci. 121 (1&2) (1993)
Benedetto Intrigila
The Basic Decision Problem in lambda-Calculus. Math. Log. Q. 39 (1993)
Benedetto Intrigila
A problem on easy terms in Calculus. Fundam. Informaticae 15 (1) (1991)
Alessandro Berarducci, Benedetto Intrigila
Combinatorial Principles in Elementary Number Theory. Ann. Pure Appl. Log. 55 (1) (1991)
Benedetto Intrigila
Negative Results on the Reduction of the Recursion Scheme. Math. Log. Q. 34 (4) (1988)
C. Alkor, Benedetto Intrigila
Baire Category on Cardinals. Math. Log. Q. 29 (4) (1983)