Peter Zahn

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