Benedetto Intrigila

	2012
61		Flavio D'Alessandro, Benedetto Intrigila, Stefano Varricchio: Quasi-polynomials, linear Diophantine equations and semi-linear sets. Theor. Comput. Sci. 416: 1-16 (2012)
	2011
60		Giuseppe Della Penna, Fabio Mercorio, Benedetto Intrigila, Daniele Magazzeni, Enrico Tronci: Cost-optimal Strong Planning in Non-deterministic Domains. ICINCO (1) 2011: 56-66
59		Benedetto Intrigila, Richard Statman: Solution to the Range Problem for Combinatory Logic. Fundam. Inform. 111(2): 203-222 (2011)
	2010
58		Giuseppe Della Penna, Benedetto Intrigila, Daniele Magazzeni, Fabio Mercorio: A PDDL+ Benchmark Problem: The Batch Chemical Plant. ICAPS 2010: 222-225
57		Giuseppe Della Penna, Benedetto Intrigila, Daniele Magazzeni, Fabio Mercorio: Planning for Autonomous Planetary Vehicles. ICAS 2010: 131-136
56		Giuseppe Della Penna, Benedetto Intrigila, Daniele Magazzeni, Fabio Mercorio: Resource-Optimal Planning For An Autonomous Planetary Vehicle CoRR abs/1007.5130: (2010)
	2009
55		Giuseppe Della Penna, Daniele Magazzeni, Fabio Mercorio, Benedetto Intrigila: UPMurphi: A Tool for Universal Planning on PDDL+ Problems. ICAPS 2009
54		Giuseppe Della Penna, Benedetto Intrigila, Daniele Magazzeni: Evaluating Fuzzy Controller Robustness Using Model Checking. WILF 2009: 303-311
53		Flavio D'Alessandro, Benedetto Intrigila, Stefano Varricchio: On some counting problems for semi-linear sets CoRR abs/0907.3005: (2009)
52		Benedetto Intrigila, Richard Statman: The Omega Rule is Π11-Complete in the λβ-Calculus Logical Methods in Computer Science 5(2): (2009)
51		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)
	2008
50		Giuseppe Della Penna, Nadia Lauri, Daniele Magazzeni, Benedetto Intrigila: OBDD Compression of Numerical Controllers. ICINCO-ICSO 2008: 43-50
49		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		Flavio D'Alessandro, Benedetto Intrigila, Stefano Varricchio: The Parikh functions of sparse context-free languages are quasi-polynomials CoRR abs/0807.0718: (2008)
47		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		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		Benedetto Intrigila, Richard Statman: The Omega Rule is P11-Complete in the lambdabeta -Calculus. TLCA 2007: 178-193
44		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		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		Benedetto Intrigila, Richard Statman: Solution of a Problem of Barendregt on Sensible lambda-Theories CoRR abs/cs/0609080: (2006)
40		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		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		Benedetto Intrigila, Richard Statman: Solution of a Problem of Barendregt on Sensible lambda-Theories. Logical Methods in Computer Science 2(4): (2006)
37		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		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		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		Benedetto Intrigila, Richard Statman: Some results on extensionality in lambda calculus. Ann. Pure Appl. Logic 132(2-3): 109-125 (2005)
	2004
32		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		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		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		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		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		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		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		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		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		Giuseppe Della Penna, Benedetto Intrigila, Enrico Tronci, Marisa Venturini Zilli: Synchronized regular expressions. Acta Inf. 39(1): 31-70 (2003)
21		Benedetto Intrigila, Monica Nesi: On structural properties of eta-expansions of identity. Inf. Process. Lett. 87(6): 327-333 (2003)
20		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		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		Enrico Tronci, Giuseppe Della Penna, Benedetto Intrigila, Marisa Venturini Zilli: A Probabilistic Approach to Automatic Verification of Concurrent Systems. APSEC 2001: 317-324
17		Enrico Tronci, Giuseppe Della Penna, Benedetto Intrigila, Marisa Venturini Zilli: Exploiting Transition Locality in Automatic Verification. CHARME 2001: 259-274
16		Giuseppe Della Penna, Benedetto Intrigila, Enrico Tronci, Marisa Venturini Zilli: Synchronized Regular Expressions. Electr. Notes Theor. Comput. Sci. 62: 195-210 (2001)
15		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		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		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		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)

Coauthor Index

1	Franco Arcieri	[49]
2	Alessandro Berarducci	[2] [3]
3	E. Biasone	[11]
4	Corrado Böhm	[6]
5	Ester Ciancamerla	[24]
6	Flavio D'Alessandro	[36] [48] [51] [53] [61]
7	Andrea Dimitri	[49]
8	Francesca Fallucchi	[46]
9	Paola Inverardi	[10]
10	Anna Rita Laurenzi	[12] [20] [30] [39] [47]
11	Nadia Lauri	[50]
12	Guido Macchiarelli	[44]
13	Daniele Magazzeni	[34] [42] [46] [49] [50] [54] [55] [56] [57] [58] [60]
14	Antinisca Di Marco	[25] [40]
15	Igor Melatti	[23] [24] [25] [26] [27] [28] [32] [34] [35] [37] [40] [42] [43] [44]
16	Fabio Mercorio	[55] [56] [57] [58] [60]
17	Michele Minichino	[24]
18	Monica Nesi	[21]
19	Sergio Orefice	[14] [20] [29] [30] [39] [47]
20	Andrea Parisse	[24]
21	Marcello Pecorari	[43]
22	Giuseppe Della Penna	[14] [16] [17] [18] [19] [20] [22] [23] [24] [25] [26] [27] [28] [29] [30] [32] [35] [37] [39] [40] [42] [43] [46] [47] [49] [50] [54] [55] [56] [57] [58] [60]
23	Alfonso Pierantonio	[25] [40]
24	Orazio Raparelli	[43]
25	Ivano Salvo	[15]
26	Stefano Sorgi	[15]
27	Richard Statman	[31] [33] [38] [41] [45] [52] [59]
28	Maurizio Talamo	[49]
29	Alberto Tofani	[42] [43] [44]
30	Enrico Tronci	[16] [17] [18] [19] [22] [23] [24] [26] [27] [28] [32] [34] [35] [37] [42] [43] [60]
31	Stefano Varricchio	[13] [36] [48] [51] [53] [61]
32	Marisa Venturini Zilli	[7] [9] [10] [16] [17] [18] [19] [22] [23] [24] [26] [27] [28] [32] [37]

Colors in the list of coauthors

Last update Thu May 31 18:55:10 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page