# Peter Zahn

According to our database

Collaborative distances:

^{1}, Peter Zahn authored at least 11 papers between 1985 and 2017.Collaborative distances:

## 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