Jens Christoph Bürger

According to our database, Jens Christoph Bürger authored at least 2 papers between 2018 and 2020.

Collaborative distances:

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

2020

Towards an Isabelle Theory for distributed, interactive systems: The untimed case.

Jens Christoph Bürger, Hendrik Kausch, Deni Raco, Jan Oliver Ringert, Bernhard Rumpe, Sebastian Stüber, Marc Wiartalla

Aachener Informatik-Berichte, Software Engineering 45, Shaker, ISBN: 978-3-8440-7265-5, 2020

2018

Smart Contract-Based Car Insurance Policies.

Lennart Bader, Jens Christoph Bürger, Roman Matzutt, Klaus Wehrle

Proceedings of the IEEE Globecom Workshops, 2018