Ivano Salvo

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
Polynomial recognition of vulnerable multi-commodities Information Processing Letters	2022-10-28	Paper
Characterising spectra of equivalences for event structures, logically Information and Computation	2022-06-08	Paper
Behavioural logics for configuration structures Theoretical Computer Science	2022-04-07	Paper
Conflict vs causality in event structures	2021-12-20	Paper
Conflict vs causality in event structures Journal of Logical and Algebraic Methods in Programming	2021-02-26	Paper
Depletable channels: dynamics, behaviour, and efficiency in network design Acta Informatica	2019-06-20	Paper
A polynomial-time algorithm for detecting the possibility of Braess paradox in directed graphs Algorithmica	2019-04-25	Paper
Linearizing Discrete-Time Hybrid Systems IEEE Transactions on Automatic Control	2018-06-27	Paper
Inefficiencies in network models: a graph-theoretic perspective Information Processing Letters	2017-12-13	Paper
On minimising the maximum expected verification time Information Processing Letters	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 Electronic Notes in Theoretical Computer Science	2013-07-24	Paper
A CuCh interpretation of an object-oriented language Electronic Notes in Theoretical Computer Science	2013-04-19	Paper
Undecidability of quantized state feedback control for discrete time linear hybrid systems Theoretical Aspects of Computing – ICTAC 2012	2012-09-21	Paper
Depletable Channels: Dynamics and Behaviour Fundamentals of Computation Theory	2009-10-20	Paper
Intersection types and λ-definability Mathematical Structures in Computer Science	2004-02-08	Paper
A characterization of weakly Church-Rosser abstract reduction systems that are not Church-Rosser Information and Computation	2003-01-14	Paper
scientific article; zbMATH DE number 1696439 (Why is no real title available?)	2002-07-08	Paper

Research outcomes over time

This page was built for person: Ivano Salvo