BibTeX records: Markus Aderhold

• > Home > Persons > Markus Aderhold

@proceedings{DBLP:conf/cade/2010verify,
  editor       = {Markus Aderhold and
                  Serge Autexier and
                  Heiko Mantel},
  title        = {6th International Verification Workshop, VERIFY-2010, Edinburgh, UK,
                  July 20-21, 2010},
  series       = {EPiC Series in Computing},
  volume       = {3},
  publisher    = {EasyChair},
  year         = {2012},
  url          = {https://easychair.org/publications/volume/VERIFY-2010},
  timestamp    = {Fri, 13 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cade/2010verify.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/birthday/Aderhold10,
  author       = {Markus Aderhold},
  editor       = {Simon Siegler and
                  Nathan Wasser},
  title        = {Second-Order Programs with Preconditions},
  booktitle    = {Verification, Induction, Termination Analysis - Festschrift for Christoph
                  Walther on the Occasion of His 60th Birthday},
  series       = {Lecture Notes in Computer Science},
  volume       = {6463},
  pages        = {129--143},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-17172-7\_8},
  doi          = {10.1007/978-3-642-17172-7\_8},
  timestamp    = {Tue, 14 May 2019 10:00:52 +0200},
  biburl       = {https://dblp.org/rec/conf/birthday/Aderhold10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cade/Aderhold10,
  author       = {Markus Aderhold},
  editor       = {J{\"{u}}rgen Giesl and
                  Reiner H{\"{a}}hnle},
  title        = {Automated Synthesis of Induction Axioms for Programs with Second-Order
                  Recursion},
  booktitle    = {Automated Reasoning, 5th International Joint Conference, {IJCAR} 2010,
                  Edinburgh, UK, July 16-19, 2010. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6173},
  pages        = {263--277},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-14203-1\_23},
  doi          = {10.1007/978-3-642-14203-1\_23},
  timestamp    = {Wed, 25 Sep 2019 18:19:14 +0200},
  biburl       = {https://dblp.org/rec/conf/cade/Aderhold10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/tacas/Aderhold10,
  author       = {Markus Aderhold},
  editor       = {Javier Esparza and
                  Rupak Majumdar},
  title        = {Automated Termination Analysis for Programs with Second-Order Recursion},
  booktitle    = {Tools and Algorithms for the Construction and Analysis of Systems,
                  16th International Conference, {TACAS} 2010, Held as Part of the Joint
                  European Conferences on Theory and Practice of Software, {ETAPS} 2010,
                  Paphos, Cyprus, March 20-28, 2010. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6015},
  pages        = {221--235},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-12002-2\_18},
  doi          = {10.1007/978-3-642-12002-2\_18},
  timestamp    = {Tue, 14 May 2019 10:00:53 +0200},
  biburl       = {https://dblp.org/rec/conf/tacas/Aderhold10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@phdthesis{DBLP:phd/de/Aderhold2009,
  author       = {Markus Axel Aderhold},
  title        = {Verification of second-order functional programs},
  school       = {Darmstadt University of Technology},
  year         = {2009},
  url          = {http://tuprints.ulb.tu-darmstadt.de/1865/},
  urn          = {urn:nbn:de:tuda-tuprints-18652},
  timestamp    = {Sat, 17 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/phd/de/Aderhold2009.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cade/Aderhold07,
  author       = {Markus Aderhold},
  editor       = {Frank Pfenning},
  title        = {Improvements in Formula Generalization},
  booktitle    = {Automated Deduction - CADE-21, 21st International Conference on Automated
                  Deduction, Bremen, Germany, July 17-20, 2007, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4603},
  pages        = {231--246},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-73595-3\_16},
  doi          = {10.1007/978-3-540-73595-3\_16},
  timestamp    = {Tue, 14 May 2019 10:00:39 +0200},
  biburl       = {https://dblp.org/rec/conf/cade/Aderhold07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/SchlosserWGA07,
  author       = {Andreas Schlosser and
                  Christoph Walther and
                  Michael Gonder and
                  Markus Aderhold},
  editor       = {Aaron Stump and
                  Hongwei Xi},
  title        = {Context Dependent Procedures and Computed Types in -eriFun},
  booktitle    = {Proceedings of the Programming Languages meets Program Verification,
                  PLPV@IJCAR 2006, Part of FLoC 2006, Seattle, WA, USA, August 21, 2006},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {174},
  number       = {7},
  pages        = {61--78},
  publisher    = {Elsevier},
  year         = {2006},
  url          = {https://doi.org/10.1016/j.entcs.2006.10.038},
  doi          = {10.1016/J.ENTCS.2006.10.038},
  timestamp    = {Fri, 27 Jan 2023 13:53:49 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/SchlosserWGA07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}