IRIS

Sfoglia per Autore  CASAGRANDE, Alberto

Opzioni
Mostrati risultati da 1 a 20 di 40
Titolo Data di pubblicazione Autore(i) File
Improving reachability analysis of hybrid automata for engine control 1-gen-2004 Casagrande, A; Balluchi, A; Benvenuti, L; Policriti, A; Villa, T; Sangiovanni-Vincentelli, A
Independent Dynamics Hybrid Automata in System Biology 1-gen-2005 Casagrande, A; Mysore, V; Piazza, Carla; Mishra, B.
Semi-Algebraic Constant Reset Hybrid Automata - SACoRe 1-gen-2005 Casagrande, A; Piazza, Carla; Mishra, B.
Tolque: A Tool for Algorithmic Algebraic Model Checking 1-gen-2006 Casagrande, A; Mysore, V; Piazza, Carla; Mishra, B.
Translating Time-Course Gene Expression Profiles into Semi-algebraic Hybrid Automata Via Dimensionality Reduction 1-gen-2007 Casagrande, A.; Casey, K.; Falchi, R.; Piazza, Carla; Ruperti, B.; Vizzotto, Giannina; Mishra, B.
The grapevine genome sequence suggests ancestral hexaploidization in major angiosperm phyla 1-gen-2007 Jaillon, O; Aury, J. M.; Noel, B; Policriti, Alberto; Clepet, C; Casagrande, A; Choisne, N; Aubourg, S; Vitulo, N; Jubin, C; Vezzi, A; Legeai, F; Hugueney, P; Dasilva, C; Horner, D; Mica, E; Jublot, D; Poulain, J; Bruyère, C; Billault, A; Segurens, B; Gouyvenoux, M; Ugarte, E; Cattonaro, F; Anthouard, V; Vico, V; DEL FABBRO, Cristian; Alaux, M; DI GASPERO, Gabriele; Dumas, V; Felice, N; Paillard, S; Juman, I; Moroldo, M; Scalabrin, S; Canaguier, A; LE CLAINCHE, I; Malacrida, G; Durand, E; Pesole, G; Laucou, V; Chatelet, P; Merdinoglu, D; Delledonne, M; Pezzotti, M; Lecharny, A; Scarpelli, C; Artiguenave, F; Pè, Me; Valle, G; Morgante, Michele; Caboche, M; ADAM BLONDON, A. F.; Weissenbach, J; Quétier, F; Wincker, P.
Synchronized Product of Semi-Algebraic O-Minimal Hybrid Automata 1-gen-2007 Casagrande, A; Corvaja, Pietro; Piazza, Carla; Mishra, B.
Reachability computation for hybrid systems with Ariadne 1-gen-2008 Benvenuti, Luca; Bresolin, Davide; Casagrande, Alberto; Collins, Pieter; Ferrari, Alberto; Mazzi, Emanuele; Sangiovanni-Vincentelli, Alberto; Villa, Tiziano
Discreteness, hybrid automata, and biology 1-gen-2008 Casagrande, A; Piazza, Carla; Policriti, Alberto
Inclusion dynamics hybrid automata 1-gen-2008 Casagrande, Alberto; Piazza, Carla; Policriti, Alberto; Mishra, Bud
Decidable Compositions of O-Minimal Automata 1-gen-2008 Casagrande, Alberto; Corvaja, Pietro; Mishra, Bud; Piazza, Carla
GAM: Genomic Assemblies Merger: A Graph Based Method to Integrate Different Assemblies 1-gen-2009 Casagrande, Alberto; DEL FABBRO, Cristian; Scalabrin, Simone; Policriti, Alberto
A consensus list of microsatellite markers for olive genotyping 1-gen-2009 Baldoni, L.; Cultrera, N. G.; Mariotti, R.; Ricciolini, C.; Arcioni, S.; Vendramin, G. G.; Buonamici, A.; Porceddu, A.; Sarri, V.; Ojeda, M. A.; Trujillo, I.; Rallo, L.; Belaj, A.; Perri, E.; Salimonti, A.; Muzzalupo, I.; Casagrande, A.; Lain, O.; Messina, R.; Testolin, R.
Discrete Semantics for Hybrid Automata 1-gen-2009 Casagrande, Alberto; Piazza, Carla; Policriti, Alberto
Composing FOCoRe Hybrid Automata 1-gen-2011 A., Casagrande; B., Mishra; Piazza, Carla
SCOP Family Fingerprints: An Information Theoretic Approach to Structural Classification of Protein Domains 1-gen-2011 Casagrande, A; Fabris, F
Family fingerprints: a global approach to structural classification 1-gen-2012 Casagrande, Alberto; Fabris, Francesco
Model Checking on Hybrid Automata: Theory and Application to Biological Systems 1-gen-2012 Casagrande, A; Piazza, Carla
Hybrid Automata and epsilon-Analysis on a Neural Oscillator 1-gen-2012 Casagrande, A; Dreossi, Tommaso; Piazza, Carla
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.
Mostrati risultati da 1 a 20 di 40
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