Trust Signal Map
Public graph snapshot linking moderation, structured review and trust-aware ranking.
Graph explorer
Research map
Explore the papers, people and topics connected to your research.
Drag to move · Scroll or pinch to zoom · Select a node for details
6 links
Valentina Castiglioni
Researcher
PaperEvTL: A Temporal Logic for the Transient Analysis of Cyber-Physical SystemsAuthorship / preprint / 2022PaperProceedings Combined 29th International Workshop on Expressiveness in Concurrency and 19th Workshop on Structural Operational SemanticsAuthorship / preprint / 2022PaperA Semantic Theory of the Internet of ThingsAuthorship / preprint / 2016PaperLogical Characterization of Bisimulation MetricsAuthorship / preprint / 2016PaperAre Two Binary Operators Necessary to Obtain a Finite Axiomatisation of Parallel Composition?Authorship / preprint / 2022PaperOn the Axiomatisation of Branching Bisimulation Congruence over CCSAuthorship / preprint / 2022