Tobias Schubert
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
25
Venues
14
Active years
2000–2018
Best venue rank
A*
Where they publish
Papers
25 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2018 | ICRA | Whole-Body Sensory Concept for Compliant Mobile Robots. | Marina Kollmitz, Daniel Bscher, Tobias Schubert, Wolfram Burgard |
| 2017 | FDTC | AutoFault: Towards Automatic Construction of Algebraic Fault Attacks. | Jan Burchard, Mael Gay, Ange-Salom Messeng Ekossono, Jan Horcek, Bernd Becker, Tobias Schubert, Martin Kreuzer, Ilia Polian |
| 2017 | IROS | An online system for tracking the performance of Parkinson's patients. | Andreas Kuhner, Tobias Schubert, Christoph Maurer, Wolfram Burgard |
| 2017 | IROS | Closed-form full map posteriors for robot localization with lidar sensors. | Lukas Luft, Alexander Schaefer, Tobias Schubert, Wolfram Burgard |
| 2016 | CLUSTER | Distributed Parallel #SAT Solving. | Jan Burchard, Tobias Schubert, Bernd Becker |
| 2016 | IROS | A probabilistic approach to liquid level detection in cups using an RGB-D camera. | Chau Do, Tobias Schubert, Wolfram Burgard |
| 2016 | IROS | A probabilistic approach based on Random Forests to estimating similarity of human motion in the context of Parkinson's Disease. | Andreas Kuhner, Tobias Schubert, Massimo Cenciarini, Christoph Maurer, Wolfram Burgard |
| 2016 | ICRA | Automatic bone parameter estimation for skeleton tracking in optical motion capture. | Tobias Schubert, Katharina Eggensperger, Alexis Gkogkidis, Frank Hutter, Tonio Ball, Wolfram Burgard |
| 2015 | ICRA | Automatic initialization for skeleton tracking in optical motion capture. | Tobias Schubert, Alexis Gkogkidis, Tonio Ball, Wolfram Burgard |
| 2015 | SAT | Laissez-Faire Caching for Parallel #SAT Solving. | Jan Burchard, Tobias Schubert, Bernd Becker |
| 2014 | ATVA | Incremental Encoding and Solving of Cardinality Constraints. | Sven Reimer, Matthias Sauer, Tobias Schubert, Bernd Becker |
| 2014 | DATE | Using MaxBMC for Pareto-optimal circuit initialization. | Sven Reimer, Matthias Sauer, Tobias Schubert, Bernd Becker |
| 2013 | ASPDAC | Provably optimal test cube generation using quantified boolean formula solving. | Matthias Sauer, Sven Reimer, Ilia Polian, Tobias Schubert, Bernd Becker |
| 2013 | DATE | Efficient SAT-based dynamic compaction and relaxation for longest sensitizable paths. | Matthias Sauer, Sven Reimer, Tobias Schubert, Ilia Polian, Bernd Becker |
| 2013 | LPNMR | Accurate Computation of Sensitizable Paths Using Answer Set Programming. | Benjamin Andres, Matthias Sauer, Martin Gebser, Tobias Schubert, Bernd Becker, Torsten Schaub |
| 2012 | VTS | SAT-ATPG using preferences for improved detection of complex defect mechanisms. | Alexander Czutro, Matthias Sauer, Tobias Schubert, Ilia Polian, Bernd Becker |
| 2011 | DDECS | SAT-based analysis of sensitisable paths. | Matthias Sauer, Alexander Czutro, Tobias Schubert, Stefan Hillebrecht, Ilia Polian, Bernd Becker |
| 2009 | PDPTA | Picoso - A Parallel Interval Constraint Solver. | Natalia Kalinnik, Tobias Schubert, Erika brahm, Ralf Wimmer, Bernd Becker |
| 2009 | SAT | PaQuBE: Distributed QBF Solving with Advanced Knowledge Sharing. | Matthew Lewis, Paolo Marin, Tobias Schubert, Massimo Narizzano, Bernd Becker, Enrico Giunchiglia |
| 2007 | ASPDAC | Multithreaded SAT Solving. | Matthew Lewis, Tobias Schubert, Bernd Becker |
| 2006 | FMICS | Parallel SAT Solving in Bounded Model Checking. | Erika brahm, Tobias Schubert, Bernd Becker, Martin Frnzle, Christian Herde |
| 2005 | PDPTA | Knowledge Sharing in a Microcontroller based Parallel SAT Solver. | Tobias Schubert, Bernd Becker |
| 2005 | SAT | Speedup Techniques Utilized in Modern SAT Solvers. | Matthew D. T. Lewis, Tobias Schubert, Bernd Becker |
| 2004 | SAT | Early Conflict Detection Based BCP for SAT Solving. | Matthew D. T. Lewis, Tobias Schubert, Bernd Becker |
| 2000 | GECCO | Specialized Hardware for Implementation of Evolutionary Algorithms. | Tobias Schubert, Elke Mackensen, Nicole Drechsler, Rolf Drechsler, Bernd Becker |