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) Other scientific publication | Published | |
Kidd Nicholas, Lammich Peter, Touili Tayssir, Reps Thomas (2011) In: International Journal on Software Tools for Technology Transfer, 13(1), 37-60. doi:10.1007/s10009-010-0159-5 Research article (journal) | Peer reviewed | Published | |
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, 93-104. ACM Press. doi:10.1145/1926385.1926398 Research article in edited proceedings (conference) | Peer reviewed | Published | |
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, 199-213. Berlin, Heidelberg, New York: Springer. doi:10.1007/978-3-642-18275-4_15 Research article in edited proceedings (conference) | Peer reviewed | Published | |
Lammich Peter, Lochbihler Andreas (2010) In: Kaufmann Matt, Paulson Lawrence C. (eds.), Interactive Theorem Proving, 339-354. Springer. doi:10.1007/978-3-642-14052-5_24 Research article in edited proceedings (conference) | Peer reviewed | Published |
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 |