Sfoglia per Autore
Action Refinement in Process Algebra and Security Issues
2008-01-01 Bossi, A; Piazza, Carla; Rossi, S.
Inclusion dynamics hybrid automata
2008-01-01 Casagrande, Alberto; Piazza, Carla; Policriti, Alberto; Mishra, Bud
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
External Control in Process Algebra for Systems Biology
2009-01-01 DEL TEDESCO, F; Piazza, Carla
Hybrid Automata in Systems Biology: How far can we go?
2009-01-01 Campagna, D; 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
Hybrid automata, reachability, and Systems Biology
2010-01-01 Campagna, D.; 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
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
Model Checking on Hybrid Automata: Theory and Application to Biological Systems
2012-01-01 Casagrande, A; Piazza, Carla
Rank-Based Simulation on Acyclic Graphs
2012-01-01 Gentilini, R; Piazza, Carla; Policriti, Alberto
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
A graph-theoretic approach to map conceptual designs to XML schemas
2013-01-01 Franceschet, Massimo; Gubiani, D.; Montanari, Angelo; Piazza, Carla
Contextual Lumpability
2013-01-01 J., Hillston; Piazza, Carla; A., Marin; S., Rossi
Hyper-Extensionality and One-Node Elimination on Membership Graphs
2014-01-01 E. G., Omodeo; Piazza, Carla; Policriti, Alberto; A. I., Tomescu
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
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| Action Refinement in Process Algebra and Security Issues | 1-gen-2008 | Bossi, A; Piazza, Carla; Rossi, S. | |
| Inclusion dynamics hybrid automata | 1-gen-2008 | Casagrande, Alberto; Piazza, Carla; Policriti, Alberto; Mishra, Bud | |
| From Entity Relationship to XML Schema: A Graph-Theoretic Approach | 1-gen-2009 | Franceschet, Massimo; Gubiani, Donatella; Montanari, Angelo; Piazza, Carla | |
| Discrete Semantics for Hybrid Automata | 1-gen-2009 | Casagrande, Alberto; Piazza, Carla; Policriti, Alberto | |
| External Control in Process Algebra for Systems Biology | 1-gen-2009 | DEL TEDESCO, F; Piazza, Carla | |
| Hybrid Automata in Systems Biology: How far can we go? | 1-gen-2009 | Campagna, D; Piazza, Carla | |
| From entity relationship to XML Schema: A graph-theoretic approach (extended abstract) | 1-gen-2010 | Franceschet, Massimo; Gubiani, Donatella; Montanari, Angelo; Piazza, Carla | |
| Hybrid automata, reachability, and Systems Biology | 1-gen-2010 | Campagna, D.; Piazza, Carla | |
| Morphos Configuration Engine: the Core of a Commercial Configuration System in CLP(FD) | 1-gen-2010 | Campagna, D; DE ROSA, C; Dovier, Agostino; Montanari, Angelo; Piazza, Carla | |
| Composing FOCoRe Hybrid Automata | 1-gen-2011 | A., Casagrande; B., Mishra; Piazza, Carla | |
| Hybrid Automata and epsilon-Analysis on a Neural Oscillator | 1-gen-2012 | Casagrande, A; Dreossi, Tommaso; Piazza, Carla | |
| Model Checking on Hybrid Automata: Theory and Application to Biological Systems | 1-gen-2012 | Casagrande, A; Piazza, Carla | |
| Rank-Based Simulation on Acyclic Graphs | 1-gen-2012 | Gentilini, R; Piazza, Carla; Policriti, Alberto | |
| High-throughput trascriptome profiling of two peach chimeric genotypes | 1-gen-2013 | Falchi, Rachele; Vizzotto, Giannina; Vendramin, E; Cipriani, Guido; Piazza, Carla; Casagrande, A; Verde, I. | |
| Approximated Symbolic Computations over Hybrid Automata | 1-gen-2013 | A., Casagrande; Dreossi, Tommaso; Piazza, Carla | |
| Proceedings Second International Workshop on Hybrid Systems and Biology (HSB 2013), Taormina, Italy, 2nd September 2013 | 1-gen-2013 | Thao, Dang; Piazza, Carla | |
| A graph-theoretic approach to map conceptual designs to XML schemas | 1-gen-2013 | Franceschet, Massimo; Gubiani, D.; Montanari, Angelo; Piazza, Carla | |
| Contextual Lumpability | 1-gen-2013 | J., Hillston; Piazza, Carla; A., Marin; S., Rossi | |
| Hyper-Extensionality and One-Node Elimination on Membership Graphs | 1-gen-2014 | E. G., Omodeo; Piazza, Carla; Policriti, Alberto; A. I., Tomescu | |
| Formal Methods in Macro-Biology - First International Conference, FMMB 2014, Noumea, New Caledonia, September 22-24, 2014. Proceedings | 1-gen-2014 | François, Fages; Piazza, Carla |
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