| A framework for transactional consistency models with atomic visibility A Cerone, G Bernardi, A Gotsman 26th International Conference on Concurrency Theory (CONCUR 2015), 2015 | 119 | 2015 |
| Using higher-order contracts to model session types G Bernardi, M Hennessy Logical Methods in Computer Science 12, 2016 | 64 | 2016 |
| Robustness against consistency models with atomic visibility G Bernardi, A Gotsman 27th International Conference on Concurrency Theory (CONCUR 2016), 2016 | 56 | 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 | 48 | 2014 |
| Modelling session types using contracts G Bernardi, M Hennessy Mathematical Structures in Computer Science 26 (3), 510-560, 2016 | 31 | 2016 |
| Mutually testing processes G Bernardi, M Hennessy Logical Methods in Computer Science 11, 2015 | 27 | 2015 |
| Modelling session types using contracts G Bernardi, M Hennessy Proceedings of the 27th Annual ACM Symposium on Applied Computing, 1941-1946, 2012 | 26 | 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 | 21 | 2008 |
| Compliance and testing preorders differ G Bernardi, M Hennessy International Conference on Software Engineering and Formal Methods, 69-81, 2013 | 14 | 2013 |
| Behavioural equivalences for web services G Bernardi Trinity College Dublin, 2013 | 11 | 2013 |
| Full-abstraction for client testing preorders G Bernardi, A Francalanza Science of Computer Programming 168, 94-117, 2018 | 8 | 2018 |
| Full-abstraction for must testing preorders G Bernardi, A Francalanza International Conference on Coordination Languages and Models, 237-255, 2017 | 5 | 2017 |
| Using higher-order contracts to model session types, Log G Bernardi, M Hennessy Methods Comput. Sci 12 (2), 2016 | 5 | 2016 |
| SULLA TERAPIA DELL'IPERCOLESTEROLEMIA E DELL'IPERTIGLICERIDEMIA: CONFRONTO SULL'EFFETTO IPOLIPEMIZZANTE FRA IOVASTATINA E GEMFIBROZIL MS Gavelli, E Vitaliano, FG Rossi, T SERRA, G SANTINI, G BERNARDI Clinica terapeutica 136 (1), 31-38, 1991 | 1 | 1991 |
| Constructive characterisations of the must-preorder for asynchrony G Bernardi, I Castellani, P Laforgue, L Stefanesco | | 2024 |
| 27th International Conference on Concurrency Theory (CONCUR 2016) F Dahlqvist, V Danos, I Garnier, O Kammar, F Rossi, M Shapiro, ... Schloss Dagstuhl-Leibniz-Zentrum für Informatik GmbH, 2016 | | 2016 |
| Cuddling cats G Bernardi | | 2012 |
| Notes on the paper A General Distance between RNA Structures G Bernardi, J Van Rijn | | 2008 |
| STUDY OF THE RENAL IMPAIRMENT IN SOME TYPES OF PORPHYRIA MS GAVELLI, E VITALIANO, F ROSSI, G BERNARDI PRENSA MEDICA ARGENTINA 78 (1), 5-8, 1991 | | 1991 |
| Therapy of hypercholesterolemia and hypertriglyceridemia. Comparison of hypolipemic effects of lovastatin and gemfibrozil MS Gavelli, E Vitaliano, FG Rossi, T Serra, G Santini, G Bernardi La Clinica Terapeutica 136 (1), 31-38, 1991 | | 1991 |
matthew hennessyProfessor of Computer ScienceDirección de correo verificada de cs.tcd.ie
