Sfoglia per Autore
Improving Reachability Analysis of Hybrid Automata for Engine Control
2004-01-01 Casagrande, Alberto; Balluchi, A; Benvenuti, L; Policriti, A; Villa, T; SANGIOVANNI VINCENTELLI, A.
Independent Dynamics Hybrid Automata in Systems Biology
2005-01-01 Casagrande, Alberto; Mysore, V; Piazza, C; M. I. S. H. R. A., B.
Semi-Algebraic Constant Reset Hybrid Automata - SACoRe
2005-01-01 Casagrande, Alberto; Piazza, C; Mishra, B.
The Grapevine Genome Sequence Suggests Ancestral Hexaploidization in Major Angiosperm Phyla
2007-01-01 O., Jaillon; J., Aury; B., Noel; A., Policriti; C., Clepet; Casagrande, Alberto; N., Choisne; S., Aubourg; N., Vitulo; C., Jubin; A., Vezzi; F., Legeai; P., Hugueney; C., Dasilva; D., Horner; E., Mica; D., Jublot; J., Poulain; C., Bruyère; A., Billault; B., Segurens; M., Gouyvenoux; E., Ugarte; F., Cattonaro; V., Anthouard; V., Vico; C., DEL FABBRO; M., Alaux; G., DI GASPERO; V., Dumas; N., Felice; S., Paillard; I., Juman; M., Moroldo; S., Scalabrin; A., Canaguier; I., LE CLAINCHE; G., Malacrida; E., Durand; G., Pesole; V., Laucou; P., Chatelet; D., Merdinoglu; M., Delledonne; M., Pezzotti; A., Lecharny; C., Scarpelli; F., Artiguenave; M. E., Pè; G., Valle; M., Morgante; M., Caboche; A., ADAM BLONDON; J., Weissenbach; F., Quétier; P., Wincker
Translating Time-Course Gene Expression Profiles Into Semi-Algebraic Hybrid Automata via Dimensionality Reduction
2007-01-01 Casagrande, Alberto; Casey, K; Falchi, R; Piazza, C; Ruperti, B; Vizzotto, G; Mishra, B.
Composing Semi-Algebraic O-minimal Automata
2007-01-01 Casagrande, Alberto; Corvaja, P; Piazza, C; B. MISHRA, B.
Discreteness, Hybrid Automata, and Biology
2008-01-01 Casagrande, Alberto; C., Piazza; AND A., Policriti
Inclusion Dynamics Hybrid Automata
2008-01-01 Casagrande, Alberto; C., Piazza; A., Policriti; Bud, Mishra
Reachability Computation for Hybrid Systems with Ariadne
2008-01-01 A., Balluchi; D., Bresolin; Casagrande, Alberto; P., Collins; A., Ferrari; E., Mazzi; T., Villa; AND A. L., SANGIOVANNI VINCENTELLI
Decidable Compositions of O-minimal Automata
2008-01-01 Casagrande, Alberto; P., Corvaja; C., Piazza; B., Mishra
Discrete Semantics for Hybrid Automata. Avoiding Misleading Assumptions in Systems Biology.
2009-01-01 Casagrande, Alberto; Carla, Piazza; Alberto, Policriti
A consensus list of microsatellite markers for olive genotyping
2009-01-01 Luciana, Baldoni; NICOLÒ G., Cultrera; Roberto, Mariotti; Claudia, Ricciolini; Sergio, Arcioni; GIOVANNI G., Vendramin; Anna, Buonamici; Andrea, Porceddu; Vania, Sarri; MARIA A., Ojeda; Isabel, Trujillo; Luis, Rallo; Angjelina, Belaj; Enzo, Perri; Amelia, Salimonti; Innocenzo, Muzzalupo; Casagrande, Alberto; Orietta, Lain; RACHELE MESSINA AND RAFFAELE, Testolin
GAM: Genomic Assemblies Merger. A Graph Based Method to Integrate Different Assemblies
2009-01-01 Casagrande, Alberto; CRISTIAN DEL, Fabbro; Simone, Scalabrin; Alberto, Policriti
Hybrid Automata and Bisimulation
2010-01-01 Casagrande, Alberto
Composing FOCoRe Hybrid Automata
2011-01-01 Casagrande, Alberto; Piazza, Carla; Mishra, Bud
SCOP Family Fingerprints: An Information Theoretic Approach to Structural Classification of Protein Domains
2011-01-01 Casagrande, Alberto; Fabris, Francesco
Model Checking on Hybrid Automata
2012-01-01 Casagrande, Alberto; Piazza, C.
Hybrid Automata and ε-Analysis on a Neural Oscillator
2012-01-01 Casagrande, Alberto; Dreossi, T.; Piazza, C.
Family Fingerprints: A Global Approach to Structural Classification
2012-01-01 Casagrande, Alberto; Fabris, Francesco
Approximated Symbolic Computations over Hybrid Automata
2013-01-01 Casagrande, Alberto; Tommaso, Dreossi; Carla, Piazza
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