Christian Haubelt
From MaRDI portal
Person:2851232
Available identifiers
zbMath Open haubelt.christianMaRDI QIDQ2851232
List of research outcomes
| This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon! |
| Publication | Date of Publication | Type |
|---|---|---|
| Improving Coordinated SMT-Based System Synthesis by Utilizing Domain-Specific Heuristics | 2015-11-04 | Paper |
| Symbolic System Synthesis Using Answer Set Programming | 2013-10-10 | Paper |
| Digitale Hardware/Software-Systeme | 2010-01-21 | Paper |
| Solving Multi-objective Pseudo-Boolean Problems | 2009-03-10 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3528915 | 2008-10-17 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3528923 | 2008-10-17 | Paper |
| Digitale Hardware/Software-Systeme | 2007-04-10 | Paper |
| Evolutionary Multi-Criterion Optimization | 2005-11-30 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4471677 | 2004-07-30 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4424293 | 2003-09-04 | Paper |
Research outcomes over time
This page was built for person: Christian Haubelt