| A framework for transactional consistency models with atomic visibility A Cerone, G Bernardi, A Gotsman 26th International Conference on Concurrency Theory (CONCUR 2015), 2015 | 92 | 2015 |
| Using higher-order contracts to model session types G Bernardi, M Hennessy CONCUR 2014–Concurrency Theory: 25th International Conference, CONCUR 2014 …, 2014 | 61 | 2014 |
| Robustness against consistency models with atomic visibility G Bernardi, A Gotsman 27th International Conference on Concurrency Theory (CONCUR 2016), 2016 | 47 | 2016 |
| On duality relations for session types G Bernardi, O Dardha, SJ Gay, D Kouzapas Trustworthy Global Computing: 9th International Symposium, TGC 2014, Rome …, 2014 | 42 | 2014 |
| Modelling session types using contracts G Bernardi, M Hennessy Mathematical Structures in Computer Science 26 (3), 510-560, 2016 | 28 | 2016 |
| Mutually testing processes G Bernardi, M Hennessy CONCUR 2013–Concurrency Theory: 24th International Conference, CONCUR 2013 …, 2013 | 26 | 2013 |
| Modelling session types using contracts G Bernardi, M Hennessy Proceedings of the 27th Annual ACM Symposium on Applied Computing, 1941-1946, 2012 | 25 | 2012 |
| A theory of adaptable contract-based service composition G Bernardi, M Bugliesi, D Macedonio, S Rossi 2008 10th International Symposium on Symbolic and Numeric Algorithms for …, 2008 | 18 | 2008 |
| Compliance and testing preorders differ G Bernardi, M Hennessy Software Engineering and Formal Methods: SEFM 2013 Collocated Workshops …, 2014 | 15 | 2014 |
| Behavioural equivalences for web services G Bernardi Trinity College (Dublin, Ireland). School of Computer Science & Statistics, 2013 | 13 | 2013 |
| Full-abstraction for client testing preorders G Bernardi, A Francalanza Science of Computer Programming 168, 94-117, 2018 | 7 | 2018 |
| Full-abstraction for must testing preorders G Bernardi, A Francalanza Coordination Models and Languages: 19th IFIP WG 6.1 International Conference …, 2017 | 5 | 2017 |
| Using higher-order contracts to model session types M Hennessy, G Bernardi Logical Methods in Computer Science 12, 2016 | | 2016 |
| Mutually Testing Processes M Hennessy, G Bernardi Logical Methods in Computer Science 11, 2015 | | 2015 |
| Cuddling cats G Bernardi | | 2012 |
| Modelling session types using contracts M HENNESSY, G BERNARDI | | 2011 |
| Notes on the paper A General Distance between RNA Structures G Bernardi, J Van Rijn | | 2008 |
| Cross-Site Personalisation J Abendroth, A Anderson, P Argyroudis, I Arnedillo-Sánchez, M Arnold, ... | | |
| Mathematical Structures in Computer Science G BERNARDI, M HENNESSY | | |
| Unification of Session Trees G Bernardi, SJ Gay, VT Vasconcelos Informal Proceedings, 45, 0 | | |
matthew hennessyProfessor of Computer ScienceVerified email at cs.tcd.ie
