According to our database1, Corina Mitrohin authored at least 4 papers between 2001 and 2013.
Legend:Book In proceedings Article PhD thesis Other
Compositional stability verification of hybrid systems.
PhD thesis, 2013
Composing Stability Proofs for Hybrid Systems.
Proceedings of the Formal Modeling and Analysis of Timed Systems, 2011
Composing Reachability Analyses of Hybrid Systems for Safety and Stability.
Proceedings of the Automated Technology for Verification and Analysis, 2010
Synchronized extension systems.
Acta Inf., 2001