| Adaptable processes M Bravetti, C Di Giusto, JA Pérez, G Zavattaro Logical methods in computer science 8, 2012 | 50 | 2012 |
| A categorical theory of patches S Mimram, C Di Giusto Electronic notes in theoretical computer science 298, 283-307, 2013 | 32 | 2013 |
| Expressiveness of multiple heads in CHR C Di Giusto, M Gabbrielli, MC Meo SOFSEM 2009: Theory and Practice of Computer Science: 35th Conference on …, 2009 | 25* | 2009 |
| The κ-Lattice: Decidability Boundaries for Qualitative Analysis in Biological Languages G Delzanno, C Di Giusto, M Gabbrielli, C Laneve, G Zavattaro Computational Methods in Systems Biology: 7th International Conference, CMSB …, 2009 | 24 | 2009 |
| On the k-synchronizability of systems C Di Giusto, L Laversa, E Lozes 23rd International Conference on Foundations of Software Science and …, 2020 | 20 | 2020 |
| On the expressiveness of forwarding in higher-order communication C Di Giusto, JA Pérez, G Zavattaro Theoretical Aspects of Computing-ICTAC 2009: 6th International Colloquium …, 2009 | 19 | 2009 |
| A unifying framework for deciding synchronizability B Bollig, C Di Giusto, A Finkel, L Laversa, É Lozes, A Suresh CONCUR 2021-32nd International Conference on Concurrency Theory, 1-33, 2021 | 18 | 2021 |
| Disciplined structured communications with consistent runtime adaptation C Di Giusto, JA Pérez Proceedings of the 28th Annual ACM Symposium on Applied Computing, 1913-1918, 2013 | 18 | 2013 |
| Disciplined structured communications with disciplined runtime adaptation C Di Giusto, JA Pérez Science of Computer Programming 97, 235-265, 2015 | 16 | 2015 |
| On recursion, replication and scope mechanisms in process calculi J Aranda, C Di Giusto, C Palamidessi, FD Valencia International Symposium on Formal Methods for Components and Objects, 185-206, 2006 | 16 | 2006 |
| CCS with replication in the chomsky hierarchy: The expressive power of divergence J Aranda, C Di Giusto, M Nielsen, FD Valencia Programming Languages and Systems: 5th Asian Symposium, APLAS 2007 …, 2007 | 15 | 2007 |
| A partial order view of message-passing communication models C Di Giusto, D Ferré, L Laversa, E Lozes Proceedings of the ACM on Programming Languages 7 (POPL), 1601-1627, 2023 | 12 | 2023 |
| Parameter Learning for Spiking Neural Networks Modelled as Timed Automata. E De Maria, C Di Giusto BIOINFORMATICS, 17-28, 2018 | 11 | 2018 |
| Revisiting glue expressiveness in component-based systems C Di Giusto, JB Stefani Coordination Models and Languages: 13th International Conference …, 2011 | 10 | 2011 |
| Spiking neural networks modelled as timed automata: with parameter learning E De Maria, C Di Giusto, L Laversa Natural Computing 19, 135-155, 2020 | 9 | 2020 |
| An event-based approach to runtime adaptation in communication-centric systems C Di Giusto, JA Pérez International Workshop on Web Services and Formal Methods, 67-85, 2014 | 9 | 2014 |
| Hunting Distributed Malware with the κ-Calculus M Dalla Preda, C Di Giusto International Symposium on Fundamentals of Computation Theory, 102-113, 2011 | 9 | 2011 |
| Event-based run-time adaptation in communication-centric systems C Di Giusto, JA Pérez Formal Aspects of Computing 28, 531-566, 2016 | 8 | 2016 |
| Towards the verification of adaptable processes M Bravetti, C Di Giusto, JA Pérez, G Zavattaro International Symposium On Leveraging Applications of Formal Methods …, 2012 | 8 | 2012 |
| Formal validation of neural networks as timed automata E De Maria, C Di Giusto, G Ciatto Proceedings of the 8th International Conference on Computational Systems …, 2017 | 7 | 2017 |
Jorge A. PérezAssociate Professor, University of GroningenVerified email at rug.nl
