Application-driven architecture synthesis of on-chip Multiprocessor systems. - Christophe Bobda; Philipp Mahr; Benjamin Andres; Harold Ishebabi (HPCS, 2010)

Unsatisfiability-based optimization in clasp. - Benjamin Andres; Benjamin Kaufmann; Oliver Matheis; Torsten Schaub (ICLP (Technical Communications), 2012)

Symbolic System Synthesis Using Answer Set Programming. - Benjamin Andres; Martin Gebser; Torsten Schaub; Christian Haubelt; Felix Reimann; Michael Glaß (LPNMR, 2013)

Accurate Computation of Sensitizable Paths Using Answer Set Programming. - Benjamin Andres; Matthias Sauer 002; Martin Gebser; Tobias Schubert 001; Bernd Becker 001; Torsten Schaub (LPNMR, 2013)

A Combined Mapping and Routing Algorithm for 3D NoCs Based on ASP. - Benjamin Andres; Martin Gebser; Torsten Schaub; Christian Haubelt; Felix Reimann; Michael Glaß (MBMV, 2013)

ROSoClingo: A ROS package for ASP-based robot control. - Benjamin Andres; Philipp Obermeier; Orkunt Sabuncu; Torsten Schaub; David Rajaratnam (CoRR, 2013)

A symbolic system synthesis approach for hard real-time systems based on coordinated SMT-solving. - Alexander Biewer; Benjamin Andres; Jens Gladigau; Torsten Schaub; Christian Haubelt (DATE, 2015)

Improving Coordinated SMT-Based System Synthesis by Utilizing Domain-Specific Heuristics. - Benjamin Andres; Alexander Biewer; Javier Romero 003; Christian Haubelt; Torsten Schaub (LPNMR, 2015)

Integrating ASP into ROS for Reasoning in Robots. - Benjamin Andres; David Rajaratnam; Orkunt Sabuncu; Torsten Schaub (LPNMR, 2015)

Combining task and motion planning: A culprit detection problem. - Fabien Lagriffoul; Benjamin Andres (Int. J. Robotics Res., 2016)