Müller-Olm, Markus.
Müller-Olm, Markus, 19..-....
Markus Müller-Olm Dr. rer. nat. Christian-Albrechts-Universität zu Kiel 1996
VIAF ID: 20411274 ( Personal )
Permalink: http://viaf.org/viaf/20411274
Preferred Forms
- 100 0 _ ‡a Markus Müller-Olm ‡c Dr. rer. nat. Christian-Albrechts-Universität zu Kiel 1996
- 100 1 _ ‡a Müller-Olm, Markus
-
-
- 100 1 _ ‡a Müller-Olm, Markus
-
- 100 1 _ ‡a Müller-Olm, Markus, ‡d 19..-....
-
- 100 1 _ ‡a Müller-Olm, Markus
-
-
- 100 1 _ ‡a Müller-Olm, Markus ‡d ....-...
-
4xx's: Alternate Name Forms (3)
5xx's: Related Names (4)
- 510 2 _ ‡a Kiel
- 510 2 _ ‡a Universität Dortmund ‡b Fachbereich Informatik ‡4 affi ‡4 http://d-nb.info/standards/elementset/gnd#affiliation ‡e Affiliation
- 510 2 _ ‡a Universität Münster ‡b Fachbereich Mathematik und Informatik
- 510 2 _ ‡a Westfälische Wilhelms-Universität Münster ‡b Fachbereich Mathematik und Informatik ‡4 affi ‡4 http://d-nb.info/standards/elementset/gnd#affiliation ‡e Affiliation
Works
Title | Sources |
---|---|
Computing polynomial program invariants | |
Dependable Software Engineering. Theories, Tools, and Applications : 4th International Symposium, SETTA 2018, Beijing, China, September 4-6, 2018, Proceedings | |
Formal Derivation and Verification of Approximation Algorithms Using Auxiliary Variables | |
Information Flow Security in Tree-Manipulating Processes | |
Interprocedural invariants | |
Lock-sensitive reachability analysis for parallel recursive programs with dynamic creation of threads and locks a graph-based approach | |
Modular compiler verification : a refinement-algebraic approach advocating stepwise abstraction | |
Polynomial constants are decidable | |
Precise interprocedural dependence analysis of parallel programs | |
Security through safety an approach to information flow control based on derivation of safety properties from a characterisation of insecure behaviour | |
Sicherheit im Informationsfluss bei Baummanipulierenden Prozessen | |
Static Analysis : 21st International Symposium, SAS 2014, Munich, Germany, September 11-13, 2014. Proceedings | |
Testing Herbrand equalities and beyond | |
Variations on constants : flow analysis of sequential and parallel programs | |
Verification, model checking, and abstract interpretation : 10th international conference, VMCAI 2009, Savannah, GA, USA, January 18-20, 2009 : proceedings |