Verification of relational programs supported by theorem provers.
PhD thesis, 2017
Using relation-algebraic means and tool support for investigating and computing bipartitions.
J. Log. Algebraic Methods Program., 2017
Reasoning About Cardinalities of Relations with Applications Supported by Proof Assistants.
Proceedings of the Relational and Algebraic Methods in Computer Science, 2017
Cardinality of relations and relational approximation algorithms.
J. Log. Algebraic Methods Program., 2016
Cardinality of relations with applications.
Discret. Math., 2016
Cardinalities of Finite Relations in Coq.
Proceedings of the Interactive Theorem Proving - 7th International Conference, 2016
Investigating and Computing Bipartitions with Algebraic Means.
Proceedings of the Relational and Algebraic Methods in Computer Science, 2015
Tool-Based Verification of a Relational Vertex Coloring Program.
Proceedings of the Relational and Algebraic Methods in Computer Science, 2015
Automated Verification of Relational While-Programs.
Proceedings of the Relational and Algebraic Methods in Computer Science, 2014