×

zbMATH — the first resource for mathematics

Castiglioni, Valentina

Compute Distance To:
Author ID: castiglioni.valentina Recent zbMATH articles by "Castiglioni, Valentina"
Published as: Castiglioni, Valentina
External Links: ORCID
Documents Indexed: 9 Publications since 2014

Publications by Year

Citations contained in zbMATH

6 Publications have been cited 15 times in 8 Documents Cited by Year
Modal decomposition on nondeterministic probabilistic processes. Zbl 1392.68288
Castiglioni, Valentina; Gebler, Daniel; Tini, Simone
7
2016
SOS-based modal decomposition on nondeterministic probabilistic processes. Zbl 1448.68333
Castiglioni, Valentina; Gebler, Daniel; Tini, Simone
3
2018
Logical characterization of branching metrics for nondeterministic probabilistic transition systems. Zbl 1430.68161
Castiglioni, Valentina; Tini, Simone
2
2019
Probabilistic divide & congruence: branching bisimilarity. Zbl 1436.68209
Castiglioni, Valentina; Tini, Simone
1
2020
A function elimination method for checking satisfiability of arithmetical logics. Zbl 1403.03048
Castiglioni, Valentina; Lanotte, Ruggero; Tini, Simone
1
2016
A specification format for rooted branching bisimulation. Zbl 1315.68190
Castiglioni, Valentina; Lanotte, Ruggero; Tini, Simone
1
2014
Probabilistic divide & congruence: branching bisimilarity. Zbl 1436.68209
Castiglioni, Valentina; Tini, Simone
1
2020
Logical characterization of branching metrics for nondeterministic probabilistic transition systems. Zbl 1430.68161
Castiglioni, Valentina; Tini, Simone
2
2019
SOS-based modal decomposition on nondeterministic probabilistic processes. Zbl 1448.68333
Castiglioni, Valentina; Gebler, Daniel; Tini, Simone
3
2018
Modal decomposition on nondeterministic probabilistic processes. Zbl 1392.68288
Castiglioni, Valentina; Gebler, Daniel; Tini, Simone
7
2016
A function elimination method for checking satisfiability of arithmetical logics. Zbl 1403.03048
Castiglioni, Valentina; Lanotte, Ruggero; Tini, Simone
1
2016
A specification format for rooted branching bisimulation. Zbl 1315.68190
Castiglioni, Valentina; Lanotte, Ruggero; Tini, Simone
1
2014

Citations by Year