Peter Lammich
No current affiliations available for this person. The person is no longer active at the university.
Work Experience | |
| since 06/2006 | Doktorand am Institut für Informatik der WWU Münster |
Publications
Nordhoff Benedikt, Lammich Peter (2012) Type of Publication: Other scientific publication | |
Kidd Nicholas, Lammich Peter, Touili Tayssir, Reps Thomas (2011) In: International Journal on Software Tools for Technology Transfer, 13(1) Type of Publication: Research article (journal) | |
Schwarz Martin D., Seidl Helmut, Vojdani Vesal, Lammich Peter, Müller-Olm Markus (2011) In: Ball Thomas, Sagiv Mooly (eds.), Conference Record of the 38th Annual ACM Symposium on Principles of Programming Languages. ACM Press. Type of Publication: Research article in edited proceedings (conference) | |
Gawlitza Thomas, Lammich Peter, Müller-Olm Markus, Seidl Helmut, Wenner Alexander (2011) In: Jhala Ranjit, Schmidt David (eds.), Verification, Model Checking and Abstract Interpretation. Berlin, Heidelberg, New York: Springer. Type of Publication: Research article in edited proceedings (conference) | |
Lammich Peter, Lochbihler Andreas (2010) In: Kaufmann Matt, Paulson Lawrence C. (eds.), Interactive Theorem Proving. Springer. Type of Publication: Research article in edited proceedings (conference) |
Doctorates
| Lock-Sensitive Analysis of Parallel Programs Candidate: Lammich, Peter | Supervisors: Müller-Olm, Markus Period of time: until 28/06/2011 Doctoral examination procedure finished at: Doctoral examination procedure at University of Münster |