- »Lectures and Classes
- Diskrete Strukturen und Logik (WS 2011/12)
- Internet Security (WS2011/2012)
- Semantic Web Technologien (WS2011/2012)
- Large Scale Processing for Multimedia Analysis (WS2011/2012)
- Webprogrammierung und Web 2.0-Technologien (WS2011/12)
- Der neue Personalausweis: Konzept und Umsetzung (WS2011/2012)
- Web Service Security (WS2011/2012)
- Network Security in Practice (WS2011/2012)
- Archive
- »Tele-Lectures
- »Master-Projekte
- Master Theses
- »Bachelor Projects
- PhD Students
- D-School teaching
- Research Seminars
- »Lectures and Classes
Contact
Prof. Dr. Christoph Meinel
Hasso-Plattner-Institut
an der Universität Potsdam
Tel: +49 0331/5509-222
Fax: +49 0331/5509-325
Mobil: +49 176 10010727
meinel"at"hpi.uni-potsdam.de
Blogs
Books
Research Topic: Transformation concepts
Technical Reports:
- Ch. Meinel, F. Somenzi, Th. Theobald:
Function Decomposition and Synthesis Using Linear Sifting - Ch. Meinel, F. Somenzi, Th. Theobald:
Linear Sifting of Decision Diagrams
Publications:
- Ch. Meinel, F. Somenzi, T. Theobald
Function Decomposition and Synthesis Using Linear Sifting
Proc. ASP-DAC'98, Yokohama (Japan), 1998, pp. 81-86. - Ch. Meinel, F. Somenzi, T. Theobald
Linear Sifting of Decision Diagrams
Proc. 34th IEEE/ACM DAC, Anaheim (USA), IEEE Computer Society Press, 1997, 202-207.
People:
- Prof. Dr. Christoph Meinel
- Prof. Dr. Fabio Somenzi (Boulder)
- Dr. Thorsten Theobald