Valentina Castiglioni

Available identifiers

zbMath Open castiglioni.valentinaMaRDI QIDQ783680

List of research outcomes

Publication	Date of Publication	Type
Robustness for biochemical networks: step-by-step approach	2024-12-02	Paper
On the axiomatisation of branching bisimulation congruence over CCS	2024-08-13	Paper
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

This page was built for person: Valentina Castiglioni