Peter Lammich
Für die Person sind keine aktuellen Zugehörigkeiten bekannt. Die Person ist nicht mehr an der Universität aktiv.
Berufliche Stationen | |
| seit 06/2006 | Doktorand am Institut für Informatik der WWU Münster |
Publikationen
Nordhoff Benedikt, Lammich Peter (2012) Sonstige wissenschaftliche Veröffentlichung | Veröffentlicht | |
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 Forschungsartikel (Zeitschrift) | Peer reviewed | Veröffentlicht | |
Schwarz Martin D., Seidl Helmut, Vojdani Vesal, Lammich Peter, Müller-Olm Markus (2011) In: Ball Thomas, Sagiv Mooly (Hrsg.), Conference Record of the 38th Annual ACM Symposium on Principles of Programming Languages, 93-104. ACM Press. doi:10.1145/1926385.1926398 Forschungsartikel in Sammelband (Konferenz) | Peer reviewed | Veröffentlicht | |
Gawlitza Thomas, Lammich Peter, Müller-Olm Markus, Seidl Helmut, Wenner Alexander (2011) In: Jhala Ranjit, Schmidt David (Hrsg.), Verification, Model Checking and Abstract Interpretation, 199-213. Berlin, Heidelberg, New York: Springer. doi:10.1007/978-3-642-18275-4_15 Forschungsartikel in Sammelband (Konferenz) | Peer reviewed | Veröffentlicht | |
Lammich Peter, Lochbihler Andreas (2010) In: Kaufmann Matt, Paulson Lawrence C. (Hrsg.), Interactive Theorem Proving, 339-354. Springer. doi:10.1007/978-3-642-14052-5_24 Forschungsartikel in Sammelband (Konferenz) | Peer reviewed | Veröffentlicht |
Promotionen
| Locksensitive Analyse paralleler Programme Promovend*in: Lammich, Peter | Betreuer*innen: Müller-Olm, Markus Zeitraum: bis 28.06.2011 Promotionsverfahren erfolgt(e) an: Promotionsverfahren an der Universität Münster |