The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Benjamin Andres" ( http://dblp.L3S.de/Authors/Benjamin_Andres )

  Author page on DBLP  Author page in RDF  Community of Benjamin Andres in ASPL-2

Publication years (Num. hits)
2010 (1) 2012 (1) 2013 (4) 2015 (3) 2016 (1)
Publication types (Num. hits)
article(2) inproceedings(8)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
No Growbag Graphs found.

Results
Found 11 publication records. Showing 10 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Fabien Lagriffoul, Benjamin Andres Combining task and motion planning: A culprit detection problem. Search on Bibsonomy I. J. Robotics Res. The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Alexander Biewer, Benjamin Andres, Jens Gladigau, Torsten Schaub, Christian Haubelt A symbolic system synthesis approach for hard real-time systems based on coordinated SMT-solving. Search on Bibsonomy DATE The full citation details ... 2015 DBLP  BibTeX  RDF
1Benjamin Andres, Alexander Biewer, Javier Romero 0003, Christian Haubelt, Torsten Schaub Improving Coordinated SMT-Based System Synthesis by Utilizing Domain-Specific Heuristics. Search on Bibsonomy LPNMR The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Benjamin Andres, David Rajaratnam, Orkunt Sabuncu, Torsten Schaub Integrating ASP into ROS for Reasoning in Robots. Search on Bibsonomy LPNMR The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Benjamin Andres, Philipp Obermeier, Orkunt Sabuncu, Torsten Schaub, David Rajaratnam ROSoClingo: A ROS package for ASP-based robot control. Search on Bibsonomy CoRR The full citation details ... 2013 DBLP  BibTeX  RDF
1Benjamin Andres, Martin Gebser, Torsten Schaub, Christian Haubelt, Felix Reimann, Michael Glaß A Combined Mapping and Routing Algorithm for 3D NoCs Based on ASP. Search on Bibsonomy MBMV The full citation details ... 2013 DBLP  BibTeX  RDF
1Benjamin Andres, Matthias Sauer 0002, Martin Gebser, Tobias Schubert 0001, Bernd Becker 0001, Torsten Schaub Accurate Computation of Sensitizable Paths Using Answer Set Programming. Search on Bibsonomy LPNMR The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Benjamin Andres, Martin Gebser, Torsten Schaub, Christian Haubelt, Felix Reimann, Michael Glaß Symbolic System Synthesis Using Answer Set Programming. Search on Bibsonomy LPNMR The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Benjamin Andres, Benjamin Kaufmann, Oliver Matheis, Torsten Schaub Unsatisfiability-based optimization in clasp. Search on Bibsonomy ICLP (Technical Communications) The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Christophe Bobda, Philipp Mahr, Benjamin Andres, Harold Ishebabi Application-driven architecture synthesis of on-chip Multiprocessor systems. Search on Bibsonomy HPCS The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #10 of 10 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license