Thomas Schneider
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
121
Venues
39
Active years
1998–2026
Best venue rank
A*
Where they publish
- A*CCS19 papers
- AESORICS7 papers
- A*EuroCrypt6 papers
- CSECRYPT6 papers
- A*SP6 papers
- BACNS6 papers
- AAsiaCCS5 papers
- A*KR5 papers
- A*NDSS5 papers
- BCANS5 papers
- A*ICRA4 papers
- AIROS4 papers
- A*IJCAI4 papers
- AFC4 papers
- A*ICALP3 papers
- AACSAC3 papers
- AASIACRYPT3 papers
- A*DAC2 papers
- AInterspeech2 papers
- NationalICISC2 papers
- CIGARSS2 papers
- BGI1 paper
- ADATE1 paper
- AECAI1 paper
- NationalAMIA1 paper
- AICDT1 paper
- ACoNEXT1 paper
- ASIGCSE1 paper
- NationalISVC1 paper
- NationalHCI1 paper
- BAiML1 paper
- A*AAAI1 paper
- BTABLEAUX1 paper
- CTAMC1 paper
- ACHES1 paper
- BMFCS1 paper
- CTIME1 paper
- BFOSSACS1 paper
- BLREC1 paper
Papers
121 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | EuroCrypt | When Trying to Catch Cheaters Breaks the MPC: Breaking and Fixing Delayed Consistency Checks in Trident, Fantastic Four, SWIFT, and Quad. | Andreas Brggemann, Thomas Schneider |
| 2026 | SECRYPT | FLiPD: Privacy-Preserving Federated Learning via Multi-Party Computation and Differential Privacy. | Gowri R. Chandran, Melek nen, Thomas Schneider |
| 2025 | AsiaCCS | Concretely Efficient Private Set Union via Circuit-Based PSI. | Gowri R. Chandran, Thomas Schneider, Maximilian Stillger, Christian Weinert |
| 2025 | AsiaCCS | SEEC: Memory Safety Meets Efficiency in Secure Two-Party Computation. | Henri Dohmen, Robin Hundt, Nora Khayata, Thomas Schneider |
| 2025 | ICALP | An Upper Bound on the Weisfeiler-Leman Dimension. | Thomas Schneider, Pascal Schweitzer |
| 2024 | ACSAC | FLUENT: A Tool for Efficient Mixed-Protocol Semi-Private Function Evaluation. | Daniel Gnther, Joachim Schmidt, Thomas Schneider, Hossein Yalame |
| 2024 | AsiaCCS | Menhir: An Oblivious Database with Protection against Access and Volume Pattern Leakage. | Leonie Reichert, Gowri R. Chandran, Phillipp Schoppmann, Thomas Schneider, Bjrn Scheuermann |
| 2024 | DAC | HyCaMi: High-Level Synthesis for Cache Side-Channel Mitigation. | Heiko Mantel, Joachim Schmidt, Thomas Schneider, Maximilian Stillger, Tim Weimantel, Hossein Yalame |
| 2024 | ESORICS | Attesting Distributional Properties of Training Data for Machine Learning. | Vasisht Duddu, Anudeep Das, Nora Khayata, Hossein Yalame, Thomas Schneider, N. Asokan |
| 2024 | GI | Multi-Party Computation als Instrument zur Umsetzung datenschutzkonformer behrdlicher Datenabgleiche: Eine interdisziplinre Analyse am Beispiel der Diskussionen um das Gesetz zur Selbstbestimmung ber den Geschlechtseintrag. | Linda Seyda, Andreas Brggemann, Gerrit Hornung, Thomas Schneider |
| 2024 | SP | Don't Eject the Impostor: Fast Three-Party Computation With a Known Cheater. | Andreas Brggemann, Oliver Schick, Thomas Schneider, Ajith Suresh, Hossein Yalame |
| 2024 | SP | BOLT: Privacy-Preserving, Accurate and Efficient Inference for Transformers. | Qi Pang, Jinhao Zhu, Helen Mllering, Wenting Zheng, Thomas Schneider |
| 2023 | AsiaCCS | FUSE - Flexible File Format and Intermediate Representation for Secure Multi-Party Computation. | Lennart Braun, Moritz Huppert, Nora Khayata, Thomas Schneider, Oleksandr Tkachenko |
| 2023 | ASIACRYPT | Breaking the Size Barrier: Universal Circuits Meet Lookup Tables. | Yann Disser, Daniel Gnther, Thomas Schneider, Maximilian Stillger, Arthur Wigandt, Hossein Yalame |
| 2023 | CCS | Poster: Secure and Differentially Private kth Ranked Element. | Gowri R. Chandran, Philipp-Florens Lehwalder, Leandro Rometsch, Thomas Schneider |
| 2023 | ESORICS | PrivMail: A Privacy-Preserving Framework for Secure Emails. | Gowri R. Chandran, Raine Nieminen, Thomas Schneider, Ajith Suresh |
| 2023 | ESORICS | Scaling Mobile Private Contact Discovery to Billions of Users. | Laura Hetz, Thomas Schneider, Christian Weinert |
| 2023 | SP | FLUTE: Fast and Secure Lookup Table Evaluations. | Andreas Brggemann, Robin Hundt, Thomas Schneider, Ajith Suresh, Hossein Yalame |
| 2023 | SP | SafeFL: MPC-friendly Framework for Private and Robust Federated Learning. | Till Gehlhar, Felix Marx, Thomas Schneider, Ajith Suresh, Tobias Wehrle, Hossein Yalame |
| 2023 | SECRYPT | Griffin: Towards Mixed Multi-Key Homomorphic Encryption. | Thomas Schneider, Hossein Yalame, Michael Yonli |
| 2022 | CCS | Poster: Privacy-Preserving Epidemiological Modeling on Mobile Graphs. | Daniel Gnther, Marco Holz, Benjamin Judkewitz, Helen Mllering, Benny Pinkas, Thomas Schneider, Ajith Suresh |
| 2022 | CCS | Poster: Efficient Three-Party Shuffling Using Precomputation. | Andreas Brggemann, Thomas Schneider, Ajith Suresh, Hossein Yalame |
| 2022 | ESORICS | PEA: Practical Private Epistasis Analysis Using MPC. | Kay Hamacher, Tobias Kussel, Thomas Schneider, Oleksandr Tkachenko |
| 2022 | SECRYPT | FAPRIL: Towards Faster Privacy-preserving Fingerprint-based Localization. | Christopher van der Beets, Raine Nieminen, Thomas Schneider |
| 2022 | SECRYPT | Comparison-based MPC in Star Topology. | Gowri R. Chandran, Carmit Hazay, Robin Hundt, Thomas Schneider |
| 2021 | ACNS | LLVM-Based Circuit Compilation for Practical Secure Computation. | Tim Heldmann, Thomas Schneider, Oleksandr Tkachenko, Christian Weinert, Hossein Yalame |
| 2021 | ACSAC | LaserShark: Establishing Fast, Bidirectional Communication into Air-Gapped Systems. | Niclas Khnapfel, Stefan Preuler, Maximilian Noppel, Thomas Schneider, Konrad Rieck, Christian Wressnegger |
| 2021 | ACSAC | VASA: Vector AES Instructions for Security Applications. | Jean-Pierre Mnch, Thomas Schneider, Hossein Yalame |
| 2021 | AsiaCCS | Privacy-preserving Density-based Clustering. | Beyza Bozdemir, Sbastien Canard, Orhan Ermis, Helen Mllering, Melek nen, Thomas Schneider |
| 2021 | CCS | Revisiting Hybrid Private Information Retrieval. | Daniel Gnther, Thomas Schneider, Felix Wiegand |
| 2021 | KR | Properties of Module Notions and Atomic Decomposition. | Robin Nolte, Thomas Schneider |
| 2021 | NDSS | All the Numbers are US: Large-scale Abuse of Contact Discovery in Mobile Messengers. | Christoph Hagen, Christian Weinert, Christoph Sendner, Alexandra Dmitrienko, Thomas Schneider |
| 2021 | SP | SAFELearn: Secure Aggregation for private FEderated Learning. | Hossein Fereidooni, Samuel Marchal, Markus Miettinen, Azalia Mirhoseini, Helen Mllering, Thien Duc Nguyen, Phillip Rieger, Ahmad-Reza Sadeghi, Thomas Schneider, Hossein Yalame, Shaza Zeitouni |
| 2021 | SECRYPT | Improved Circuit Compilation for Hybrid MPC via Compiler Intermediate Representation. | Daniel Demmler, Stefan Katzenbeisser, Thomas Schneider, Tom Schuster, Christian Weinert |
| 2021 | SECRYPT | Balancing Quality and Efficiency in Private Clustering with Affinity Propagation. | Hannah Keller, Helen Mllering, Thomas Schneider, Hossein Yalame |
| 2020 | ACNS | Secure Two-Party Computation in a Quantum World. | Niklas Bscher, Daniel Demmler, Nikolaos P. Karvelas, Stefan Katzenbeisser, Juliane Krmer, Deevashwer Rathee, Thomas Schneider, Patrick Struck |
| 2020 | CANS | RiCaSi: Rigorous Cache Side Channel Mitigation via Selective Circuit Compilation. | Heiko Mantel, Lukas Scheidel, Thomas Schneider, Alexandra Weber, Christian Weinert, Tim Weimantel |
| 2020 | CCS | MP2ML: A Mixed-Protocol Machine Learning Framework for Private Inference. | Fabian Boemer, Rosario Cammarota, Daniel Demmler, Thomas Schneider, Hossein Yalame |
| 2020 | CCS | Engineering Privacy-Preserving Machine Learning Protocols. | Thomas Schneider |
| 2020 | CCS | CryptoSPN: Expanding PPML beyond Neural Networks. | Amos Treiber, Alejandro Molina, Christian Weinert, Thomas Schneider, Kristian Kersting |
| 2020 | DATE | Offline Model Guard: Secure and Private ML on Mobile Devices. | Sebastian P. Bayerl, Tommaso Frassetto, Patrick Jauernig, Korbinian Riedhammer, Ahmad-Reza Sadeghi, Thomas Schneider, Emmanuel Stapf, Christian Weinert |
| 2020 | ECAI | CryptoSPN: Privacy-Preserving Sum-Product Network Inference. | Amos Treiber, Alejandro Molina, Christian Weinert, Thomas Schneider, Kristian Kersting |
| 2020 | ESORICS | Linear-Complexity Private Function Evaluation is Practical. | Marco Holz, gnes Kiss, Deevashwer Rathee, Thomas Schneider |
| 2019 | AMIA | Mount Sinai Health System Strategy for Conducting Electronic Health Record Use Optimization to Decrease Physician Frustration and Burnou. | Christopher Tenore, Francesco Callipari, Michael Procino, Catherine K. Craven, Thomas Schneider, Joseph L. Kannry, Bruce Darrow |
| 2019 | CANS | Improved Multiplication Triple Generation over Rings via RLWE-Based AHE. | Deevashwer Rathee, Thomas Schneider, K. K. Shukla |
| 2019 | CCS | EPISODE: Efficient Privacy-PreservIng Similar Sequence Queries on Outsourced Genomic DatabasEs. | Thomas Schneider, Oleksandr Tkachenko |
| 2019 | CCS | Poster: Framework for Semi-Private Function Evaluation with Application to Secure Insurance Rate Calculation. | Daniel Gnther, gnes Kiss, Lukas Scheidel, Thomas Schneider |
| 2019 | CCS | Secure and Private Function Evaluation with Intel SGX. | Susanne Felsen, gnes Kiss, Thomas Schneider, Christian Weinert |
| 2019 | EuroCrypt | Efficient Circuit-Based PSI with Linear Communication. | Benny Pinkas, Thomas Schneider, Oleksandr Tkachenko, Avishay Yanai |
| 2019 | Interspeech | Privacy-Preserving Speaker Recognition with Cohort Score Normalisation. | Andreas Nautsch, Jose Patino, Amos Treiber, Themos Stafylakis, Petr Mizera, Massimiliano Todisco, Thomas Schneider, Nicholas W. D. Evans |
| 2018 | CANS | Faster Privacy-Preserving Location Proximity Schemes. | Kimmo Jrvinen, gnes Kiss, Thomas Schneider, Oleksandr Tkachenko, Zheng Yang |
| 2018 | CCS | HyCC: Compilation of Hybrid Protocols for Practical Secure Computation. | Niklas Bscher, Daniel Demmler, Stefan Katzenbeisser, David Kretzmer, Thomas Schneider |
| 2018 | CCS | Chameleon: A Hybrid Secure Computation Framework for Machine Learning Applications. | M. Sadegh Riazi, Christian Weinert, Oleksandr Tkachenko, Ebrahim M. Songhori, Thomas Schneider, Farinaz Koushanfar |
| 2018 | CCS | Large-Scale Privacy-Preserving Statistical Computations for Distributed Genome-Wide Association Studies. | Oleksandr Tkachenko, Christian Weinert, Thomas Schneider, Kay Hamacher |
| 2018 | EuroCrypt | Efficient Circuit-Based PSI via Cuckoo Hashing. | Benny Pinkas, Thomas Schneider, Christian Weinert, Udi Wieder |
| 2018 | ICDT | Querying the Unary Negation Fragment with Regular Path Expressions. | Jean Christoph Jung, Carsten Lutz, Mauricio Martel, Thomas Schneider |
| 2018 | ICRA | Topomap: Topological Mapping and Navigation Based on Visual SLAM Maps. | Fabian Blchliger, Marius Fehr, Marcin Dymczyk, Thomas Schneider, Roland Siegwart |
| 2018 | Interspeech | VoiceGuard: Secure and Private Speech Processing. | Ferdinand Brasser, Tommaso Frassetto, Korbinian Riedhammer, Ahmad-Reza Sadeghi, Thomas Schneider, Christian Weinert |
| 2018 | IROS | Visual-Inertial Teach and Repeat Powered by Google Tango. | Marius Fehr, Thomas Schneider, Roland Siegwart |
| 2018 | KR | Ontology Partitioning Using E-Connections Revisited (Extended Abstract). | Sascha Jongebloed, Thomas Schneider |
| 2017 | ACNS | OnionPIR: Effective Protection of Sensitive Metadata in Online Communication Networks. | Daniel Demmler, Marco Holz, Thomas Schneider |
| 2017 | ASIACRYPT | More Efficient Universal Circuit Constructions. | Daniel Gnther, gnes Kiss, Thomas Schneider |
| 2017 | CANS | Privacy-Preserving Whole-Genome Variant Queries. | Daniel Demmler, Kay Hamacher, Thomas Schneider, Sebastian Stammler |
| 2017 | CoNEXT | SIXPACK: Securing Internet eXchange Points Against Curious onlooKers. | Marco Chiesa, Daniel Demmler, Marco Canini, Michael Schapira, Thomas Schneider |
| 2017 | ICALP | Conservative Extensions in Guarded and Two-Variable Fragments. | Jean Christoph Jung, Carsten Lutz, Mauricio Martel, Thomas Schneider, Frank Wolter |
| 2017 | IJCAI | Query Conservative Extensions in Horn Description Logics with Inverse Roles. | Jean Christoph Jung, Carsten Lutz, Mauricio Martel, Thomas Schneider |
| 2017 | ICRA | A direct formulation for camera calibration. | Joern Rehder, Janosch Nikolic, Thomas Schneider, Roland Siegwart |
| 2017 | ICRA | Visual-inertial self-calibration on informative motion segments. | Thomas Schneider, Mingyang Li, Michael Burri, Juan I. Nieto, Roland Siegwart, Igor Gilitschenski |
| 2017 | NDSS | Pushing the Communication Barrier in Secure Computation using Lookup Tables. | Ghada Dessouky, Farinaz Koushanfar, Ahmad-Reza Sadeghi, Thomas Schneider, Shaza Zeitouni, Michael Zohner |
| 2017 | NDSS | Constant Round Maliciously Secure 2PC with Function-independent Preprocessing using LEGO. | Jesper Buus Nielsen, Thomas Schneider, Roberto Trifiletti |
| 2017 | SIGCSE | Merging MyCS: Lessons from a District-wide Middle-school CS pilot (Abstract Only). | Sam Andow, Kaitlyn Eng, Julia McCarthy, Olivia Palenscar, Thomas Schneider, Adam Schulze, Zachary Dodds, Bryan Twarek |
| 2016 | DAC | GarbledCPU: a MIPS processor for secure computation in hardware. | Ebrahim M. Songhori, Shaza Zeitouni, Ghada Dessouky, Thomas Schneider, Ahmad-Reza Sadeghi, Farinaz Koushanfar |
| 2016 | EuroCrypt | Valiant's Universal Circuit is Practical. | gnes Kiss, Thomas Schneider |
| 2016 | ICRA | Extending kalibr: Calibrating the extrinsics of multiple IMUs and of individual axes. | Joern Rehder, Janosch Nikolic, Thomas Schneider, Timo Hinzmann, Roland Siegwart |
| 2016 | IROS | Erasing bad memories: Agent-side summarization for long-term mapping. | Marcin Dymczyk, Thomas Schneider, Igor Gilitschenski, Roland Siegwart, Elena Stumm |
| 2016 | IROS | Collaborative navigation for flying and walking robots. | Peter Fankhauser, Michael Bloesch, Philipp Krusi, Remo Diethelm, Martin Wermelinger, Thomas Schneider, Marcin Dymczyk, Marco Hutter, Roland Siegwart |
| 2016 | IROS | Robust map generation for fixed-wing UAVs with low-cost highly-oblique monocular cameras. | Timo Hinzmann, Thomas Schneider, Marcin Dymczyk, Amir Melzer, Thomas Mantel, Roland Siegwart, Igor Gilitschenski |
| 2016 | ISVC | Monocular Visual-Inertial SLAM for Fixed-Wing UAVs Using Sliding Window Based Nonlinear Optimization. | Timo Hinzmann, Thomas Schneider, Marcin Dymczyk, Andreas Schaffner, Simon Lynen, Roland Siegwart, Igor Gilitschenski |
| 2015 | CCS | Automated Synthesis of Optimized Circuits for Secure Computation. | Daniel Demmler, Ghada Dessouky, Farinaz Koushanfar, Ahmad-Reza Sadeghi, Thomas Schneider, Shaza Zeitouni |
| 2015 | EuroCrypt | Ciphers for MPC and FHE. | Martin R. Albrecht, Christian Rechberger, Thomas Schneider, Tyge Tiessen, Michael Zohner |
| 2015 | EuroCrypt | More Efficient Oblivious Transfer Extensions with Security for Malicious Adversaries. | Gilad Asharov, Yehuda Lindell, Thomas Schneider, Michael Zohner |
| 2015 | IJCAI | Lightweight Temporal Description Logics with Rigid Roles and Restricted TBoxes. | Vctor Gutirrez-Basulto, Jean Christoph Jung, Thomas Schneider |
| 2015 | NDSS | ABY - A Framework for Efficient Mixed-Protocol Secure Two-Party Computation. | Daniel Demmler, Thomas Schneider, Michael Zohner |
| 2015 | SP | TinyGarble: Highly Compressed and Scalable Sequential Garbled Circuits. | Ebrahim M. Songhori, Siam U. Hussain, Ahmad-Reza Sadeghi, Thomas Schneider, Farinaz Koushanfar |
| 2014 | ACNS | Automatic Protocol Selection in Secure Two-Party Computations. | Florian Kerschbaum, Thomas Schneider, Axel Schrpfer |
| 2014 | CCS | RAID-PIR: Practical Multi-Server PIR. | Daniel Demmler, Amir Herzberg, Thomas Schneider |
| 2014 | KR | Finite Model Reasoning in Horn Description Logics. | Yazmn Anglica Ibez-Garca, Carsten Lutz, Thomas Schneider |
| 2014 | KR | Lightweight Description Logics and Branching Time: A Troublesome Marriage. | Vctor Gutirrez-Basulto, Jean Christoph Jung, Thomas Schneider |
| 2013 | ACNS | CrowdShare: Secure Mobile Resource Sharing. | N. Asokan, Alexandra Dmitrienko, Marcin Nagy, Elena Reshetova, Ahmad-Reza Sadeghi, Thomas Schneider, Stanislaus Stelle |
| 2013 | CCS | More efficient oblivious transfer and extensions for faster secure computation. | Gilad Asharov, Yehuda Lindell, Thomas Schneider, Michael Zohner |
| 2013 | CCS | Faster secure two-party computation with less memory. | Wilko Henecka, Thomas Schneider |
| 2013 | FC | GMW vs. Yao? Efficient Secure Two-Party Computation with Low Depth Circuits. | Thomas Schneider, Michael Zohner |
| 2013 | HCI | The Role of the Community in a Technical Support Community: A Case Study. | Donald M. Allen, Thomas Schneider |
| 2013 | NDSS | Automatic Protocol Selection in Secure Two-Party Computations. | Florian Kerschbaum, Thomas Schneider, Axel Schrpfer |
| 2012 | AiML | The Complexity of Monotone Hybrid Logics over Linear Frames and the Natural Numbers. | Stefan Gller, Arne Meier, Martin Mundhenk, Thomas Schneider, Michael Thomas, Felix Wei |
| 2012 | FC | CTL: A Platform-Independent Crypto Tools Library Based on Dataflow Programming Paradigm. | Junaid Jameel Ahmad, Shujun Li, Ahmad-Reza Sadeghi, Thomas Schneider |
| 2011 | AAAI | Conjunctive Query Inseparability of OWL 2 QL TBoxes. | Boris Konev, Roman Kontchakov, Michel Ludwig, Thomas Schneider, Frank Wolter, Michael Zakharyaschev |
| 2011 | CCS | AmazonIA: when elasticity snaps back. | Sven Bugiel, Stefan Nrnberger, Thomas Pppelmann, Ahmad-Reza Sadeghi, Thomas Schneider |
| 2011 | IJCAI | The Modular Structure of an Ontology: Atomic Decomposition. | Chiara Del Vescovo, Bijan Parsia, Ulrike Sattler, Thomas Schneider |
| 2011 | TABLEAUX | Correctness and Worst-Case Optimality of Pratt-Style Decision Procedures for Modal and Hybrid Logics. | Mark Kaminski, Thomas Schneider, Gert Smolka |
| 2011 | TAMC | Generalized Satisfiability for the Description Logic | Arne Meier, Thomas Schneider |
| 2010 | CCS | TASTY: tool for automating secure two-party computations. | Wilko Henecka, Stefan Kgl, Ahmad-Reza Sadeghi, Thomas Schneider, Immo Wehrenberg |
| 2010 | CHES | Garbled Circuits for Leakage-Resilience: Hardware Implementation and Evaluation of One-Time Programs - (Full Version). | Kimmo Jrvinen, Vladimir Kolesnikov, Ahmad-Reza Sadeghi, Thomas Schneider |
| 2010 | ESORICS | A Certifying Compiler for Zero-Knowledge Proofs of Knowledge Based on Sigma-Protocols. | Jos Bacelar Almeida, Endre Bangerter, Manuel Barbosa, Stephan Krenn, Ahmad-Reza Sadeghi, Thomas Schneider |
| 2010 | FC | Embedded SFE: Offloading Server and Network Using Hardware Tokens. | Kimmo Jrvinen, Vladimir Kolesnikov, Ahmad-Reza Sadeghi, Thomas Schneider |
| 2010 | KR | The Modular Structure of an Ontology: An Empirical Study. | Bijan Parsia, Thomas Schneider |
| 2009 | ACNS | Practical Secure Evaluation of Semi-private Functions. | Annika Paus, Ahmad-Reza Sadeghi, Thomas Schneider |
| 2009 | ASIACRYPT | Secure Two-Party Computation Is Practical. | Benny Pinkas, Thomas Schneider, Nigel P. Smart, Stephen C. Williams |
| 2009 | CANS | Improved Garbled Circuit Building Blocks and Applications to Auctions and Computing Minima. | Vladimir Kolesnikov, Ahmad-Reza Sadeghi, Thomas Schneider |
| 2009 | ESORICS | Secure Evaluation of Private Linear Branching Programs with Medical Applications. | Mauro Barni, Pierluigi Failla, Vladimir Kolesnikov, Riccardo Lazzeretti, Ahmad-Reza Sadeghi, Thomas Schneider |
| 2009 | ICISC | Efficient Privacy-Preserving Face Recognition. | Ahmad-Reza Sadeghi, Thomas Schneider, Immo Wehrenberg |
| 2009 | IJCAI | Minimal Module Extraction from DL-Lite Ontologies Using QBF Solvers. | Roman Kontchakov, Luca Pulina, Ulrike Sattler, Thomas Schneider, Petra Selmer, Frank Wolter, Michael Zakharyaschev |
| 2009 | MFCS | The Complexity of Satisfiability for Fragments of Hybrid Logic-Part I. | Arne Meier, Martin Mundhenk, Thomas Schneider, Michael Thomas, Volker Weber, Felix Weiss |
| 2009 | TIME | Model Checking CTL is Almost Always Inherently Sequential. | Olaf Beyersdorff, Arne Meier, Michael Thomas, Heribert Vollmer, Martin Mundhenk, Thomas Schneider |
| 2008 | FC | A Practical Universal Circuit Construction and Secure Evaluation of Private Functions. | Vladimir Kolesnikov, Thomas Schneider |
| 2008 | ICALP | Improved Garbled Circuit: Free XOR Gates and Applications. | Vladimir Kolesnikov, Thomas Schneider |
| 2008 | ICISC | Generalized Universal Circuits for Secure Evaluation of Private Functions with Application to Data Classification. | Ahmad-Reza Sadeghi, Thomas Schneider |
| 2007 | FOSSACS | The Complexity of Generalized Satisfiability for Linear Temporal Logic. | Michael Bauland, Thomas Schneider, Henning Schnoor, Ilka Schnoor, Heribert Vollmer |
| 2002 | IGARSS | "Selective" region growing - an approach based on object-oriented classification routines. | Claudius Mott, Thorsten Andresen, Stefan Zimmermann, Thomas Schneider, Ulrich Ammer |
| 2002 | IGARSS | Object-oriented information extraction for the monitoring of sensitive aquatic environments. | Thorsten Andresen, Claudius Mott, Stefan Zimmermann, Thomas Schneider, Arnulf Melzer |
| 1998 | LREC | Multilingual information processing: the AVENTINUS Project. | Thomas Schneider |