Ivano Salvo

Available identifiers

Publication	Date of Publication	Type
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
Conflict vs causality in event structures	2021-02-26	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
Linearizing Discrete-Time Hybrid Systems	2018-06-27	Paper
Inefficiencies in network models: a graph-theoretic perspective	2017-12-13	Paper
On minimising the maximum expected verification time	2017-11-03	Paper
M\(^3\): mobility types for mobile processes in mobile ambients	2013-08-27	Paper
A type inference algorithm for secure ambients	2013-07-24	Paper
A CuCh interpretation of an object-oriented language	2013-04-19	Paper
Undecidability of quantized state feedback control for discrete time linear hybrid systems	2012-09-21	Paper
Depletable Channels: Dynamics and Behaviour	2009-10-20	Paper
Intersection types and λ-definability	2004-02-08	Paper
A characterization of weakly Church-Rosser abstract reduction systems that are not Church-Rosser	2003-01-14	Paper
https://portal.mardi4nfdi.de/entity/Q2766539	2002-07-08	Paper

This page was built for person: Ivano Salvo