On Recursion, Replication and Scope Mechanisms in Process Calculi. - Jesús Aranda; Cinzia Di Giusto; Catuscia Palamidessi; Frank D. Valencia (FMCO, 2006)

CCS with Replication in the Chomsky Hierarchy: The Expressive Power of Divergence. - Jesús Aranda; Cinzia Di Giusto; Mogens Nielsen; Frank D. Valencia (APLAS, 2007)

Full Abstraction for Linda. - Cinzia Di Giusto; Maurizio Gabbrielli (ESOP, 2008)

The kappa-Lattice: Decidability Boundaries for Qualitative Analysis in Biological Languages. - Giorgio Delzanno; Cinzia Di Giusto; Maurizio Gabbrielli; Cosimo Laneve; Gianluigi Zavattaro (CMSB, 2009)

On the Expressiveness of Forwarding in Higher-Order Communication. - Cinzia Di Giusto; Jorge A. Pérez 001; Gianluigi Zavattaro (ICTAC, 2009)

Move vs Copy: Towards a Formal Comparison of Ambients and Higher-Order Process Calculi. - Cinzia Di Giusto; Jorge A. Pérez 001 (ICTCS, 2009)

Expressiveness of Multiple Heads in CHR. - Cinzia Di Giusto; Maurizio Gabbrielli; Maria Chiara Meo (SOFSEM, 2009)

Steps on the Road to Component Evolvability. - Mario Bravetti; Cinzia Di Giusto; Jorge A. Pérez 001; Gianluigi Zavattaro (FACS, 2010)

Revisiting Glue Expressiveness in Component-Based Systems. - Cinzia Di Giusto; Jean-Bernard Stefani (COORDINATION, 2011)

Hunting Distributed Malware with the κ-Calculus. - Mila Dalla Preda; Cinzia Di Giusto (FCT, 2011)

Adaptable Processes (Extended Abstract). - Mario Bravetti; Cinzia Di Giusto; Jorge A. Pérez 001; Gianluigi Zavattaro (FMOODS/FORTE, 2011)

Towards the Verification of Adaptable Processes. - Mario Bravetti; Cinzia Di Giusto; Jorge A. Pérez 001; Gianluigi Zavattaro (ISoLA (1), 2012)

Adaptable processes - Mario Bravetti; Cinzia Di Giusto; Jorge A. Pérez 001; Gianluigi Zavattaro (Log. Methods Comput. Sci., 2012)

On the Expressive Power of Multiple Heads in CHR. - Cinzia Di Giusto; Maurizio Gabbrielli; Maria Chiara Meo (ACM Trans. Comput. Log., 2012)

Disciplined structured communications with consistent runtime adaptation. - Cinzia Di Giusto; Jorge A. Pérez 001 (SAC, 2013)

Session Types with Runtime Adaptation: Overview and Examples. - Cinzia Di Giusto; Jorge A. Pérez 001 (PLACES, 2013)

A Categorical Theory of Patches. - Samuel Mimram; Cinzia Di Giusto (MFPS, 2013)

Systemic approach for toxicity analysis. - Cinzia Di Giusto; Hanna Klaudel; Franck Delaplace (BioPPN@Petri Nets, 2014)

An Event-Based Approach to Runtime Adaptation in Communication-Centric Systems. - Cinzia Di Giusto; Jorge A. Pérez 001 (WS-FM, 2015)

Disciplined structured communications with disciplined runtime adaptation. - Cinzia Di Giusto; Jorge A. Pérez 001 (Sci. Comput. Program., 2015)

Activity Networks with Delays An application to toxicity analysis. - Franck Delaplace; Cinzia Di Giusto; Jean-Louis Giavitto; Hanna Klaudel (CoRR, 2016)

Event-based run-time adaptation in communication-centric systems. - Cinzia Di Giusto; Jorge A. Pérez 001 (Formal Aspects Comput., 2016)

Formal Validation of Neural Networks as Timed Automata. - Elisabetta De Maria; Cinzia Di Giusto; Giovanni Ciatto (CSBio, 2017)

Parameter Learning for Spiking Neural Networks Modelled as Timed Automata. - Elisabetta De Maria; Cinzia Di Giusto (BIOINFORMATICS, 2018)

Inferring the Synaptical Weights of Leaky Integrate and Fire Asynchronous Neural Networks: Modelled as Timed Automata. - Elisabetta De Maria; Cinzia Di Giusto (BIOSTEC (Selected Papers), 2018)

Activity Networks with Delays an Application to Toxicity Analysis. - Franck Delaplace; Cinzia Di Giusto; Jean-Louis Giavitto; Hanna Klaudel; Antoine Spicher (Fundam. Informaticae, 2018)

Pattern Matching in Discrete Models for Ecosystem Ecology. - Cinzia Di Giusto; Cédric Gaucherel; Hanna Klaudel; Franck Pommereau (BIOINFORMATICS, 2019)

Analysis of Discrete Models for Ecosystem Ecology. - Cinzia Di Giusto; Cédric Gaucherel; Hanna Klaudel; Franck Pommereau (BIOSTEC (Selected Papers), 2019)

On the k-synchronizability for mailbox systems. - Cinzia Di Giusto; Laetitia Laversa; Étienne Lozes (CoRR, 2019)

On the k-synchronizability of Systems. - Cinzia Di Giusto; Laetitia Laversa; Étienne Lozes (FoSSaCS, 2020)

Spiking neural networks modelled as timed automata: with parameter learning. - Elisabetta De Maria; Cinzia Di Giusto; Laetitia Laversa (Nat. Comput., 2020)

A Unifying Framework for Deciding Synchronizability. - Benedikt Bollig; Cinzia Di Giusto; Alain Finkel; Laetitia Laversa; Étienne Lozes; Amrita Suresh 001 (CONCUR, 2021)

Towards Generalised Half-Duplex Systems. - Cinzia Di Giusto; Loïc Germerie Guizouarn; Étienne Lozes (ICE, 2021)

A non-sequential hierarchy of message-passing models. - Cinzia Di Giusto; Davide Ferré; Laetitia Laversa; Étienne Lozes (CoRR, 2022)

Complexity of Membership and Non-Emptiness Problems in Unbounded Memory Automata. - Clément Bertrand; Cinzia Di Giusto; Hanna Klaudel; Damien Regnault (CONCUR, 2023)

Weakly Synchronous Systems with Three Machines Are Turing Powerful. - Cinzia Di Giusto; Davide Ferré; Étienne Lozes; Nicolas Nisse (RP, 2023)

A Partial Order View of Message-Passing Communication Models. - Cinzia Di Giusto; Davide Ferré; Laetitia Laversa; Étienne Lozes (Proc. ACM Program. Lang., 2023)

Multiparty half-duplex systems and synchronous communications. - Cinzia Di Giusto; Loïc Germerie Guizouarn; Étienne Lozes (J. Log. Algebraic Methods Program., 2023)

Guessing the Buffer Bound for k-Synchronizability. - Cinzia Di Giusto; Laetitia Laversa; Étienne Lozes (Int. J. Found. Comput. Sci., 2023)

Synchronisability in Mailbox Communication. - Cinzia Di Giusto; Laetitia Laversa; Kirstin Peters (EXPRESS/SOS, 2024)

Choreographies for Program Understanding. - Gabriele Genovese; Ivan Lanese; Cinzia Di Giusto; Emilio Tuosto; Germán Vidal (FORTE, 2025)

Realisability and Complementability of Multiparty Session Types. - Cinzia Di Giusto; Étienne Lozes; Pascal Urso (CoRR, 2025)

Proceedings 18th Interaction and Concurrency Experience. - Clément Aubert; Cinzia Di Giusto; Simon Fowler 001; Violet Ka I Pun (CoRR, 2025)