We stand with Ukraine  

Corina Mitrohin

Affiliations:
  • Continental Automotive GmbH, Frankfurt, Germany
  • University of Freiburg, Germany (PhD 2013)


According to our database1, Corina Mitrohin authored at least 4 papers between 2001 and 2013.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2013
Compositional stability verification of hybrid systems.
[BibTeX]
[DOI]
Corina Mitrohin
PhD thesis, 2013

2011
Composing Stability Proofs for Hybrid Systems.
[BibTeX]
[DOI]
Corina Mitrohin
,
Andreas Podelski
Proceedings of the Formal Modeling and Analysis of Timed Systems, 2011

2010
Composing Reachability Analyses of Hybrid Systems for Safety and Stability.
[BibTeX]
[DOI]
Sergiy Bogomolov
,
Corina Mitrohin
,
Andreas Podelski
Proceedings of the Automated Technology for Verification and Analysis, 2010

2001
Synchronized extension systems.
[BibTeX]
[DOI]
Ferucio Laurentiu Tiplea
,
Erkki Mäkinen
,
Corina Apachite
Acta Informatica, 2001


  Loading...