TINI, SIMONE

TINI, SIMONE  

DIPARTIMENTO DI SCIENZE UMANE E DELL’INNOVAZIONE PER IL TERRITORIO  

Mostra records
Risultati 1 - 20 di 97 (tempo di esecuzione: 0.051 secondi).
Titolo Data di pubblicazione Autore(i) File
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
A Compositional Semantics of Reaction Systems with Restriction 1-gen-2013 Pardini, G.; Barbuti, R.; Maggiolo Schettini, A.; Milazzo, P.; Tini, Simone
A FRAMEWORK TO MEASURE THE ROBUSTNESS OF PROGRAMS IN THE UNPREDICTABLE ENVIRONMENT 1-gen-2023 Castiglioni, V; Loreti, M; Tini, S
A function elimination method for checking satisfiability of arithmetical logics 1-gen-2014 Castiglioni, Valentina; Lanotte, Ruggero; Tini, Simone
A Function Elimination Method for Checking Satisfiability of Arithmetical Logics 1-gen-2016 Castiglioni, Valentina; Lanotte, Ruggero; Tini, Simone
A P Systems Flat Form Preserving Step-by-step Behaviour 1-gen-2008 R., Barbuti; A., Maggiolo Schettini; P., Milazzo; Tini, Simone
A Probabilistic Calculus of Cyber-Physical Systems 1-gen-2021 Lanotte, Ruggero; Merro, Massimo; Tini, Simone
A Rule Format for Rooted Branching Bisimulation 1-gen-2013 V., Castiglioni; Lanotte, Ruggero; Tini, Simone
A specification format for rooted branching bisimulation 1-gen-2014 Castiglioni, Valentina; Lanotte, Ruggero; Tini, Simone
A Truly Concurrent Semantics for Timed Default Concurrent Constraint Programming 1-gen-1999 MAGGIOLO SCHETTINI, A.; Tini, Simone
A weak semantic approach to bisimulation metrics in models with nondeterminism and continuous state spaces 1-gen-2021 Lanotte, R.; Tini, S.
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
An Overview on Operational Semantics in Membrane Computing 1-gen-2011 Barbuti, R.; Maggiolo Schettini, A.; Milazzo, P.; Tini, Simone
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.