Daniele Gorla

Available identifiers

zbMath Open gorla.danieleMaRDI QIDQ660995

List of research outcomes

Publication	Date of Publication	Type
Modal epistemic logic on contracts: a doctrinal approach	2024-02-23	Paper
Algebra and coalgebra of stream products	2023-08-21	Paper
Polynomial recognition of vulnerable multi-commodities	2022-10-28	Paper
Characterising spectra of equivalences for event structures, logically	2022-06-08	Paper
Behavioural logics for configuration structures	2022-04-07	Paper
https://portal.mardi4nfdi.de/entity/Q3385652	2021-12-20	Paper
Pattern Matching over a Dynamic Network of Tuple Spaces	2021-05-20	Paper
Conflict vs causality in event structures	2021-02-26	Paper
Enhanced models for privacy and utility in continuous-time diffusion networks	2019-12-12	Paper
Depletable channels: dynamics, behaviour, and efficiency in network design	2019-06-20	Paper
A polynomial-time algorithm for detecting the possibility of Braess paradox in directed graphs	2019-04-25	Paper
A doctrinal approach to modal/temporal Heyting logic and non-determinism in processes	2018-03-09	Paper
Inefficiencies in network models: a graph-theoretic perspective	2017-12-13	Paper
Full abstraction for expressiveness: history, myths and facts	2016-07-28	Paper
A semiring-based trace semantics for processes with applications to information leakage analysis	2016-07-27	Paper
On the Relative Expressive Power of Calculi for Mobility	2016-05-10	Paper
A Concurrent Pattern Calculus	2014-09-05	Paper
Synchrony vs Asynchrony in Communication Primitives	2013-12-13	Paper
https://portal.mardi4nfdi.de/entity/Q2848667	2013-09-26	Paper
https://portal.mardi4nfdi.de/entity/Q2848139	2013-09-25	Paper
A taxonomy of process calculi for distribution and mobility	2012-02-06	Paper
Concurrent Pattern Calculus	2010-10-27	Paper
A Semiring-Based Trace Semantics for Processes with Applications to Information Leakage Analysis	2010-10-27	Paper
Towards a unified approach to encodability and separation results for process calculi	2010-10-07	Paper
Tree-functors, determinacy and bisimulations	2010-06-02	Paper
From flow logic to static type systems for coordination languages	2010-04-29	Paper
Global Computing. Programming Environments, Languages, Security, and Analysis of Systems	2010-02-05	Paper
Dynamic management of capabilities in a network aware coordination language	2009-11-04	Paper
Depletable Channels: Dynamics and Behaviour	2009-10-20	Paper
Comparing communication primitives via their relative expressive power	2009-03-04	Paper
Towards a Unified Approach to Encodability and Separation Results for Process Calculi	2008-11-25	Paper
Network Applications of Graph Bisimulation	2008-11-20	Paper
Security Policies as Membranes in Systems for Global Computing	2007-10-11	Paper
Basic observables for a calculus for global computing	2007-10-10	Paper
Foundations of Software Science and Computation Structures	2007-05-02	Paper
Global computing in a dynamic network of tuple spaces	2007-01-22	Paper
Confining data and processes in global computing applications	2006-10-25	Paper
On the expressive power of \textsc{Klaim}-based calculi	2006-05-29	Paper
Automata, Languages and Programming	2006-01-10	Paper
https://portal.mardi4nfdi.de/entity/Q4738218	2004-08-11	Paper
https://portal.mardi4nfdi.de/entity/Q4449169	2004-02-08	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: Daniele Gorla