T. Esch, G. Schorcht, M. Thiel, и S. Dech. In: Bayerisches Staatsministerium für Umwelt, Gesundheit und Verbraucherschutz (StMUGV) und Oberste Baubehörde im Bayerischen Staatsministerium des Inneren (Hrsg.): Tagungsband zum 1. Bayerischen Flächenspar-Forum, 26.-28. September 2007, Laufen. S. 91-95, (2007)
T. Esch, G. Schorcht, M. Thiel, и S. Dech. In: Bayerisches Staatsministerium für Umwelt, Gesundheit und Verbraucherschutz (StMUGV) und Oberste Baubehörde im Bayerischen Staatsministerium des Inneren (Hrsg.): Tagungsband zum 1. Bayerischen Flächenspar-Forum, 26.-28. September 2007, Laufen. S. 91-95, (2007)
I. Berkovits, M. Lazic, G. Losa, O. Padon, и S. Shoham. Computer Aided Verification - 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part II, том 11562 из Lecture Notes in Computer Science, стр. 245--266. Springer, (2019)#conference.
N. Bertrand, I. Konnov, M. Lazic, и J. Widder. CONCUR, том 140 из LIPIcs, стр. 33:1-33:15. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2019)Preprint: <a href="https://hal.inria.fr/hal-01925533/">Link</a><br>#conference.
J. Esparza, P. Ganty, R. Majumdar, и C. Weil-Kennedy. 29th International Conference on Concurrency Theory (CONCUR 2018), том 118 из LIPIcs, стр. 31:1-31:16. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, (2018)https://arxiv.org/abs/1807.06071.
P. Knöfel, C. Conrad, и S. Dech. "1. Gemeinsames Arbeitskreis-Treffen AK „Fernerkundung“ der DGfG und AK „Interpretation von Fernerkundungsdaten“ der DGPF", (Oktober 2012)
P. Knöfel, C. Conrad, и S. Dech. "1. Gemeinsames Arbeitskreis-Treffen AK „Fernerkundung“ der DGfG und AK „Interpretation von Fernerkundungsdaten“ der DGPF", (Oktober 2012)