Christoph Senjak

According to our database, Christoph Senjak authored at least 2 papers between 2013 and 2016.

Collaborative distances:

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

2016

An Implementation of Deflate in Coq.

Christoph-Simon Senjak, Martin Hofmann

Proceedings of the FM 2016: Formal Methods, 2016

2013

Minimal from classical proofs.

Helmut Schwichtenberg, Christoph Senjak

Ann. Pure Appl. Log., 2013