Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren Datenschutzerklärungen .
X
Tini, Simone
49  Ergebnisse:
Artikel (Online) X
Personensuche X
?
1

Stark: A tool for the analysis of CPSs robustness:

Castiglioni, Valentina ; Loreti, Michele ; Tini, Simone
Science of Computer Programming.  236 (2024)  - p. 103134 , 2024
Link: https://doi.org/10.1016/..
 
?
2

Back to the format: A survey on SOS for probabilistic proce..:

Castiglioni, Valentina ; Lanotte, Ruggero ; Tini, Simone
Journal of Logical and Algebraic Methods in Programming.  137 (2024)  - p. 100929 , 2024
Link: https://doi.org/10.1016/..
 
?
3

Preface to Special Issue: EXPRESS/SOS 2018:

Pérez, Jorge A. ; Tini, Simone
Information and Computation.  281 (2021)  - p. 104670 , 2021
Link: https://doi.org/10.1016/..
 
?
4

A weak semantic approach to bisimulation metrics in models ..:

Lanotte, Ruggero ; Tini, Simone
Theoretical Computer Science.  869 (2021)  - p. 29-61 , 2021
Link: https://doi.org/10.1016/..
 
?
5

A probabilistic calculus of cyber-physical systems:

Lanotte, Ruggero ; Merro, Massimo ; Tini, Simone
Information and Computation.  279 (2021)  - p. 104618 , 2021
Link: https://doi.org/10.1016/..
 
?
6

Theoretical Computer Science in Italy:

Cherubini, Alessandra ; Sabadini, Nicoletta ; Tini, Simone
Theoretical Computer Science.  864 (2021)  - p. 138 , 2021
Link: https://doi.org/10.1016/..
 
?
7

Raiders of the lost equivalence: Probabilistic branching bi..:

Castiglioni, Valentina ; Tini, Simone
Information Processing Letters.  159-160 (2020)  - p. 105947 , 2020
Link: https://doi.org/10.1016/..
 
?
8

The metric linear-time branching-time spectrum on nondeterm..:

Castiglioni, Valentina ; Loreti, Michele ; Tini, Simone
Theoretical Computer Science.  813 (2020)  - p. 20-69 , 2020
Link: https://doi.org/10.1016/..
 
?
9

Probabilistic divide & congruence: Branching bisimilarity:

Castiglioni, Valentina ; Tini, Simone
Theoretical Computer Science.  802 (2020)  - p. 147-196 , 2020
Link: https://doi.org/10.1016/..
 
?
10

Logical characterization of branching metrics for nondeterm..:

Castiglioni, Valentina ; Tini, Simone
Information and Computation.  268 (2019)  - p. 104432 , 2019
Link: https://doi.org/10.1016/..
 
?
11

Preface to special issue: EXPRESS/SOS 2016 + 2017:

Peters, Kirstin ; Tini, Simone
Acta Informatica.  57 (2019)  6 - p. 759-760 , 2019
Link: https://doi.org/10.1007/..
 
?
12

SOS specifications for uniformly continuous operators:

Gebler, Daniel ; Tini, Simone
Journal of Computer and System Sciences.  92 (2018)  - p. 113-151 , 2018
Link: https://doi.org/10.1016/..
 
?
13

Compositional semantics and behavioural equivalences for re..:

Pardini, Giovanni ; Barbuti, Roberto ; Maggiolo-Schettini, Andrea..
Theoretical Computer Science.  551 (2014)  - p. 1-21 , 2014
Link: https://doi.org/10.1016/..
 
?
14

Foundational aspects of multiscale modeling of biological s..:

Barbuti, Roberto ; Caravagna, Giulio ; Maggiolo-Schettini, Andrea..
Theoretical Computer Science.  431 (2012)  - p. 96-116 , 2012
Link: https://doi.org/10.1016/..
 
?
15

Non-expansive ϵ-bisimulations for probabilistic processes:

Tini, Simone
Theoretical Computer Science.  411 (2010)  22-24 - p. 2202-2222 , 2010
Link: https://doi.org/10.1016/..
 
1-15