Peter Zahn

Publication Activity (10 Years)

Years Active: 1985-2017
Publications (10 Years): 2

Top Topics

Traffic Patterns

Navigation Systems

Fuel Consumption

Top Venues

Intelligent Vehicles Symposium

Publications

Christian Pek, Peter Zahn, Matthias Althoff
Verifying the safety of lane change maneuvers of self-driving vehicles based on formalized traffic rules. Intelligent Vehicles Symposium (2017)
Aitor Oyanguren, Peter Zahn, A. H. Alberdi, Jon Larrañaga, Armin Lechler, Ibai Ulacia
Preload variation due to temperature increase in double nut ball screws. Prod. Eng. 10 (4-5) (2016)
Mohammad Bahram, Zahra Ghandeharioun, Peter Zahn, Mathias Baur, Werner Huber, Fritz Busch
Microscopic traffic simulation based evaluation of highly automated driving on highways. ITSC (2014)
Andreas von Eichhorn, Moritz Werling, Peter Zahn, Dieter Schramm
Maneuver prediction at intersections using cost-to-go gradients. ITSC (2013)
Andreas von Eichhorn, Peter Zahn, Dieter Schramm
Automatic generation of intersection topologies using numerous GPS traces. WiVeC (2013)
Peter Zahn
A Normative Model of Classical Reasoning in Higher Order Languages. Synth. 148 (2) (2006)
Peter Zahn
A Nonstandard Delta Function in a Predicative Theory. Math. Log. Q. 41 (1995)
Peter Zahn
A Meaningful Mathematical First Order Language: Partial Peano Algebras and Rule Systems. Math. Log. Q. 35 (2) (1989)
Peter Zahn
Supplements to "A Predicative Approach to Nonstandard Mathematics". Math. Log. Q. 35 (3) (1989)
Peter Zahn
A Predicative Approach to Nonstandard Mathematics. Math. Log. Q. 33 (1) (1987)
Peter Zahn
Gilt das Lemma von König "konstruktiv"? Arch. Math. Log. 25 (1) (1985)