| Unsatisfiability-based optimization in clasp B Andres, B Kaufmann, O Matheis, T Schaub Technical Communications of the 28th International Conference on Logic …, 2012 | 126 | 2012 |
| Combining task and motion planning: A culprit detection problem F Lagriffoul, B Andres The International Journal of Robotics Research 35 (8), 890-927, 2016 | 53 | 2016 |
| Symbolic system synthesis using answer set programming B Andres, M Gebser, T Schaub, C Haubelt, F Reimann, M Glaß Logic Programming and Nonmonotonic Reasoning: 12th International Conference …, 2013 | 27 | 2013 |
| A symbolic system synthesis approach for hard real-time systems based on coordinated SMT-solving A Biewer, B Andres, J Gladigau, T Schaub, C Haubelt 2015 Design, Automation & Test in Europe Conference & Exhibition (DATE), 357-362, 2015 | 22 | 2015 |
| Integrating ASP into ROS for reasoning in robots B Andres, D Rajaratnam, O Sabuncu, T Schaub Logic Programming and Nonmonotonic Reasoning: 13th International Conference …, 2015 | 18 | 2015 |
| Improving coordinated smt-based system synthesis by utilizing domain-specific heuristics B Andres, A Biewer, J Romero, C Haubelt, T Schaub Logic Programming and Nonmonotonic Reasoning: 13th International Conference …, 2015 | 8 | 2015 |
| ROSoClingo: A ROS package for ASP-based robot control B Andres, P Obermeier, O Sabuncu, T Schaub, D Rajaratnam arXiv preprint arXiv:1307.7398, 2013 | 6 | 2013 |
| A Combined Mapping and Routing Algorithm for 3D NoCs Based on ASP. B Andres, M Gebser, T Schaub, C Haubelt, F Reimann, M Glaß MBMV, 35-46, 2013 | 3 | 2013 |
| Integrating ASP into ROS for reasoning in robots: Extended version B Andres, D Rajaratnam, O Sabuncu, T Schaub Unpublished draft, 2015 | 1 | 2015 |
| Accurate computation of sensitizable paths using answer set programming B Andres, M Sauer, M Gebser, T Schubert, B Becker, T Schaub Logic Programming and Nonmonotonic Reasoning: 12th International Conference …, 2013 | 1 | 2013 |
| Accurate computation of longest sensitizable paths using answer set programming B Andres, M Sauer, M Gebser, T Schubert, B Becker, T Schaub Sechste GMM/GI/ITG-Fachtagung für Zuverlässigkeit und Entwurf, ZuE 2012, 2012 | 1 | 2012 |
| Application-driven architecture synthesis of on-chip Multiprocessor systems C Bobda, P Mahr, B Andres, H Ishebabi 2010 International Conference on High Performance Computing & Simulation …, 2010 | 1 | 2010 |
| Prototyping and Evaluating Communication-Centric Multicore Systems L Middendorf, B Andres, C Bobda | | |
| PinHaT–A Tool for the automatic generation of Multiprocessor Systems-on-Chip B Andres, P Mahr, H Ishebabi, C Bobda | | |
Torsten SchaubUniversity of Potsdam在 cs.uni-potsdam.de 的电子邮件经过验证
