| 2009 |
|---|
| 50 | EE | Benedetto Intrigila,
Richard Statman:
The Omega Rule is \mathbf{\Pi_{1}^{1}}-Complete in the \lambda\beta-Calculus
CoRR abs/0903.1374: (2009) |
| 2008 |
|---|
| 49 | EE | 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 |
| 48 | EE | Flavio D'Alessandro,
Benedetto Intrigila,
Stefano Varricchio:
The Parikh functions of sparse context-free languages are quasi-polynomials
CoRR abs/0807.0718: (2008) |
| 47 | EE | Giuseppe Della Penna,
Anna Rita Laurenzi,
Sergio Orefice,
Benedetto Intrigila:
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 (2008) |
| 2007 |
|---|
| 46 | EE | 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 |
| 45 | EE | Benedetto Intrigila,
Richard Statman:
The Omega Rule is P11-Complete in the lambdabeta -Calculus.
TLCA 2007: 178-193 |
| 44 | EE | Benedetto Intrigila,
Igor Melatti,
Alberto Tofani,
Guido Macchiarelli:
Computational models of myocardial endomysial collagen arrangement.
Computer Methods and Programs in Biomedicine 86(3): 232-244 (2007) |
| 2006 |
|---|
| 43 | EE | 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 |
| 42 | | 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 |
| 41 | EE | Benedetto Intrigila,
Richard Statman:
Solution of a Problem of Barendregt on Sensible lambda-Theories
CoRR abs/cs/0609080: (2006) |
| 40 | EE | 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) |
| 39 | EE | Giuseppe Della Penna,
Benedetto Intrigila,
Anna Rita Laurenzi,
Sergio Orefice:
An XML environment for scenario based requirements engineering.
Journal of Systems and Software 79(3): 379-403 (2006) |
| 38 | EE | Benedetto Intrigila,
Richard Statman:
Solution of a Problem of Barendregt on Sensible lambda-Theories.
Logical Methods in Computer Science 2(4): (2006) |
| 37 | EE | Giuseppe Della Penna,
Benedetto Intrigila,
Igor Melatti,
Enrico Tronci,
Marisa Venturini Zilli:
Finite horizon analysis of Markov Chains with the Murphi verifier.
STTT 8(4-5): 397-409 (2006) |
| 36 | EE | 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) |
| 2005 |
|---|
| 35 | EE | Giuseppe Della Penna,
Igor Melatti,
Benedetto Intrigila,
Enrico Tronci:
Exploiting Hub States in Automatic Verification.
ATVA 2005: 54-68 |
| 34 | | Benedetto Intrigila,
Daniele Magazzeni,
Igor Melatti,
Enrico Tronci:
A Model Checking Technique for the Verification of Fuzzy Control Systems.
CIMCA/IAWTIC 2005: 536-542 |
| 33 | EE | Benedetto Intrigila,
Richard Statman:
Some results on extensionality in lambda calculus.
Ann. Pure Appl. Logic 132(2-3): 109-125 (2005) |
| 2004 |
|---|
| 32 | EE | Giuseppe Della Penna,
Benedetto Intrigila,
Igor Melatti,
Enrico Tronci,
Marisa Venturini Zilli:
Bounded Probabilistic Model Checking with the Muralpha Verifier.
FMCAD 2004: 214-229 |
| 31 | EE | Benedetto Intrigila,
Richard Statman:
The Omega Rule is II_2^0-Hard in the lambda beta -Calculus.
LICS 2004: 202-210 |
| 30 | | Giuseppe Della Penna,
Benedetto Intrigila,
Anna Rita Laurenzi,
Sergio Orefice:
A Methodology for Scenario Development.
SEKE 2004: 7-12 |
| 29 | EE | 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) |
| 28 | EE | Giuseppe Della Penna,
Benedetto Intrigila,
Igor Melatti,
Enrico Tronci,
Marisa Venturini Zilli:
Exploiting transition locality in automatic verification of finite-state concurrent systems.
STTT 6(4): 320-341 (2004) |
| 2003 |
|---|
| 27 | EE | 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 |
| 26 | EE | 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 |
| 25 | EE | 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 |
| 24 | EE | 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 |
| 23 | EE | 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 |
| 22 | EE | Giuseppe Della Penna,
Benedetto Intrigila,
Enrico Tronci,
Marisa Venturini Zilli:
Synchronized regular expressions.
Acta Inf. 39(1): 31-70 (2003) |
| 21 | EE | Benedetto Intrigila,
Monica Nesi:
On structural properties of eta-expansions of identity.
Inf. Process. Lett. 87(6): 327-333 (2003) |
| 20 | EE | Giuseppe Della Penna,
Benedetto Intrigila,
Anna Rita Laurenzi,
Sergio Orefice:
An XML Definition Language to Support Scenario-Based Requirements Engineering.
International Journal of Software Engineering and Knowledge Engineering 13(3): 237-256 (2003) |
| 2002 |
|---|
| 19 | EE | 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 |
|---|
| 18 | EE | Enrico Tronci,
Giuseppe Della Penna,
Benedetto Intrigila,
Marisa Venturini Zilli:
A Probabilistic Approach to Automatic Verification of Concurrent Systems.
APSEC 2001: 317-324 |
| 17 | EE | Enrico Tronci,
Giuseppe Della Penna,
Benedetto Intrigila,
Marisa Venturini Zilli:
Exploiting Transition Locality in Automatic Verification.
CHARME 2001: 259-274 |
| 16 | EE | Giuseppe Della Penna,
Benedetto Intrigila,
Enrico Tronci,
Marisa Venturini Zilli:
Synchronized Regular Expressions.
Electr. Notes Theor. Comput. Sci. 62: (2001) |
| 15 | EE | 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) |
| 14 | EE | 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) |
| 2000 |
|---|
| 13 | EE | Benedetto Intrigila,
Stefano Varricchio:
On the Generalization of Higman and Kruskal's Theorems to Regular Languages and Rational Trees.
Acta Inf. 36(9/10): 817-835 (2000) |
| 12 | | Benedetto Intrigila,
Anna Rita Laurenzi:
Two Problems on Reduction Graphs in Lambda Calculus.
Fundam. Inform. 44(1-2): 133-144 (2000) |
| 11 | | Benedetto Intrigila,
E. Biasone:
On the number of fixed points of a combinator in lambda calculus.
Mathematical Structures in Computer Science 10(5): 595-615 (2000) |
| 1999 |
|---|
| 10 | | Benedetto Intrigila,
Paola Inverardi,
Marisa Venturini Zilli:
A Comprehensive Setting for Matching and Unification over Iterative Terms.
Fundam. Inform. 39(3): 273-304 (1999) |
| 9 | EE | Benedetto Intrigila,
Marisa Venturini Zilli:
Orders, Reduction Graphs and Spectra.
Theor. Comput. Sci. 212(1-2): 211-231 (1999) |
| 1997 |
|---|
| 8 | | Benedetto Intrigila:
Non-existent Statman's Double Fixedpoint Combinator Does Not Exist, Indeed.
Inf. Comput. 137(1): 35-40 (1997) |
| 1996 |
|---|
| 7 | | Benedetto Intrigila,
Marisa Venturini Zilli:
A Remark on Infinite Matching vs Infinite Unification.
J. Symb. Comput. 21(3): 289-292 (1996) |
| 1994 |
|---|
| 6 | | Corrado Böhm,
Benedetto Intrigila:
The Ant-Lion Paradigm for Strong Normalization
Inf. Comput. 114(1): 30-49 (1994) |
| 5 | | Benedetto Intrigila:
Some Results on Numerical Systems in lambda-Calculus.
Notre Dame Journal of Formal Logic 35(4): 523-541 (1994) |
| 1993 |
|---|
| 4 | | Benedetto Intrigila:
The Basic Decision Problem in lambda-Calculus.
Math. Log. Q. 39: 178-180 (1993) |
| 3 | | Alessandro Berarducci,
Benedetto Intrigila:
Some New Results on Easy lambda-Terms.
Theor. Comput. Sci. 121(1&2): 71-88 (1993) |
| 1991 |
|---|
| 2 | | Alessandro Berarducci,
Benedetto Intrigila:
Combinatorial Principles in Elementary Number Theory.
Ann. Pure Appl. Logic 55(1): 35-50 (1991) |
| 1 | | Benedetto Intrigila:
A problem on easy terms in Calculus.
Fundam. Inform. 15(1): 99-106 (1991) |
