Schneider, Thomas

10 publications

NeurIPSW 2021 A Generic Hybrid 2PC Framework with Application to Private Inference of Unmodified Neural Networks (Extended Abstract) Lennart Braun, Rosario Cammarota, Thomas Schneider

NeurIPSW 2021 ABY2.0: New Efficient Primitives for STPC with Applications to Privacy in Machine Learning (Extended Abstract) Arpita Patra, Thomas Schneider, Ajith Suresh, Hossein Yalame

NeurIPSW 2021 SoK: Privacy-Preserving Clustering (Extended Abstract) Aditya Hegde, Helen Möllering, Thomas Schneider, Hossein Yalame

JAIR 2020 Conservative Extensions in Horn Description Logics with Inverse Roles Jean Christoph Jung, Carsten Lutz, Mauricio Martel, Thomas Schneider

JAIR 2020 Modular Structures and Atomic Decomposition in Ontologies Chiara Del Vescovo, Matthew Horridge, Bijan Parsia, Uli Sattler, Thomas Schneider, Haoruo Zhao

IJCAI 2017 Query Conservative Extensions in Horn Description Logics with Inverse Roles Jean Christoph Jung, Carsten Lutz, Mauricio Martel, Thomas Schneider

IJCAI 2015 Lightweight Temporal Description Logics with Rigid Roles and Restricted TBoxes Víctor Gutiérrez-Basulto, Jean Christoph Jung, Thomas Schneider

AAAI 2011 Conjunctive Query Inseparability of OWL 2 QL TBoxes Boris Konev, Roman Kontchakov, Michel Ludwig, Thomas Schneider, Frank Wolter, Michael Zakharyaschev

IJCAI 2011 The Modular Structure of an Ontology: Atomic Decomposition Chiara Del Vescovo, Bijan Parsia, Ulrike Sattler, Thomas Schneider

IJCAI 2009 Minimal Module Extraction from DL-Lite Ontologies Using QBF Solvers Roman Kontchakov, Luca Pulina, Ulrike Sattler, Thomas Schneider, Petra Selmer, Frank Wolter, Michael Zakharyaschev