Christina Rickmann

According to our database, Christina Rickmann authored at least 5 papers between 2012 and 2016.

Collaborative distances:

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

2016

Topological Self-Stabilization with Name-Passing Process Calculi.

Christina Rickmann

CoRR, 2016

A Constructive Proof for FLP.

Benjamin Bisping, Paul-David Brodmann, Tim Jungnickel, Christina Rickmann, Henning Seidler, Anke Stüber, Arno Wilhelm-Weidner, Kirstin Peters, Uwe Nestmann

Arch. Formal Proofs, 2016

Mechanical Verification of a Constructive Proof for FLP.

Benjamin Bisping, Paul-David Brodmann, Tim Jungnickel, Christina Rickmann, Henning Seidler, Anke Stüber, Arno Wilhelm-Weidner, Kirstin Peters, Uwe Nestmann

Proceedings of the Interactive Theorem Proving - 7th International Conference, 2016

Topological Self-Stabilization with Name-Passing Process Calculi.

Christina Rickmann, Christoph Wagner, Uwe Nestmann, Stefan Schmid

Proceedings of the 27th International Conference on Concurrency Theory, 2016

2012

Formal Verification of Distributed Algorithms - From Pseudo Code to Checked Proofs.

Philipp Küfner, Uwe Nestmann, Christina Rickmann

Proceedings of the Theoretical Computer Science, 2012