| 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 | 25 | 2013 |
| 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 | 21 | 2009 |
| 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 | 20 | 2009 |
| 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 | 16 | 2013 |
| 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 |
| Disciplined structured communications with disciplined runtime adaptation C Di Giusto, JA Pérez Science of Computer Programming 97, 235-265, 2015 | 15 | 2015 |
| 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 |
| On the k-synchronizability of systems C Di Giusto, L Laversa, E Lozes 23rd International Conference on Foundations of Software Science and …, 2020 | 14 | 2020 |
| On the expressive power of multiple heads in CHR C Di Giusto, M Gabbrielli, MC Meo ACM Transactions on Computational Logic (TOCL) 13 (1), 1-19, 2012 | 14* | 2012 |
| 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 | 14 | 2009 |
| A unifying framework for deciding synchronizability B Bollig, C Di Giusto, A Finkel, L Laversa, E Lozes, A Suresh CONCUR 2021-32nd International Conference on Concurrency Theory, 1-33, 2021 | 13 | 2021 |
| Revisiting glue expressiveness in component-based systems C Di Giusto, JB Stefani Coordination Models and Languages: 13th International Conference …, 2011 | 10 | 2011 |
| Parameter Learning for Spiking Neural Networks Modelled as Timed Automata. E De Maria, C Di Giusto BIOINFORMATICS, 17-28, 2018 | 9 | 2018 |
| 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 |
| 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 | 9 | 2012 |
| Hunting Distributed Malware with the κ-Calculus M Dalla Preda, C Di Giusto International Symposium on Fundamentals of Computation Theory, 102-113, 2011 | 8 | 2011 |
| Event-based run-time adaptation in communication-centric systems C Di Giusto, JA Pérez Formal Aspects of Computing 28, 531-566, 2016 | 7 | 2016 |
| Systemic approach for toxicity analysis. C Di Giusto, H Klaudel, F Delaplace BioPPN@ Petri Nets, 30-44, 2014 | 6 | 2014 |
| Spiking neural networks modelled as timed automata: with parameter learning E De Maria, C Di Giusto, L Laversa Natural Computing 19, 135-155, 2020 | 5 | 2020 |
Jorge A. PérezAssociate Professor, University of GroningenVerified email at rug.nl
