| 2008 |
| 5 | EE | Martin Lukasiewycz,
Michael Glaß,
Christian Haubelt,
Jürgen Teich:
Efficient symbolic multi-objective design space exploration.
ASP-DAC 2008: 691-696 |
| 2007 |
| 4 | EE | Michael Glaß,
Martin Lukasiewycz,
Thilo Streichert,
Christian Haubelt,
Jürgen Teich:
Interactive presentation: Reliability-aware system synthesis.
DATE 2007: 409-414 |
| 3 | EE | Martin Lukasiewycz,
Michael Glaß,
Christian Haubelt,
Jürgen Teich:
Solving Multi-objective Pseudo-Boolean Problems.
SAT 2007: 56-69 |
| 2006 |
| 2 | EE | Martin Lukasiewycz,
Michael Glaß,
Christian Haubelt,
Jürgen Teich:
Symbolic Archive Representation for a Fast Nondominance Test.
EMO 2006: 111-125 |
| 1 | EE | Thomas Schlichter,
Martin Lukasiewycz,
Christian Haubelt,
Jürgen Teich:
Improving System Level Design Space Exploration by Incorporating SAT-Solvers into Multi-Objective Evolutionary Algorithms.
ISVLSI 2006: 309-316 |