BibTeX records: Stephan Tobies

download as .bib file

@inproceedings{DBLP:conf/date/JungerBTL020,
  author       = {Lukas J{\"{u}}nger and
                  Jan Luca Malte B{\"{o}}lke and
                  Stephan Tobies and
                  Rainer Leupers and
                  Andreas Hoffmann},
  title        = {ARM-on-ARM: Leveraging Virtualization Extensions for Fast Virtual
                  Platforms},
  booktitle    = {2020 Design, Automation {\&} Test in Europe Conference {\&}
                  Exhibition, {DATE} 2020, Grenoble, France, March 9-13, 2020},
  pages        = {1508--1513},
  publisher    = {{IEEE}},
  year         = {2020},
  url          = {https://doi.org/10.23919/DATE48585.2020.9116573},
  doi          = {10.23919/DATE48585.2020.9116573},
  timestamp    = {Wed, 21 Oct 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/date/JungerBTL020.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/date/BucsFLAT018,
  author       = {Robert Lajos B{\"{u}}cs and
                  Maximilian Fricke and
                  Rainer Leupers and
                  Gerd Ascheid and
                  Stephan Tobies and
                  Andreas Hoffmann},
  editor       = {Jan Madsen and
                  Ayse K. Coskun},
  title        = {{OHEX:} OS-aware hybridization techniques for accelerating MPSoC full-system
                  simulation},
  booktitle    = {2018 Design, Automation {\&} Test in Europe Conference {\&}
                  Exhibition, {DATE} 2018, Dresden, Germany, March 19-23, 2018},
  pages        = {281--284},
  publisher    = {{IEEE}},
  year         = {2018},
  url          = {https://doi.org/10.23919/DATE.2018.8342020},
  doi          = {10.23919/DATE.2018.8342020},
  timestamp    = {Wed, 16 Oct 2019 14:14:53 +0200},
  biburl       = {https://dblp.org/rec/conf/date/BucsFLAT018.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/KlebanovMSLWAABCCHJLMPPRSTTUW11,
  author       = {Vladimir Klebanov and
                  Peter M{\"{u}}ller and
                  Natarajan Shankar and
                  Gary T. Leavens and
                  Valentin W{\"{u}}stholz and
                  Eyad Alkassar and
                  Rob Arthan and
                  Derek Bronish and
                  Rod Chapman and
                  Ernie Cohen and
                  Mark A. Hillebrand and
                  Bart Jacobs and
                  K. Rustan M. Leino and
                  Rosemary Monahan and
                  Frank Piessens and
                  Nadia Polikarpova and
                  Tom Ridge and
                  Jan Smans and
                  Stephan Tobies and
                  Thomas Tuerk and
                  Mattias Ulbrich and
                  Benjamin Wei{\ss}},
  editor       = {Michael J. Butler and
                  Wolfram Schulte},
  title        = {The 1st Verified Software Competition: Experience Report},
  booktitle    = {{FM} 2011: Formal Methods - 17th International Symposium on Formal
                  Methods, Limerick, Ireland, June 20-24, 2011. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6664},
  pages        = {154--168},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-21437-0\_14},
  doi          = {10.1007/978-3-642-21437-0\_14},
  timestamp    = {Sat, 09 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fm/KlebanovMSLWAABCCHJLMPPRSTTUW11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1106-0239,
  author       = {Stephan Tobies},
  title        = {The Complexity of Reasoning with Cardinality Restrictions and Nominals
                  in Expressive Description Logics},
  journal      = {CoRR},
  volume       = {abs/1106.0239},
  year         = {2011},
  url          = {http://arxiv.org/abs/1106.0239},
  eprinttype    = {arXiv},
  eprint       = {1106.0239},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1106-0239.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/CohenMST10,
  author       = {Ernie Cohen and
                  Michal Moskal and
                  Wolfram Schulte and
                  Stephan Tobies},
  editor       = {Tayssir Touili and
                  Byron Cook and
                  Paul B. Jackson},
  title        = {Local Verification of Global Invariants in Concurrent Programs},
  booktitle    = {Computer Aided Verification, 22nd International Conference, {CAV}
                  2010, Edinburgh, UK, July 15-19, 2010. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6174},
  pages        = {480--494},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-14295-6\_42},
  doi          = {10.1007/978-3-642-14295-6\_42},
  timestamp    = {Tue, 14 May 2019 10:00:43 +0200},
  biburl       = {https://dblp.org/rec/conf/cav/CohenMST10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ershov/CohenABDDHLLMOPPPSSSSSTTT09,
  author       = {Ernie Cohen and
                  Eyad Alkassar and
                  Vladimir Boyarinov and
                  Markus Dahlweid and
                  Ulan Degenbaev and
                  Mark A. Hillebrand and
                  Bruno Langenstein and
                  Dirk Leinenbach and
                  Michal Moskal and
                  Steven Obua and
                  Wolfgang J. Paul and
                  Hristo Pentchev and
                  Elena Petrova and
                  Thomas Santen and
                  Norbert Schirmer and
                  Sabine Schmaltz and
                  Wolfram Schulte and
                  Andrey Shadrin and
                  Stephan Tobies and
                  Alexandra Tsyban and
                  Sergey Tverdyshev},
  editor       = {Amir Pnueli and
                  Irina B. Virbitskaite and
                  Andrei Voronkov},
  title        = {Invariants, Modularity, and Rights},
  booktitle    = {Perspectives of Systems Informatics, 7th International Andrei Ershov
                  Memorial Conference, {PSI} 2009, Novosibirsk, Russia, June 15-19,
                  2009. Revised Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {5947},
  pages        = {43--55},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-11486-1\_4},
  doi          = {10.1007/978-3-642-11486-1\_4},
  timestamp    = {Mon, 16 Dec 2019 13:26:25 +0100},
  biburl       = {https://dblp.org/rec/conf/ershov/CohenABDDHLLMOPPPSSSSSTTT09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/DahlweidMSTS09,
  author       = {Markus Dahlweid and
                  Michal Moskal and
                  Thomas Santen and
                  Stephan Tobies and
                  Wolfram Schulte},
  title        = {{VCC:} Contract-based modular verification of concurrent {C}},
  booktitle    = {31st International Conference on Software Engineering, {ICSE} 2009,
                  May 16-24, 2009, Vancouver, Canada, Companion Volume},
  pages        = {429--430},
  publisher    = {{IEEE}},
  year         = {2009},
  url          = {https://doi.org/10.1109/ICSE-COMPANION.2009.5071046},
  doi          = {10.1109/ICSE-COMPANION.2009.5071046},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icse/DahlweidMSTS09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tphol/CohenDHLMSST09,
  author       = {Ernie Cohen and
                  Markus Dahlweid and
                  Mark A. Hillebrand and
                  Dirk Leinenbach and
                  Michal Moskal and
                  Thomas Santen and
                  Wolfram Schulte and
                  Stephan Tobies},
  editor       = {Stefan Berghofer and
                  Tobias Nipkow and
                  Christian Urban and
                  Makarius Wenzel},
  title        = {{VCC:} {A} Practical System for Verifying Concurrent {C}},
  booktitle    = {Theorem Proving in Higher Order Logics, 22nd International Conference,
                  TPHOLs 2009, Munich, Germany, August 17-20, 2009. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5674},
  pages        = {23--42},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-03359-9\_2},
  doi          = {10.1007/978-3-642-03359-9\_2},
  timestamp    = {Tue, 14 May 2019 10:00:48 +0200},
  biburl       = {https://dblp.org/rec/conf/tphol/CohenDHLMSST09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/CohenMTS09,
  author       = {Ernie Cohen and
                  Michal Moskal and
                  Stephan Tobies and
                  Wolfram Schulte},
  editor       = {Ralf Huuck and
                  Gerwin Klein and
                  Bastian Schlich},
  title        = {A Precise Yet Efficient Memory Model For {C}},
  booktitle    = {Proceedings of the 4th International Workshop on Systems Software
                  Verification, {SSV} 2009, Aachen, Germany, June 22-24, 2009},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {254},
  pages        = {85--103},
  publisher    = {Elsevier},
  year         = {2009},
  url          = {https://doi.org/10.1016/j.entcs.2009.09.061},
  doi          = {10.1016/J.ENTCS.2009.09.061},
  timestamp    = {Fri, 17 Feb 2023 10:35:59 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/CohenMTS09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ami/EertinkPBTTH07,
  author       = {Henk Eertink and
                  Remco Poortinga and
                  Tom H. F. Broens and
                  Stephan Tobies and
                  Andrew Tokmakoff and
                  Aart van Halteren},
  editor       = {Alois Ferscha and
                  Erwin Aitenbichler},
  title        = {Sharing Intelligent Services between Homes},
  booktitle    = {Constructing Ambient Intelligence - AmI 2007 Workshops Darmstadt,
                  Germany, November 7-10, 2007 Revised Papers},
  series       = {Communications in Computer and Information Science},
  volume       = {11},
  pages        = {379--384},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-85379-4\_42},
  doi          = {10.1007/978-3-540-85379-4\_42},
  timestamp    = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ami/EertinkPBTTH07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-cs-0412100,
  author       = {Peter H. Deussen and
                  Stephan Tobies},
  title        = {Formal Test Purposes and The Validity of Test Cases},
  journal      = {CoRR},
  volume       = {abs/cs/0412100},
  year         = {2004},
  url          = {http://arxiv.org/abs/cs/0412100},
  eprinttype    = {arXiv},
  eprint       = {cs/0412100},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-cs-0412100.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-cs-0412101,
  author       = {Franz Baader and
                  Stephan Tobies},
  title        = {The Inverse Method Implements the Automata Approach for Modal Satisfiability},
  journal      = {CoRR},
  volume       = {abs/cs/0412101},
  year         = {2004},
  url          = {http://arxiv.org/abs/cs/0412101},
  eprinttype    = {arXiv},
  eprint       = {cs/0412101},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-cs-0412101.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/DeussenT02,
  author       = {Peter H. Deussen and
                  Stephan Tobies},
  editor       = {Doron A. Peled and
                  Moshe Y. Vardi},
  title        = {Formal Test Purposes and the Validity of Test Cases},
  booktitle    = {Formal Techniques for Networked and Distributed Systems - {FORTE}
                  2002, 22nd {IFIP} {WG} 6.1 International Conference Houston, Texas,
                  USA, November 11-14, 2002, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2529},
  pages        = {114--129},
  publisher    = {Springer},
  year         = {2002},
  url          = {https://doi.org/10.1007/3-540-36135-9\_8},
  doi          = {10.1007/3-540-36135-9\_8},
  timestamp    = {Tue, 14 May 2019 10:00:50 +0200},
  biburl       = {https://dblp.org/rec/conf/forte/DeussenT02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/dnb/Tobies01,
  author       = {Stephan Tobies},
  title        = {Complexity results and practical algorithms for logics in knowledge
                  representation},
  school       = {{RWTH} Aachen University, Germany},
  year         = {2001},
  url          = {http://sylvester.bth.rwth-aachen.de/dissertationen/2001/082/01\_082.pdf},
  urn          = {urn:nbn:de:hbz:82-opus-1702},
  timestamp    = {Tue, 18 Jan 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/phd/dnb/Tobies01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/Tobies01,
  author       = {Stephan Tobies},
  title        = {{PSPACE} Reasoning for Graded Modal Logics},
  journal      = {J. Log. Comput.},
  volume       = {11},
  number       = {1},
  pages        = {85--106},
  year         = {2001},
  url          = {https://doi.org/10.1093/logcom/11.1.85},
  doi          = {10.1093/LOGCOM/11.1.85},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/logcom/Tobies01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/BaaderT01,
  author       = {Franz Baader and
                  Stephan Tobies},
  editor       = {Rajeev Gor{\'{e}} and
                  Alexander Leitsch and
                  Tobias Nipkow},
  title        = {The Inverse Method Implements the Automata Approach for Modal Satisfiability},
  booktitle    = {Automated Reasoning, First International Joint Conference, {IJCAR}
                  2001, Siena, Italy, June 18-23, 2001, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2083},
  pages        = {92--106},
  publisher    = {Springer},
  year         = {2001},
  url          = {https://doi.org/10.1007/3-540-45744-5\_8},
  doi          = {10.1007/3-540-45744-5\_8},
  timestamp    = {Tue, 14 May 2019 10:00:39 +0200},
  biburl       = {https://dblp.org/rec/conf/cade/BaaderT01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/cs-LO-0106031,
  author       = {Stephan Tobies},
  title        = {Complexity Results and Practical Algorithms for Logics in Knowledge
                  Representation},
  journal      = {CoRR},
  volume       = {cs.LO/0106031},
  year         = {2001},
  url          = {https://arxiv.org/abs/cs/0106031},
  timestamp    = {Fri, 10 Jan 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/cs-LO-0106031.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/HorrocksST00,
  author       = {Ian Horrocks and
                  Ulrike Sattler and
                  Stephan Tobies},
  title        = {Practical Reasoning for Very Expressive Description Logics},
  journal      = {Log. J. {IGPL}},
  volume       = {8},
  number       = {3},
  pages        = {239--263},
  year         = {2000},
  url          = {https://doi.org/10.1093/jigpal/8.3.239},
  doi          = {10.1093/JIGPAL/8.3.239},
  timestamp    = {Tue, 12 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/igpl/HorrocksST00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jair/Tobies00,
  author       = {Stephan Tobies},
  title        = {The Complexity of Reasoning with Cardinality Restrictions and Nominals
                  in Expressive Description Logics},
  journal      = {J. Artif. Intell. Res.},
  volume       = {12},
  pages        = {199--217},
  year         = {2000},
  url          = {https://doi.org/10.1613/jair.705},
  doi          = {10.1613/JAIR.705},
  timestamp    = {Mon, 21 Jan 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jair/Tobies00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiml/HirschT00,
  author       = {Colin Hirsch and
                  Stephan Tobies},
  editor       = {Frank Wolter and
                  Heinrich Wansing and
                  Maarten de Rijke and
                  Michael Zakharyaschev},
  title        = {A Tableau Algorithm for the Clique Guarded Fragment},
  booktitle    = {Advances in Modal Logic 3, papers from the third conference on "Advances
                  in Modal logic," held in Leipzig, Germany, 4-7 October 2000},
  pages        = {257--277},
  publisher    = {World Scientific},
  year         = {2000},
  url          = {https://doi.org/10.1142/9789812776471\_0014},
  doi          = {10.1142/9789812776471\_0014},
  timestamp    = {Wed, 17 Jan 2024 17:12:17 +0100},
  biburl       = {https://dblp.org/rec/conf/aiml/HirschT00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/HorrocksST00,
  author       = {Ian Horrocks and
                  Ulrike Sattler and
                  Stephan Tobies},
  editor       = {David A. McAllester},
  title        = {Reasoning with Individuals for the Description Logic {SHIQ}},
  booktitle    = {Automated Deduction - CADE-17, 17th International Conference on Automated
                  Deduction, Pittsburgh, PA, USA, June 17-20, 2000, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1831},
  pages        = {482--496},
  publisher    = {Springer},
  year         = {2000},
  url          = {https://doi.org/10.1007/10721959\_39},
  doi          = {10.1007/10721959\_39},
  timestamp    = {Tue, 12 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cade/HorrocksST00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/HorrocksT00a,
  author       = {Ian Horrocks and
                  Stephan Tobies},
  editor       = {Franz Baader and
                  Ulrike Sattler},
  title        = {Optimisation of Terminological Reasoning},
  booktitle    = {Proceedings of the 2000 International Workshop on Description Logics
                  (DL2000), Aachen, Germany, August 17-19, 2000},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {33},
  pages        = {183--192},
  publisher    = {CEUR-WS.org},
  year         = {2000},
  url          = {https://ceur-ws.org/Vol-33/Horrocks183-192.ps},
  timestamp    = {Fri, 10 Mar 2023 16:23:17 +0100},
  biburl       = {https://dblp.org/rec/conf/dlog/HorrocksT00a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/HorrocksT00,
  author       = {Ian Horrocks and
                  Stephan Tobies},
  editor       = {Anthony G. Cohn and
                  Fausto Giunchiglia and
                  Bart Selman},
  title        = {Reasoning with Axioms: Theory and Practice},
  booktitle    = {{KR} 2000, Principles of Knowledge Representation and Reasoning Proceedings
                  of the Seventh International Conference, Breckenridge, Colorado, USA,
                  April 11-15, 2000},
  pages        = {285--296},
  publisher    = {Morgan Kaufmann},
  year         = {2000},
  timestamp    = {Tue, 20 Jun 2023 09:03:42 +0200},
  biburl       = {https://dblp.org/rec/conf/kr/HorrocksT00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/krdb/HorrocksSTT00,
  author       = {Ian Horrocks and
                  Ulrike Sattler and
                  Sergio Tessaris and
                  Stephan Tobies},
  editor       = {Mokrane Bouzeghoub and
                  Matthias Klusch and
                  Werner Nutt and
                  Ulrike Sattler},
  title        = {How to decide Query Containment under Constraints using a Description
                  Logic},
  booktitle    = {Proceedings of the 7th International Workshop on Knowledge Representation
                  meets Databases {(KRDB} 2000), Berlin, Germany, August 21, 2000},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {29},
  pages        = {59--72},
  publisher    = {CEUR-WS.org},
  year         = {2000},
  url          = {https://ceur-ws.org/Vol-29/05-HoSST.ps},
  timestamp    = {Fri, 10 Mar 2023 16:23:34 +0100},
  biburl       = {https://dblp.org/rec/conf/krdb/HorrocksSTT00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/HorrocksSTT00,
  author       = {Ian Horrocks and
                  Ulrike Sattler and
                  Sergio Tessaris and
                  Stephan Tobies},
  editor       = {Michel Parigot and
                  Andrei Voronkov},
  title        = {How to Decide Query Containment Under Constraints Using a Description
                  Logic},
  booktitle    = {Logic for Programming and Automated Reasoning, 7th International Conference,
                  {LPAR} 2000, Reunion Island, France, November 11-12, 2000, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1955},
  pages        = {326--343},
  publisher    = {Springer},
  year         = {2000},
  url          = {https://doi.org/10.1007/3-540-44404-1\_21},
  doi          = {10.1007/3-540-44404-1\_21},
  timestamp    = {Tue, 12 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/lpar/HorrocksSTT00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/cs-LO-0005009,
  author       = {Stephan Tobies},
  title        = {{PSPACE} Reasoning for Graded Modal Logics},
  journal      = {CoRR},
  volume       = {cs.LO/0005009},
  year         = {2000},
  url          = {https://arxiv.org/abs/cs/0005009},
  timestamp    = {Fri, 10 Jan 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/cs-LO-0005009.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/cs-LO-0005012,
  author       = {Ian Horrocks and
                  Stephan Tobies},
  title        = {Reasoning with Axioms: Theory and Pratice},
  journal      = {CoRR},
  volume       = {cs.LO/0005012},
  year         = {2000},
  url          = {https://arxiv.org/abs/cs/0005012},
  timestamp    = {Tue, 12 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/cs-LO-0005012.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/cs-LO-0005013,
  author       = {Ian Horrocks and
                  Ulrike Sattler and
                  Stephan Tobies},
  title        = {Practical Reasoning for Very Expressive Description Logics},
  journal      = {CoRR},
  volume       = {cs.LO/0005013},
  year         = {2000},
  url          = {https://arxiv.org/abs/cs/0005013},
  timestamp    = {Tue, 12 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/cs-LO-0005013.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/cs-LO-0005014,
  author       = {Ian Horrocks and
                  Ulrike Sattler and
                  Stephan Tobies},
  title        = {Practical Reasoning for Expressive Description Logics},
  journal      = {CoRR},
  volume       = {cs.LO/0005014},
  year         = {2000},
  url          = {https://arxiv.org/abs/cs/0005014},
  timestamp    = {Tue, 12 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/cs-LO-0005014.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/cs-LO-0005017,
  author       = {Ian Horrocks and
                  Ulrike Sattler and
                  Stephan Tobies},
  title        = {Reasoning with Individuals for the Description Logic {SHIQ}},
  journal      = {CoRR},
  volume       = {cs.LO/0005017},
  year         = {2000},
  url          = {https://arxiv.org/abs/cs/0005017},
  timestamp    = {Tue, 12 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/cs-LO-0005017.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/Tobies99,
  author       = {Stephan Tobies},
  editor       = {Harald Ganzinger},
  title        = {A PSpace Algorithm for Graded Modal Logic},
  booktitle    = {Automated Deduction - CADE-16, 16th International Conference on Automated
                  Deduction, Trento, Italy, July 7-10, 1999, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1632},
  pages        = {52--66},
  publisher    = {Springer},
  year         = {1999},
  url          = {https://doi.org/10.1007/3-540-48660-7\_4},
  doi          = {10.1007/3-540-48660-7\_4},
  timestamp    = {Tue, 14 May 2019 10:00:39 +0200},
  biburl       = {https://dblp.org/rec/conf/cade/Tobies99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/Tobies99,
  author       = {Stephan Tobies},
  editor       = {J{\"{o}}rg Flum and
                  Mario Rodr{\'{\i}}guez{-}Artalejo},
  title        = {A NExpTime-Complete Description Logic Strictly Contained in C\({}^{\mbox{2}}\)},
  booktitle    = {Computer Science Logic, 13th International Workshop, {CSL} '99, 8th
                  Annual Conference of the EACSL, Madrid, Spain, September 20-25, 1999,
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1683},
  pages        = {292--306},
  publisher    = {Springer},
  year         = {1999},
  url          = {https://doi.org/10.1007/3-540-48168-0\_21},
  doi          = {10.1007/3-540-48168-0\_21},
  timestamp    = {Tue, 14 May 2019 10:00:42 +0200},
  biburl       = {https://dblp.org/rec/conf/csl/Tobies99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/LutzST99,
  author       = {Carsten Lutz and
                  Ulrike Sattler and
                  Stephan Tobies},
  editor       = {Patrick Lambrix and
                  Alexander Borgida and
                  Maurizio Lenzerini and
                  Ralf M{\"{o}}ller and
                  Peter F. Patel{-}Schneider},
  title        = {A Suggestion for an n-ary Description Logic},
  booktitle    = {Proceedings of the 1999 International Workshop on Description Logics
                  (DL'99), Link{\"{o}}ping, Sweden, July 30 - August 1, 1999},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {22},
  publisher    = {CEUR-WS.org},
  year         = {1999},
  url          = {https://ceur-ws.org/Vol-22/lutz.ps},
  timestamp    = {Fri, 10 Mar 2023 16:23:16 +0100},
  biburl       = {https://dblp.org/rec/conf/dlog/LutzST99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/Tobies99,
  author       = {Stephan Tobies},
  editor       = {Patrick Lambrix and
                  Alexander Borgida and
                  Maurizio Lenzerini and
                  Ralf M{\"{o}}ller and
                  Peter F. Patel{-}Schneider},
  title        = {On the Complexity of Counting in Description Logics},
  booktitle    = {Proceedings of the 1999 International Workshop on Description Logics
                  (DL'99), Link{\"{o}}ping, Sweden, July 30 - August 1, 1999},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {22},
  publisher    = {CEUR-WS.org},
  year         = {1999},
  url          = {https://ceur-ws.org/Vol-22/tobies.ps},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dlog/Tobies99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccs/BaaderMT99,
  author       = {Franz Baader and
                  Ralf Molitor and
                  Stephan Tobies},
  editor       = {William M. Tepfenhart and
                  Walling R. Cyre},
  title        = {Tractable and Decidable Fragments of Conceptual Graphs},
  booktitle    = {Conceptual Structures: Standards and Practices, 7th International
                  Conference on Conceptual Structures, {ICCS} '99, Blacksburg, Virginia,
                  USA, July 12-15, 1999, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1640},
  pages        = {480--493},
  publisher    = {Springer},
  year         = {1999},
  url          = {https://doi.org/10.1007/3-540-48659-3\_31},
  doi          = {10.1007/3-540-48659-3\_31},
  timestamp    = {Tue, 14 May 2019 10:00:37 +0200},
  biburl       = {https://dblp.org/rec/conf/iccs/BaaderMT99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/HorrocksST99,
  author       = {Ian Horrocks and
                  Ulrike Sattler and
                  Stephan Tobies},
  editor       = {Harald Ganzinger and
                  David A. McAllester and
                  Andrei Voronkov},
  title        = {Practical Reasoning for Expressive Description Logics},
  booktitle    = {Logic Programming and Automated Reasoning, 6th International Conference,
                  LPAR'99, Tbilisi, Georgia, September 6-10, 1999, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1705},
  pages        = {161--180},
  publisher    = {Springer},
  year         = {1999},
  url          = {https://doi.org/10.1007/3-540-48242-3\_11},
  doi          = {10.1007/3-540-48242-3\_11},
  timestamp    = {Tue, 12 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/lpar/HorrocksST99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tssdv/LangeL0T98,
  author       = {Martin Lange and
                  Martin Leucker and
                  Thomas Noll and
                  Stephan Tobies},
  editor       = {Rudolf Berghammer and
                  Yassine Lakhnech},
  title        = {Truth - {A} verification platform for concurrent systems},
  booktitle    = {Proceedings of the International Workshop Tool Support for System
                  Specification, Development and Verification, Malente, Germany, June
                  1-4, 1998},
  series       = {Advances in computing science},
  pages        = {150--159},
  publisher    = {Springer},
  year         = {1998},
  url          = {https://doi.org/10.1007/978-3-7091-6355-9\_11},
  doi          = {10.1007/978-3-7091-6355-9\_11},
  timestamp    = {Mon, 04 May 2020 10:40:23 +0200},
  biburl       = {https://dblp.org/rec/conf/tssdv/LangeL0T98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics