RicercaInizia una nuova ricerca
NOTA: è possibile cercare una corrispondenza esatta usando i doppi apici, ad es: "evoluzione della specie". Qualora si cerchi un identificativo, è consigliabile cercarlo in due modi differenti: tra apici con caratteri speciali es: "978-94-6366-274" oppure senza caratteri speciali solo come sequenza numerica: es 978946366274.
Aspects of multiscale modelling in a process algebra for biological systems
2010-01-01 Barbuti, R.; Caravagna, G.; Maggiolo Schettini, A.; Milazzo, P.; Tini, Simone
Automatic Analysis of the NRL Pump
2004-01-01 Lanotte, Ruggero; Maggiolo Schettini, A.; Tini, Simone; Troina, A.; Tronci, E.
Compositionality of Approximate Bisimulation for Probabilistic Systems
2013-01-01 D., Gebler; Tini, Simone
Fixed-point characterization of compositionality properties of probabilistic processes combinators
2014-01-01 Gebler, Daniel; Tini, Simone
Formal Models of Timing Attacks on Web Privacy
2002-01-01 Focardi, R.; Gorrieri, R.; Lanotte, Ruggero; MAGGIOLO SCHETTINI, A.; Martinelli, F.; Tini, Simone; Tronci, E.
Logical Characterization of Trace Metrics
2017-01-01 Castiglioni, Valentina; Tini, Simone
Notes on Generative Probabilistic Bisimulation
2007-01-01 Tini, Simone
On the Espressivenes of Timed Concurrent Constraint Programming
1999-01-01 Tini, Simone
Privacy in Real Time Systems
2002-01-01 Lanotte, Ruggero; MAGGIOLO SCHETTINI, A.; Tini, Simone
Projectable Semantics for Statecharts
1998-01-01 MAGGIOLO SCHETTINI, A.; Tini, Simone
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
Aspects of multiscale modelling in a process algebra for biological systems | 1-gen-2010 | Barbuti, R.; Caravagna, G.; Maggiolo Schettini, A.; Milazzo, P.; Tini, Simone | |
Automatic Analysis of the NRL Pump | 1-gen-2004 | Lanotte, Ruggero; Maggiolo Schettini, A.; Tini, Simone; Troina, A.; Tronci, E. | |
Compositionality of Approximate Bisimulation for Probabilistic Systems | 1-gen-2013 | D., Gebler; Tini, Simone | |
Fixed-point characterization of compositionality properties of probabilistic processes combinators | 1-gen-2014 | Gebler, Daniel; Tini, Simone | |
Formal Models of Timing Attacks on Web Privacy | 1-gen-2002 | Focardi, R.; Gorrieri, R.; Lanotte, Ruggero; MAGGIOLO SCHETTINI, A.; Martinelli, F.; Tini, Simone; Tronci, E. | |
Logical Characterization of Trace Metrics | 1-gen-2017 | Castiglioni, Valentina; Tini, Simone | |
Notes on Generative Probabilistic Bisimulation | 1-gen-2007 | Tini, Simone | |
On the Espressivenes of Timed Concurrent Constraint Programming | 1-gen-1999 | Tini, Simone | |
Privacy in Real Time Systems | 1-gen-2002 | Lanotte, Ruggero; MAGGIOLO SCHETTINI, A.; Tini, Simone | |
Projectable Semantics for Statecharts | 1-gen-1998 | MAGGIOLO SCHETTINI, A.; Tini, Simone |
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile
Opzioni
Scopri
Tipologia
- Atti di Convegno 11
- Atti di Convegno::Relazione (in R... 11
Data di pubblicazione
- 2010 - 2017 4
- 2000 - 2009 4
- 1998 - 1999 3
Rivista
- ELECTRONIC NOTES IN THEORETICAL C... 7
- ELECTRONIC PROCEEDINGS IN THEORET... 4
Keyword
- Bisimulation metric 1
- Compositionality 1
- Continuity 1
- Probabilistic transition systems 1
- Software 1
- SOS 1
Lingua
- eng 2
Accesso al fulltext
- no fulltext 11