array(1) { [0]=> object(Apache_Solr_Document)#24 (3) { ["_documentBoost":protected]=> bool(false) ["_fields":protected]=> array(6) { ["content_id"]=> array(1) { [0]=> string(14) "DIRECTORY_4349" } ["content_title"]=> array(1) { [0]=> string(19) "BENEDETTO INTRIGILA" } ["description"]=> array(1) { [0]=> string(29093) "

Benedetto Intrigila è Professore Ordinario di Informatica, presso l'Università di Roma "Tor Vergata" Laurea in Matematica (cum laude) e in Filosofia (cum laude). I suoi interessi di ricerca sono nel campo delle applicazioni dei metodi formali all'informatica, in un ambito piuttosto ampio, che include, fra l'altro, il lambda-calcolo, la programmazione funzionale e la teoria dei linguaggi formali. La sua ricerca corrente si è concentrata in particolare nel campo della verifica dei sistemi software-like (protocolli) e dei sistemi ibridi e sul campo delle tecnologie XML. E' autore di oltre 60 lavori scientifici su riviste e conferenze internazionali. E' stato chairman del comitato organizzatore delle Conferenze TLCA'99 e CHARME'03 Conference e membro del comitato di programma di ICTCS '05.

Benedetto Intrigila is Full Professor of Computer Science at the University of Rome "Tor Vergata", Degree in Mathematics (cum laude) and in Philosophy (cum laude). His research interests are in the field of applications of formal methods to computer science, in a fairly large area, that includes, among other things, the lambda-calculus, the functional programming and formal language theory. His current research has focused in particular in the field of verification of systems software-like (protocols) and systems hybrids and in the field of XML technologies.

He is author of more than 60 scientific papers on international journals and conferences. He has been chairman of the organizing committee of the Conference TLCA'99 and CHARME'03 Conference and a member of the program committee of ICTCS 05.

a:34:{i:0;a:14:{s:9:"citazione";s:195:"Penna, G.d., Frasca, P., & Intrigila, B. (2019). Two factor authentication for e-government services using hardware-like One Time Password generators. JOURNAL OF COMPUTER SCIENCE, 15(1), 171-189.";s:4:"data";s:4:"2019";s:2:"id";s:20:"PUBBLICAZIONE_349385";s:6:"handle";s:11:"2108/213634";s:9:"metadata1";s:19:"Articolo su rivista";s:9:"metadata2";N;s:9:"metadata3";s:28:"Settore INF/01 - Informatica";s:9:"metadata4";s:1090:"A safe and accessible authentication technique is a prerequisite for any modern e-government application. Two-factor authentication is currently widely adopted, since it alleviates many vulnerabilities of password-based authentication. The majority of e-government systems currently make use of text messages to deliver the second authentication factor, but these messages do not constitute an adequate (secure and reliable) solution. In this paper we show how to use One-Time Passwords (OTP) generated by a per-user, ad-hoc built application installed on a smartphone to support a two-factor authentication scheme specifically targeted to e-government tasks. In particular, we develop a process for the request, generation and distribution of such an application that achieves the same security of OTP hardware devices but avoids the related distribution and management costs, requiring no dedicated hardware and relying on the pre-existing administrative infrastructure. The process is designed to be accessible by any citizen who is able to perform very basic operations on a smartphone.";s:9:"metadata5";s:100:"Two factor authentication for e-government services using hardware-like One Time Password generators";s:9:"metadata6";s:34:"Penna, Gd; Frasca, P; Intrigila, B";s:9:"metadata7";s:26:"10.3844/jcssp.2019.171.189";s:9:"metadata8";N;s:9:"metadata9";N;s:10:"metadata10";N;}i:1;a:14:{s:9:"citazione";s:222:"Intrigila, B., & Mazzucchelli, L. (2018). Engineering Complex Safety Critical Software Systems: Abstraction and Concreteness. Paper presented at 2018 IEEE International Symposium on Systems Engineering (ISSE), Roma, Italy.";s:4:"data";s:7:"2018-10";s:2:"id";s:20:"PUBBLICAZIONE_350478";s:6:"handle";s:11:"2108/214107";s:9:"metadata1";s:21:"Intervento a convegno";s:9:"metadata2";N;s:9:"metadata3";s:28:"Settore INF/01 - Informatica";s:9:"metadata4";N;s:9:"metadata5";s:82:"Engineering Complex Safety Critical Software Systems: Abstraction and Concreteness";s:9:"metadata6";s:29:"Intrigila, B; Mazzucchelli, L";s:9:"metadata7";N;s:9:"metadata8";N;s:9:"metadata9";N;s:10:"metadata10";N;}i:2;a:14:{s:9:"citazione";s:159:"Intrigila, B., & Statman, R. (2018). Fixed points in lambda calculus. An eccentric survey of problems and solutions. INDAGATIONES MATHEMATICAE, 29(1), 450-458.";s:4:"data";s:4:"2018";s:2:"id";s:20:"PUBBLICAZIONE_341805";s:6:"handle";s:11:"2108/207142";s:9:"metadata1";s:19:"Articolo su rivista";s:9:"metadata2";N;s:9:"metadata3";s:28:"Settore INF/01 - Informatica";s:9:"metadata4";N;s:9:"metadata5";s:78:"Fixed points in lambda calculus. An eccentric survey of problems and solutions";s:9:"metadata6";s:24:"Intrigila, B; Statman, R";s:9:"metadata7";s:27:"10.1016/j.indag.2017.06.003";s:9:"metadata8";N;s:9:"metadata9";N;s:10:"metadata10";N;}i:3;a:14:{s:9:"citazione";s:245:"Intrigila, B., Manzonetto, G., & Polonsky, A. (2017). Refutation of sallé's longstanding conjecture. Paper presented at 2nd International Conference on Formal Structures for Computation and Deduction, FSCD 2017, September 3-9, 2017, Oxford, UK.";s:4:"data";s:10:"2017-09-03";s:2:"id";s:20:"PUBBLICAZIONE_340951";s:6:"handle";s:11:"2108/206544";s:9:"metadata1";s:21:"Intervento a convegno";s:9:"metadata2";N;s:9:"metadata3";s:28:"Settore INF/01 - Informatica";s:9:"metadata4";N;s:9:"metadata5";s:46:"Refutation of sallé's longstanding conjecture";s:9:"metadata6";s:40:"Intrigila, B; Manzonetto, G; Polonsky, A";s:9:"metadata7";s:27:"10.4230/LIPIcs.FSCD.2017.20";s:9:"metadata8";N;s:9:"metadata9";N;s:10:"metadata10";N;}i:4;a:14:{s:9:"citazione";s:325:"Antonacci, G., Calabrese, A., D'Ambrogio, A., Giglio, A., Intrigila, B., & Ghiron, N.l. (2016). A BPMN-based automated approach for the analysis of healthcare processes. In Proceedings of the 25th IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE 2016) (pp.124-129).";s:4:"data";s:4:"2016";s:2:"id";s:20:"PUBBLICAZIONE_295799";s:6:"handle";s:11:"2108/167326";s:9:"metadata1";s:21:"Intervento a convegno";s:9:"metadata2";N;s:9:"metadata3";s:63:"Settore ING-INF/05 - Sistemi di Elaborazione delle Informazioni";s:9:"metadata4";N;s:9:"metadata5";s:72:"A BPMN-based automated approach for the analysis of healthcare processes";s:9:"metadata6";s:78:"Antonacci, G; Calabrese, A; D'Ambrogio, A; Giglio, A; Intrigila, B; Ghiron, Nl";s:9:"metadata7";s:22:"10.1109/WETICE.2016.35";s:9:"metadata8";N;s:9:"metadata9";N;s:10:"metadata10";N;}i:5;a:14:{s:9:"citazione";s:164:"D'Alessandro, F., & Intrigila, B. (2015). On the commutative equivalence of bounded context-free and regular languages: The code case. THEORETICAL COMPUTER SCIENCE.";s:4:"data";s:10:"2015-01-11";s:2:"id";s:20:"PUBBLICAZIONE_254075";s:6:"handle";s:11:"2108/205503";s:9:"metadata1";s:19:"Articolo su rivista";s:9:"metadata2";N;s:9:"metadata3";s:28:"Settore INF/01 - Informatica";s:9:"metadata4";N;s:9:"metadata5";s:91:"On the commutative equivalence of bounded context-free and regular languages: The code case";s:9:"metadata6";s:29:"D'Alessandro, F; Intrigila, B";s:9:"metadata7";N;s:9:"metadata8";N;s:9:"metadata9";N;s:10:"metadata10";N;}i:6;a:14:{s:9:"citazione";s:181:"D'Alessandro, F., & Intrigila, B. (2015). On the commutative equivalence of bounded context-free and regular languages: Thesemi-linear case. THEORETICAL COMPUTER SCIENCE, 572, 1-24.";s:4:"data";s:4:"2015";s:2:"id";s:20:"PUBBLICAZIONE_339731";s:6:"handle";s:11:"2108/205507";s:9:"metadata1";s:19:"Articolo su rivista";s:9:"metadata2";N;s:9:"metadata3";s:28:"Settore INF/01 - Informatica";s:9:"metadata4";N;s:9:"metadata5";s:97:"On the commutative equivalence of bounded context-free and regular languages: Thesemi-linear case";s:9:"metadata6";s:29:"D'Alessandro, F; Intrigila, B";s:9:"metadata7";s:25:"10.1016/j.tcs.2015.01.008";s:9:"metadata8";N;s:9:"metadata9";N;s:10:"metadata10";N;}i:7;a:14:{s:9:"citazione";s:146:"D'Alessandro, F., & Intrigila, B. (2015). On the commutative equivalence of semi-linear sets of Nk. THEORETICAL COMPUTER SCIENCE, 562(C), 476-495.";s:4:"data";s:4:"2015";s:2:"id";s:20:"PUBBLICAZIONE_339729";s:6:"handle";s:11:"2108/205505";s:9:"metadata1";s:19:"Articolo su rivista";s:9:"metadata2";N;s:9:"metadata3";s:28:"Settore INF/01 - Informatica";s:9:"metadata4";N;s:9:"metadata5";s:56:"On the commutative equivalence of semi-linear sets of Nk";s:9:"metadata6";s:29:"D'Alessandro, F; Intrigila, B";s:9:"metadata7";s:25:"10.1016/j.tcs.2014.10.030";s:9:"metadata8";N;s:9:"metadata9";N;s:10:"metadata10";N;}i:8;a:14:{s:9:"citazione";s:280:"Cardinale Ciccotti, G., Della Penna, G., Intrigila, B., Magazzeni, D., Orefice, S., & Del Sordo, R. (2013). Sybel: a System Modelling Language Enhancing Automatic Support in the Software Development Process. INTERNATIONAL JOURNAL OF SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING.";s:4:"data";s:4:"2013";s:2:"id";s:20:"PUBBLICAZIONE_221863";s:6:"handle";s:11:"2108/105494";s:9:"metadata1";s:19:"Articolo su rivista";s:9:"metadata2";N;s:9:"metadata3";s:28:"Settore INF/01 - Informatica";s:9:"metadata4";N;s:9:"metadata5";s:98:"Sybel: a System Modelling Language Enhancing Automatic Support in the Software Development Process";s:9:"metadata6";s:91:"Cardinale Ciccotti, G; Della Penna, G; Intrigila, B; Magazzeni, D; Orefice, S; Del Sordo, R";s:9:"metadata7";s:25:"10.1142/S021819401350006X";s:9:"metadata8";N;s:9:"metadata9";N;s:10:"metadata10";N;}i:9;a:14:{s:9:"citazione";s:269:"Della Penna G, D.S.R. (2013). A Lightweight Formalism for the Integration of BPMN Models with Domain Ontologies. Paper presented at AI Meets Business Processes 2013 co-located with the 13th Conference of the Italian Association for Artificial Intelligence (AI*IA 2013).";s:4:"data";s:4:"2013";s:2:"id";s:20:"PUBBLICAZIONE_223366";s:6:"handle";s:11:"2108/106499";s:9:"metadata1";s:21:"Intervento a convegno";s:9:"metadata2";N;s:9:"metadata3";s:28:"Settore INF/01 - Informatica";s:9:"metadata4";N;s:9:"metadata5";s:81:"A Lightweight Formalism for the Integration of BPMN Models with Domain Ontologies";s:9:"metadata6";s:64:"Della Penna G, Del Sordo R, Intrigila B, Mezzopera N, Pazienza M";s:9:"metadata7";N;s:9:"metadata8";N;s:9:"metadata9";N;s:10:"metadata10";N;}i:10;a:14:{s:9:"citazione";s:157:"D'Alessandro, F., Intrigila, B., & Varricchio, S. (2012). Quasi-polynomials, linear Diophantine equations and semi-linear sets. THEORETICAL COMPUTER SCIENCE.";s:4:"data";s:4:"2012";s:2:"id";s:20:"PUBBLICAZIONE_221783";s:6:"handle";s:11:"2108/105920";s:9:"metadata1";s:19:"Articolo su rivista";s:9:"metadata2";N;s:9:"metadata3";s:28:"Settore INF/01 - Informatica";s:9:"metadata4";N;s:9:"metadata5";s:68:"Quasi-polynomials, linear Diophantine equations and semi-linear sets";s:9:"metadata6";s:44:"D'Alessandro, F; Intrigila, B; Varricchio, S";s:9:"metadata7";s:25:"10.1016/j.tcs.2011.10.014";s:9:"metadata8";N;s:9:"metadata9";N;s:10:"metadata10";N;}i:11;a:14:{s:9:"citazione";s:114:"Intrigila, B., & Statman, R. (2011). Solution to the range problem for combinatory logic. FUNDAMENTA INFORMATICAE.";s:4:"data";s:4:"2011";s:2:"id";s:20:"PUBBLICAZIONE_221763";s:6:"handle";s:11:"2108/106610";s:9:"metadata1";s:19:"Articolo su rivista";s:9:"metadata2";N;s:9:"metadata3";s:28:"Settore INF/01 - Informatica";s:9:"metadata4";N;s:9:"metadata5";s:51:"Solution to the range problem for combinatory logic";s:9:"metadata6";s:24:"Intrigila, B; Statman, R";s:9:"metadata7";s:19:"10.3233/FI-2011-560";s:9:"metadata8";N;s:9:"metadata9";N;s:10:"metadata10";N;}i:12;a:14:{s:9:"citazione";s:217:"Della-Penna, G., Intrigila, B., Magazzeni, D., & Mercorio, F. (2010). A PDDL+ Benchmark Problem: The Batch Chemical Plant. Paper presented at International Conference on Automated Planning and Scheduling (ICAPS) 2010.";s:4:"data";s:10:"2010-06-12";s:2:"id";s:19:"PUBBLICAZIONE_53771";s:6:"handle";s:10:"2108/15041";s:9:"metadata1";s:21:"Intervento a convegno";s:9:"metadata2";N;s:9:"metadata3";s:28:"Settore INF/01 - Informatica";s:9:"metadata4";N;s:9:"metadata5";s:51:"A PDDL+ Benchmark Problem: The Batch Chemical Plant";s:9:"metadata6";s:55:"Della-Penna, G; Intrigila, B; Magazzeni, D; Mercorio, F";s:9:"metadata7";N;s:9:"metadata8";N;s:9:"metadata9";N;s:10:"metadata10";N;}i:13;a:14:{s:9:"citazione";s:226:"Della Penna, G., Intrigila, B., Magazzeni, D., & Mercorio, F. (2010). Planning for Autonomous Planetary Vehicles. Paper presented at Autonomic and Autonomous Systems (ICAS), 2010 Sixth International Conference, Cancun, Mexico.";s:4:"data";s:4:"2010";s:2:"id";s:19:"PUBBLICAZIONE_95179";s:6:"handle";s:10:"2108/30587";s:9:"metadata1";s:21:"Intervento a convegno";s:9:"metadata2";N;s:9:"metadata3";s:28:"Settore INF/01 - Informatica";s:9:"metadata4";N;s:9:"metadata5";s:42:"Planning for Autonomous Planetary Vehicles";s:9:"metadata6";s:56:"Della Penna, G; Intrigila, B; Magazzeni, D; Mercorio, F";s:9:"metadata7";s:20:"10.1109/ICAS.2010.26";s:9:"metadata8";N;s:9:"metadata9";N;s:10:"metadata10";N;}i:14;a:14:{s:9:"citazione";s:266:"Della Penna, G., Intrigila, B., & Magazzeni, D. (2009). Evaluating fuzzy controller robustness using model checking. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (pp.303-311).";s:4:"data";s:4:"2009";s:2:"id";s:19:"PUBBLICAZIONE_17843";s:6:"handle";s:10:"2108/33159";s:9:"metadata1";s:21:"Intervento a convegno";s:9:"metadata2";N;s:9:"metadata3";s:28:"Settore INF/01 - Informatica";s:9:"metadata4";N;s:9:"metadata5";s:59:"Evaluating fuzzy controller robustness using model checking";s:9:"metadata6";s:44:"Della Penna, G ; Intrigila, B ; Magazzeni, D";s:9:"metadata7";s:28:"10.1007/978-3-642-02282-1_38";s:9:"metadata8";N;s:9:"metadata9";N;s:10:"metadata10";N;}i:15;a:14:{s:9:"citazione";s:237:"Della Penna, G., Intrigila, B., Magazzeni, D., & Mercorio, F. (2009). UPMurphi: A Tool for Universal Planning on PDDL+ Problems. In Proceedings of the Nineteenth International Conference on Automated Planning and Scheduling (ICAPS 2009).";s:4:"data";s:4:"2009";s:2:"id";s:19:"PUBBLICAZIONE_95220";s:6:"handle";s:10:"2108/33166";s:9:"metadata1";s:21:"Intervento a convegno";s:9:"metadata2";N;s:9:"metadata3";s:28:"Settore INF/01 - Informatica";s:9:"metadata4";N;s:9:"metadata5";s:57:"UPMurphi: A Tool for Universal Planning on PDDL+ Problems";s:9:"metadata6";s:58:"Della Penna, G ; Intrigila, B ; Magazzeni, D ; Mercorio, F";s:9:"metadata7";N;s:9:"metadata8";N;s:9:"metadata9";N;s:10:"metadata10";N;}i:16;a:14:{s:9:"citazione";s:198:"D’Alessandro, F., Intrigila, B., & Varricchio, S. (2009). The Parikh counting functions of sparse context-free languages are quasi-polynomials. THEORETICAL COMPUTER SCIENCE, 410(47-49), 5158-5191.";s:4:"data";s:4:"2009";s:2:"id";s:19:"PUBBLICAZIONE_95224";s:6:"handle";s:10:"2108/33158";s:9:"metadata1";s:19:"Articolo su rivista";s:9:"metadata2";N;s:9:"metadata3";s:28:"Settore INF/01 - Informatica";s:9:"metadata4";N;s:9:"metadata5";s:84:"The Parikh counting functions of sparse context-free languages are quasi-polynomials";s:9:"metadata6";s:48:"D’Alessandro, F ; Intrigila, B ; Varricchio, S";s:9:"metadata7";s:25:"10.1016/j.tcs.2009.09.006";s:9:"metadata8";N;s:9:"metadata9";N;s:10:"metadata10";N;}i:17;a:14:{s:9:"citazione";s:144:"Intrigila, B., & Statman, R. (2009). THE OMEGA RULE IS Pi(1)(1)-COMPLETE IN THE lambda beta-CALCULUS. LOGICAL METHODS IN COMPUTER SCIENCE, 5(2).";s:4:"data";s:4:"2009";s:2:"id";s:19:"PUBBLICAZIONE_13046";s:6:"handle";s:10:"2108/33110";s:9:"metadata1";s:19:"Articolo su rivista";s:9:"metadata2";N;s:9:"metadata3";s:28:"Settore INF/01 - Informatica";s:9:"metadata4";N;s:9:"metadata5";s:63:"THE OMEGA RULE IS Pi(1)(1)-COMPLETE IN THE lambda beta-CALCULUS";s:9:"metadata6";s:24:"Intrigila, B; Statman, R";s:9:"metadata7";s:23:"10.2168/LMCS-5(2:6)2009";s:9:"metadata8";N;s:9:"metadata9";N;s:10:"metadata10";N;}i:18;a:14:{s:9:"citazione";s:289:"Della Penna, G., Intrigila, B., Magazzeni, D., Tofani, A., Melatti, I., & Tronci, E. (2008). Automated Generation of Optimal Controllers through Model Checking Techniques. In Informatics in Control Automation and Robotics Lecture Notes in Electrical Engineering, 2008, Volume 15. Springer.";s:4:"data";s:4:"2008";s:2:"id";s:19:"PUBBLICAZIONE_95297";s:6:"handle";s:10:"2108/34009";s:9:"metadata1";s:19:"Contributo in libro";s:9:"metadata2";N;s:9:"metadata3";s:28:"Settore INF/01 - Informatica";s:9:"metadata4";N;s:9:"metadata5";s:77:"Automated Generation of Optimal Controllers through Model Checking Techniques";s:9:"metadata6";s:78:"Della Penna, G; Intrigila, B; Magazzeni, D; Tofani, A; Melatti, I; Tronci, E";s:9:"metadata7";s:28:"10.1007/978-3-540-79142-3_10";s:9:"metadata8";N;s:9:"metadata9";N;s:10:"metadata10";N;}i:19;a:14:{s:9:"citazione";s:247:"Della Penna, G., Laurenzi, A.R., Orefice, S., & Intrigila, B. (2008). 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.";s:4:"data";s:4:"2008";s:2:"id";s:19:"PUBBLICAZIONE_22047";s:6:"handle";s:10:"2108/32577";s:9:"metadata1";s:19:"Articolo su rivista";s:9:"metadata2";N;s:9:"metadata3";s:28:"Settore INF/01 - Informatica";s:9:"metadata4";N;s:9:"metadata5";s:87:"An XML based methodology to model and use scenarios in the software development process";s:9:"metadata6";s:54:"Della Penna, G; Laurenzi, AR; Orefice, S; Intrigila, B";s:9:"metadata7";s:25:"10.1142/S0218194008003866";s:9:"metadata8";N;s:9:"metadata9";N;s:10:"metadata10";N;}i:20;a:14:{s:9:"citazione";s:274:"Talamo, M., Arcieri, F., Della Penna, G., Dimitri, A., Intrigila, B., & Magazzeni, D. (2008). Robustness and Interoperability Problems in Security Devices. Paper presented at 4th International Conferences on Information Security and Cryptology Inscrypt 2008, Beijing, China.";s:4:"data";s:4:"2008";s:2:"id";s:19:"PUBBLICAZIONE_47777";s:6:"handle";s:10:"2108/14718";s:9:"metadata1";s:21:"Intervento a convegno";s:9:"metadata2";N;s:9:"metadata3";s:28:"Settore INF/01 - Informatica";s:9:"metadata4";N;s:9:"metadata5";s:60:"Robustness and Interoperability Problems in Security Devices";s:9:"metadata6";s:77:"Talamo, M; Arcieri, F; Della Penna, G; Dimitri, A; Intrigila, B; Magazzeni, D";s:9:"metadata7";N;s:9:"metadata8";N;s:9:"metadata9";N;s:10:"metadata10";N;}i:21;a:14:{s:9:"citazione";s:292:"Talamo, M., Arcieri, F., Della Penna, G., Dimitri, A., Intrigila, B., & Magazzeni, D. (2008). Verifying extended criteria for the interoperability of security devices. In ON THE MOVE TO MEANINGFUL INTERNET SYSTEMS: OTM 2008, PT II, PROCEEDINGS (pp.1131-1139). BERLIN : SPRINGER-VERLAG BERLIN.";s:4:"data";s:4:"2008";s:2:"id";s:19:"PUBBLICAZIONE_21856";s:6:"handle";s:10:"2108/27692";s:9:"metadata1";s:21:"Intervento a convegno";s:9:"metadata2";N;s:9:"metadata3";s:28:"Settore INF/01 - Informatica";s:9:"metadata4";N;s:9:"metadata5";s:72:"Verifying extended criteria for the interoperability of security devices";s:9:"metadata6";s:77:"Talamo, M; Arcieri, F; Della Penna, G; Dimitri, A; Intrigila, B; Magazzeni, D";s:9:"metadata7";s:28:"10.1007/978-3-540-88873-4-14";s:9:"metadata8";N;s:9:"metadata9";N;s:10:"metadata10";N;}i:22;a:14:{s:9:"citazione";s:320:"Della Penna, G., Fallucchi, F., Intrigila, B., & Magazzeni, D. (2007). A genetic approach to the automatic generation of fuzzy control systems from numerical controllers. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (pp.230-241).";s:4:"data";s:4:"2007";s:2:"id";s:18:"PUBBLICAZIONE_3304";s:6:"handle";s:10:"2108/35853";s:9:"metadata1";s:21:"Intervento a convegno";s:9:"metadata2";N;s:9:"metadata3";s:28:"Settore INF/01 - Informatica";s:9:"metadata4";N;s:9:"metadata5";s:98:"A genetic approach to the automatic generation of fuzzy control systems from numerical controllers";s:9:"metadata6";s:59:"Della Penna, G ; Fallucchi, F ; Intrigila, B ; Magazzeni, D";s:9:"metadata7";s:28:"10.1007/978-3-540-74782-6_21";s:9:"metadata8";N;s:9:"metadata9";N;s:10:"metadata10";N;}i:23;a:14:{s:9:"citazione";s:246:"Intrigila, B., & Statman, R. (2007). The omega rule is \Pi^1_1-complete in the lambda-calculus. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (pp.178-193).";s:4:"data";s:4:"2007";s:2:"id";s:19:"PUBBLICAZIONE_21009";s:6:"handle";s:10:"2108/36430";s:9:"metadata1";s:21:"Intervento a convegno";s:9:"metadata2";N;s:9:"metadata3";s:28:"Settore INF/01 - Informatica";s:9:"metadata4";N;s:9:"metadata5";s:58:"The omega rule is \Pi^1_1-complete in the lambda-calculus";s:9:"metadata6";s:25:"Intrigila, B ; Statman, R";s:9:"metadata7";N;s:9:"metadata8";N;s:9:"metadata9";N;s:10:"metadata10";N;}i:24;a:14:{s:9:"citazione";s:196:"Intrigila, B., Melatti, I., Tofani, A., & Macchiarelli, G. (2007). Computational models of myocardial endomysial collagen arrangement. COMPUTER METHODS AND PROGRAMS IN BIOMEDICINE, 86(3), 232-244.";s:4:"data";s:4:"2007";s:2:"id";s:18:"PUBBLICAZIONE_4013";s:6:"handle";s:10:"2108/35848";s:9:"metadata1";s:19:"Articolo su rivista";s:9:"metadata2";N;s:9:"metadata3";s:28:"Settore INF/01 - Informatica";s:9:"metadata4";N;s:9:"metadata5";s:66:"Computational models of myocardial endomysial collagen arrangement";s:9:"metadata6";s:55:"Intrigila, B ; Melatti, I ; Tofani, A ; Macchiarelli, G";s:9:"metadata7";s:26:"10.1016/j.cmpb.2007.03.004";s:9:"metadata8";N;s:9:"metadata9";N;s:10:"metadata10";N;}i:25;a:14:{s:9:"citazione";s:177:"D'Alessandro, F., Intrigila, B., & Varricchio, S. (2006). On the structure of the counting function of sparse context-free languages. THEORETICAL COMPUTER SCIENCE, 356, 104-117.";s:4:"data";s:4:"2006";s:2:"id";s:18:"PUBBLICAZIONE_8466";s:6:"handle";s:10:"2108/39288";s:9:"metadata1";s:19:"Articolo su rivista";s:9:"metadata2";N;s:9:"metadata3";s:28:"Settore INF/01 - Informatica";s:9:"metadata4";N;s:9:"metadata5";s:74:"On the structure of the counting function of sparse context-free languages";s:9:"metadata6";s:44:"D'Alessandro, F; Intrigila, B; Varricchio, S";s:9:"metadata7";s:25:"10.1016/j.tcs.2006.01.037";s:9:"metadata8";N;s:9:"metadata9";N;s:10:"metadata10";N;}i:26;a:14:{s:9:"citazione";s:187:"Della Penna, G., Marco, A.D., Intrigila, B., Melatti, I., & Pierantonio, A. (2006). Interoperability mapping from XML schemas to ER diagrams. DATA & KNOWLEDGE ENGINEERING, 59(1), 166-188.";s:4:"data";s:4:"2006";s:2:"id";s:19:"PUBBLICAZIONE_13303";s:6:"handle";s:10:"2108/39269";s:9:"metadata1";s:19:"Articolo su rivista";s:9:"metadata2";N;s:9:"metadata3";s:28:"Settore INF/01 - Informatica";s:9:"metadata4";N;s:9:"metadata5";s:56:"Interoperability mapping from XML schemas to ER diagrams";s:9:"metadata6";s:67:"Della Penna, G; Marco, AD; Intrigila, B; Melatti, I; Pierantonio, A";s:9:"metadata7";s:27:"10.1016/j.datak.2005.08.002";s:9:"metadata8";N;s:9:"metadata9";N;s:10:"metadata10";N;}i:27;a:14:{s:9:"citazione";s:218:"Della_Penna, G., Intrigila, B., Melatti, I., Tronci, E., & Venturini_Zilli, M. (2006). Finite horizon analysis of Markov Chains with the Murphi verifier. INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER.";s:4:"data";s:4:"2006";s:2:"id";s:19:"PUBBLICAZIONE_95199";s:6:"handle";s:10:"2108/39308";s:9:"metadata1";s:19:"Articolo su rivista";s:9:"metadata2";N;s:9:"metadata3";s:28:"Settore INF/01 - Informatica";s:9:"metadata4";N;s:9:"metadata5";s:65:"Finite horizon analysis of Markov Chains with the Murphi verifier";s:9:"metadata6";s:71:"Della_Penna, G; Intrigila, B; Melatti, I; Tronci, E; Venturini_Zilli, M";s:9:"metadata7";s:25:"10.1007/s10009-005-0216-7";s:9:"metadata8";N;s:9:"metadata9";N;s:10:"metadata10";N;}i:28;a:14:{s:9:"citazione";s:226:"Della Penna, G., Melatti, I., Intrigila, B., & Tronci, E. (2005). Exploiting hub states in automatic verification. In AUTOMATED TECHNOLOGY FOR VERIFICATION AND ANALYSIS, PROCEEDINGS (pp.54-68). BERLIN : SPRINGER-VERLAG BERLIN.";s:4:"data";s:4:"2005";s:2:"id";s:18:"PUBBLICAZIONE_3851";s:6:"handle";s:10:"2108/38417";s:9:"metadata1";s:21:"Intervento a convegno";s:9:"metadata2";N;s:9:"metadata3";s:28:"Settore INF/01 - Informatica";s:9:"metadata4";N;s:9:"metadata5";s:47:"Exploiting hub states in automatic verification";s:9:"metadata6";s:51:"Della Penna, G; Melatti, I; Intrigila, B; Tronci, E";s:9:"metadata7";s:18:"10.1007/11562948_7";s:9:"metadata8";N;s:9:"metadata9";N;s:10:"metadata10";N;}i:29;a:14:{s:9:"citazione";s:121:"Intrigila, B., & Statman, R. (2005). Some results on extensionality in lambda calculus. ANNALS OF PURE AND APPLIED LOGIC.";s:4:"data";s:4:"2005";s:2:"id";s:19:"PUBBLICAZIONE_95310";s:6:"handle";s:10:"2108/38378";s:9:"metadata1";s:19:"Articolo su rivista";s:9:"metadata2";N;s:9:"metadata3";s:28:"Settore INF/01 - Informatica";s:9:"metadata4";N;s:9:"metadata5";s:49:"Some results on extensionality in lambda calculus";s:9:"metadata6";s:24:"Intrigila, B; Statman, R";s:9:"metadata7";s:26:"10.1016/j.apal.2003.05.001";s:9:"metadata8";N;s:9:"metadata9";N;s:10:"metadata10";N;}i:30;a:14:{s:9:"citazione";s:276:"Intrigila, B., Magazzeni, D., Melatti, I., & Tronci, E. (2005). A Model Checking Technique for the Verification of Fuzzy Control Systems.. Paper presented at 2005 International Conference on Computational Intelligence for Modelling Control and Automation (CIMCA 2005), Vienna.";s:4:"data";s:4:"2005";s:2:"id";s:19:"PUBBLICAZIONE_95322";s:6:"handle";s:10:"2108/34927";s:9:"metadata1";s:21:"Intervento a convegno";s:9:"metadata2";N;s:9:"metadata3";s:28:"Settore INF/01 - Informatica";s:9:"metadata4";N;s:9:"metadata5";s:73:"A Model Checking Technique for the Verification of Fuzzy Control Systems.";s:9:"metadata6";s:52:"Intrigila, B ; Magazzeni, D ; Melatti, I ; Tronci, E";s:9:"metadata7";N;s:9:"metadata8";N;s:9:"metadata9";N;s:10:"metadata10";N;}i:31;a:14:{s:9:"citazione";s:200:"Della Penna, G., Intrigila, B., Melatti, I., Tronci, E., & Zilli, M.V. (2004). Bounded Probabilistic Model Checking with the Murφ Verifier. Paper presented at Formal Methods in Computer-Aided Design.";s:4:"data";s:4:"2004";s:2:"id";s:19:"PUBBLICAZIONE_95326";s:6:"handle";s:10:"2108/30789";s:9:"metadata1";s:21:"Intervento a convegno";s:9:"metadata2";N;s:9:"metadata3";s:28:"Settore INF/01 - Informatica";s:9:"metadata4";N;s:9:"metadata5";s:60:"Bounded Probabilistic Model Checking with the Murφ Verifier";s:9:"metadata6";s:64:"Della Penna, G; Intrigila, B; Melatti, I; Tronci, E; Zilli, MV";s:9:"metadata7";s:28:"10.1007/978-3-540-30494-4_16";s:9:"metadata8";N;s:9:"metadata9";N;s:10:"metadata10";N;}i:32;a:14:{s:9:"citazione";s:251:"Della Penna, G., Intrigila, B., Melatti, I., Tronci, E., & Zilli, M.V. (2004). Exploiting transition locality in automatic verification of finite-state concurrent systems. INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER, 6(4), 320-341.";s:4:"data";s:4:"2004";s:2:"id";s:19:"PUBBLICAZIONE_95289";s:6:"handle";s:10:"2108/30843";s:9:"metadata1";s:19:"Articolo su rivista";s:9:"metadata2";N;s:9:"metadata3";s:28:"Settore INF/01 - Informatica";s:9:"metadata4";N;s:9:"metadata5";s:91:"Exploiting transition locality in automatic verification of finite-state concurrent systems";s:9:"metadata6";s:62:"Della Penna, G; Intrigila, B; Melatti, I; Tronci, E; Zilli, MV";s:9:"metadata7";s:25:"10.1007/s10009-004-0149-6";s:9:"metadata8";N;s:9:"metadata9";N;s:10:"metadata10";N;}i:33;a:14:{s:9:"citazione";s:153:"Intrigila B., V.S. (2000). On the generalization of Higman and Kruskal's theorems to regular languages and rational trees. ACTA INFORMATICA, 36, 817-835.";s:4:"data";s:4:"2000";s:2:"id";s:18:"PUBBLICAZIONE_9990";s:6:"handle";s:10:"2108/54955";s:9:"metadata1";s:19:"Articolo su rivista";s:9:"metadata2";N;s:9:"metadata3";s:28:"Settore INF/01 - Informatica";s:9:"metadata4";N;s:9:"metadata5";s:94:"On the generalization of Higman and Kruskal's theorems to regular languages and rational trees";s:9:"metadata6";s:27:"Intrigila B., Varricchio S.";s:9:"metadata7";s:21:"10.1007/s002360050176";s:9:"metadata8";N;s:9:"metadata9";N;s:10:"metadata10";N;}}" } ["meta_keywords"]=> array(1) { [0]=> string(1) "," } ["reserved"]=> array(1) { [0]=> string(1) "0" } ["auth_ip"]=> array(1) { [0]=> string(1) "0" } } ["_fieldBoosts":protected]=> array(6) { ["content_id"]=> bool(false) ["content_title"]=> bool(false) ["description"]=> bool(false) ["meta_keywords"]=> bool(false) ["reserved"]=> bool(false) ["auth_ip"]=> bool(false) } } }