Cinzia Di Giusto

Available identifiers

zbMath Open di-giusto.cinziaMaRDI QIDQ265820

List of research outcomes

Publication	Date of Publication	Type
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 κ-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

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Cinzia Di Giusto