Peter Zahn - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 11 from 11

2017

Verifying the safety of lane change maneuvers of self-driving vehicles based on formalized traffic rulesChristian Pek, Peter Zahn, Matthias Althoff. ivs 2017: 1477-1483 [doi]

2016

Preload variation due to temperature increase in double nut ball screwsAitor Oyanguren, Peter Zahn, A. H. Alberdi, Jon Larrañaga, Armin Lechler, Ibai Ulacia. peng, 10(4-5):529-537, 2016. [doi]

2014

Microscopic traffic simulation based evaluation of highly automated driving on highwaysMohammad Bahram, Zahra Ghandeharioun, Peter Zahn, Mathias Baur, Werner Huber, Fritz Busch. itsc 2014: 1752-1757 [doi]

2013

Automatic generation of intersection topologies using numerous GPS tracesAndreas von Eichhorn, Peter Zahn, Dieter Schramm. wivec 2013: 1-5 [doi]

Maneuver prediction at intersections using cost-to-go gradientsAndreas von Eichhorn, Moritz Werling, Peter Zahn, Dieter Schramm. itsc 2013: 112-117 [doi]

2006

A Normative Model of Classical Reasoning in Higher Order LanguagesPeter Zahn. synthese, 148(2):309-343, 2006. [doi]

1995

A Nonstandard Delta Fundion in a Predicative TheoryPeter Zahn. mlq, 41:257-260, 1995.

1989

Supplements to "A Predicative Approach to Nonstandard Mathematics"Peter Zahn. mlq, 35(3):269-271, 1989. [doi]

A Meaningful Mathematical First Order Language: Partial Peano Algebras and Rule SystemsPeter Zahn. mlq, 35(2):155-168, 1989. [doi]

1987

A Predicative Approach to Nonstandard MathematicsPeter Zahn. mlq, 33(1):85-96, 1987. [doi]

1985

Gilt das Lemma von König "konstruktiv"?Peter Zahn. AML, 25(1):33-35, 1985. [doi]

Sign in or sign up to see more results.

runs on WebDSL