Stop the war!
Остановите войну!
for scientists:
default search action
BibTeX records: Stephan Tobies
@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} }
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.