Insa Stucke

According to our database, Insa Stucke authored at least 9 papers between 2014 and 2017.

Collaborative distances:

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

2017

Verification of relational programs supported by theorem provers.

Insa Stucke

PhD thesis, 2017

Using relation-algebraic means and tool support for investigating and computing bipartitions.

Rudolf Berghammer, Insa Stucke, Michael Winter

J. Log. Algebraic Methods Program., 2017

Reasoning About Cardinalities of Relations with Applications Supported by Proof Assistants.

Insa Stucke

Proceedings of the Relational and Algebraic Methods in Computer Science, 2017

2016

Cardinality of relations and relational approximation algorithms.

Rudolf Berghammer, Peter Höfner, Insa Stucke

J. Log. Algebraic Methods Program., 2016

Cardinality of relations with applications.

Rudolf Berghammer, Nikita Danilenko, Peter Höfner, Insa Stucke

Discret. Math., 2016

Cardinalities of Finite Relations in Coq.

Paul Brunet, Damien Pous, Insa Stucke

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

2015

Investigating and Computing Bipartitions with Algebraic Means.

Rudolf Berghammer, Insa Stucke, Michael Winter

Proceedings of the Relational and Algebraic Methods in Computer Science, 2015

Tool-Based Verification of a Relational Vertex Coloring Program.

Rudolf Berghammer, Peter Höfner, Insa Stucke

Proceedings of the Relational and Algebraic Methods in Computer Science, 2015

2014

Automated Verification of Relational While-Programs.

Rudolf Berghammer, Peter Höfner, Insa Stucke

Proceedings of the Relational and Algebraic Methods in Computer Science, 2014