A Casagrande

Latest

• THE QUEST FOR DIOPHANTINE FINITE-FOLD-NESS
• PolyMorph: Increasing the Spelling Efficiency of P300 by Selection Matrix PolyMorphism and Sentence-Based Predictions
• High-throughput trascriptome profiling of two peach chimeric genotypes
• PolyMorph: A P300 Polymorphic Speller
• Hybrid Automata and epsilon-Analysis on a Neural Oscillator
• Model Checking on Hybrid Automata: Theory and Application to Biological Systems
• SCOP Family Fingerprints: An Information Theoretic Approach to Structural Classification of Protein Domains
• Discreteness, hybrid automata, and biology
• Synchronized Product of Semi-Algebraic O-Minimal Hybrid Automata
• The grapevine genome sequence suggests ancestral hexaploidization in major angiosperm phyla
• Tolque: A Tool for Algorithmic Algebraic Model Checking
• Independent Dynamics Hybrid Automata in System Biology
• Semi-Algebraic Constant Reset Hybrid Automata - SACoRe
• Improving reachability analysis of hybrid automata for engine control