PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Schneider, Thomas"

Author of the publication

copydeleteadd this publication to your clipboard
Lightweight Description Logics and Branching Time: A Troublesome Marriage.

, , and . KR, AAAI Press, (2014)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Univ. -Prof. Dr. Guido Schneider University of Stuttgart

Long wave approximation over and beyond the natural time scale. Universität Stuttgart, Stuttgart, Dissertation, (2024)

Tim Schneider University of Stuttgart

Probabilistic Regular Tree Priors for Scientific Symbolic Reasoning, , , and . Preprint, (2023)

Tobias Schneider University of Stuttgart

Prof. Dr. Georg Schneider University of Stuttgart

Dr. -Ing. Ralf Schneider University of Stuttgart

 

Other publications of authors with the same name

Evaluation of diverse classification approaches for land use/cover mapping in a Mediterranean region utilizing Hyperion data., , , and . Int. J. Digital Earth, 7 (3): 194-216 (2014)Conjunctive Query Inseparability of OWL 2 QL TBoxes., , , , , and . AAAI, AAAI Press, (2011)The Complexity of Monotone Hybrid Logics over Linear Frames and the Natural Numbers, , , , , and . CoRR, (2012)Scalable Private Set Intersection Based on OT Extension., , and . ACM Trans. Priv. Secur., 21 (2): 7:1-7:35 (2018)Quantification of Extent, Density, and Status of Aquatic Reed Beds Using Point Clouds Derived from UAV-RGB Imagery., , , , and . Remote Sensing, 10 (12): 1869 (2018)Conservative Extensions in Guarded and Two-Variable Fragments., , , , and . ICALP, volume 80 of LIPIcs, page 108:1-108:14. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, (2017)Improved Garbled Circuit: Free XOR Gates and Applications., and . ICALP (2), volume 5126 of Lecture Notes in Computer Science, page 486-498. Springer, (2008)Bringing Zero-Knowledge Proofs of Knowledge to Practice., , , , , and . Security Protocols Workshop, volume 7028 of Lecture Notes in Computer Science, page 51-62. Springer, (2009)Topomap: Topological Mapping and Navigation Based on Visual SLAM Maps., , , , and . ICRA, page 1-9. IEEE, (2018)Decomposition and Modular Structure of BioPortal Ontologies., , , , , , and . International Semantic Web Conference (1), volume 7031 of Lecture Notes in Computer Science, page 130-145. Springer, (2011)