Valentina Castiglioni

Available identifiers

zbMath Open castiglioni.valentinaMaRDI QIDQ783680

List of research outcomes

Publication	Date of Publication	Type
Fully Syntactic Uniform Continuity Formats for Bisimulation Metrics	2024-03-14	Paper
Back to the format: a survey on SOS for probabilistic processes	2024-02-12	Paper
A framework to measure the robustness of programs in the unpredictable environment	2023-08-26	Paper
Non-finite axiomatisability results via reductions: CSP parallel composition and CCS restriction	2023-07-26	Paper
Are Two Binary Operators Necessary to Obtain a Finite Axiomatisation of Parallel Composition?	2022-12-08	Paper
https://portal.mardi4nfdi.de/entity/Q5089283	2022-07-18	Paper
How adaptive and reliable is your program?	2022-03-21	Paper
https://portal.mardi4nfdi.de/entity/Q5028469	2022-02-09	Paper
https://portal.mardi4nfdi.de/entity/Q3384913	2021-12-17	Paper
On the axiomatisability of priority. III: Priority strikes again	2020-08-25	Paper
Raiders of the lost equivalence: probabilistic branching bisimilarity	2020-08-04	Paper
The metric linear-time branching-time spectrum on nondeterministic probabilistic processes	2020-04-21	Paper
Probabilistic divide \& congruence: branching bisimilarity	2019-11-22	Paper
Logical characterization of branching metrics for nondeterministic probabilistic transition systems	2019-09-17	Paper
https://portal.mardi4nfdi.de/entity/Q4580323	2018-08-15	Paper
Modal Decomposition on Nondeterministic Probabilistic Processes	2018-03-21	Paper
A Function Elimination Method for Checking Satisfiability of Arithmetical Logics	2017-03-22	Paper
A Specification Format for Rooted Branching Bisimulation	2015-06-26	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: Valentina Castiglioni