CompBio & Bioinf @ UniUd
CompBio & Bioinf @ UniUd
Home
Open Positions
Highlights
Projects
Software
Publications
Members
Contact
Light
Dark
Automatic
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
Cite
×