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
https://portal.mardi4nfdi.de/entity/Q2843918	2013-08-27	Paper
A Type Inference Algorithm for Secure Ambients	2013-07-24	Paper
A CuCh Interpretation of an Object-Oriented Language1 1Partially supported by MURST Cofin '99 TOSCA.	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

No records found.

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Ivano Salvo