Peter Zahn

According to our database, Peter Zahn authored at least 11 papers between 1985 and 2017.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2017

Verifying the safety of lane change maneuvers of self-driving vehicles based on formalized traffic rules.

Christian Pek, Peter Zahn, Matthias Althoff

Proceedings of the IEEE Intelligent Vehicles Symposium, 2017

2016

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

2014

Microscopic traffic simulation based evaluation of highly automated driving on highways.

Mohammad Bahram, Zahra Ghandeharioun, Peter Zahn, Mathias Baur, Werner Huber, Fritz Busch

Proceedings of the 17th International IEEE Conference on Intelligent Transportation Systems, 2014

2013

Automatic generation of intersection topologies using numerous GPS traces.

Andreas von Eichhorn, Peter Zahn, Dieter Schramm

Proceedings of the 5th IEEE International Symposium on Wireless Vehicular Communications, 2013

Maneuver prediction at intersections using cost-to-go gradients.

Andreas von Eichhorn, Moritz Werling, Peter Zahn, Dieter Schramm

Proceedings of the 16th International IEEE Conference on Intelligent Transportation Systems, 2013

2006

A Normative Model of Classical Reasoning in Higher Order Languages.

Peter Zahn

Synth., 2006

1995

A Nonstandard Delta Function in a Predicative Theory.

Peter Zahn

Math. Log. Q., 1995

1989

Supplements to "A Predicative Approach to Nonstandard Mathematics".

Peter Zahn

Math. Log. Q., 1989

A Meaningful Mathematical First Order Language: Partial Peano Algebras and Rule Systems.

Peter Zahn

Math. Log. Q., 1989

1987

A Predicative Approach to Nonstandard Mathematics.

Peter Zahn

Math. Log. Q., 1987

1985

Gilt das Lemma von König "konstruktiv"?

Peter Zahn

Arch. Math. Log., 1985