Cinzia Di Giusto

zbMath Opendi-giusto.cinziaMaRDI QIDQ265820

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

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 Natural Computing	2024-02-09	Paper
Guessing the Buffer Bound for k-Synchronizability International Journal of Foundations of Computer Science	2023-11-24	Paper
scientific article; zbMATH DE number 7730616 (Why is no real title available?)	2023-08-21	Paper
Multiparty half-duplex systems and synchronous communications Journal of Logical and Algebraic Methods in Programming	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 Fundamenta Informaticae	2018-07-18	Paper
Event-based run-time adaptation in communication-centric systems Formal Aspects of Computing	2016-09-20	Paper
A categorical theory of patches	2016-04-12	Paper
On the expressive power of multiple heads in CHR ACM Transactions on Computational Logic	2015-09-17	Paper
Adaptable processes Logical Methods in Computer Science	2013-01-07	Paper
Hunting distributed malware with the \(\kappa \)-calculus Fundamentals of Computation Theory	2011-08-19	Paper
On the Expressiveness of Forwarding in Higher-Order Communication Theoretical Aspects of Computing - ICTAC 2009	2009-08-20	Paper
Expressiveness of Multiple Heads in CHR Lecture Notes in Computer Science	2009-02-03	Paper
On Recursion, Replication and Scope Mechanisms in Process Calculi Formal Methods for Components and Objects	2008-09-17	Paper
CCS with Replication in the Chomsky Hierarchy: The Expressive Power of Divergence Programming Languages and Systems	2008-05-15	Paper
Full Abstraction for Linda Programming Languages and Systems	2008-04-11	Paper

Research outcomes over time

This page was built for person: Cinzia Di Giusto