Gilt das Lemma von König "konstruktiv"? - Peter Zahn (Arch. Math. Log., 1985)

A Predicative Approach to Nonstandard Mathematics. - Peter Zahn (Math. Log. Q., 1987)

A Meaningful Mathematical First Order Language: Partial Peano Algebras and Rule Systems. - Peter Zahn (Math. Log. Q., 1989)

Supplements to "A Predicative Approach to Nonstandard Mathematics". - Peter Zahn (Math. Log. Q., 1989)

A Nonstandard Delta Function in a Predicative Theory. - Peter Zahn (Math. Log. Q., 1995)

A Normative Model of Classical Reasoning in Higher Order Languages. - Peter Zahn (Synth., 2006)

Maneuver prediction at intersections using cost-to-go gradients. - Andreas von Eichhorn; Moritz Werling; Peter Zahn; Dieter Schramm (ITSC, 2013)

Automatic generation of intersection topologies using numerous GPS traces. - Andreas von Eichhorn; Peter Zahn; Dieter Schramm (WiVeC, 2013)

Microscopic traffic simulation based evaluation of highly automated driving on highways. - Mohammad Bahram; Zahra Ghandeharioun; Peter Zahn; Mathias Baur; Werner Huber; Fritz Busch (ITSC, 2014)

Preload variation due to temperature increase in double nut ball screws. - Aitor Oyanguren; Peter Zahn; A. H. Alberdi; Jon Larrañaga; Armin Lechler; Ibai Ulacia (Prod. Eng., 2016)

Verifying the safety of lane change maneuvers of self-driving vehicles based on formalized traffic rules. - Christian Pek; Peter Zahn; Matthias Althoff (Intelligent Vehicles Symposium, 2017)

Data publication: Describing chain-like assembly of ethoxygroup-functionalized organic molecules on Au(111) using high-throughput simulations. - Mani Lokamani; Jeffrey Kelling; Robin Ohmann; Jörg Meyer; Tim Kühne; Gianaurello Cuniberti; Jannic Wolf; Guido Juckeland; Thomas Huhn; Peter Zahn; Francesca Moresco; Sibylle Gemming (RODARE, 2022)