Sfoglia per Autore
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
Non-expansive epsilon-bisimulations for probabilistic processes
2010-01-01 Tini, Simone
Membrane Systems Working in Generating and Accepting Modes: Expressiveness and Encodings
2010-01-01 Barbuti, R.; Maggiolo Schettini, A.; Milazzo, P.; Tini, Simone
Compositional Semantics of Spiking Neural P Systems
2010-01-01 Barbuti, R.; Maggiolo Schettini, A.; Milazzo, P.; Tini, Simone
An Overview on Operational Semantics in Membrane Computing
2011-01-01 Barbuti, R.; Maggiolo Schettini, A.; Milazzo, P.; Tini, Simone
Foundational aspects of multiscale modeling of biological systems with process algebras
2012-01-01 Barbuti, R.; Caravagna, G.; Maggiolo Schettini, A.; Milazzo, P.; Tini, Simone
A Rule Format for Rooted Branching Bisimulation
2013-01-01 V., Castiglioni; Lanotte, Ruggero; Tini, Simone
Compositionality of Approximate Bisimulation for Probabilistic Systems
2013-01-01 D., Gebler; Tini, Simone
A Compositional Semantics of Reaction Systems with Restriction
2013-01-01 Pardini, G.; Barbuti, R.; Maggiolo Schettini, A.; Milazzo, P.; Tini, Simone
Fixed-point characterization of compositionality properties of probabilistic processes combinators
2014-01-01 Gebler, Daniel; Tini, Simone
Systolic automata and P systems
2014-01-01 Barbuti, Roberto; Maggiolo Schettini, Andrea; Milazzo, Paolo; Pardini, Giovanni; Tini, Simone
A function elimination method for checking satisfiability of arithmetical logics
2014-01-01 Castiglioni, Valentina; Lanotte, Ruggero; Tini, Simone
Compositional semantics and behavioural equivalences for reaction systems with restriction
2014-01-01 Pardini, G.; Barbuti, R.; Maggiolo Schettini, A.; Milazzo, P.; Tini, Simone
A specification format for rooted branching bisimulation
2014-01-01 Castiglioni, Valentina; Lanotte, Ruggero; Tini, Simone
SOS specifications of probabilistic systems by uniformly continuous operators
2015-01-01 Gebler, Daniel; Tini, Simone
Compositional Metric Reasoning with Probabilistic Process Calculi
2015-01-01 Gebler, Daniel; Larsen, Kim Guldstrand; Tini, Simone
Logical Characterization of Bisimulation Metrics
2016-01-01 Castiglioni, Valentina; Gebler, Daniel; Tini, Simone
Extending taylor approximation to hybrid automata with integrals
2016-01-01 Lanotte, Ruggero; Tini, Simone
Modal Decomposition on Nondeterministic Probabilistic Processes
2016-01-01 Castiglioni, Valentina; Gebler, Daniel; Tini, Simone
Compositional bisimulation metric reasoning with Probabilistic Process Calculi
2016-01-01 Gebler, Daniel; Larsen, Kim; 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 | |
Non-expansive epsilon-bisimulations for probabilistic processes | 1-gen-2010 | Tini, Simone | |
Membrane Systems Working in Generating and Accepting Modes: Expressiveness and Encodings | 1-gen-2010 | 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 | |
An Overview on Operational Semantics in Membrane Computing | 1-gen-2011 | Barbuti, R.; Maggiolo Schettini, A.; Milazzo, P.; Tini, Simone | |
Foundational aspects of multiscale modeling of biological systems with process algebras | 1-gen-2012 | Barbuti, R.; Caravagna, G.; Maggiolo Schettini, A.; Milazzo, P.; Tini, Simone | |
A Rule Format for Rooted Branching Bisimulation | 1-gen-2013 | V., Castiglioni; Lanotte, Ruggero; Tini, Simone | |
Compositionality of Approximate Bisimulation for Probabilistic Systems | 1-gen-2013 | D., Gebler; Tini, Simone | |
A Compositional Semantics of Reaction Systems with Restriction | 1-gen-2013 | Pardini, G.; Barbuti, R.; Maggiolo Schettini, A.; Milazzo, P.; Tini, Simone | |
Fixed-point characterization of compositionality properties of probabilistic processes combinators | 1-gen-2014 | Gebler, Daniel; Tini, Simone | |
Systolic automata and P systems | 1-gen-2014 | Barbuti, Roberto; Maggiolo Schettini, Andrea; Milazzo, Paolo; Pardini, Giovanni; Tini, Simone | |
A function elimination method for checking satisfiability of arithmetical logics | 1-gen-2014 | Castiglioni, Valentina; Lanotte, Ruggero; 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 specification format for rooted branching bisimulation | 1-gen-2014 | Castiglioni, Valentina; Lanotte, Ruggero; Tini, Simone | |
SOS specifications of probabilistic systems by uniformly continuous operators | 1-gen-2015 | Gebler, Daniel; Tini, Simone | |
Compositional Metric Reasoning with Probabilistic Process Calculi | 1-gen-2015 | Gebler, Daniel; Larsen, Kim Guldstrand; Tini, Simone | |
Logical Characterization of Bisimulation Metrics | 1-gen-2016 | Castiglioni, Valentina; Gebler, Daniel; Tini, Simone | |
Extending taylor approximation to hybrid automata with integrals | 1-gen-2016 | Lanotte, Ruggero; Tini, Simone | |
Modal Decomposition on Nondeterministic Probabilistic Processes | 1-gen-2016 | Castiglioni, Valentina; Gebler, Daniel; Tini, Simone | |
Compositional bisimulation metric reasoning with Probabilistic Process Calculi | 1-gen-2016 | Gebler, Daniel; Larsen, Kim; 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