Peter Zahn

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

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of five.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2017
Verifying the safety of lane change maneuvers of self-driving vehicles based on formalized traffic rules.
Proceedings of the IEEE Intelligent Vehicles Symposium, 2017

2016
Preload variation due to temperature increase in double nut ball screws.
Production Engineering, 2016

2014
Microscopic traffic simulation based evaluation of highly automated driving on highways.
Proceedings of the 17th International IEEE Conference on Intelligent Transportation Systems, 2014

2013
Automatic generation of intersection topologies using numerous GPS traces.
Proceedings of the 5th IEEE International Symposium on Wireless Vehicular Communications, 2013

Maneuver prediction at intersections using cost-to-go gradients.
Proceedings of the 16th International IEEE Conference on Intelligent Transportation Systems, 2013

2006
A Normative Model of Classical Reasoning in Higher Order Languages.
Synthese, 2006

1995
A Nonstandard Delta Function in a Predicative Theory.
Math. Log. Q., 1995

1989
Supplements to "A Predicative Approach to Nonstandard Mathematics".
Math. Log. Q., 1989

A Meaningful Mathematical First Order Language: Partial Peano Algebras and Rule Systems.
Math. Log. Q., 1989

1987
A Predicative Approach to Nonstandard Mathematics.
Math. Log. Q., 1987

1985
Gilt das Lemma von König "konstruktiv"?
Arch. Math. Log., 1985


  Loading...