Catuscia Palamidessi

发表

Catuscia Palamidessi, 2020, CCS 2020.
Catuscia Palamidessi, Diletta Cacciagrano, Flavio Corradini, 2009, Log. Methods Comput. Sci..
Erika Ábrahám, Catuscia Palamidessi, 2014, Lecture Notes in Computer Science.
Daniele Gorla, Catuscia Palamidessi, Federica Granese, 2019, ICTAC.
Jean Goubault-Larrecq, Catuscia Palamidessi, Angelo Troina, 2007, APLAS.
Catuscia Palamidessi, Christelle Braun, Konstantinos Chatzikokolakis, 2009, MFPS.
Catuscia Palamidessi, Konstantinos Chatzikokolakis, 2005, Formal Aspects in Security and Trust.
Catuscia Palamidessi, M. Pilquist, C. Palamidessi, 2002, IASTED PDCS.
Frank D. Valencia, Mogens Nielsen, Catuscia Palamidessi, 2002 .
Mário S. Alvim, Catuscia Palamidessi, Miguel E. Andrés, 2010, 2010 25th Annual IEEE Symposium on Logic in Computer Science.
Maurizio Gabbrielli, Catuscia Palamidessi, Carlos Olarte, 2016, LOPSTR.
Catuscia Palamidessi, Konstantinos Chatzikokolakis, Ehab ElSalamouny, 2013 .
Catuscia Palamidessi, Lefki Kacem, 2018, PLAS@CCS.
Frank D. Valencia, Catuscia Palamidessi, Catuscia Palamidessi, 2008, Electron. Notes Theor. Comput. Sci..
Vladimiro Sassone, Catuscia Palamidessi, Sardaouna Hamadou, 2009, Formal Aspects in Security and Trust.
Prakash Panangaden, Catuscia Palamidessi, Sophia Knight, 2009, TOCL.
Catuscia Palamidessi, Konstantinos Chatzikokolakis, Valentina Castiglioni, 2018, FACS.
Catuscia Palamidessi, Oltea Mihaela Herescu, 2001, PODC '01.
Prakash Panangaden, Catuscia Palamidessi, Konstantinos Chatzikokolakis, 2008, J. Comput. Secur..
Catuscia Palamidessi, Giovanni Cherubin, Konstantinos Chatzikokolakis, 2019, 2019 IEEE Symposium on Security and Privacy (SP).
Catuscia Palamidessi, Valentina Castiglioni, Konstantinos Chatzikokolakis, 2020, Sci. Comput. Program..
Geoffrey Smith, Catuscia Palamidessi, Peter van Rossum, 2010, TACAS.
Elham Kashefi, Catuscia Palamidessi, Franck van Breugel, 2014, Lecture Notes in Computer Science.
Maurizio Gabbrielli, Kim Marriott, Catuscia Palamidessi, 1993, [1993] Proceedings Eighth Annual IEEE Symposium on Logic in Computer Science.
Carmela Troncoso, Catuscia Palamidessi, Giovanni Cherubin, 2020, ArXiv.
Frank D. Valencia, Catuscia Palamidessi, 2001 .
Camilo Rueda, Frank D. Valencia, Catuscia Palamidessi, 2006, ICLP.
Luís Moniz Pereira, Peter J. Stuckey, Ulrich Furbach, 2000 .
Thomas Given-Wilson, Catuscia Palamidessi, Sardaouna Hamadou, 2013 .
Giorgio Levi, Catuscia Palamidessi, Moreno Falaschi, 1983, Logic Programming Workshop.
Frank D. Valencia, Catuscia Palamidessi, Carlos Olarte, 2007 .
Catuscia Palamidessi, Tosca, Sabastian Mödersheim, 2011, Lecture Notes in Computer Science.
Hugh Glaser, Karl Meinke, Catuscia Palamidessi, 1998 .
Catuscia Palamidessi, C. Palamidessi, 2002, PPDP '02.
Frank D. Valencia, Mogens Nielsen, Catuscia Palamidessi, 2002, PPDP '02.
Corrado Moiso, Catuscia Palamidessi, Elio Giovannetti, 1991, J. Log. Program..
Catuscia Palamidessi, Marco Romanelli, 2018, ANNPR.
Mário S. Alvim, Catuscia Palamidessi, Miguel E. Andrés, 2010, CONCUR.
Frank D. Valencia, Catuscia Palamidessi, Romain Beauxis, 2008, Concurrency, Graphs and Models.
Catuscia Palamidessi, 2010, MPC.
Catuscia Palamidessi, Carlos Olarte, Moreno Falaschi, 2009, PPDP '09.
Frank D. Valencia, Catuscia Palamidessi, C. Palamidessi, 2006, Bull. EATCS.
Serge Haddad, Catuscia Palamidessi, Konstantinos Chatzikokolakis, 2017, VALUETOOLS.
Catuscia Palamidessi, Konstantinos Chatzikokolakis, Miguel E. Andrés, 2012, CCS.
Catuscia Palamidessi, Konstantinos Chatzikokolakis, Marco Stronati, 2015, ICDCIT.
Catuscia Palamidessi, Ehab ElSalamouny, Konstantinos Chatzikokolakis, 2017, Found. Trends Priv. Secur..
Dale Miller, Catuscia Palamidessi, Raymond McDowell, 2003, Theor. Comput. Sci..
Yuxin Deng, Catuscia Palamidessi, 2007, Theor. Comput. Sci..
Catuscia Palamidessi, Konstantinos Chatzikokolakis, 2007, Theor. Comput. Sci..
Frank S. de Boer, Catuscia Palamidessi, F. S. Boer, 1994, Inf. Comput..
Mário S. Alvim, Catuscia Palamidessi, Konstantinos Chatzikokolakis, 2011, ICALP.
Giorgio Levi, Maurizio Martelli, Catuscia Palamidessi, 1988, ICLP/SLP.
Peng Wu, Catuscia Palamidessi, Gethin Norman, 2007 .
Catuscia Palamidessi, Marco Romanelli, 2020, CONCUR.
Catuscia Palamidessi, Konstantinos Chatzikokolakis, S. Alvim, 2011 .
Frank D. Valencia, Prakash Panangaden, Catuscia Palamidessi, 2012, CONCUR.
Catuscia Palamidessi, Sylvain Pradalier, 2006, Electron. Notes Theor. Comput. Sci..
Catuscia Palamidessi, Christelle Braun, Konstantinos Chatzikokolakis, 2016, Math. Struct. Comput. Sci..
Frank S. de Boer, Catuscia Palamidessi, F. S. Boer, 1991, CONCUR.
Catuscia Palamidessi, Alessandra Di Pierro, C. Palamidessi, 1994, ESOP.
Mário S. Alvim, Catuscia Palamidessi, Pierpaolo Degano, 2011, Formal Aspects in Security and Trust.
Catuscia Palamidessi, Konstantinos Chatzikokolakis, 2007, CONCUR.
Tom Chothia, Yuxin Deng, Catuscia Palamidessi, 2006, QAPL.
Frank D. Valencia, Mogens Nielsen, Catuscia Palamidessi, 2002, Nord. J. Comput..
Catuscia Palamidessi, Romain Beauxis, C. Palamidessi, 2006, MFPS.
Catuscia Palamidessi, Diletta Cacciagrano, Flavio Corradini, 2007, Theor. Comput. Sci..
Prakash Panangaden, Catuscia Palamidessi, Konstantinos Chatzikokolakis, 2007, 20th IEEE Computer Security Foundations Symposium (CSF'07).
Catuscia Palamidessi, Konstantinos Chatzikokolakis, 2013 .
Frank S. de Boer, Eike Best, Catuscia Palamidessi, 1997, COORDINATION.
Prakash Panangaden, Catuscia Palamidessi, Romain Beauxis, 2007, TGC.
Catuscia Palamidessi, Yusuke Kawamoto, Konstantinos Chatzikokolakis, 2020, ArXiv.
Mário S. Alvim, Catuscia Palamidessi, Konstantinos Chatzikokolakis, 2018, 2018 IEEE 31st Computer Security Foundations Symposium (CSF).
Frank S. de Boer, Jan J. M. M. Rutten, Joost N. Kok, 1992, REX Workshop.
Catuscia Palamidessi, Ehab ElSalamouny, C. Palamidessi, 2020, 2020 IEEE European Symposium on Security and Privacy (EuroS&P).
Giorgio Levi, Maurizio Martelli, Catuscia Palamidessi, 1989, Theor. Comput. Sci..
Catuscia Palamidessi, Oltea Mihaela Herescu, 2002, IFIP TCS.
Frank D. Valencia, Catuscia Palamidessi, C. Palamidessi, 2001, CP.
Ana Sokolova, Catuscia Palamidessi, Peter van Rossum, 2011 .
Frank S. de Boer, Catuscia Palamidessi, F. S. Boer, 1992, ALPUK.
Catuscia Palamidessi, Konstantinos Chatzikokolakis, Ehab ElSalamouny, 2014, Horizons of the Mind.
Catuscia Palamidessi, C. Palamidessi, 1990, ICALP.
Ilaria Castellani, Catuscia Palamidessi, 1998, EXPRESS.
Elena Marchiori, Krzysztof R. Apt, Catuscia Palamidessi, 1992, ALP.
Catuscia Palamidessi, Joachim Parrow, J. Parrow, 1997, EXPRESS.
Catuscia Palamidessi, Konstantinos Chatzikokolakis, C. Palamidessi, 2005, Theor. Comput. Sci..
Dale Miller, Catuscia Palamidessi, Ivan Gazeau, 2013, Theor. Comput. Sci..
Giorgio Levi, Catuscia Palamidessi, G. Levi, 1985, SLP.
Corrado Moiso, Giorgio Levi, Catuscia Palamidessi, 1987, SLP.
Catuscia Palamidessi, Konstantinos Chatzikokolakis, Valeria Vignudelli, 2016, CONCUR.
Frank D. Valencia, Catuscia Palamidessi, Jesús Aranda, 2002, Lecture Notes in Computer Science.
David R. Gilbert, Catuscia Palamidessi, C. Palamidessi, 2000, Computational Logic.
Agostino Cortesi, Gilberto Filé, Roberto Giacobazzi, 1995, TOPL.
Catuscia Palamidessi, Konstantinos Chatzikokolakis, Marco Stronati, 2013, ArXiv.
Maurizio Gabbrielli, Catuscia Palamidessi, Carlos Olarte, 2020, Fundam. Informaticae.
Frank D. Valencia, Filippo Bonchi, Catuscia Palamidessi, 2011, FoSSaCS.
Prakash Panangaden, Catuscia Palamidessi, Konstantinos Chatzikokolakis, 2008, Inf. Comput..
Sebastian Mödersheim, Jun Pang, Catuscia Palamidessi, 2014, J. Comput. Secur..
Maurizio Gabbrielli, Kim Marriott, Catuscia Palamidessi, 1997, Theor. Comput. Sci..
Catuscia Palamidessi, 2000, Lecture Notes in Computer Science.
Frank S. de Boer, Catuscia Palamidessi, F. S. Boer, 1991, TAPSOFT, Vol.1.
Catuscia Palamidessi, Konstantinos Chatzikokolakis, Marco Romanelli, 2019, 2020 IEEE 33rd Computer Security Foundations Symposium (CSF).
F. S. de Boer, Catuscia Palamidessi, Frank S. de Boerl, 1990 .
Frank S. de Boer, Jan J. M. M. Rutten, Joost N. Kok, 1991, Theor. Comput. Sci..
Maurizio Martelli, Catuscia Palamidessi, Alessandra Di Pierro, 1995, Inf. Comput..
Catuscia Palamidessi, Konstantinos Chatzikokolakis, Miguel E. Andrés, 2013, Privacy Enhancing Technologies.
Maurizio Gabbrielli, Kim Marriott, Catuscia Palamidessi, 1997, Inf. Comput..
Frank S. de Boer, Jan J. M. M. Rutten, Joost N. Kok, 1991, CONCUR.
Dale Miller, Catuscia Palamidessi, 1999, CSUR.
Catuscia Palamidessi, 2006, Electron. Notes Theor. Comput. Sci..
Catuscia Palamidessi, C. Palamidessi, 2013, WoLLIC.
Mário S. Alvim, Catuscia Palamidessi, Miguel E. Andrés, 2010, IFIP TCS.
Mário S. Alvim, Catuscia Palamidessi, Pierpaolo Degano, 2015, J. Comput. Secur..
Luís Moniz Pereira, Peter J. Stuckey, Ulrich Furbach, 2000, Lecture Notes in Computer Science.
Catuscia Palamidessi, 1994, ALP.
Catuscia Palamidessi, Frank S. de Boer, F. S. Boer, 1995 .
Catuscia Palamidessi, Sami Zhioua, Karima Makhlouf, 2020, ArXiv.
Frank D. Valencia, Catuscia Palamidessi, Jesús Aranda, 2006, FMCO.
Pasquale Malacaria, Catuscia Palamidessi, Boris Köpf, 2012, Dagstuhl Reports.
Giorgio Levi, Catuscia Palamidessi, Moreno Falaschi, 1984, Inf. Control..
Dale Miller, Catuscia Palamidessi, Ivan Gazeau, 2012, QAPL.
Catuscia Palamidessi, Lefki Kacem, Natasha Fernandes, 2019, Models, Languages, and Tools for Concurrent and Distributed Programming.
Catuscia Palamidessi, Abhishek Bhowmick, C. Palamidessi, 2009, TGC.
Sandro Etalle, Catuscia Palamidessi, Marco Bertolino, 1999, APPIA-GULP-PRODE.
Maurizio Gabbrielli, Elena Marchiori, Frank S. de Boer, 1997, TOPL.
Claude Castelluccia, Catuscia Palamidessi, Ali Kassem, 2018 .
Yuxin Deng, Catuscia Palamidessi, 2005, FoSSaCS.
Catuscia Palamidessi, Carlos Olarte, Moreno Falaschi, 2010, BCB '10.
Giorgio Levi, Maurizio Martelli, Catuscia Palamidessi, 1993, Inf. Comput..
Catuscia Palamidessi, Konstantinos Chatzikokolakis, Marco Stronati, 2013, Privacy Enhancing Technologies.
Frank D. Valencia, Catuscia Palamidessi, C. Palamidessi, 2005, Bull. EATCS.
Mário S. Alvim, Catuscia Palamidessi, Miguel E. Andrés, 2010, ARSPA-WITS.
Catuscia Palamidessi, Konstantinos Chatzikokolakis, Marco Stronati, 2015, SIGL.
Dale Miller, Catuscia Palamidessi, Ivan Gazeau, 2016, Theor. Comput. Sci..
Frank D. Valencia, Tom Chothia, Catuscia Palamidessi, 2005 .
Catuscia Palamidessi, Konstantinos Chatzikokolakis, Ehab ElSalamouny, 2013, POST.
Catuscia Palamidessi, Maria Grazia Vigliotti, Iain Phillips, 2007, Theor. Comput. Sci..
Giorgio Levi, Maurizio Martelli, Catuscia Palamidessi, 1990, NACLP.
Prakash Panangaden, Catuscia Palamidessi, Konstantinos Chatzikokolakis, 2006, Inf. Comput..
Maurizio Gabbrielli, Elena Marchiori, Frank S. de Boer, 1994, POPL '94.
Mário S. Alvim, Annabelle McIver, Geoffrey Smith, 2014, 2014 IEEE 27th Computer Security Foundations Symposium.
Mário S. Alvim, Catuscia Palamidessi, Konstantinos Chatzikokolakis, 2011, FOSAD.
Ana Sokolova, Catuscia Palamidessi, Peter van Rossum, 2010, 2010 Seventh International Conference on the Quantitative Evaluation of Systems.
Catuscia Palamidessi, Konstantinos Chatzikokolakis, 2010, Inf. Comput..
Catuscia Palamidessi, Christelle Braun, Konstantinos Chatzikokolakis, 2008, Mathematical Structures in Computer Science.
Catuscia Palamidessi, Oltea Mihaela Herescu, 2000, FoSSaCS.
Daniele Gorla, Catuscia Palamidessi, 2007, Electron. Notes Theor. Comput. Sci..
Mário S. Alvim, Catuscia Palamidessi, Konstantinos Chatzikokolakis, 2018, Entropy.
Corrado Moiso, Giorgio Levi, Catuscia Palamidessi, 1991, J. Comput. Syst. Sci..
Catuscia Palamidessi, Diletta Cacciagrano, Flavio Corradini, 2006, EXPRESS.
Maurizio Gabbrielli, Frank D. Valencia, Catuscia Palamidessi, 2010, 25 Years GULP.
Catuscia Palamidessi, Maurizio Martelli, Alessandro Messora, 1993, ILPS.
Catuscia Palamidessi, Raymond McDowell, Dale Miller, 2003, Linear Logic Tokyo Meeting.
Björn Victor, Frank D. Valencia, Catuscia Palamidessi, 2006, 21st Annual IEEE Symposium on Logic in Computer Science (LICS'06).
Frank S. de Boer, Catuscia Palamidessi, 1990, NACLP.
Frank S. de Boer, Catuscia Palamidessi, Jan Willem Klop, 1992, [1992] Proceedings of the Seventh Annual IEEE Symposium on Logic in Computer Science.
Mário S. Alvim, Catuscia Palamidessi, Peter van Rossum, 2010, IFIP TCS.
Vladimiro Sassone, Catuscia Palamidessi, Sardaouna Hamadou, 2010, 2010 IEEE Symposium on Security and Privacy.
Catuscia Palamidessi, 1994, PLILP.
Giuseppe F. Italiano, Catuscia Palamidessi, 2007 .
Seif Haridi, Catuscia Palamidessi, Sverker Janson, 1992, Future Gener. Comput. Syst..
Frank S. de Boer, Jan J. M. M. Rutten, Joost N. Kok, 1989, MFCS.
Mário S. Alvim, Geoffrey Smith, Catuscia Palamidessi, 2012, 2012 IEEE 25th Computer Security Foundations Symposium.
Maurizio Gabbrielli, Kim Marriott, Catuscia Palamidessi, 1995, Theor. Comput. Sci..
Mário S. Alvim, Catuscia Palamidessi, Konstantinos Chatzikokolakis, 2018, POST.
Catuscia Palamidessi, Joachim Parrow, 1997 .
Daniele Gorla, Catuscia Palamidessi, C. Palamidessi, 2010 .
Natarajan Shankar, Thomas Eiter, Javier Esparza, 2018, Bull. EATCS.
Catuscia Palamidessi, Aline Carneiro Viana, Julinda Stefa, 2019, LocalRec@SIGSPATIAL.
Mário S. Alvim, Annabelle McIver, Geoffrey Smith, 2016, 2016 IEEE 29th Computer Security Foundations Symposium (CSF).
Maurizio Gabbrielli, Elena Marchiori, Frank S. de Boer, 1994, ICLP Workshop: Verification and Analysis of Logic Languages.
Frank D. Valencia, Catuscia Palamidessi, Marco Giunti, 2012 .
Ana Sokolova, Catuscia Palamidessi, Peter van Rossum, 2010, QEST.
Catuscia Palamidessi, Roberto Segala, Christelle Braun, 2009, J. Appl. Non Class. Logics.
Catuscia Palamidessi, Konstantinos Chatzikokolakis, Natasha Fernandes, 2020, Journal of Cybersecurity and Privacy.
Mário S. Alvim, Catuscia Palamidessi, Pierpaolo Degano, 2010, ArXiv.
Giorgio Levi, Catuscia Palamidessi, 2004, Acta Informatica.
Michael W. Mislove, Catuscia Palamidessi, Samson Abramsky, 2009, MFPS.
Catuscia Palamidessi, Daniel Gebler, Lili Xu, 2014, CONCUR.
Frank D. Valencia, Catuscia Palamidessi, Marco Giunti, 2012, EXPRESS/SOS.
Catuscia Palamidessi, Peng Wu, Huimin Lin, 2007, Fourth International Conference on the Quantitative Evaluation of Systems (QEST 2007).
F. S. de Boer, Catuscia Palamidessi, Jw Jan Willem Klop, 1991 .
Frank D. Valencia, Catuscia Palamidessi, Carlos Olarte, 2007, ICLP.
Frank D. Valencia, Catuscia Palamidessi, Luis Fernando Pino, 2013 .
Catuscia Palamidessi, Sami Zhioua, Karima Makhlouf, 2020, ArXiv.
Maurizio Gabbrielli, Kim Marriott, Catuscia Palamidessi, 1994, GULP-PRODE.
Maurizio Gabbrielli, Frank S. de Boer, Catuscia Palamidessi, 1996, SAS.
Catuscia Palamidessi, Diletta Cacciagrano, Flavio Corradini, 2005, EXPRESS.
Catuscia Palamidessi, Peng Wu, Gethin Norman, 2007, Fourth International Conference on the Quantitative Evaluation of Systems (QEST 2007).
Catuscia Palamidessi, Konstantinos Chatzikokolakis, Yusuke Kawamoto, 2017, Log. Methods Comput. Sci..
Daniele Gorla, Catuscia Palamidessi, C. Palamidessi, 2010, J. Comput. Secur..
Catuscia Palamidessi, Mark Ryan, 2012, Lecture Notes in Computer Science.
Frank S. de Boer, Catuscia Palamidessi, Alessandra Di Pierro, 1997, J. Log. Comput..
Mário S. Alvim, Catuscia Palamidessi, Konstantinos Chatzikokolakis, 2018, ArXiv.
Jun Pang, Yuxin Deng, Catuscia Palamidessi, 2005, Processes, Terms and Cycles.
Maurizio Martelli, Catuscia Palamidessi, Alessandro Messora, 1993, ICLP 1993.
Maurizio Gabbrielli, Kim Marriott, Catuscia Palamidessi, 1994, ICLP Workshop: Verification and Analysis of Logic Languages.
Catuscia Palamidessi, Konstantinos Chatzikokolakis, Marco Stronati, 2015, Proc. Priv. Enhancing Technol..
Frank S. de Boer, Jan J. M. M. Rutten, Joost N. Kok, 1989, ICLP.
Eike Best, Catuscia Palamidessi, E. Best, 1996, CONCUR.
Agostino Cortesi, Gilberto Filé, Roberto Giacobazzi, 1997, TOPL.
Catuscia Palamidessi, Konstantinos Chatzikokolakis, Nicolás Emilio Bordenabe, 2014, CCS.
Vladimiro Sassone, Catuscia Palamidessi, Sardaouna Hamadou, 2017, J. Comput. Syst. Sci..
Mário S. Alvim, Catuscia Palamidessi, Miguel E. Andrés, 2012, J. Comput. Secur..
Catuscia Palamidessi, Oltea Mihaela Herescu, 2005, Theor. Comput. Sci..
Catuscia Palamidessi, Maria Grazia Vigliotti, Iain Phillips, 2005, FMCO.
Catuscia Palamidessi, C. Palamidessi, 2003, Mathematical Structures in Computer Science.
Catuscia Palamidessi, Peng Wu, Gethin Norman, 2009, IEEE Transactions on Software Engineering.
Dale Miller, Catuscia Palamidessi, Axelle Ziegler, 2006, SOS@ICALP.
Catuscia Palamidessi, Konstantinos Chatzikokolakis, Ehab ElSalamouny, 2017, Proc. Priv. Enhancing Technol..
Jun Pang, Yuxin Deng, Catuscia Palamidessi, 2007, SecCO@CONCUR.
Frank S. de Boer, Jan J. M. M. Rutten, Joost N. Kok, 1992, Theor. Comput. Sci..
Catuscia Palamidessi, Mohit Bhargava, C. Palamidessi, 2005, CONCUR.
Frank S. de Boer, Jan J. M. M. Rutten, Joost N. Kok, 1993, ILPS.
Frank D. Valencia, Catuscia Palamidessi, Carlos Olarte, 2007, ICLP.
Catuscia Palamidessi, Carlos Olarte, Moreno Falaschi, 2015, Programming Languages with Applications to Biology and Security.
Seif Haridi, Catuscia Palamidessi, 1991, PARLE.
Mário S. Alvim, Annabelle McIver, Carroll Morgan, 2019, Theor. Comput. Sci..
Catuscia Palamidessi, Carlos Olarte, Moreno Falaschi, 2013, Theory and Practice of Logic Programming.
Catuscia Palamidessi, Claude Castelluccia, Ali Kassem, 2019, 2019 IEEE Security and Privacy Workshops (SPW).
Giorgio Levi, Catuscia Palamidessi, F. S. Boer, 1989, ICLP.
Mário S. Alvim, Catuscia Palamidessi, Konstantinos Chatzikokolakis, 2017, GameSec.
Frank S. de Boer, Catuscia Palamidessi, F. S. Boer, 1992, JICSLP.
Pablo Piantanida, Catuscia Palamidessi, Konstantinos Chatzikokolakis, 2020, CCS.
Catuscia Palamidessi, Konstantinos Chatzikokolakis, Yusuke Kawamoto, 2014, QEST.
Elena Marchiori, Krzysztof R. Apt, Catuscia Palamidessi, 1992, Applicable Algebra in Engineering, Communication and Computing.
Flavio Corradini, Catuscia Palamidessi, Diletta Cacciagrano, 2007 .
Catuscia Palamidessi, Konstantinos Chatzikokolakis, Natasha Fernandes, 2019, 2019 IEEE 32nd Computer Security Foundations Symposium (CSF).
Frank S. de Boer, Catuscia Palamidessi, Alessandra Di Pierro, 1995, Theor. Comput. Sci..
Hugh Glaser, Karl Meinke, Catuscia Palamidessi, 1998, Lecture Notes in Computer Science.
Corrado Moiso, Giorgio Levi, Catuscia Palamidessi, 1987, PARLE.
Catuscia Palamidessi, Konstantinos Chatzikokolakis, Marco Romanelli, 2019, ArXiv.
Nathalie Bertrand, Luca de Alfaro, Catuscia Palamidessi, 2021, CONCUR.
Frank Valencia, Pablo Piantanida, Catuscia Palamidessi, 2021, ArXiv.
Pablo Piantanida, Catuscia Palamidessi, Ganesh Del Grosso, 2021, ArXiv.
Catuscia Palamidessi, Nadjib Achir, Aline Carneiro Viana, 2021, 2021 IEEE 46th Conference on Local Computer Networks (LCN).
Daniele Gorla, Pablo Piantanida, Catuscia Palamidessi, 2021, NeurIPS.
Catuscia Palamidessi, Mireya Jurado, Geoffrey Smith, 2021, 2021 IEEE 34th Computer Security Foundations Symposium (CSF).
Daniele Gorla, Catuscia Palamidessi, Federica Granese, 2021, Int. J. Inf. Sec..
Catuscia Palamidessi, Kangsoo Jung, Sayan Biswas, 2021, ICTAC.
Catuscia Palamidessi, Sami Zhioua, Karima Makhlouf, 2021, Inf. Process. Manag..
Catuscia Palamidessi, Sami Zhioua, Karima Makhlouf, 2021, SIGKDD Explor..
Catuscia Palamidessi, Kangsoo Jung, Sayan Biswas, 2021, Protocols, Strands, and Logic.
Frank D. Valencia, Prakash Panangaden, Catuscia Palamidessi, 2012 .
Catuscia Palamidessi, Sami Zhioua, Karima Makhlouf, 2020, ArXiv.
Roberto Giacobazzi, Catuscia Palamidessi, Francesco Ranzato, 1996 .
Catuscia Palamidessi, F. S. de Boer, F. S. Boer, 2001 .
Catuscia Palamidessi, Peng Wu, Gethin Norman, 2007 .
Catuscia Palamidessi, Peng Wu, Huimin Lin, 2007 .