| Foundations of session types and behavioural contracts H Hüttel, I Lanese, VT Vasconcelos, L Caires, M Carbone, PM Deniélou, ... ACM Computing Surveys (CSUR) 49 (1), 1-36, 2016 | 249 | 2016 |
| Multiparty session types meet communicating automata PM Deniélou, N Yoshida Programming Languages and Systems: 21st European Symposium on Programming …, 2012 | 213 | 2012 |
| Behavioral types in programming languages D Ancona, V Bono, M Bravetti, J Campos, G Castagna, PM Deniélou, ... Foundations and Trends® in Programming Languages 3 (2-3), 95-230, 2016 | 173 | 2016 |
| Dynamic multirole session types PM Deniélou, N Yoshida Proceedings of the 38th annual ACM SIGPLAN-SIGACT symposium on Principles of …, 2011 | 172 | 2011 |
| Multiparty compatibility in communicating automata: Characterisation and synthesis of global session types PM Deniélou, N Yoshida Automata, Languages, and Programming: 40th International Colloquium, ICALP …, 2013 | 154 | 2013 |
| Cryptographic protocol synthesis and verification for multiparty sessions K Bhargavan, R Corin, PM Deniélou, C Fournet, JJ Leifer 2009 22nd IEEE Computer Security Foundations Symposium, 124-140, 2009 | 126 | 2009 |
| Parameterised multiparty session types N Yoshida, PM Deniélou, A Bejleri, R Hu Foundations of Software Science and Computational Structures: 13th …, 2010 | 97 | 2010 |
| Parameterised multiparty session types PM Deniélou, N Yoshida, A Bejleri, R Hu Logical Methods in Computer Science 8, 2012 | 91 | 2012 |
| Asynchronous distributed monitoring for multiparty session enforcement TC Chen, L Bocchi, PM Deniélou, K Honda, N Yoshida Trustworthy Global Computing: 6th International Symposium, TGC 2011, Aachen …, 2012 | 62 | 2012 |
| Secure implementations for typed session abstractions R Corin, PM Deniélou, C Fournet, K Bhargavan, J Leifer 20th IEEE Computer Security Foundations Symposium (CSF'07), 170-186, 2007 | 56 | 2007 |
| A secure compiler for session abstractions R Corin, PM Deniélou, C Fournet, K Bhargavan, J Leifer Journal of Computer Security 16 (5), 573-636, 2008 | 38 | 2008 |
| Buffered communication analysis in distributed multiparty sessions PM Deniélou, N Yoshida CONCUR 2010-Concurrency Theory: 21th International Conference, CONCUR 2010 …, 2010 | 37 | 2010 |
| Structuring communication with session types K Honda, R Hu, R Neykova, TC Chen, R Demangeon, PM Deniélou, ... Concurrent Objects and Beyond: Papers dedicated to Akinori Yonezawa on the …, 2014 | 35 | 2014 |
| Combining behavioural types with security analysis M Bartoletti, I Castellani, PM Deniélou, M Dezani-Ciancaglini, S Ghilezan, ... Journal of Logical and Algebraic Methods in Programming 84 (6), 763-780, 2015 | 15 | 2015 |
| Foundations of behavioural types H Hüttel, I Lanese, VT Vasconcelos, L Caires, M Carbone, PM Deniélou, ... Report of the EU COST Action IC1201–Behavioural Types for Reliable Large …, 2014 | 15 | 2014 |
| Abstraction preservation and subtyping in distributed languages PM Deniélou, JJ Leifer ACM SIGPLAN Notices 41 (9), 286-297, 2006 | 14 | 2006 |
| A protocol compiler for secure sessions in ML R Corin, PM Deniélou Trustworthy Global Computing: Third Symposium, TGC 2007, Sophia-Antipolis …, 2008 | 9 | 2008 |
| Secure Execution of Distributed Session Programs N Alves, R Hu, N Yoshida, PM Deniélou Arxiv preprint arXiv:1110.4156, 2011 | 4 | 2011 |
| Distributed monitoring for multiparty session enforcement TC Chen, L Bocchi, PM Deniélou, K Honda, N Yoshida | 2 | 2011 |
| Dependent Session Types for Evolving Multiparty Communication Topologies N Yoshida, PM Deniélou, A Bejleri, R Hu | 1 | 2009 |
Nobuko YoshidaDepartment of Computing, Imperial College LondonBestätigte E-Mail-Adresse bei doc.ic.ac.uk
