Insa Stucke

Publication Activity (10 Years)

Years Active: 2014-2017
Publications (10 Years): 7

Top Topics

Cardinality Constraints

Approximation Algorithms

Top Venues

J. Log. Algebraic Methods Program.

University of Kiel, Germany (PHD)

Education History

University of Kiel, Germany

PHD

Publications

Rudolf Berghammer, Insa Stucke, Michael Winter
Using relation-algebraic means and tool support for investigating and computing bipartitions. J. Log. Algebraic Methods Program. 90 (2017)
Insa Stucke
Reasoning About Cardinalities of Relations with Applications Supported by Proof Assistants. RAMiCS (2017)
Rudolf Berghammer, Nikita Danilenko, Peter Höfner, Insa Stucke
Cardinality of relations with applications. Discret. Math. 339 (12) (2016)
Paul Brunet, Damien Pous, Insa Stucke
Cardinalities of Finite Relations in Coq. ITP (2016)
Rudolf Berghammer, Peter Höfner, Insa Stucke
Cardinality of relations and relational approximation algorithms. J. Log. Algebraic Methods Program. 85 (2) (2016)
Rudolf Berghammer, Insa Stucke, Michael Winter
Investigating and Computing Bipartitions with Algebraic Means. RAMiCS (2015)
Rudolf Berghammer, Peter Höfner, Insa Stucke
Tool-Based Verification of a Relational Vertex Coloring Program. RAMiCS (2015)
Rudolf Berghammer, Peter Höfner, Insa Stucke
Automated Verification of Relational While-Programs. RAMiCS (2014)