default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBenedetto Intrigila
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2023
[j45]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): 184 (2023)- [i7]Benedetto Intrigila, Giulio Manzonetto, Nicolas Munnich:
Extended Addressing Machines, explicit substitutions, PCF, definability, full abstraction. CoRR abs/2306.13756 (2023) - 2022
- [j44]Giuseppe Della Penna, Benedetto Intrigila, Giulio Manzonetto:
Addressing Machines as models of lambda-calculus. Log. Methods Comput. Sci. 18(3) (2022) - [c29]Benedetto Intrigila, Giulio Manzonetto, Nicolas Munnich:
Extended Addressing Machines for PCF, with Explicit Substitutions. MFPS 2022 - 2021
- [j43]Benedetto Intrigila, Giuseppe Della Penna, Andrea D'Ambrogio:
A Lightweight BPMN Extension for Business Process-Oriented Requirements Engineering. Comput. 10(12): 171 (2021) - [i6]Giuseppe Della Penna, Benedetto Intrigila, Giulio Manzonetto:
Addressing Machines as models of lambda-calculus. CoRR abs/2107.00319 (2021)
2010 – 2019
- 2019
- [j42]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) - 2018
- [i5]Benedetto Intrigila, Giulio Manzonetto, Andrew Polonsky:
Degrees of extensionality in the theory of Böhm trees and Sallé's conjecture. CoRR abs/1802.07320 (2018) - 2017
- [j41]Benedetto Intrigila, Richard Statman:
Lambda theories allowing terms with a finite number of fixed points. Math. Struct. Comput. Sci. 27(3): 405-427 (2017) - [c28]Benedetto Intrigila, Giulio Manzonetto, Andrew Polonsky:
Refutation of Sallé's Longstanding Conjecture. FSCD 2017: 20:1-20:18 - 2016
- [c27]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: 124-129 - 2015
- [j40]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): 1550025:1-1550025:45 (2015) - [j39]Flavio D'Alessandro, Benedetto Intrigila:
On the commutative equivalence of bounded context-free and regular languages: The code case. Theor. Comput. Sci. 562: 304-319 (2015) - [j38]Flavio D'Alessandro, Benedetto Intrigila:
On the commutative equivalence of semi-linear sets of Nk. Theor. Comput. Sci. 562: 476-495 (2015) - [j37]Flavio D'Alessandro, Benedetto Intrigila:
On the commutative equivalence of bounded context-free and regular languages: The semi-linear case. Theor. Comput. Sci. 572: 1-24 (2015) - 2013
- [j36]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): 14-36 (2013) - [j35]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): 223- (2013) - [c26]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: 11-20 - 2012
- [j34]Flavio D'Alessandro, Benedetto Intrigila, Stefano Varricchio:
Quasi-polynomials, linear Diophantine equations and semi-linear sets. Theor. Comput. Sci. 416: 1-16 (2012) - 2011
- [j33]Benedetto Intrigila, Richard Statman:
Solution to the Range Problem for Combinatory Logic. Fundam. Informaticae 111(2): 203-222 (2011) - [c25]Giuseppe Della Penna, Fabio Mercorio, Benedetto Intrigila, Daniele Magazzeni, Enrico Tronci:
Cost-optimal Strong Planning in Non-deterministic Domains. ICINCO (1) 2011: 56-66 - 2010
- [c24]Giuseppe Della Penna, Benedetto Intrigila, Daniele Magazzeni, Fabio Mercorio:
A PDDL+ Benchmark Problem: The Batch Chemical Plant. ICAPS 2010: 222-225 - [c23]Giuseppe Della Penna, Benedetto Intrigila, Daniele Magazzeni, Fabio Mercorio:
Planning for Autonomous Planetary Vehicles. ICAS 2010: 131-136 - [i4]Giuseppe Della Penna, Benedetto Intrigila, Daniele Magazzeni, Fabio Mercorio:
Resource-Optimal Planning For An Autonomous Planetary Vehicle. CoRR abs/1007.5130 (2010)
2000 – 2009
- 2009
- [j32]Benedetto Intrigila, Richard Statman:
The Omega Rule is Π11-Complete in the λβ-Calculus. Log. Methods Comput. Sci. 5(2) (2009) - [j31]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): 5158-5181 (2009) - [c22]Giuseppe Della Penna, Daniele Magazzeni, Fabio Mercorio, Benedetto Intrigila:
UPMurphi: A Tool for Universal Planning on PDDL+ Problems. ICAPS 2009 - [c21]Giuseppe Della Penna, Benedetto Intrigila, Daniele Magazzeni:
Evaluating Fuzzy Controller Robustness Using Model Checking. WILF 2009: 303-311 - [i3]Flavio D'Alessandro, Benedetto Intrigila, Stefano Varricchio:
On some counting problems for semi-linear sets. CoRR abs/0907.3005 (2009) - 2008
- [j30]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): 823-852 (2008) - [c20]Giuseppe Della Penna, Nadia Lauri, Daniele Magazzeni, Benedetto Intrigila:
OBDD Compression of Numerical Controllers. ICINCO-ICSO 2008: 43-50 - [c19]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: 1131-1139 - [i2]Flavio D'Alessandro, Benedetto Intrigila, Stefano Varricchio:
The Parikh functions of sparse context-free languages are quasi-polynomials. CoRR abs/0807.0718 (2008) - 2007
- [j29]Benedetto Intrigila, Igor Melatti, Alberto Tofani, Guido Macchiarelli:
Computational models of myocardial endomysial collagen arrangement. Comput. Methods Programs Biomed. 86(3): 232-244 (2007) - [c18]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: 230-241 - [c17]Benedetto Intrigila, Richard Statman:
The Omega Rule is P11-Complete in the lambdabeta -Calculus. TLCA 2007: 178-193 - 2006
- [j28]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): 166-188 (2006) - [j27]Giuseppe Della Penna, Benedetto Intrigila, Anna Rita Laurenzi, Sergio Orefice:
An XML environment for scenario based requirements engineering. J. Syst. Softw. 79(3): 379-403 (2006) - [j26]Benedetto Intrigila, Richard Statman:
Solution of a Problem of Barendregt on Sensible lambda-Theories. Log. Methods Comput. Sci. 2(4) (2006) - [j25]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): 397-409 (2006) - [j24]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): 104-117 (2006) - [c16]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: 278-284 - [c15]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: 26-33 - [i1]Benedetto Intrigila, Richard Statman:
Solution of a Problem of Barendregt on Sensible lambda-Theories. CoRR abs/cs/0609080 (2006) - 2005
- [j23]Benedetto Intrigila, Richard Statman:
Some results on extensionality in lambda calculus. Ann. Pure Appl. Log. 132(2-3): 109-125 (2005) - [c14]Giuseppe Della Penna, Igor Melatti, Benedetto Intrigila, Enrico Tronci:
Exploiting Hub States in Automatic Verification. ATVA 2005: 54-68 - [c13]Benedetto Intrigila, Daniele Magazzeni, Igor Melatti, Enrico Tronci:
A Model Checking Technique for the Verification of Fuzzy Control Systems. CIMCA/IAWTIC 2005: 536-542 - 2004
- [j22]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): 320-341 (2004) - [j21]Giuseppe Della Penna, Benedetto Intrigila, Sergio Orefice:
An environment for the design and implementation of visual applications. J. Vis. Lang. Comput. 15(6): 439-461 (2004) - [c12]Giuseppe Della Penna, Benedetto Intrigila, Igor Melatti, Enrico Tronci, Marisa Venturini Zilli:
Bounded Probabilistic Model Checking with the Muralpha Verifier. FMCAD 2004: 214-229 - [c11]Benedetto Intrigila, Richard Statman:
The Omega Rule is II_2^0-Hard in the lambda beta -Calculus. LICS 2004: 202-210 - [c10]Giuseppe Della Penna, Benedetto Intrigila, Anna Rita Laurenzi, Sergio Orefice:
A Methodology for Scenario Development. SEKE 2004: 7-12 - 2003
- [j20]Giuseppe Della Penna, Benedetto Intrigila, Enrico Tronci, Marisa Venturini Zilli:
Synchronized regular expressions. Acta Informatica 39(1): 31-70 (2003) - [j19]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): 237-256 (2003) - [j18]Benedetto Intrigila, Monica Nesi:
On structural properties of eta-expansions of identity. Inf. Process. Lett. 87(6): 327-333 (2003) - [c9]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: 277-282 - [c8]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: 394-409 - [c7]Giuseppe Della Penna, Antinisca Di Marco, Benedetto Intrigila, Igor Melatti, Alfonso Pierantonio:
Xere: Towards a Natural Interoperability between XML and ER Diagrams. FASE 2003: 356-371 - [c6]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: 141-155 - [c5]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: 58-71 - 2002
- [c4]Giuseppe Della Penna, Benedetto Intrigila, Enrico Tronci, Marisa Venturini Zilli:
Exploiting Transition Locality in the Disk Based Mur phi Verifier. FMCAD 2002: 202-219 - 2001
- [j17]Benedetto Intrigila, Ivano Salvo, Stefano Sorgi:
A Characterization of Weakly Church-Rosser Abstract Reduction Systems That Are Not Church-Rosser. Inf. Comput. 171(2): 137-155 (2001) - [j16]Giuseppe Della Penna, Benedetto Intrigila, Sergio Orefice:
Generating graphical applications from state-transition visual specifications. Int. J. Hum. Comput. Stud. 55(6): 861-880 (2001) - [c3]Enrico Tronci, Giuseppe Della Penna, Benedetto Intrigila, Marisa Venturini Zilli:
A Probabilistic Approach to Automatic Verification of Concurrent Systems. APSEC 2001: 317-324 - [c2]Enrico Tronci, Giuseppe Della Penna, Benedetto Intrigila, Marisa Venturini Zilli:
Exploiting Transition Locality in Automatic Verification. CHARME 2001: 259-274 - [c1]Giuseppe Della Penna, Benedetto Intrigila, Enrico Tronci, Marisa Venturini Zilli:
Synchronized Regular Expressions. TOSCA 2001: 195-210 - 2000
- [j15]Benedetto Intrigila, Stefano Varricchio:
On the Generalization of Higman and Kruskal's Theorems to Regular Languages and Rational Trees. Acta Informatica 36(9/10): 817-835 (2000) - [j14]Benedetto Intrigila, Anna Rita Laurenzi:
Two Problems on Reduction Graphs in Lambda Calculus. Fundam. Informaticae 44(1-2): 133-144 (2000) - [j13]Benedetto Intrigila, E. Biasone:
On the number of fixed points of a combinator in lambda calculus. Math. Struct. Comput. Sci. 10(5): 595-615 (2000)
1990 – 1999
- 1999
- [j12]Benedetto Intrigila, Paola Inverardi, Marisa Venturini Zilli:
A Comprehensive Setting for Matching and Unification over Iterative Terms. Fundam. Informaticae 39(3): 273-304 (1999) - [j11]Benedetto Intrigila, Marisa Venturini Zilli:
Orders, Reduction Graphs and Spectra. Theor. Comput. Sci. 212(1-2): 211-231 (1999) - 1997
- [j10]Benedetto Intrigila:
Non-existent Statman's Double Fixedpoint Combinator Does Not Exist, Indeed. Inf. Comput. 137(1): 35-40 (1997) - 1996
- [j9]Benedetto Intrigila, Marisa Venturini Zilli:
A Remark on Infinite Matching vs Infinite Unification. J. Symb. Comput. 21(3): 289-292 (1996) - 1994
- [j8]Corrado Böhm, Benedetto Intrigila:
The Ant-Lion Paradigm for Strong Normalization. Inf. Comput. 114(1): 30-49 (1994) - [j7]Benedetto Intrigila:
Some Results on Numerical Systems in lambda-Calculus. Notre Dame J. Formal Log. 35(4): 523-541 (1994) - 1993
- [j6]Benedetto Intrigila:
The Basic Decision Problem in lambda-Calculus. Math. Log. Q. 39: 178-180 (1993) - [j5]Alessandro Berarducci, Benedetto Intrigila:
Some New Results on Easy lambda-Terms. Theor. Comput. Sci. 121(1&2): 71-88 (1993) - 1991
- [j4]Alessandro Berarducci, Benedetto Intrigila:
Combinatorial Principles in Elementary Number Theory. Ann. Pure Appl. Log. 55(1): 35-50 (1991) - [j3]Benedetto Intrigila:
A problem on easy terms in Calculus. Fundam. Informaticae 15(1): 99-106 (1991)
1980 – 1989
- 1988
- [j2]Benedetto Intrigila:
Negative Results on the Reduction of the Recursion Scheme. Math. Log. Q. 34(4): 297-300 (1988) - 1983
- [j1]C. Alkor, Benedetto Intrigila:
Baire Category on Cardinals. Math. Log. Q. 29(4): 245-252 (1983)
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-25 05:40 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
