| 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 | 298 | 2016 |
| Multiparty session types meet communicating automata PM Deniélou, N Yoshida European Symposium on Programming, 194-213, 2012 | 223 | 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 | 201 | 2016 |
| Dynamic multirole session types PM Deniélou, N Yoshida Proceedings of the 38th annual ACM SIGPLAN-SIGACT symposium on Principles of …, 2011 | 186 | 2011 |
| Multiparty compatibility in communicating automata: Characterisation and synthesis of global session types PM Deniélou, N Yoshida International Colloquium on Automata, Languages, and Programming, 174-186, 2013 | 168 | 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 | 128 | 2009 |
| Parameterised multiparty session types PM Deniélou, N Yoshida, A Bejleri, R Hu Logical Methods in Computer Science 8, 2012 | 101 | 2012 |
| Parameterised multiparty session types N Yoshida, PM Deniélou, A Bejleri, R Hu International Conference on Foundations of Software Science and …, 2010 | 101 | 2010 |
| 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 | 69 | 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 | 54 | 2007 |
| Buffered communication analysis in distributed multiparty sessions PM Deniélou, N Yoshida International Conference on Concurrency Theory, 343-357, 2010 | 39 | 2010 |
| 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 |
| 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 | 16 | 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 International Symposium on Trustworthy Global Computing, 276-293, 2007 | 10 | 2007 |
| Secure Execution of Distributed Session Programs N Alves, R Hu, N Yoshida, PM Deniélou Arxiv preprint arXiv:1110.4156, 2011 | 5 | 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 Computer Science, University of OxfordDirección de correo verificada de cs.ox.ac.uk
