TU Darmstadt / ULB / TUbiblio

Browse by Person

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: No Grouping | Item Type | Date | Language
Number of items: 11.

Knorr, Tilman and Kaiser, Markus and Glenk, Friedrich and 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), pp. 492-502. Elsevier, ISSN 00092509,
DOI: 10.1016/j.ces.2011.11.002,
[Article]

Kaiser, Markus (2010):
Computer verification of algorithms using a formal proof system.
In: Dissertation.de, 1583, Berlin, dissertation.de, TU Darmstadt, ISBN 978-3-86624-483-2,
[Ph.D. Thesis]

Kaiser, Markus (2009):
Korrosion metallischer Werkstoffe unter Beaufschlagung von Kühlmittelzusätzen für Verbrennungskraftmaschinen.
In: Berichte aus der Werkstofftechnik, 2009,2, Aachen, Shaker, ISBN 978-3-8322-8385-8 ; 3-8322-8385-4,
[Book]

Kaiser, Markus (2008):
Heißkühlung : Korrosionsgefrierschutzmittel für Hochleistungsmotoren.
In: FVV,Abschlussbericht Vorhaben Nr. 856, Heft 857, Frankfurt, Forschungsvereinigung Verbrennungskraftmaschinen, [Book]

Berger, Christina and Gugau, Manfred and Troßmann, Torsten and 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, pp. 31-56. [Article]

Kaiser, Markus and Buchmann, Johannes (2006):
Computer Verification in Cryptography.
12, In: International Conference on Computer Science-(ICCS'06),
ISBN 975-00803-1-9,
[Conference or Workshop Item]

Kaiser, Markus and Buchmann, Johannes (2006):
A Formal Approach for Proof Constructions in Cryptography.
1, In: >International Journal of Computer Science, pp. 195--203. [Article]

Sausen, Eckhard and Goericke, Manfred and Meszaros, L. and Hafner, Michael and Wochner, T. and Lievens, S. and Dühring, E. and Corthouts, J. and Gugau, Manfred and 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.
In: Forschungsvereinigung Verbrennungskraftmaschinen e.V. Abschlussbericht H. R 530 (überarb. Ausg.), [Report]

Gugau, Manfred and Kaiser, Markus (2004):
Moderne Kühlmittelzusätze : umwelt- und leichtmetallverträgliche Kühlmittelzusätze für moderne Verbrennungskraftmaschinen ; Abschlussbericht Vorhaben Nr. 777.
H.786, Frankfurt, FVV, [Book]

Gugau, Manfred and Kaiser, Markus and Berger, Christina (2004):
Moderne Kühlmittelzusätze und Entwicklung einer neuen FVV-Prüfrichtlinie.
In: Fahrzeug- und Motorentechnik : 13. Aachener Kolloquium, 04. - 06. Oktober 2004, Eurogress Aachen = Automobile and engine technology / [Hrsg.: VKA, Lehrstuhl für Verbrennungskraftmaschinen Aachen ...]. Wiss. Leitung: Stefan Pischinger ... -Teil: 1.- Aache, 06. Oktober 2004, Eurogress Aachen = Automobile and engine technology / [Hrsg., VKA, [Conference or Workshop Item]

Berger, Christina and Gugau, Manfred and Kaiser, Markus (2004):
Umwelt- und leichtmetallverträgliche Kühlmittelzusätze für moderne Verbrennungskraftmaschinen.
In: Informationstagung Motoren am 31. März 2004 in Frankfurt : Abschlussbericht Vorhaben Nr. 777 (AiF-Nr. 12907). - Frankfurt: FVV, 2004.- (Forschungsvereinigung Verbrennungskraftmaschinen ; H. R. 523).- S. 281-306, Frankfurt, FVV, [Conference or Workshop Item]

This list was generated on Tue Dec 1 01:25:35 2020 CET.