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) Art der Publikation: Sonstige wissenschaftliche Veröffentlichung | |
Kidd Nicholas, Lammich Peter, Touili Tayssir, Reps Thomas (2011) In: International Journal on Software Tools for Technology Transfer, 13(1) Art der Publikation: Forschungsartikel (Zeitschrift) | |
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. ACM Press. Art der Publikation: Forschungsartikel in Sammelband (Konferenz) | |
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. Berlin, Heidelberg, New York: Springer. Art der Publikation: Forschungsartikel in Sammelband (Konferenz) | |
Lammich Peter, Lochbihler Andreas (2010) In: Kaufmann Matt, Paulson Lawrence C. (Hrsg.), Interactive Theorem Proving. Springer. Art der Publikation: Forschungsartikel in Sammelband (Konferenz) |
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 |