Cinzia Di Giusto

58 papers A 1B 7C 6Misc 1Journal 20Unranked 17
YearRankTypeTitle / Venue / Authors
2025 C conf
Choreographies for Program Understanding.
FORTE
Gabriele Genovese, Ivan Lanese, Cinzia Di Giusto, Emilio Tuosto, Germán Vidal
2025 C ed.
Coordination Models and Languages - 27th IFIP WG 6.1 International Conference, COORDINATION 2025, Held as Part of the 20th International Federated Conference on Distributed Computing Techniques, DisCoTec 2025, Lille, France, June 17-19, 2025, Proceedings
COORDINATION
Cinzia Di Giusto, António Ravara
2025 J jnl
On the Impact of the Communication Model on Realisability.
CoRR
Cinzia Di Giusto, Étienne Lozes, Pascal Urso
2025 — ed.
Proceedings 18th Interaction and Concurrency Experience, ICE 2025, Lille, France, 20th June 2025.
ICE
Clément Aubert, Cinzia Di Giusto, Simon Fowler, Violet Ka I Pun
2025 — ed.
Proceedings of the Combined 32nd International Workshop on Expressiveness in Concurrency and 22nd Workshop on Structural Operational Semantics, EXPRESS/SOS 2025, and 22nd Workshop on Structural Operational SemanticsAarhus, Denmark, 25th August 2025.
EXPRESS/SOS
Cinzia Di Giusto, Giorgio Bacci
2025 C conf
Realisability and Complementability of Multiparty Session Types.
PPDP
Cinzia Di Giusto, Étienne Lozes, Pascal Urso
2025 J jnl
Realisability and Complementability of Multiparty Session Types.
CoRR
Cinzia Di Giusto, Étienne Lozes, Pascal Urso
2024 — ed.
Proceedings 17th Interaction and Concurrency Experience, ICE 2024, Groningen, The Netherlands, 21st June 2024.
ICE
Clément Aubert, Cinzia Di Giusto, Simon Fowler, Violet Ka I Pun
2024 — ed.
Proceedings Combined 31st International Workshop on Expressiveness in Concurrency and 21st Workshop on Structural Operational Semantics, EXPRESS/SOS 2024, and 21st Workshop on Structural Operational SemanticsCalgary, Canada, 9th September 2024.
EXPRESS/SOS
Georgiana Caltais, Cinzia Di Giusto
2024 — conf
Synchronisability in Mailbox Communication.
EXPRESS/SOS
Cinzia Di Giusto, Laetitia Laversa, Kirstin Peters
2023 J jnl
A Partial Order View of Message-Passing Communication Models.
Proc. ACM Program. Lang.
Cinzia Di Giusto, Davide Ferré, Laetitia Laversa, Étienne Lozes
2023 B conf
Complexity of Membership and Non-Emptiness Problems in Unbounded Memory Automata.
CONCUR
Clément Bertrand, Cinzia Di Giusto, Hanna Klaudel, Damien Regnault
2023 J jnl
Complexity of Membership and Non-Emptiness Problems in Unbounded Memory Automata.
CoRR
Clément Bertrand, Cinzia Di Giusto, Hanna Klaudel, Damien Regnault
2023 J jnl
Guessing the Buffer Bound for k-Synchronizability.
Int. J. Found. Comput. Sci.
Cinzia Di Giusto, Laetitia Laversa, Étienne Lozes
2023 J jnl
Multiparty half-duplex systems and synchronous communications.
J. Log. Algebraic Methods Program.
Cinzia Di Giusto, Loïc Germerie Guizouarn, Étienne Lozes
2023 — ed.
Proceedings 16th Interaction and Concurrency Experience, ICE 2023, Lisbon, Portugal, 19th June 2023.
ICE
Clément Aubert, Cinzia Di Giusto, Simon Fowler, Larisa Safina
2023 — conf
Weakly Synchronous Systems with Three Machines Are Turing Powerful.
RP
Cinzia Di Giusto, Davide Ferré, Étienne Lozes, Nicolas Nisse
2023 J jnl
Weakly synchronous systems with three machines are Turing powerful.
CoRR
Cinzia Di Giusto, Davide Ferré, Étienne Lozes, Nicolas Nisse
2022 J jnl
A non-sequential hierarchy of message-passing models.
CoRR
Cinzia Di Giusto, Davide Ferré, Laetitia Laversa, Étienne Lozes
2022 — ed.
Proceedings 15th Interaction and Concurrency Experience, ICE 2022, Lucca, Italy, 17th June 2022.
ICE
Clément Aubert, Cinzia Di Giusto, Larisa Safina, Alceste Scalas
2021 B conf
A Unifying Framework for Deciding Synchronizability.
CONCUR
Benedikt Bollig, Cinzia Di Giusto, Alain Finkel, Laetitia Laversa, Étienne Lozes, Amrita Suresh
2021 C conf
Guessing the Buffer Bound for k-Synchronizability.
CIAA
Cinzia Di Giusto, Laetitia Laversa, Étienne Lozes
2021 J jnl
Guessing the buffer bound for k-synchronizability.
CoRR
Cinzia Di Giusto, Laetitia Laversa, Étienne Lozes
2021 — conf
Towards Generalised Half-Duplex Systems.
ICE
Cinzia Di Giusto, Loïc Germerie Guizouarn, Étienne Lozes
2020 B conf
On the k-synchronizability of Systems.
FoSSaCS
Cinzia Di Giusto, Laetitia Laversa, Étienne Lozes
2020 J jnl
Spiking neural networks modelled as timed automata: with parameter learning.
Nat. Comput.
Elisabetta De Maria, Cinzia Di Giusto, Laetitia Laversa
2019 — conf
Analysis of Discrete Models for Ecosystem Ecology.
BIOSTEC (Selected Papers)
Cinzia Di Giusto, Cédric Gaucherel, Hanna Klaudel, Franck Pommereau
2019 J jnl
On the k-synchronizability for mailbox systems.
CoRR
Cinzia Di Giusto, Laetitia Laversa, Étienne Lozes
2019 — conf
Pattern Matching in Discrete Models for Ecosystem Ecology.
BIOINFORMATICS
Cinzia Di Giusto, Cédric Gaucherel, Hanna Klaudel, Franck Pommereau
2018 J jnl
Activity Networks with Delays an Application to Toxicity Analysis.
Fundam. Informaticae
Franck Delaplace, Cinzia Di Giusto, Jean-Louis Giavitto, Hanna Klaudel, Antoine Spicher
2018 — conf
Inferring the Synaptical Weights of Leaky Integrate and Fire Asynchronous Neural Networks: Modelled as Timed Automata.
BIOSTEC (Selected Papers)
Elisabetta De Maria, Cinzia Di Giusto
2018 — conf
Parameter Learning for Spiking Neural Networks Modelled as Timed Automata.
BIOINFORMATICS
Elisabetta De Maria, Cinzia Di Giusto
2018 J jnl
Spiking Neural Networks modelled as Timed Automata with parameter learning.
CoRR
Elisabetta De Maria, Cinzia Di Giusto, Laetitia Laversa
2017 — conf
Formal Validation of Neural Networks as Timed Automata.
CSBio
Elisabetta De Maria, Cinzia Di Giusto, Giovanni Ciatto
2016 J jnl
Activity Networks with Delays An application to toxicity analysis.
CoRR
Franck Delaplace, Cinzia Di Giusto, Jean-Louis Giavitto, Hanna Klaudel
2016 J jnl
Event-based run-time adaptation in communication-centric systems.
Formal Aspects Comput.
Cinzia Di Giusto, Jorge A. Pérez
2015 — conf
An Event-Based Approach to Runtime Adaptation in Communication-Centric Systems.
WS-FM
Cinzia Di Giusto, Jorge A. Pérez
2015 J jnl
Disciplined structured communications with disciplined runtime adaptation.
Sci. Comput. Program.
Cinzia Di Giusto, Jorge A. Pérez
2014 — conf
Systemic approach for toxicity analysis.
BioPPN@Petri Nets
Cinzia Di Giusto, Hanna Klaudel, Franck Delaplace
2013 J jnl
A Categorical Theory of Patches.
CoRR
Samuel Mimram, Cinzia Di Giusto
2013 B conf
A Categorical Theory of Patches.
MFPS
Samuel Mimram, Cinzia Di Giusto
2013 Misc conf
Disciplined structured communications with consistent runtime adaptation.
SAC
Cinzia Di Giusto, Jorge A. Pérez
2013 — conf
Session Types with Runtime Adaptation: Overview and Examples.
PLACES
Cinzia Di Giusto, Jorge A. Pérez
2012 J jnl
Adaptable processes
Log. Methods Comput. Sci.
Mario Bravetti, Cinzia Di Giusto, Jorge A. Pérez, Gianluigi Zavattaro
2012 J jnl
On the Expressive Power of Multiple Heads in CHR.
ACM Trans. Comput. Log.
Cinzia Di Giusto, Maurizio Gabbrielli, Maria Chiara Meo
2012 — conf
Towards the Verification of Adaptable Processes.
ISoLA (1)
Mario Bravetti, Cinzia Di Giusto, Jorge A. Pérez, Gianluigi Zavattaro
2011 — conf
Adaptable Processes (Extended Abstract).
FMOODS/FORTE
Mario Bravetti, Cinzia Di Giusto, Jorge A. Pérez, Gianluigi Zavattaro
2011 B conf
Hunting Distributed Malware with the κ-Calculus.
FCT
Mila Dalla Preda, Cinzia Di Giusto
2011 C conf
Revisiting Glue Expressiveness in Component-Based Systems.
COORDINATION
Cinzia Di Giusto, Jean-Bernard Stefani
2010 — conf
Steps on the Road to Component Evolvability.
FACS
Mario Bravetti, Cinzia Di Giusto, Jorge A. Pérez, Gianluigi Zavattaro
2009 B conf
Expressiveness of Multiple Heads in CHR.
SOFSEM
Cinzia Di Giusto, Maurizio Gabbrielli, Maria Chiara Meo
2009 — conf
Move vs Copy: Towards a Formal Comparison of Ambients and Higher-Order Process Calculi.
ICTCS
Cinzia Di Giusto, Jorge A. Pérez
2009 C conf
On the Expressiveness of Forwarding in Higher-Order Communication.
ICTAC
Cinzia Di Giusto, Jorge A. Pérez, Gianluigi Zavattaro
2009 — conf
The
CMSB
Giorgio Delzanno, Cinzia Di Giusto, Maurizio Gabbrielli, Cosimo Laneve, Gianluigi Zavattaro
2008 J jnl
Expressiveness of multiple heads in CHR
CoRR
Cinzia Di Giusto, Maurizio Gabbrielli, Maria Chiara Meo
2008 A conf
Full Abstraction for Linda.
ESOP
Cinzia Di Giusto, Maurizio Gabbrielli
2007 B conf
CCS with Replication in the Chomsky Hierarchy: The Expressive Power of Divergence.
APLAS
Jesús Aranda, Cinzia Di Giusto, Mogens Nielsen, Frank D. Valencia
2006 — conf
On Recursion, Replication and Scope Mechanisms in Process Calculi.
FMCO
Jesús Aranda, Cinzia Di Giusto, Catuscia Palamidessi, Frank D. Valencia