Dipl.-Inf. Patrick Michel
| E-Mail-Adresse | p_michel@cs.uni-kl.de |
|---|---|
| Telefon | +49 - 631 - 205 - 26 25 |
| Fax | +49 - 631 - 205 - 34 20 |
| Postanschrift | TU Kaiserslautern Fachbereich Informatik, Gebäude 34 Postfach 30 49 D-67653 Kaiserslautern |
| Besucheradresse | Gebäude 34, Raum 408 Gottlieb-Daimler-Str. Zugang über Paul-Ehrlich-Str D-67653 Kaiserslautern Google-Karte |
Publications
- P. Michel, A. Poetzsch-Heffter: Assertion Support for Manipulating Constrained Data-Centric XML (pdf), PLAN-X 2009, January 24, 2009, Savannah, Georgia, USA
Reports
- P. Michel: Redesign and Enhancement of the Katja System (pdf), Technical Report (354/06), University of Kaiserslautern, October, 2006
- P. Michel: Adding Position Structures to Katja (pdf),Technical Report (353/06), University of Kaiserslautern, June, 2005
Theses
- P. Michel: Specification and Analysis of Constrained XML Documents (pdf), Master's Thesis (Diplomarbeit), University of Kaiserslautern, July, 2007
- P. Michel: Static Guarantees for Algorithms on Constrained XML Documents (pdf), Project Report, University of Kaiserslautern, December, 2006
 |