Thomas Schneider

Cited by

	All	Since 2016
Citations	1181	484
h-index	19	12
i10-index	28	13

120

20072008200920102011201220132014201520162017201820192020202111 11 60 84 97 112 114 85 107 110 89 75 87 110 13

Co-authors

Uli SattlerProfessor, IMG, Department of Computer Science, University of ManchesterVerified email at cs.man.ac.uk
Bijan ParsiaReader in Computer Science, University of ManchesterVerified email at manchester.ac.uk
Chiara Del VescovoSenior Data Manager at BBCVerified email at bbc.co.uk
Michael ZakharyaschevBirkbeck, University of LondonVerified email at dcs.bbk.ac.uk
Jean Christoph JungUniversity of HildesheimVerified email at uni-bremen.de
Heribert VollmerProfessor für Theoretische Informatik, Leibniz Universität HannoverVerified email at thi.uni-hannover.de
Pavel KlinovSenior Research Engineer, Complexible IncVerified email at complexible.com
Carsten LutzProfessor of Computer Science, University of BremenVerified email at uni-bremen.de
Arne MeierPrivatdozent, Institute of Theoretical Computer Science, Leibniz Universität HannoverVerified email at thi.uni-hannover.de
Frank WolterDepartment of Computer Science, University of LiverpoolVerified email at liverpool.ac.uk
Henning SchnoorResearcher of Computer Science, Dept. of Computer Science, Kiel UniversityVerified email at ti.informatik.uni-kiel.de
Roman KontchakovSenior Lecturer, Birkbeck, University of LondonVerified email at dcs.bbk.ac.uk
Rafael Berlanga LlavoriUniversidad Jaume IVerified email at uji.es
Ernesto Jimenez-RuizLecturer in Artificial Intelligence. City, University of London, UKVerified email at city.ac.uk
Bernardo Cuenca GrauProfessor of Computer Science and Royal Society University Research Fellow, University of OxfordVerified email at cs.ox.ac.uk
Víctor Gutiérrez BasultoLecturer at Cardiff UniversityVerified email at cardiff.ac.uk
Frank Dyllaencoway GmbH, Senior ConsultantVerified email at uni-bremen.de
Till MossakowskiProfessor of Computer Science, University of MagdeburgVerified email at ovgu.de
Diedrich WolterSmart Environments, University of BambergVerified email at uni-bamberg.de
Alan RectorSchool of Computer Science, University of ManchesterVerified email at cs.manchester.ac.uk

Thomas Schneider

Dept. of Mathematics and Computer Science, University of Bremen, Germany

Verified email at uni-bremen.de - Homepage

Logic - knowledge representation - modal logic - description logic - hybrid logic - modularity


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Safe and economic re-use of ontologies: A logic-based methodology and tool support E Jiménez-Ruiz, B Grau, U Sattler, T Schneider, R Berlanga The Semantic Web: Research and Applications, 185-199, 2008	141	2008
Getting the foot out of the pelvis: modeling problems affecting use of SNOMED CT hierarchies in practical applications AL Rector, S Brandt, T Schneider Journal of the American Medical Informatics Association 18 (4), 432-440, 2011	110	2011
Which kind of module should I extract U Sattler, T Schneider, M Zakharyaschev Proc. of DL 477, 2009	101	2009
Minimal Module Extraction from DL-Lite Ontologies Using QBF Solvers. R Kontchakov, L Pulina, U Sattler, T Schneider, P Selmer, F Wolter, ... IJCAI 9, 836-841, 2009	96	2009
The modular structure of an ontology: Atomic decomposition C Del Vescovo, B Parsia, U Sattler, T Schneider IJCAI Proceedings-international joint conference on artificial intelligence …, 2011	93	2011
Decomposition and modular structure of BioPortal ontologies C Del Vescovo, D Gessler, P Klinov, B Parsia, U Sattler, T Schneider, ... The Semantic Web–ISWC 2011, 130-145, 2011	50	2011
A survey of qualitative spatial and temporal calculi: algebraic and computational properties F Dylla, JH Lee, T Mossakowski, T Schneider, A van Delden, ... ACM Computing Surveys (CSUR) 50 (1), 1-39, 2017	44	2017
Algebraic Properties of Qualitative Spatio-Temporal Calculi F Dylla, T Mossakowski, T Schneider, D Wolter COSIT, 516-536, 2013	41	2013
The complexity of generalized satisfiability for linear temporal logic M Bauland, T Schneider, H Schnoor, I Schnoor, H Vollmer Logical Methods in Computer Science 5 (1), 2008	37	2008
The modular structure of an ontology: an empirical study C Del Vescovo, B Parsia, U Sattler, T Schneider Proceedings of the Fourth International Workshop on Modular Ontologies (WoMO …, 2010	35	2010
Empirical Study of Logic-Based Modules: Cheap Is Cheerful C Del Vescovo, P Klinov, B Parsia, U Sattler, T Schneider, D Tsarkov Description Logics, 144-155, 2013	30	2013
Finite Model Reasoning in Horn Description Logics Y Ibáñez-García, C Lutz, T Schneider KR-2014, 2014	28	2014
Complexity of hybrid logics over transitive frames M Mundhenk, T Schneider, T Schwentick, V Weber Journal of Applied Logic 8 (4), 422-440, 2010	28	2010
Lightweight Description Logics and Branching Time: a Troublesome Marriage V Gutiérrez-Basulto, JC Jung, T Schneider KR-2014, 2014	27	2014
Conjunctive query inseparability of OWL 2 QL TBoxes B Konev, R Kontchakov, M Ludwig, T Schneider, F Wolter, ... Proceedings of the AAAI Conference on Artificial Intelligence 25 (1), 2011	27	2011
The tractability of model-checking for LTL: The good, the bad, and the ugly fragments M Bauland, M Mundhenk, T Schneider, H Schnoor, I Schnoor, H Vollmer Electronic Notes in Theoretical Computer Science 231, 277-292, 2009	27	2009
Model checking CTL is almost always inherently sequential O Beyersdorff, A Meier, M Thomas, H Vollmer, M Mundhenk, T Schneider 2009 16th International Symposium on Temporal Representation and Reasoning …, 2009	22	2009
The tractability of model checking for LTL: The good, the bad, and the ugly fragments M Bauland, M Mundhenk, T Schneider, H Schnoor, I Schnoor, H Vollmer ACM Transactions on Computational Logic (TOCL) 12 (2), 1-28, 2011	20	2011
The complexity of satisfiability for fragments of hybrid logic—Part I A Meier, M Mundhenk, T Schneider, M Thomas, V Weber, F Weiss Journal of Applied Logic 8 (4), 409-421, 2010	20	2010
The complexity of satisfiability for fragments of hybrid logic—Part I A Meier, M Mundhenk, T Schneider, M Thomas, V Weber, F Weiss Mathematical Foundations of Computer Science 2009, 587-599, 2009	20	2009

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Upload PDF

Follow this author

Cited by

Co-authors