| Conversation types | Theoretical Computer Science |
- Science: Mathematics: Instruments and machines: Electronic computers. Computer science
- Science: Mathematics: Instruments and machines: Electronic computers. Computer science: Computer software
- Technology: Electrical engineering. Electronics. Nuclear engineering: Electronics: Computer engineering. Computer hardware
- Science: Mathematics: Instruments and machines: Electronic computers. Computer science
| 25 | 2010 |
| On global types and multi-party sessions | Logical Methods in Computer Science |
- Philosophy. Psychology. Religion: Logic
- Science: Mathematics: Instruments and machines: Electronic computers. Computer science
- Science: Mathematics: Instruments and machines: Electronic computers. Computer science
- Science: Mathematics
- Science: Mathematics: Instruments and machines: Electronic computers. Computer science: Computer software
- Technology: Electrical engineering. Electronics. Nuclear engineering: Electronics: Computer engineering. Computer hardware
- Science: Mathematics: Instruments and machines: Electronic computers. Computer science
| | 2012 |
| Dynamic role authorization in multiparty conversations | | | | 2014 |
| Lightening global types | | | | 2014 |
| A type system for flexible role assignment in multiparty communicating systems | | | | 2013 |