My DBLP
Copyright Notice. The documents distributed have been provided by the contributing authors as a means to ensure timely dissemination of technical work on a noncommercial basis. Copyright and all rights therein are maintained by the authors or by other copyright holders, not withstanding that they have offered their works here electronically. It is understood that all persons copying this information will adhere to the terms and constraints invoked by each author's copyright. These works may not be reposted without the explicit permission of the copyright holder.
Conferences and Workshops (Peer-reviewed)
A Graphical Approach to Progress for Structured Communication in Web Services.
M. Carbone and S. Debois.
In Pre-proc. of Interaction and Concurrency Experience (ICE’10).
Amsterdam, Holland, June 2010. [.pdf]
bib
 
  @InProceedings{CD10, 
  author = {Marco Carbone and S\o ren Debois}, 
  title = {A Graphical Approach to Progress for Structured Communication in Web Services}, 
  booktitle = {{Pre-proc. of Interaction and Concurrency Experience (ICE'10)}}, 
  year = {2010},
  url = {http://www.itu.dk/people/maca/papers/CD10.pdf}}
Towards a Modal Logic for the Global Calculus.
M. Carbone, T. Hildebrandt and H. Lopez.
In Pre-proc. of Programming Languages Approaches to Concurrency and Communication-Centric Software (PLACES’10).
Paphos, Cyprus, April 2010. [.pdf]
bib
 
  @InProceedings{CHL10, 
  author = {Marco Carbone and Thomas Hildebrandt and Hugo A. Lopez}, 
  title = {Towards a Modal Logic for the Global Calculus}, 
  booktitle = {{Pre-proc. of Programming Languages Approaches to 
                Concurrency and Communication-Centric Software (PLACES'10)}}, 
  year = {2010},
  url={http://www.itu.dk/people/hual/PersonalSite/Publications_files/places2010-CHL.pdf}}
Choreographies with Secure Boxes and Compromised Principals.
M. Carbone and J. Guttman.
In Proc. of Interaction and Concurrency Experience (ICE’09).
Bologna, Italy, August 2009. [link]
bib
 
  @InProceedings{CG09b, 
  author = {Marco Carbone and Joshua Guttman}, 
  title = {Choreographies with Secure Boxes and Compromised Principals}, 
  booktitle = {{Proc. of Interaction and Concurrency Experience (ICE'09)}}, 
  publisher = {EPTCS},
  volume = {12},
  pages = {1--15},
  year = {2009},
  url = {http://arxiv.org/abs/0911.5444}}
Execution Models for Choreographies and Cryptoprotocols.
M. Carbone and J. Guttman.
In Proc. of Programming Languages Approaches to Concurrency and Communication-Centric Software (PLACES’09).
York, Untied Kingdom, March 2009. [link]
bib
 
  @InProceedings{CG09a, 
  author = {Marco Carbone and Joshua Guttman}, 
  title = {Execution Models for Choreographies and Cryptoprotocols}, 
  booktitle = {{Proceedings of Programming Languages Approaches to
  Concurrency and Communication-Centric Software (PLACES'09)}}, 
  publisher = {EPTCS},
  volume = {17},
  pages = {31--41},
  year = {2009},
  url = {http://arxiv.org/abs/1002.0935}}
Structured Interactional Exceptions for Session Types.
M. Carbone, K. Honda and N. Yoshida.
In Proc. of the 19th International Conference on Concurrency Theory (CONCUR'08).
Toronto, Canada, August 2008. [link]
bib
 
  @InProceedings{CHY08, 
  author = {Marco Carbone and Kohei Honda and Nobuko Yoshida}, 
  title = {Structured Interactional Exceptions for Session Types}, 
  booktitle = {{19th International Conference on Concurrency Theory (Concur'08)}}, 
  year = {2008},
  publisher = {Springer}, 
  series = {LNCS}, 
  pages = {402--417},
  url = {http://www.dcs.qmul.ac.uk/~carbonem/exception/exception.pdf}
  }
Multiparty Asynchronous Session Types.
K. Honda, N. Yoshida and M. Carbone.
In Proc. of the 35th Symposium on Principles of Programming Languages (POPL’08).
San Francisco, USA, January 2008. [link]
bib
 
  @inproceedings{HYC08,
  author    = {Kohei Honda and
               Nobuko Yoshida and
               Marco Carbone},
  title     = {Multiparty asynchronous session types},
  booktitle = {35th Symposium on Principles of Programming Languages (POPL'08)},
  publisher = {ACM},
  year      = {2008},
  pages     = {273-284},
  url        = {http://www.doc.ic.ac.uk/~yoshida/multiparty/multiparty.pdf},
  }
Structured Communication-Centred Programming for Web Services.
M. Carbone, K. Honda and N. Yoshida.
In Proc. of the 16th European Symposium on Programming (ESOP’07)
Braga, Portugal, March 2007. [link]
bib 
 
  @inproceedings{CHY07,
  author    = {Marco Carbone and
               Kohei Honda and
               Nobuko Yoshida},
  title     = {{Structured Communication-Centred Programming for Web Services}},
  booktitle = {16th European Symposium on Programming (ESOP'07)},
  year      = {2007},
  publisher = {Springer}, 
  series = {LNCS}, 
  pages = {2--17},
  url = {http://www.dcs.qmul.ac.uk/~carbonem/cdlpaper/esop2007.pdf}
  }
A Calculus for Trust Management.
M. Carbone, M. Nielsen and V. Sassone.
In Proc. of the 24th Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS'04).
Chennai, India, December 2004. [.pdf]
bib 
 
  @inproceedings{CNS04,
  author    = {Marco Carbone and
               Mogens Nielsen and
               Vladimiro Sassone},
  title     = {{A Calculus for Trust Management}},
  booktitle = {24th Conference on Foundations of Software Technology 
               and Theoretical Computer Science (FSTTCS'04)},
  year      = {2004},
  publisher = {Springer}, 
  series = {LNCS}, 
  pages = {161--173},
  url = {http://www.dcs.qmul.ac.uk/~carbonem/paperi/fsttcs2004.pdf}
  }
A Formal Model for Trust in Dynamic Networks.
M. Carbone, M. Nielsen and V. Sassone.
In Proc. of IEEE International Conference on Software Engineering and Formal Methods (SEFM'03).
Brisbane, Australia, September 2003. [.pdf] [slides.ppt]
bib 
 
  @inproceedings{CNS03,
  author    = {Marco Carbone and
               Mogens Nielsen and
               Vladimiro Sassone},
  title     = {{A Formal Model for Trust in Dynamic Networks}},
  booktitle = {IEEE International Conference on Software Engineering and Formal
               Methods SEFM'03},
  year      = {2003},
  publisher = {IEEE Computer Society}, 
  pages = {54--},
  url = {http://www.dcs.qmul.ac.uk/~carbonem/paperi/SEFM03.pdf}
  }

Journals
Web Services, Mobile Processes and Types.
K. Honda, N. Yoshida and M. Carbone.
In the Bulletin of the European Association for Theoretical Computer Science, N. 91:165-185, February 2007. [.pdf (whole bulletin)]
bib
 
  @Article{HYC07journal, 
  author = {Kohei Honda, Nobuko Yoshida and Marco Carbone}, 
  title = {Web Services, Mobile Processes and Types}, 
  booktitle = {{Bulletin of the European Association for Theoretical Computer Science}}, 
  year = {2007},
  publisher = {EATCS}, 
  number = {91}
  pages = {165--185},
  url = {https://www.eatcs.org/bulletin/beatcs91.pdf}
  }
Using Trust for Secure Collaboration in Uncertain Environment.
M. Carbone et al.
In IEEE Pervasive Computing Journal, 2003.
On the Expressive Power of Polyadic Synchronisation in Pi-Calculus.
M. Carbone and S. Maffeis.
In Nordic Journal of Computing, Vol. 10, N. 2:70-98, September 2003. [.pdf]
bib
 
  @Article{CM03journal, 
  author = {Marco Carbone and Sergio Maffeis}, 
  title = {On the Expressive Power of Polyadic Synchronisation in Pi-Calculus}, 
  journal = {{Nordic Journal of Computing}}, 
  year = {2003},
  volume = {10},
  number = {2}
  pages = {70--98},
  url = {http://www.dcs.qmul.ac.uk/~carbonem/paperi/njc03.pdf}
  }

Newsletters and Technical Reports
For the rest, please see here (I'll update this soon)