Sfoglia per Autore
Hyper-Extensionality and One-Node Elimination on Membership Graphs
2014-01-01 E. G., Omodeo; Piazza, Carla; Policriti, Alberto; A. I., Tomescu
ϵ-Semantics computations on biological systems
2014-01-01 Casagrande, A.; Dreossi, Tommaso; Fabriková, J.; Piazza, Carla
External Interactions on Hybrid Models of Biological Systems
2014-01-01 Alberto, Casagrande; Piazza, Carla
Hybrid Systems Biology: Second International Workshop, HSB 2013 Taormina, Italy, September 2, 2013 and Third International Workshop, HSB 2014 Vienna, Austria, July 23–24, 2014 Revised Selected Papers
2015-01-01 Maler, Oded; Halász, Ádám; Dang, Thao; Piazza, Carla
Parameter Synthesis using Parallelotopic Enclosure and Applications to Epidemic Models
2015-01-01 Dreossi, Tommaso; Thao, Dang; Piazza, Carla
Parameter Synthesis Through Temporal Logic Specifications
2015-01-01 Dang, Thao; Dreossi, Tommaso; Piazza, Carla
Rank and simulation: the well-founded case
2015-01-01 Gentilini, R.; Piazza, Carla; Policriti, Alberto
Unwinding biological systems
2015-01-01 Casagrande, Alberto; Piazza, Carla
Towards quantum programs verification: from quipper circuits to QPMC
2016-01-01 Anticoli, Linda; Piazza, Carla; Taglialegne, Leonardo; Zuliani, Paolo
Parallelotope bundles for polynomial reachability
2016-01-01 Dreossi, Tommaso; Dang, Thao; Piazza, Carla
Is Hyper-extensionality Preservable under Deletions of Graph Elements?
2016-01-01 Casagrande, Alberto; Piazza, Carla; Policriti, Alberto
Reachability computation for polynomial dynamical systems
2017-01-01 Dreossi, Tommaso; Dang, Thao; Piazza, Carla
Games, Automata, Logics, and Formal Verification (GandALF2014) - Preface
2017-01-01 Peron, Adriano; Piazza, Carla
Efficient Computation of Renaming Functions for ρ-reversibility Discrete and Continuous Time Markov Chains
2017-01-01 Sottana, Matteo; Piazza, Carla; Albarelli, Andrea
Information Flow Security for Stochastic Processes
2018-01-01 Hillston, Jane; Marin, Andrea; Piazza, Carla; Rossi, Sabina
Persistent stochastic non-interference
2018-01-01 Hillston, Jane; Piazza, Carla; Rossi, Sabina
Lumping-based equivalences in Markovian automata: Algorithms and applications to product-form analyses
2018-01-01 Alzetta, Giacomo; Marin, Andrea; Piazza, Carla; Rossi, Sabina
Entangλe: A Translation Framework from Quipper Programs to Quantum Markov Chains
2018-01-01 Anticoli, Linda; Piazza, Carla; Taglialegne, Leonardo; Zuliani, Paolo
Proportional Lumpability
2019-01-01 Marin, A.; Piazza, C.; Rossi, S.
A process algebra for (delimited) persistent stochastic non-interference
2019-01-01 Marin, A.; Piazza, C.; Rossi, S.
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