Arbeitsgruppe Rechnergestützte Programmentwicklung

Publikationen

  • Insa Stucke:
    Reasoning about Cardinalities of Relations with Applications Supported by Proof Assistants. RAMiCS 2017 (to appear)
  • P. Brunet, D. Pous, I. Stucke: 
    Cardinalities of Finite Relations in Coq (Rough Diamond). ITP 2016, LNCS 9807 pp. 466-474, Springer 2016.
  • R. Berghammer, N. Danilenko, P. Höfner, I. Stucke: 
    Cardinality of Relations with Applications. Journal of Discrete Mathematics 339, pp. 3089-3115. 2016.
  • R. Berghammer, P. Höfner, I. Stucke: 
    Cardinality of relations and relational approximation algorithms. Journal of Logical and Algebraic Methods in Programming 85, pp. 269-286. 2016.
  • Rudolf Berghammer, Insa Stucke, Michael Winter:
    Investigating and Computing Bipartitions with Algebraic Means. RAMiCS 2015, LNCS 9348, pp. 257-274. Springer 2015.
  • Rudolf Berghammer, Peter Höfner, Insa Stucke:
    Tool-Based Verification of a Relational Vertex Coloring Program. RAMiCS 2015, LNCS 9348, pp. 275-292. Springer 2015.
  • Rudolf Berghammer, Peter Höfner, Insa Stucke:
    Automated Verification of Relational While-Programs. RAMiCS 2014, LNCS 8248, pp. 309-326. Springer 2014.