BibTeX records: Insa Stucke

download as .bib file

@phdthesis{DBLP:phd/dnb/Stucke17,
  author       = {Insa Stucke},
  title        = {Verification of relational programs supported by theorem provers},
  school       = {University of Kiel, Germany},
  year         = {2017},
  url          = {https://d-nb.info/1153934914},
  timestamp    = {Sat, 17 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/phd/dnb/Stucke17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jlp/BerghammerSW17,
  author       = {Rudolf Berghammer and
                  Insa Stucke and
                  Michael Winter},
  title        = {Using relation-algebraic means and tool support for investigating
                  and computing bipartitions},
  journal      = {J. Log. Algebraic Methods Program.},
  volume       = {90},
  pages        = {102--124},
  year         = {2017},
  url          = {https://doi.org/10.1016/j.jlamp.2017.04.001},
  doi          = {10.1016/J.JLAMP.2017.04.001},
  timestamp    = {Wed, 01 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jlp/BerghammerSW17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/RelMiCS/Stucke17,
  author       = {Insa Stucke},
  editor       = {Peter H{\"{o}}fner and
                  Damien Pous and
                  Georg Struth},
  title        = {Reasoning About Cardinalities of Relations with Applications Supported
                  by Proof Assistants},
  booktitle    = {Relational and Algebraic Methods in Computer Science - 16th International
                  Conference, RAMiCS 2017, Lyon, France, May 15-18, 2017, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10226},
  pages        = {290--306},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-319-57418-9\_18},
  doi          = {10.1007/978-3-319-57418-9\_18},
  timestamp    = {Tue, 14 May 2019 10:00:51 +0200},
  biburl       = {https://dblp.org/rec/conf/RelMiCS/Stucke17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/dm/BerghammerDHS16,
  author       = {Rudolf Berghammer and
                  Nikita Danilenko and
                  Peter H{\"{o}}fner and
                  Insa Stucke},
  title        = {Cardinality of relations with applications},
  journal      = {Discret. Math.},
  volume       = {339},
  number       = {12},
  pages        = {3089--3115},
  year         = {2016},
  url          = {https://doi.org/10.1016/j.disc.2016.06.019},
  doi          = {10.1016/J.DISC.2016.06.019},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/dm/BerghammerDHS16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jlp/BerghammerHS16,
  author       = {Rudolf Berghammer and
                  Peter H{\"{o}}fner and
                  Insa Stucke},
  title        = {Cardinality of relations and relational approximation algorithms},
  journal      = {J. Log. Algebraic Methods Program.},
  volume       = {85},
  number       = {2},
  pages        = {269--286},
  year         = {2016},
  url          = {https://doi.org/10.1016/j.jlamp.2015.12.001},
  doi          = {10.1016/J.JLAMP.2015.12.001},
  timestamp    = {Tue, 16 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jlp/BerghammerHS16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/itp/BrunetPS16,
  author       = {Paul Brunet and
                  Damien Pous and
                  Insa Stucke},
  editor       = {Jasmin Christian Blanchette and
                  Stephan Merz},
  title        = {Cardinalities of Finite Relations in Coq},
  booktitle    = {Interactive Theorem Proving - 7th International Conference, {ITP}
                  2016, Nancy, France, August 22-25, 2016, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9807},
  pages        = {466--474},
  publisher    = {Springer},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-43144-4\_29},
  doi          = {10.1007/978-3-319-43144-4\_29},
  timestamp    = {Tue, 14 May 2019 10:00:37 +0200},
  biburl       = {https://dblp.org/rec/conf/itp/BrunetPS16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/RelMiCS/BerghammerSW15,
  author       = {Rudolf Berghammer and
                  Insa Stucke and
                  Michael Winter},
  editor       = {Wolfram Kahl and
                  Michael Winter and
                  Jos{\'{e}} Nuno Oliveira},
  title        = {Investigating and Computing Bipartitions with Algebraic Means},
  booktitle    = {Relational and Algebraic Methods in Computer Science - 15th International
                  Conference, RAMiCS 2015, Braga, Portugal, September 28 - October 1,
                  2015, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9348},
  pages        = {257--274},
  publisher    = {Springer},
  year         = {2015},
  url          = {https://doi.org/10.1007/978-3-319-24704-5\_16},
  doi          = {10.1007/978-3-319-24704-5\_16},
  timestamp    = {Wed, 15 Dec 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/RelMiCS/BerghammerSW15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/RelMiCS/BerghammerHS15,
  author       = {Rudolf Berghammer and
                  Peter H{\"{o}}fner and
                  Insa Stucke},
  editor       = {Wolfram Kahl and
                  Michael Winter and
                  Jos{\'{e}} Nuno Oliveira},
  title        = {Tool-Based Verification of a Relational Vertex Coloring Program},
  booktitle    = {Relational and Algebraic Methods in Computer Science - 15th International
                  Conference, RAMiCS 2015, Braga, Portugal, September 28 - October 1,
                  2015, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9348},
  pages        = {275--292},
  publisher    = {Springer},
  year         = {2015},
  url          = {https://doi.org/10.1007/978-3-319-24704-5\_17},
  doi          = {10.1007/978-3-319-24704-5\_17},
  timestamp    = {Wed, 15 Dec 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/RelMiCS/BerghammerHS15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/RelMiCS/BerghammerHS14,
  author       = {Rudolf Berghammer and
                  Peter H{\"{o}}fner and
                  Insa Stucke},
  editor       = {Peter H{\"{o}}fner and
                  Peter Jipsen and
                  Wolfram Kahl and
                  Martin Eric M{\"{u}}ller},
  title        = {Automated Verification of Relational While-Programs},
  booktitle    = {Relational and Algebraic Methods in Computer Science - 14th International
                  Conference, RAMiCS 2014, Marienstatt, Germany, April 28-May 1, 2014.
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8428},
  pages        = {173--190},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-06251-8\_11},
  doi          = {10.1007/978-3-319-06251-8\_11},
  timestamp    = {Wed, 15 Dec 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/RelMiCS/BerghammerHS14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.