Benjamin Andres
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
3
Active years
2012–2015
Best venue rank
B
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2015 | DATE | 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 |
| 2015 | LPNMR | Improving Coordinated SMT-Based System Synthesis by Utilizing Domain-Specific Heuristics. | Benjamin Andres, Alexander Biewer, Javier Romero, Christian Haubelt, Torsten Schaub |
| 2015 | LPNMR | Integrating ASP into ROS for Reasoning in Robots. | Benjamin Andres, David Rajaratnam, Orkunt Sabuncu, Torsten Schaub |
| 2013 | LPNMR | Symbolic System Synthesis Using Answer Set Programming. | Benjamin Andres, Martin Gebser, Torsten Schaub, Christian Haubelt, Felix Reimann, Michael Gla |
| 2013 | LPNMR | Accurate Computation of Sensitizable Paths Using Answer Set Programming. | Benjamin Andres, Matthias Sauer, Martin Gebser, Tobias Schubert, Bernd Becker, Torsten Schaub |
| 2012 | ICLP | Unsatisfiability-based optimization in clasp. | Benjamin Andres, Benjamin Kaufmann, Oliver Matheis, Torsten Schaub |