Cinzia Di Giusto

Publication Activity (10 Years)

Years Active: 2006-2023
Publications (10 Years): 25

Top Topics

Computational Issues

Annual Conference On Computational Learning Theory

Top Venues

BIOSTEC (Selected Papers)

Publications

Clément Aubert, Cinzia Di Giusto, Simon Fowler, Larisa Safina
Proceedings 16th Interaction and Concurrency Experience. CoRR (2023)
Cinzia Di Giusto, Laetitia Laversa, Étienne Lozes
Guessing the Buffer Bound for k-Synchronizability. Int. J. Found. Comput. Sci. 34 (8) (2023)
Cinzia Di Giusto, Davide Ferré, Étienne Lozes, Nicolas Nisse
Weakly Synchronous Systems with Three Machines Are Turing Powerful. RP (2023)
Cinzia Di Giusto, Davide Ferré, Laetitia Laversa, Étienne Lozes
A Partial Order View of Message-Passing Communication Models. Proc. ACM Program. Lang. 7 (POPL) (2023)
Cinzia Di Giusto, Davide Ferré, Étienne Lozes, Nicolas Nisse
Weakly synchronous systems with three machines are Turing powerful. CoRR (2023)
Clément Bertrand, Cinzia Di Giusto, Hanna Klaudel, Damien Regnault
Complexity of Membership and Non-Emptiness Problems in Unbounded Memory Automata. CoRR (2023)
Cinzia Di Giusto, Loïc Germerie Guizouarn, Étienne Lozes
Multiparty half-duplex systems and synchronous communications. J. Log. Algebraic Methods Program. 131 (2023)
Clément Bertrand, Cinzia Di Giusto, Hanna Klaudel, Damien Regnault
Complexity of Membership and Non-Emptiness Problems in Unbounded Memory Automata. CONCUR (2023)
Cinzia Di Giusto, Davide Ferré, Laetitia Laversa, Étienne Lozes
A non-sequential hierarchy of message-passing models. CoRR (2022)
Cinzia Di Giusto, Laetitia Laversa, Étienne Lozes
Guessing the buffer bound for k-synchronizability. CoRR (2021)
Cinzia Di Giusto, Loïc Germerie Guizouarn, Étienne Lozes
Towards Generalised Half-Duplex Systems. ICE (2021)
Benedikt Bollig, Cinzia Di Giusto, Alain Finkel, Laetitia Laversa, Étienne Lozes, Amrita Suresh
A Unifying Framework for Deciding Synchronizability. CONCUR (2021)
Cinzia Di Giusto, Laetitia Laversa, Étienne Lozes
Guessing the Buffer Bound for k-Synchronizability. CIAA (2021)
Cinzia Di Giusto, Laetitia Laversa, Étienne Lozes
On the k-synchronizability of Systems. FoSSaCS (2020)
Elisabetta De Maria, Cinzia Di Giusto, Laetitia Laversa
Spiking neural networks modelled as timed automata: with parameter learning. Nat. Comput. 19 (1) (2020)
Cinzia Di Giusto, Laetitia Laversa, Étienne Lozes
On the k-synchronizability for mailbox systems. CoRR (2019)
Cinzia Di Giusto, Cédric Gaucherel, Hanna Klaudel, Franck Pommereau
Analysis of Discrete Models for Ecosystem Ecology. BIOSTEC (Selected Papers) (2019)
Cinzia Di Giusto, Cédric Gaucherel, Hanna Klaudel, Franck Pommereau
Pattern Matching in Discrete Models for Ecosystem Ecology. BIOINFORMATICS (2019)
Elisabetta De Maria, Cinzia Di Giusto
Inferring the Synaptical Weights of Leaky Integrate and Fire Asynchronous Neural Networks: Modelled as Timed Automata. BIOSTEC (Selected Papers) (2018)
Franck Delaplace, Cinzia Di Giusto, Jean-Louis Giavitto, Hanna Klaudel, Antoine Spicher
Activity Networks with Delays an Application to Toxicity Analysis. Fundam. Informaticae 160 (1-2) (2018)
Elisabetta De Maria, Cinzia Di Giusto, Laetitia Laversa
Spiking Neural Networks modelled as Timed Automata with parameter learning. CoRR (2018)
Elisabetta De Maria, Cinzia Di Giusto
Parameter Learning for Spiking Neural Networks Modelled as Timed Automata. BIOINFORMATICS (2018)
Elisabetta De Maria, Cinzia Di Giusto, Giovanni Ciatto
Formal Validation of Neural Networks as Timed Automata. CSBio (2017)
Franck Delaplace, Cinzia Di Giusto, Jean-Louis Giavitto, Hanna Klaudel
Activity Networks with Delays An application to toxicity analysis. CoRR (2016)
Cinzia Di Giusto, Jorge A. Pérez
Event-based run-time adaptation in communication-centric systems. Formal Aspects Comput. 28 (4) (2016)
Cinzia Di Giusto, Jorge A. Pérez
An Event-Based Approach to Runtime Adaptation in Communication-Centric Systems. WS-FM (2015)
Cinzia Di Giusto, Jorge A. Pérez
Disciplined structured communications with disciplined runtime adaptation. Sci. Comput. Program. 97 (2015)
Cinzia Di Giusto, Hanna Klaudel, Franck Delaplace
Systemic approach for toxicity analysis. BioPPN@Petri Nets (2014)
Cinzia Di Giusto, Jorge A. Pérez
Session Types with Runtime Adaptation: Overview and Examples. PLACES (2013)
Samuel Mimram, Cinzia Di Giusto
A Categorical Theory of Patches. CoRR (2013)
Cinzia Di Giusto, Jorge A. Pérez
Disciplined structured communications with consistent runtime adaptation. SAC (2013)
Samuel Mimram, Cinzia Di Giusto
A Categorical Theory of Patches. MFPS (2013)
Cinzia Di Giusto, Maurizio Gabbrielli, Maria Chiara Meo
On the Expressive Power of Multiple Heads in CHR. ACM Trans. Comput. Log. 13 (1) (2012)
Mario Bravetti, Cinzia Di Giusto, Jorge A. Pérez, Gianluigi Zavattaro
Adaptable processes Log. Methods Comput. Sci. 8 (4) (2012)
Mario Bravetti, Cinzia Di Giusto, Jorge A. Pérez, Gianluigi Zavattaro
Towards the Verification of Adaptable Processes. ISoLA (1) (2012)
Cinzia Di Giusto, Jean-Bernard Stefani
Revisiting Glue Expressiveness in Component-Based Systems. COORDINATION (2011)
Mila Dalla Preda, Cinzia Di Giusto
Hunting Distributed Malware with the κ-Calculus. FCT (2011)
Mario Bravetti, Cinzia Di Giusto, Jorge A. Pérez, Gianluigi Zavattaro
Adaptable Processes (Extended Abstract). FMOODS/FORTE (2011)
Mario Bravetti, Cinzia Di Giusto, Jorge A. Pérez, Gianluigi Zavattaro
Steps on the Road to Component Evolvability. FACS (2010)
Giorgio Delzanno, Cinzia Di Giusto, Maurizio Gabbrielli, Cosimo Laneve, Gianluigi Zavattaro
-Lattice: Decidability Boundaries for Qualitative Analysis in Biological Languages. CMSB (2009)
Cinzia Di Giusto, Jorge A. Pérez, Gianluigi Zavattaro
On the Expressiveness of Forwarding in Higher-Order Communication. ICTAC (2009)
Cinzia Di Giusto, Maurizio Gabbrielli, Maria Chiara Meo
Expressiveness of Multiple Heads in CHR. SOFSEM (2009)
Cinzia Di Giusto, Jorge A. Pérez
Move vs Copy: Towards a Formal Comparison of Ambients and Higher-Order Process Calculi. ICTCS (2009)
Cinzia Di Giusto, Maurizio Gabbrielli, Maria Chiara Meo
Expressiveness of multiple heads in CHR CoRR (2008)
Cinzia Di Giusto, Maurizio Gabbrielli
Full Abstraction for Linda. ESOP (2008)
Jesús Aranda, Cinzia Di Giusto, Mogens Nielsen, Frank D. Valencia
CCS with Replication in the Chomsky Hierarchy: The Expressive Power of Divergence. APLAS (2007)
Jesús Aranda, Cinzia Di Giusto, Catuscia Palamidessi, Frank D. Valencia
On Recursion, Replication and Scope Mechanisms in Process Calculi. FMCO (2006)