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
A Survey of Qualitative Spatial and Temporal Calculi - Algebraic and Computational Properties.

, , , , , , and . CoRR, (2016)

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.

Edith Schneider University of Stuttgart

Prof. iR Dr. Götz Schneider University of Stuttgart

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

Dr. -Ing. Ralf Schneider University of Stuttgart

Prof. Dr. Georg Schneider University of Stuttgart

 

Other publications of authors with the same name

Conjunctive Query Inseparability of OWL 2 QL TBoxes., , , , , and . AAAI, AAAI Press, (2011)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)Generalized satisfiability for the description logic ALC., and . Theor. Comput. Sci., (2013)The Complexity of Monotone Hybrid Logics over Linear Frames and the Natural Numbers, , , , , and . CoRR, (2012)The Complexity of Generalized Satisfiability for Linear Temporal Logic, , , , and . Logical Methods in Computer Science, (2009)The tractability of model checking for LTL: The good, the bad, and the ugly fragments., , , , , and . ACM Trans. Comput. Log., 12 (2): 13:1-13:28 (2011)More Efficient Oblivious Transfer Extensions., , , and . J. Cryptology, 30 (3): 805-858 (2017)Visual-Inertial Teach and Repeat for Aerial Inspection., , , , and . CoRR, (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)Scalable Private Set Intersection Based on OT Extension., , and . ACM Trans. Priv. Secur., 21 (2): 7:1-7:35 (2018)