Artikel

Knorr, Tilman ; Kaiser, Markus ; Glenk, Friedrich ; Etzold, Bastian J. M. (2012)
Shrinking core like fluid solid reactions—A dispersion model accounting for fluid phase volume change and solid phase particle size distributions.
In: Chemical Engineering Science, 69 (1)
doi: 10.1016/j.ces.2011.11.002
Artikel, Bibliographie

Berger, Christina ; Gugau, Manfred ; Troßmann, Torsten ; Kaiser, Markus (2007)
Korrosions- und Gefrierschutzmittel für Hochleistungsmotoren : Informationstagung Motoren, Herbsttagung 2007, Leipzig, Abschlußbericht Vorhaben Nr. 856.
In: Forschungsvereinigung Verbrennungs-Kraftmaschinen / R, 539
Artikel, Bibliographie

Kaiser, Markus ; Buchmann, Johannes (2006)
A Formal Approach for Proof Constructions in Cryptography.
In: >International Journal of Computer Science, 1
Artikel, Bibliographie

Buch

Kaiser, Markus (2009)
Korrosion metallischer Werkstoffe unter Beaufschlagung von Kühlmittelzusätzen für Verbrennungskraftmaschinen.
Buch, Bibliographie

Kaiser, Markus (2008)
Heißkühlung : Korrosionsgefrierschutzmittel für Hochleistungsmotoren.
Buch, Bibliographie

Gugau, Manfred ; Kaiser, Markus (2004)
Moderne Kühlmittelzusätze : umwelt- und leichtmetallverträgliche Kühlmittelzusätze für moderne Verbrennungskraftmaschinen ; Abschlussbericht Vorhaben Nr. 777.
Buch, Bibliographie

Konferenzveröffentlichung

Kaiser, Markus ; Buchmann, Johannes (2006)
Computer Verification in Cryptography.
Konferenzveröffentlichung, Bibliographie

Gugau, Manfred ; Kaiser, Markus ; Berger, Christina (2004)
Moderne Kühlmittelzusätze und Entwicklung einer neuen FVV-Prüfrichtlinie.
Konferenzveröffentlichung, Bibliographie

Berger, Christina ; Gugau, Manfred ; Kaiser, Markus (2004)
Umwelt- und leichtmetallverträgliche Kühlmittelzusätze für moderne Verbrennungskraftmaschinen.
Konferenzveröffentlichung, Bibliographie

Report

Sausen, Eckhard ; Goericke, Manfred ; Meszaros, L. ; Hafner, Michael ; Wochner, T. ; Lievens, S. ; Dühring, E. ; Corthouts, J. ; Gugau, Manfred ; Kaiser, Markus (2005)
Prüfung der Eignung von Kühlmittelzusätzen für die Kühlflüssigkeit von Verbrennungsmotoren : Richtlinien für das Prüfverfahren.
Report, Bibliographie

Dissertation

Kaiser, Markus (2010)
Computer verification of algorithms using a formal proof system.
Technische Universität Darmstadt
Dissertation, Bibliographie