Sfoglia per Autore  

Opzioni
Mostrati risultati da 1 a 20 di 40
Titolo Data di pubblicazione Autori File
Improving Reachability Analysis of Hybrid Automata for Engine Control 1-gen-2004 CASAGRANDE, ALBERTO +
Independent Dynamics Hybrid Automata in Systems Biology 1-gen-2005 CASAGRANDE, ALBERTO +
Semi-Algebraic Constant Reset Hybrid Automata - SACoRe 1-gen-2005 CASAGRANDE, ALBERTO +
The Grapevine Genome Sequence Suggests Ancestral Hexaploidization in Major Angiosperm Phyla 1-gen-2007 CASAGRANDE, ALBERTO +
Translating Time-Course Gene Expression Profiles Into Semi-Algebraic Hybrid Automata via Dimensionality Reduction 1-gen-2007 CASAGRANDE, ALBERTO +
Composing Semi-Algebraic O-minimal Automata 1-gen-2007 CASAGRANDE, ALBERTO +
Discreteness, Hybrid Automata, and Biology 1-gen-2008 CASAGRANDE, ALBERTO +
Inclusion Dynamics Hybrid Automata 1-gen-2008 CASAGRANDE, ALBERTO +
Reachability Computation for Hybrid Systems with Ariadne 1-gen-2008 CASAGRANDE, ALBERTO +
Decidable Compositions of O-minimal Automata 1-gen-2008 CASAGRANDE, ALBERTO +
Discrete Semantics for Hybrid Automata. Avoiding Misleading Assumptions in Systems Biology. 1-gen-2009 CASAGRANDE, ALBERTO +
A consensus list of microsatellite markers for olive genotyping 1-gen-2009 CASAGRANDE, ALBERTO +
GAM: Genomic Assemblies Merger. A Graph Based Method to Integrate Different Assemblies 1-gen-2009 CASAGRANDE, ALBERTO +
Hybrid Automata and Bisimulation 1-gen-2010 CASAGRANDE, ALBERTO
Composing FOCoRe Hybrid Automata 1-gen-2011 CASAGRANDE, ALBERTO +
SCOP Family Fingerprints: An Information Theoretic Approach to Structural Classification of Protein Domains 1-gen-2011 CASAGRANDE, ALBERTOFABRIS, FRANCESCO
Model Checking on Hybrid Automata 1-gen-2012 CASAGRANDE, ALBERTO +
Hybrid Automata and ε-Analysis on a Neural Oscillator 1-gen-2012 CASAGRANDE, ALBERTO +
Family Fingerprints: A Global Approach to Structural Classification 1-gen-2012 CASAGRANDE, ALBERTOFABRIS, FRANCESCO
Approximated Symbolic Computations over Hybrid Automata 1-gen-2013 CASAGRANDE, ALBERTO +
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