Sfoglia per Autore
Translating Time-Course Gene Expression Profiles into Semi-algebraic Hybrid Automata Via Dimensionality Reduction
2007-01-01 Casagrande, A.; Casey, K.; Falchi, R.; Piazza, Carla; Ruperti, B.; Vizzotto, Giannina; Mishra, B.
Compositional information flow security for concurrent programs
2007-01-01 Bossi, A.; Piazza, Carla; Rossi, S.
Model Checking, Hybrid Automata, and Systems Biology
2008-01-01 Piazza, Carla
Systems Biology: Models and Logics
2008-01-01 Piazza, Carla
A uniform approach to constraint-solving for lists, multisets, compact lists, and sets
2008-01-01 Dovier, Agostino; Piazza, Carla; Rossi, Gianfranco
Symbolic Graphs: Linear Solutions to Connectivity Related Problems
2008-01-01 Gentilini, R.; Piazza, Carla; Policriti, Alberto
Inclusion dynamics hybrid automata
2008-01-01 Casagrande, Alberto; Piazza, Carla; Policriti, Alberto; Mishra, Bud
Systems Biology: Models and Logics
2008-01-01 Piazza, Carla; Policriti, Alberto
Action Refinement in Process Algebra and Security Issues
2008-01-01 Bossi, A; Piazza, Carla; Rossi, S.
PicNIc - Pi-calculus Non-Interference checker
2008-01-01 Crafa, Silvia; Miculan, Marino; Mio, Matteo; Piazza, Carla; Rossi, Sabina
Decidable Compositions of O-Minimal Automata
2008-01-01 Casagrande, Alberto; Corvaja, Pietro; Mishra, Bud; Piazza, Carla
Discreteness, hybrid automata, and biology
2008-01-01 Casagrande, A; Piazza, Carla; Policriti, Alberto
From Entity Relationship to XML Schema: A Graph-Theoretic Approach
2009-01-01 Franceschet, Massimo; Gubiani, Donatella; Montanari, Angelo; Piazza, Carla
Discrete Semantics for Hybrid Automata
2009-01-01 Casagrande, Alberto; Piazza, Carla; Policriti, Alberto
Hybrid Automata in Systems Biology: How far can we go?
2009-01-01 Campagna, D; Piazza, Carla
External Control in Process Algebra for Systems Biology
2009-01-01 DEL TEDESCO, F; Piazza, Carla
From entity relationship to XML Schema: A graph-theoretic approach (extended abstract)
2010-01-01 Franceschet, Massimo; Gubiani, Donatella; Montanari, Angelo; Piazza, Carla
Morphos Configuration Engine: the Core of a Commercial Configuration System in CLP(FD)
2010-01-01 Campagna, D; DE ROSA, C; Dovier, Agostino; Montanari, Angelo; Piazza, Carla
Hybrid automata, reachability, and Systems Biology
2010-01-01 Campagna, D.; Piazza, Carla
Composing FOCoRe Hybrid Automata
2011-01-01 A., Casagrande; B., Mishra; Piazza, Carla
Hybrid Automata and epsilon-Analysis on a Neural Oscillator
2012-01-01 Casagrande, A; Dreossi, Tommaso; Piazza, Carla
Rank-Based Simulation on Acyclic Graphs
2012-01-01 Gentilini, R; Piazza, Carla; Policriti, Alberto
Model Checking on Hybrid Automata: Theory and Application to Biological Systems
2012-01-01 Casagrande, A; Piazza, Carla
Contextual Lumpability
2013-01-01 J., Hillston; Piazza, Carla; A., Marin; S., Rossi
A graph-theoretic approach to map conceptual designs to XML schemas
2013-01-01 Franceschet, Massimo; Gubiani, D.; Montanari, Angelo; Piazza, Carla
High-throughput trascriptome profiling of two peach chimeric genotypes
2013-01-01 Falchi, Rachele; Vizzotto, Giannina; Vendramin, E; Cipriani, Guido; Piazza, Carla; Casagrande, A; Verde, I.
Approximated Symbolic Computations over Hybrid Automata
2013-01-01 A., Casagrande; Dreossi, Tommaso; Piazza, Carla
Proceedings Second International Workshop on Hybrid Systems and Biology (HSB 2013), Taormina, Italy, 2nd September 2013
2013-01-01 Thao, Dang; Piazza, Carla
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
Hyper-Extensionality and One-Node Elimination on Membership Graphs
2014-01-01 E. G., Omodeo; Piazza, Carla; Policriti, Alberto; A. I., Tomescu
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
ϵ-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
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
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
Towards quantum programs verification: from quipper circuits to QPMC
2016-01-01 Anticoli, Linda; Piazza, Carla; Taglialegne, Leonardo; Zuliani, Paolo
Efficient Computation of Renaming Functions for ρ-reversibility Discrete and Continuous Time Markov Chains
2017-01-01 Sottana, Matteo; Piazza, Carla; Albarelli, Andrea
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
Entangλe: A Translation Framework from Quipper Programs to Quantum Markov Chains
2018-01-01 Anticoli, Linda; Piazza, Carla; Taglialegne, Leonardo; Zuliani, Paolo
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
Information Flow Security for Stochastic Processes
2018-01-01 Hillston, Jane; Marin, Andrea; Piazza, Carla; Rossi, Sabina
Set-Based Analysis for Biological Modeling
2019-01-01 Dang, Thao; Dreossi, Tommaso; Fanchon, Eric; Maler, Oded; Piazza, Carla; Rocca, Alexandre
Delimited persistent stochastic non-interference
2019-01-01 Hillston, Jane; Piazza, Carla; Marin, Andrea; Rossi, Sabina
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