Cinzia Di Giusto

Available identifiers

Publication	Date of Publication	Type
Towards generalised half-duplex systems	2024-12-06	Paper
Weakly synchronous systems with three machines are Turing powerful	2024-10-23	Paper
Spiking neural networks modelled as timed automata: with parameter learning	2024-02-09	Paper
Guessing the Buffer Bound for k-Synchronizability	2023-11-24	Paper
https://portal.mardi4nfdi.de/entity/Q6134258	2023-08-21	Paper
Multiparty half-duplex systems and synchronous communications	2023-02-03	Paper
Guessing the buffer bound for k-synchronizability	2022-03-22	Paper
On the \(k\)-synchronizability of systems	2020-09-23	Paper
Activity Networks with Delays an Application to Toxicity Analysis	2018-07-18	Paper
Event-based run-time adaptation in communication-centric systems	2016-09-20	Paper
A categorical theory of patches	2016-04-12	Paper
On the Expressive Power of Multiple Heads in CHR	2015-09-17	Paper
Adaptable processes	2013-01-07	Paper
Hunting distributed malware with the \(\kappa \)-calculus	2011-08-19	Paper
On the Expressiveness of Forwarding in Higher-Order Communication	2009-08-20	Paper
Expressiveness of Multiple Heads in CHR	2009-02-03	Paper
On Recursion, Replication and Scope Mechanisms in Process Calculi	2008-09-17	Paper
CCS with Replication in the Chomsky Hierarchy: The Expressive Power of Divergence	2008-05-15	Paper
Full Abstraction for Linda	2008-04-11	Paper

This page was built for person: Cinzia Di Giusto