TINI, SIMONE

TINI, SIMONE  

DIPARTIMENTO DI SCIENZE UMANE E DELL’INNOVAZIONE PER IL TERRITORIO  

Mostra records
Risultati 1 - 20 di 86 (tempo di esecuzione: 0.036 secondi).
Titolo Data di pubblicazione Autore(i) File
Applying Techniques of Asynchronous Concurrency to Synchronous Languages 1-gen-1999 MAGGIOLO SCHETTINI, A.; Tini, Simone
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
Automated Analysis of Timed Security: A Case Study on Web Privacy 1-gen-2004 Gorrieri, R.; Lanotte, Ruggero; Martinelli, F.; MAGGIOLO SCHETTINI, A.; Tini, Simone; Tronci, E.
Automatic Analysis of the NRL Pump 1-gen-2004 Lanotte, Ruggero; Maggiolo Schettini, A.; Tini, Simone; Troina, A.; Tronci, E.
Automatic Covert Channel Analysis of a Multilevel Secure Component 1-gen-2004 Lanotte, Ruggero; MAGGIOLO SCHETTINI, A.; Tini, Simone; Troina, A.; Tronci, E.
An Axiomatic Semantics for Esterel 1-gen-2001 Tini, Simone
An Axiomatic Semantics for the Synchronous Language Gentzen 1-gen-2001 Tini, Simone
An Axiomatic Semantics for the Synchronous Language Gentzen 1-gen-2003 Tini, Simone
A Causal Semantics for Timed Concurrent Constraint Programming 1-gen-2000 MAGGIOLO SCHETTINI, A.; Tini, Simone
A Comparison of Statecharts Step Semantics 1-gen-2003 MAGGIOLO SCHETTINI, A.; Peron, A.; Tini, Simone
Compositional bisimulation metric reasoning with Probabilistic Process Calculi 1-gen-2016 Gebler, Daniel; Larsen, Kim; Tini, Simone
Compositional Metric Reasoning with Probabilistic Process Calculi 1-gen-2015 Gebler, Daniel; Larsen, Kim Guldstrand; Tini, Simone
Compositional modeling of biological systems in cospanspan(graph) 1-gen-2020 Gianola, A.; Kasangian, S.; Manicardi, D.; Sabadini, N.; Tini, S.
Compositional semantics and behavioral equivalences for P Systems 1-gen-2008 Barbuti, R.; MAGGIOLO SCHETTINI, A.; Milazzo, P.; Tini, Simone
Compositional semantics and behavioural equivalences for reaction systems with restriction 1-gen-2014 Pardini, G.; Barbuti, R.; Maggiolo Schettini, A.; Milazzo, P.; Tini, Simone
A Compositional Semantics of Reaction Systems with Restriction 1-gen-2013 Pardini, G.; Barbuti, R.; Maggiolo Schettini, A.; Milazzo, P.; Tini, Simone
Compositional Semantics of Spiking Neural P Systems 1-gen-2010 Barbuti, R.; Maggiolo Schettini, A.; Milazzo, P.; Tini, Simone
Compositional Synthesis of Generalized Mealy Machines 1-gen-2004 Tini, Simone; A., Maggiolo Schettini
Compositional weak metrics for group key update 1-gen-2017 Lanotte, Ruggero; Merro, M.; Tini, Simone
Compositionality of Approximate Bisimulation for Probabilistic Systems 1-gen-2013 D., Gebler; Tini, Simone