Benedetto Intrigila

发表

Benedetto Intrigila, E. Biasone, B. Intrigila, 2000, Mathematical Structures in Computer Science.
Benedetto Intrigila, Daniele Magazzeni, Giuseppe Della Penna, 2008 .
Richard Statman, Benedetto Intrigila, 2011, Fundam. Informaticae.
Benedetto Intrigila, Daniele Magazzeni, Fabio Mercorio, 2010, ICAPS.
Benedetto Intrigila, Daniele Magazzeni, Giuseppe Della Penna, 2009 .
Benedetto Intrigila, Flavio D'Alessandro, B. Intrigila, 2015, Theor. Comput. Sci..
Benedetto Intrigila, M. Venturini Zilli, 1999, Theor. Comput. Sci..
Benedetto Intrigila, B. Intrigila, 1988, Math. Log. Q..
Benedetto Intrigila, Daniele Magazzeni, Sergio Orefice, 2013, Int. J. Softw. Eng. Knowl. Eng..
Benedetto Intrigila, Daniele Magazzeni, Fabio Mercorio, 2015 .
Benedetto Intrigila, 1993, Math. Log. Q..
Benedetto Intrigila, Daniele Magazzeni, Fabio Mercorio, 2010, ICAPS 2010.
Benedetto Intrigila, Ivano Salvo, Stefano Sorgi, 2001, Inf. Comput..
Richard Statman, Benedetto Intrigila, B. Intrigila, 2005, Ann. Pure Appl. Log..
Benedetto Intrigila, Daniele Magazzeni, Fabio Mercorio, 2015, Int. J. Artif. Intell. Tools.
Enrico Tronci, Benedetto Intrigila, Giuseppe Della Penna, 2005, ATVA.
Benedetto Intrigila, Daniele Magazzeni, Francesca Fallucchi, 2007, AI*IA.
Benedetto Intrigila, Guido Macchiarelli, Alberto Tofani, 2005 .
Benedetto Intrigila, Corrado Böhm, 1994, Inf. Comput..
Enrico Tronci, Benedetto Intrigila, Giuseppe Della Penna, 2003, CHARME.
Benedetto Intrigila, Sergio Orefice, Giuseppe Della Penna, 2003, Int. J. Softw. Eng. Knowl. Eng..
Antinisca Di Marco, Benedetto Intrigila, Alfonso Pierantonio, 2006, Data Knowl. Eng..
Benedetto Intrigila, Sergio Orefice, Giuseppe Della Penna, 2008, Int. J. Softw. Eng. Knowl. Eng..
Benedetto Intrigila, Sergio Orefice, Giuseppe Della Penna, 2001, Int. J. Hum. Comput. Stud..
Benedetto Intrigila, Flavio D'Alessandro, B. Intrigila, 2015, Theor. Comput. Sci..
Benedetto Intrigila, Daniele Magazzeni, Fabio Mercorio, 2010, ArXiv.
Enrico Tronci, Benedetto Intrigila, Giuseppe Della Penna, 2001, Electron. Notes Theor. Comput. Sci..
Benedetto Intrigila, Flavio D'Alessandro, Stefano Varricchio, 2009, Theor. Comput. Sci..
Benedetto Intrigila, Daniele Magazzeni, Fabio Mercorio, 2009, ICAPS.
Enrico Tronci, Benedetto Intrigila, Daniele Magazzeni, 2005, International Conference on Computational Intelligence for Modelling, Control and Automation and International Conference on Intelligent Agents, Web Technologies and Internet Commerce (CIMCA-IAWTIC'06).
Benedetto Intrigila, Guido Macchiarelli, Alberto Tofani, 2007, Comput. Methods Programs Biomed..
Benedetto Intrigila, Daniele Magazzeni, Fabio Mercorio, 2010, 2010 Sixth International Conference on Autonomic and Autonomous Systems.
Benedetto Intrigila, Maria Teresa Pazienza, Giuseppe Della Penna, 2013, AIBP@AI*IA.
Benedetto Intrigila, Daniele Magazzeni, Giuseppe Della Penna, 2009, WILF.
Benedetto Intrigila, C. Alkor, B. Intrigila, 1983, Math. Log. Q..
Benedetto Intrigila, Luigi Mazzucchelli, 2018, 2018 IEEE International Systems Engineering Symposium (ISSE).
Benedetto Intrigila, Flavio D'Alessandro, B. Intrigila, 2015, Theor. Comput. Sci..
Maurizio Talamo, Benedetto Intrigila, Daniele Magazzeni, 2008, OTM Conferences.
Enrico Tronci, Benedetto Intrigila, Giuseppe Della Penna, 2001, Proceedings Eighth Asia-Pacific Software Engineering Conference.
Benedetto Intrigila, Flavio D'Alessandro, Stefano Varricchio, 2009, ArXiv.
Richard Statman, Benedetto Intrigila, 2004, LICS.
Benedetto Intrigila, Daniele Magazzeni, Fabio Mercorio, 2009, ICAPS 2009.
Enrico Tronci, Benedetto Intrigila, Daniele Magazzeni, 2013, Eur. J. Control.
Enrico Tronci, Benedetto Intrigila, Giuseppe Della Penna, 2001, CHARME.
Enrico Tronci, Benedetto Intrigila, Giuseppe Della Penna, 2004, International Journal on Software Tools for Technology Transfer.
Giulio Manzonetto, Benedetto Intrigila, Andrew Polonsky, 2018, Log. Methods Comput. Sci..
Enrico Tronci, Benedetto Intrigila, Giuseppe Della Penna, 2003, ICTCS.
Giulio Manzonetto, Benedetto Intrigila, Andrew Polonsky, 2017, FSCD.
Enrico Tronci, Benedetto Intrigila, Giuseppe Della Penna, 2004, FMCAD.
Enrico Tronci, Benedetto Intrigila, Giuseppe Della Penna, 2003, HSCC.
Enrico Tronci, Benedetto Intrigila, Daniele Magazzeni, 2011, ICINCO.
Benedetto Intrigila, Flavio D'Alessandro, Stefano Varricchio, 2012, Theor. Comput. Sci..
Benedetto Intrigila, Daniele Magazzeni, Giuseppe Della Penna, 2008, ICINCO-ICSO.
Benedetto Intrigila, B. Intrigila, 1994, Notre Dame J. Formal Log..
Enrico Tronci, Benedetto Intrigila, Giuseppe Della Penna, 2003 .
Benedetto Intrigila, B. Intrigila, 1997, Inf. Comput..
Enrico Tronci, Benedetto Intrigila, Igor Melatti, 2005 .
Benedetto Intrigila, Anna Rita Laurenzi, 2000, Fundam. Informaticae.
Enrico Tronci, Benedetto Intrigila, Giuseppe Della Penna, 2006, FDL.
Benedetto Intrigila, Stefano Varricchio, B. Intrigila, 2000, Acta Informatica.
Benedetto Intrigila, Alessandro Berarducci, 1991, Ann. Pure Appl. Log..
Benedetto Intrigila, Flavio D'Alessandro, Stefano Varricchio, 2008, ArXiv.
Benedetto Intrigila, 1991, Fundam. Informaticae.
Benedetto Intrigila, Daniele Magazzeni, Fabio Mercorio, 2010, ICAS 2010.
Benedetto Intrigila, Alessandro Berarducci, 1993, Theor. Comput. Sci..
Benedetto Intrigila, Marisa Venturini Zilli, 1996, J. Symb. Comput..
Enrico Tronci, Benedetto Intrigila, Daniele Magazzeni, 2006, ICINCO-ICSO.
Enrico Tronci, Benedetto Intrigila, Giuseppe Della Penna, 2003, CHARME.
Maurizio Talamo, Benedetto Intrigila, Daniele Magazzeni, 2008 .
Benedetto Intrigila, Sergio Orefice, Giuseppe Della Penna, 2004, J. Vis. Lang. Comput..
Benedetto Intrigila, Armando Calabrese, Andrea Giglio, 2016, 2016 IEEE 25th International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE).
Enrico Tronci, Benedetto Intrigila, Giuseppe Della Penna, 2002, FMCAD.
Benedetto Intrigila, Sergio Orefice, Giuseppe Della Penna, 2004, SEKE.
Antinisca Di Marco, Benedetto Intrigila, Alfonso Pierantonio, 2003, FASE.
Benedetto Intrigila, Flavio D'Alessandro, Stefano Varricchio, 2006, Theor. Comput. Sci..
Richard Statman, Benedetto Intrigila, 2009, Log. Methods Comput. Sci..
Benedetto Intrigila, Sergio Orefice, Giuseppe Della Penna, 2006, J. Syst. Softw..
Richard Statman, Benedetto Intrigila, 2007, TLCA.
Benedetto Intrigila, Daniele Magazzeni, Giuseppe Della Penna, 2009, WILF 2009.
Maurizio Talamo, Benedetto Intrigila, Daniele Magazzeni, 2008, Lecture Notes in Computer Science.
Benedetto Intrigila, Monica Nesi, B. Intrigila, 2003, Inf. Process. Lett..
Richard Statman, Benedetto Intrigila, 2017, Math. Struct. Comput. Sci..
Enrico Tronci, Benedetto Intrigila, Giuseppe Della Penna, 2006, International Journal on Software Tools for Technology Transfer.
Enrico Tronci, Benedetto Intrigila, Giuseppe Della Penna, 2002, Acta Informatica.
Paola Inverardi, Benedetto Intrigila, Marisa Venturini Zilli, 1999, Fundam. Informaticae.
Richard Statman, Benedetto Intrigila, B. Intrigila, 2006, Log. Methods Comput. Sci..
Giulio Manzonetto, Benedetto Intrigila, Giuseppe Della Penna, 2021, ArXiv.
Benedetto Intrigila, Andrea D'Ambrogio, Giuseppe Della Penna, 2021, Comput..
Richard Statman, Benedetto Intrigila, Simona Ronchi Della Rocca, 2007 .
Richard Statman, Benedetto Intrigila, 2007 .
Benedetto Intrigila, Alessandro Berarducci, 1996 .
Benedetto Intrigila, Giuseppe Della Penna, MarisaVenturini, 2001 .