Concepedia

Markus Wenzel

MW

Statistics

Publications

8

Citations

568

H-Index

8

Active since

1986

Affiliations

Public Utilities Board(Current)

Technical University of Munich

Markus Wenzel is an author at Public Utilities Board specializing in formal methods, formal proof systems, and computing.

Publications per year

1986–2015

8

Publications

8

Experimental study of the memsys vacuum-multi-effect-membrane-distillation (V-MEMD) module

Kuangmin Zhao, Wolfgang Heinzl, Markus Wenzel et al. · Desalination · 2013 · 204 citations

Engineering, Chemical Engineering, Microelectromechanical Systems +13

Isabelle/Isar --- a versatile environment for human-readable formal proof documents

Markus Wenzel · mediaTUM – the media and publications repository of the Technical University Munich (Technical University Munich) · 2002 · 135 citations · Full text

Computing, Computer Science, Mathematics +17

Rigid rod polymers with flexible side chains, 4. Synthesis, structure and phase behaviour of polyimides prepared from pyromellitic anhydride and 2,5‐di‐n‐alkoxy‐1,4‐phenylene diisocyantes

Markus Wenzel, Matthias Ballauff, Gerhard Wegner · Die Makromolekulare Chemie · 1987 · 79 citations

Natural Sciences, Chemistry, Materials Science +14

A Comparison of Mizar and Isar

Markus Wenzel, Freek Wiedijk · Journal of Automated Reasoning · 2002 · 54 citations

Engineering, Radiology, Instrumentation +1

Dynamic light scattering from semidilute cellulose-tri-carbanilate solutions

Markus Wenzel, Walther Burchard, Klaus Schätzel · Polymer · 1986 · 43 citations

Natural Sciences, Biophysics, Materials Science +12

1–5 of 8