A Casagrande

Latest

• High-throughput trascriptome profiling of two peach chimeric genotypes
• Hybrid Automata and epsilon-Analysis on a Neural Oscillator
• Model Checking on Hybrid Automata: Theory and Application to Biological Systems
• 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