BibTeX records: Patrick Wischnewski

download as .bib file

@inproceedings{DBLP:conf/isola/FetzerWW16,
  author    = {Christof Fetzer and
               Christoph Weidenbach and
               Patrick Wischnewski},
  editor    = {Tiziana Margaria and
               Bernhard Steffen},
  title     = {Compliance, Functional Safety and Fault Detection by Formal Methods},
  booktitle = {Leveraging Applications of Formal Methods, Verification and Validation:
               Discussion, Dissemination, Applications - 7th International Symposium,
               ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings,
               Part {II}},
  series    = {Lecture Notes in Computer Science},
  volume    = {9953},
  pages     = {626--632},
  year      = {2016},
  url       = {https://doi.org/10.1007/978-3-319-47169-3\_48},
  doi       = {10.1007/978-3-319-47169-3\_48},
  timestamp = {Tue, 14 May 2019 10:00:41 +0200},
  biburl    = {https://dblp.org/rec/conf/isola/FetzerWW16.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ispe/JunkRRTWW15,
  author    = {Christopher Junk and
               Robert R{\"{o}}{\ss}ger and
               Georg Rock and
               Karsten Theis and
               Christoph Weidenbach and
               Patrick Wischnewski},
  editor    = {Richard Curran and
               Nel Wognum and
               Milton Borsato and
               Josip Stjepandic and
               Wim J. C. Verhagen},
  title     = {Model-Based Variant Management with v.control},
  booktitle = {Transdisciplinary Lifecycle Analysis of Systems - Proceedings of the
               22nd {ISPE} Inc. International Conference on Concurrent Engineering,
               Delft, The Netherlands, July 20-23, 2015},
  series    = {Advances in Transdisciplinary Engineering},
  volume    = {2},
  pages     = {194--203},
  publisher = {{IOS} Press},
  year      = {2015},
  url       = {https://doi.org/10.3233/978-1-61499-544-9-194},
  doi       = {10.3233/978-1-61499-544-9-194},
  timestamp = {Thu, 25 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/ispe/JunkRRTWW15.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/DhunganaTWW13,
  author    = {Deepak Dhungana and
               Ching Hoo Tang and
               Christoph Weidenbach and
               Patrick Wischnewski},
  editor    = {Ewen Denney and
               Tevfik Bultan and
               Andreas Zeller},
  title     = {Automated verification of interactive rule-based configuration systems},
  booktitle = {2013 28th {IEEE/ACM} International Conference on Automated Software
               Engineering, {ASE} 2013, Silicon Valley, CA, USA, November 11-15,
               2013},
  pages     = {551--561},
  publisher = {{IEEE}},
  year      = {2013},
  url       = {https://doi.org/10.1109/ASE.2013.6693112},
  doi       = {10.1109/ASE.2013.6693112},
  timestamp = {Wed, 16 Oct 2019 14:14:55 +0200},
  biburl    = {https://dblp.org/rec/conf/kbse/DhunganaTWW13.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/DhunganaTWW13,
  author    = {Deepak Dhungana and
               Ching Hoo Tang and
               Christoph Weidenbach and
               Patrick Wischnewski},
  title     = {Automated Verification of Interactive Rule-Based Configuration Systems
               (Additional Material)},
  journal   = {CoRR},
  volume    = {abs/1309.0065},
  year      = {2013},
  url       = {http://arxiv.org/abs/1309.0065},
  archivePrefix = {arXiv},
  eprint    = {1309.0065},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/corr/DhunganaTWW13.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/dnb/Wischnewski12,
  author    = {Patrick Wischnewski},
  title     = {Efficient reasoning procedures for complex first-order theories},
  school    = {Saarland University},
  year      = {2012},
  url       = {http://scidok.sulb.uni-saarland.de/volltexte/2012/4996/},
  timestamp = {Wed, 12 Feb 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/phd/dnb/Wischnewski12.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/WeidenbachW12,
  author    = {Christoph Weidenbach and
               Patrick Wischnewski},
  editor    = {Pascal Fontaine and
               Renate A. Schmidt and
               Stephan Schulz},
  title     = {Satisfiability Checking and Query Answering for Large Ontologies},
  booktitle = {Third Workshop on Practical Aspects of Automated Reasoning, PAAR-2012,
               Manchester, UK, June 30 - July 1, 2012},
  series    = {EPiC Series in Computing},
  volume    = {21},
  pages     = {163--177},
  publisher = {EasyChair},
  year      = {2012},
  url       = {https://easychair.org/publications/paper/P85},
  timestamp = {Wed, 27 May 2020 16:02:02 +0200},
  biburl    = {https://dblp.org/rec/conf/cade/WeidenbachW12.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aicom/WeidenbachW10,
  author    = {Christoph Weidenbach and
               Patrick Wischnewski},
  title     = {Subterm contextual rewriting},
  journal   = {{AI} Commun.},
  volume    = {23},
  number    = {2-3},
  pages     = {97--109},
  year      = {2010},
  url       = {https://doi.org/10.3233/AIC-2010-0459},
  doi       = {10.3233/AIC-2010-0459},
  timestamp = {Thu, 18 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/aicom/WeidenbachW10.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/SudaWW10,
  author    = {Martin Suda and
               Christoph Weidenbach and
               Patrick Wischnewski},
  editor    = {J{\"{u}}rgen Giesl and
               Reiner H{\"{a}}hnle},
  title     = {On the Saturation of {YAGO}},
  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     = {441--456},
  publisher = {Springer},
  year      = {2010},
  url       = {https://doi.org/10.1007/978-3-642-14203-1\_38},
  doi       = {10.1007/978-3-642-14203-1\_38},
  timestamp = {Thu, 28 Nov 2019 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/conf/cade/SudaWW10.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/WeidenbachDFKSW09,
  author    = {Christoph Weidenbach and
               Dilyana Dimova and
               Arnaud Fietzke and
               Rohit Kumar and
               Martin Suda and
               Patrick Wischnewski},
  editor    = {Renate A. Schmidt},
  title     = {{SPASS} Version 3.5},
  booktitle = {Automated Deduction - CADE-22, 22nd International Conference on Automated
               Deduction, Montreal, Canada, August 2-7, 2009. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {5663},
  pages     = {140--145},
  publisher = {Springer},
  year      = {2009},
  url       = {https://doi.org/10.1007/978-3-642-02959-2\_10},
  doi       = {10.1007/978-3-642-02959-2\_10},
  timestamp = {Tue, 14 May 2019 10:00:39 +0200},
  biburl    = {https://dblp.org/rec/conf/cade/WeidenbachDFKSW09.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ki/SudaSWLM09,
  author    = {Martin Suda and
               Geoff Sutcliffe and
               Patrick Wischnewski and
               Manuel Lamotte{-}Schubert and
               Gerard de Melo},
  editor    = {B{\"{a}}rbel Mertsching and
               Marcus Hund and
               Muhammad Zaheer Aziz},
  title     = {External Sources of Axioms in Automated Theorem Proving},
  booktitle = {{KI} 2009: Advances in Artificial Intelligence, 32nd Annual German
               Conference on AI, Paderborn, Germany, September 15-18, 2009. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {5803},
  pages     = {281--288},
  publisher = {Springer},
  year      = {2009},
  url       = {https://doi.org/10.1007/978-3-642-04617-9\_36},
  doi       = {10.1007/978-3-642-04617-9\_36},
  timestamp = {Tue, 14 May 2019 10:00:49 +0200},
  biburl    = {https://dblp.org/rec/conf/ki/SudaSWLM09.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/WeidenbachW08,
  author    = {Christoph Weidenbach and
               Patrick Wischnewski},
  editor    = {Boris Konev and
               Renate A. Schmidt and
               Stephan Schulz},
  title     = {Contextual Rewriting in {SPASS}},
  booktitle = {Proceedings of the First International Workshop on Practical Aspects
               of Automated Reasoning, Sydney, Australia, August 10-11, 2008},
  series    = {{CEUR} Workshop Proceedings},
  volume    = {373},
  publisher = {CEUR-WS.org},
  year      = {2008},
  url       = {http://ceur-ws.org/Vol-373/paper-10.pdf},
  timestamp = {Wed, 12 Feb 2020 16:45:03 +0100},
  biburl    = {https://dblp.org/rec/conf/cade/WeidenbachW08.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics