Iliano Cervesato

发表

Iliano Cervesato, Edmund Soon Lee Lam, Nabeeha Fatima, 2015, COORDINATION.
Gianfranco Rossi, Iliano Cervesato, I. Cervesato, 1992, META.
David Walker, Frank Pfenning, Iliano Cervesato, 2003, TYPES.
Frank Pfenning, Iliano Cervesato, Kevin Watkins, 2003 .
Iliano Cervesato, Maribel Fernández, 2010 .
David Walker, Frank Pfenning, Iliano Cervesato, 2008, Electron. Notes Theor. Comput. Sci..
Iliano Cervesato, Sandra Alves, 2018, Math. Struct. Comput. Sci..
Iliano Cervesato, 2013 .
Angelo Montanari, Iliano Cervesato, I. Cervesato, 1999, J. Log. Program..
Kemal Oflazer, Nael B. Abu-Ghazaleh, Khaled A. Harras, 2011, ITiCSE '11.
Iliano Cervesato, 2013 .
Andre Scedrov, Iliano Cervesato, Aaron D. Jaggard, 2006, Theor. Comput. Sci..
Iliano Cervesato, 2012, Theory Pract. Log. Program..
Andre Scedrov, Iliano Cervesato, Aaron D. Jaggard, 2002, Proceedings 15th IEEE Computer Security Foundations Workshop. CSFW-15.
Stefano Bistarelli, Gabriele Lenzini, Fabio Martinelli, 2003 .
Iliano Cervesato, Heiko Mantel, Serge Autexier, 2004, International Journal of Information Security.
Stefano Bistarelli, Gabriele Lenzini, Fabio Martinelli, 2005, J. Comput. Secur..
Angelo Montanari, Iliano Cervesato, 2000, Proceedings Seventh International Workshop on Temporal Representation and Reasoning. TIME 2000.
Iliano Cervesato, Edmund S. L. Lam, 2015 .
Iliano Cervesato, 2011 .
Iliano Cervesato, Thierry Sans, 2014, Fundam. Informaticae.
John C. Mitchell, Patrick Lincoln, Andre Scedrov, 1999, Proceedings of the 12th IEEE Computer Security Foundations Workshop.
Iliano Cervesato, 1996 .
Iliano Cervesato, 2002 .
Iliano Cervesato, Giselle Reis, Dragisa Zunic, 2019, Linearity-TLLA@FLoC.
Iliano Cervesato, 2006, Quality of Protection.
Iliano Cervesato, 2000, Electron. Notes Theor. Comput. Sci..
Christoph F. Eick, Iliano Cervesato, 1993, SEBD.
Michael Backes, Andre Scedrov, Iliano Cervesato, 2006, International Journal of Information Security.
Iliano Cervesato, Carsten Schurmann, 2015 .
Stefano Bistarelli, Gabriele Lenzini, Fabio Martinelli, 2003, EUROCAST.
David Walker, Frank Pfenning, Iliano Cervesato, 2003 .
Iliano Cervesato, Edmund Soon Lee Lam, I. Cervesato, 2012, PPDP.
Iliano Cervesato, 2001, MMM-ACNS.
Patrick Lincoln, Iliano Cervesato, Nancy A. Durgin, 2002, J. Comput. Secur..
Iliano Cervesato, Thierry Sans, Soha Hussein, 2013, NordSec.
Nael B. Abu-Ghazaleh, Dmitry V. Ponomarev, Iliano Cervesato, 2016, ACM Trans. Archit. Code Optim..
Iliano Cervesato, Edmund Soon Lee Lam, 2014, SMT.
Iliano Cervesato, 2007, Knowl. Eng. Rev..
Iliano Cervesato, Maribel Fern'andez, 2017 .
Michael Backes, Andre Scedrov, Iliano Cervesato, 2006, ESORICS.
Andre Scedrov, Iliano Cervesato, Aaron D. Jaggard, 2006, Inf. Comput..
Gianfranco Rossi, Iliano Cervesato, 1993, GULP.
Iliano Cervesato, 2013 .
Iliano Cervesato, I. Cervesato, 2010 .
Iliano Cervesato, Jorge Luis Sacchini, 2013, EXPRESS/SOS.
Frank Pfenning, Iliano Cervesato, 2002, Inf. Comput..
Angelo Montanari, Luca Chittaro, Iliano Cervesato, 1994, ILPS.
Frank Pfenning, Iliano Cervesato, Joshua S. Hodas, 1996, Theor. Comput. Sci..
Stefano Bistarelli, Gabriele Lenzini, Fabio Martinelli, 2003, MMM-ACNS.
Iliano Cervesato, Maribel Fernández, 2019, Journal of Automated Reasoning.
Andre Scedrov, Iliano Cervesato, A. Scedrov, 2006, WoLLIC.
Iliano Cervesato, Sandra Alves, 2010 .
Paul F. Syverson, Iliano Cervesato, P. Syverson, 2000, FOSAD.
Angelo Montanari, Massimo Franceschet, Iliano Cervesato, 1997, Proceedings of TIME '97: 4th International Workshop on Temporal Representation and Reasoning.
Angelo Montanari, Luca Chittaro, Iliano Cervesato, 1994, GULP-PRODE.
Iliano Cervesato, Edmund Soon Lee Lam, 2014, APLAS.
Iliano Cervesato, Cleotilde Gonzalez, Shikhar Kumar, 2014, Comput. Hum. Behav..
Iliano Cervesato, Mark Stehlik, Majd Sakr, 2008 .
Iliano Cervesato, 2013 .
Dusko Pavlovic, Catherine A. Meadows, Iliano Cervesato, 2005, 18th IEEE Computer Security Foundations Workshop (CSFW'05).
Frank Pfenning, Iliano Cervesato, 2003, J. Log. Comput..
Iliano Cervesato, 2006, AAAI Fall Symposium: Integrating Reasoning into Everyday Applications.
Frank Pfenning, Iliano Cervesato, 1996, Proceedings 11th Annual IEEE Symposium on Logic in Computer Science.
Iliano Cervesato, 2013 .
Dusko Pavlovic, Iliano Cervesato, Catherine Meadows, 2006 .
Frank Pfenning, Iliano Cervesato, Anand Subramanian, 2012 .
Iliano Cervesato, Edmund Soon Lee Lam, 2013, PPDP.
Paul Syverson, Iliano Cervesato, Catherine Meadows, 2000 .
Iliano Cervesato, 2011, ITiCSE '11.
Iliano Cervesato, I. Cervesato, 1998, IJCSLP.
Angelo Montanari, Luca Chittaro, Iliano Cervesato, 1994 .
Frank Pfenning, Iliano Cervesato, Joshua S. Hodas, 1996, ELP.
Iliano Cervesato, 1994, ICLP Workshop: Proof-Theoretical Extensions on Logic Programming.
Iliano Cervesato, I. Cervesato, 2013, Cognitive Technologies.
David Walker, Frank Pfenning, Iliano Cervesato, 2004 .
Iliano Cervesato, Kaustuv Chaudhuri, 2018, Math. Struct. Comput. Sci..
Iliano Cervesato, Ryan Riley, Dmitry Evtyushkin, 2017, AsiaCCS.
Iliano Cervesato, Edmund Soon Lee Lam, 2015, LPAR.
Angelo Montanari, Massimo Franceschet, Iliano Cervesato, 1998, Proceedings. Fifth International Workshop on Temporal Representation and Reasoning (Cat. No.98EX157).
Angelo Montanari, Massimo Franceschet, Iliano Cervesato, 1998, Electron. Trans. Artif. Intell..
Iliano Cervesato, I. Cervesato, 1995, GULP-PRODE.
Catherine A. Meadows, Iliano Cervesato, 2007, IEEE Transactions on Dependable and Secure Computing.
Iliano Cervesato, Edmund Soon Lee Lam, Ali Elgazar, 2016, RuleML.
Andre Scedrov, Iliano Cervesato, Aaron D. Jaggard, 2005, WITS '05.
Iliano Cervesato, Edmund Soon Lee Lam, 2014, ArXiv.
Angelo Montanari, Luca Chittaro, Iliano Cervesato, 1995, ICLP.
Angelo Montanari, Massimo Franceschet, Iliano Cervesato, 2000, Comput. Intell..
Andre Scedrov, Iliano Cervesato, Aaron D. Jaggard, 2003, ISSS.
John C. Mitchell, Patrick Lincoln, Andre Scedrov, 2000, Proceedings 13th IEEE Computer Security Foundations Workshop. CSFW-13.
Iliano Cervesato, 2013 .
Iliano Cervesato, Thierry Sans, 2010, LAM@LICS.
Frank Pfenning, Iliano Cervesato, F. Pfenning, 1997, Proceedings of Twelfth Annual IEEE Symposium on Logic in Computer Science.
Iliano Cervesato, Edmund Soon Lee Lam, Ali Elgazar, 2015, 2015 IEEE 11th International Conference on Wireless and Mobile Computing, Networking and Communications (WiMob).
Andre Scedrov, Iliano Cervesato, Aaron D. Jaggard, 2006, Information and Computation.
Angelo Montanari, Alessandro Provetti, Iliano Cervesato, 1993 .
Stefano Bistarelli, Gabriele Lenzini, Fabio Martinelli, 2003 .
Angelo Montanari, Massimo Franceschet, Iliano Cervesato, 2000 .
Angelo Montanari, Alessandro Provetti, Iliano Cervesato, 1993 .
Frank Pfenning, Iliano Cervesato, F. Pfenning, 1996, Proceedings 11th Annual IEEE Symposium on Logic in Computer Science.
Angelo Montanari, Luca Chittaro, Iliano Cervesato, 1994 .