Benedetto Intrigila

82 papers A* 3B 6C 4Journal 53Unranked 16

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