Automated Verification of Relational While-Programs. - Rudolf Berghammer; Peter Höfner; Insa Stucke (RAMiCS, 2014)

Tool-Based Verification of a Relational Vertex Coloring Program. - Rudolf Berghammer; Peter Höfner; Insa Stucke (RAMiCS, 2015)

Investigating and Computing Bipartitions with Algebraic Means. - Rudolf Berghammer; Insa Stucke; Michael Winter 001 (RAMiCS, 2015)

Cardinalities of Finite Relations in Coq. - Paul Brunet; Damien Pous; Insa Stucke (ITP, 2016)

Cardinality of relations with applications. - Rudolf Berghammer; Nikita Danilenko; Peter Höfner; Insa Stucke (Discret. Math., 2016)

Cardinality of relations and relational approximation algorithms. - Rudolf Berghammer; Peter Höfner; Insa Stucke (J. Log. Algebraic Methods Program., 2016)

Reasoning About Cardinalities of Relations with Applications Supported by Proof Assistants. - Insa Stucke (RAMiCS, 2017)

Using relation-algebraic means and tool support for investigating and computing bipartitions. - Rudolf Berghammer; Insa Stucke; Michael Winter 001 (J. Log. Algebraic Methods Program., 2017)

Verification of relational programs supported by theorem provers. - Insa Stucke (2017)