Sfoglia per Autore
Formal Methods in Macro-Biology - First International Conference, FMMB 2014, Noumea, New Caledonia, September 22-24, 2014. Proceedings
2014-01-01 François, Fages; Piazza, Carla
External Interactions on Hybrid Models of Biological Systems
2014-01-01 Alberto, Casagrande; Piazza, Carla
Proceedings Fifth International Symposium on Games, Automata, Logics and Formal Verification, GandALF 2014, Verona, Italy, September 10-12, 2014
2014-01-01 Adriano, Peron; Piazza, Carla
Parameter Synthesis Through Temporal Logic Specifications
2015-01-01 Dang, Thao; Dreossi, Tommaso; Piazza, Carla
Parameter Synthesis using Parallelotopic Enclosure and Applications to Epidemic Models
2015-01-01 Dreossi, Tommaso; Thao, Dang; 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
Unwinding biological systems
2015-01-01 Casagrande, Alberto; Piazza, Carla
Rank and simulation: the well-founded case
2015-01-01 Gentilini, R.; Piazza, Carla; Policriti, Alberto
Is Hyper-extensionality Preservable under Deletions of Graph Elements?
2016-01-01 Casagrande, Alberto; Piazza, Carla; Policriti, Alberto
Parallelotope bundles for polynomial reachability
2016-01-01 Dreossi, Tommaso; Dang, Thao; Piazza, Carla
Towards quantum programs verification: from quipper circuits to QPMC
2016-01-01 Anticoli, Linda; Piazza, Carla; Taglialegne, Leonardo; Zuliani, Paolo
Games, Automata, Logics, and Formal Verification (GandALF2014) - Preface
2017-01-01 Peron, Adriano; Piazza, Carla
Reachability computation for polynomial dynamical systems
2017-01-01 Dreossi, Tommaso; Dang, Thao; Piazza, Carla
Efficient Computation of Renaming Functions for ρ-reversibility Discrete and Continuous Time Markov Chains
2017-01-01 Sottana, Matteo; Piazza, Carla; Albarelli, Andrea
Persistent stochastic non-interference
2018-01-01 Hillston, Jane; Piazza, Carla; Rossi, Sabina
Information Flow Security for Stochastic Processes
2018-01-01 Hillston, Jane; Marin, Andrea; 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
Delimited persistent stochastic non-interference
2019-01-01 Hillston, Jane; Piazza, Carla; Marin, Andrea; Rossi, Sabina
Proportional Lumpability
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