Eric Hilgendorf

According to our database, Eric Hilgendorf authored at least 2 papers between 2012 and 2017.

Collaborative distances:

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

2017

Formalising and Monitoring Traffic Rules for Autonomous Vehicles in Isabelle/HOL.

Albert Rizaldi, Jonas Keinholz, Monika Huber, Jochen Feldle, Fabian Immler, Matthias Althoff, Eric Hilgendorf, Tobias Nipkow

Proceedings of the Integrated Formal Methods - 13th International Conference, 2017

2012

Computer- und Internetstrafrecht - ein Grundriss, 2. Auflage.

Eric Hilgendorf, Brian Valerius

Springer, ISBN: 978-3-642-16884-0, 2012