| Publication | Date of Publication | Type |
|---|
| A combinatorial and logical approach to linear-time computability (extended abstract) | 2011-04-16 | Paper |
| Heuristic Optimization of Reinsurance Programs and Implications for Reinsurance Buyers | 2011-04-07 | Paper |
| Non-parametric estimation of a multiscale CHARN model using SVR | 2009-10-12 | Paper |
| Easy Problems for Grid-Structured Graphs | 2009-03-10 | Paper |
| A hybrid heuristic approach to discrete multi-objective optimization of credit portfolios | 2008-11-26 | Paper |
| Integrated risk management: risk aggregation and allocation using intelligent systems | 2008-09-09 | Paper |
| Discovery of Risk-Return Efficient Structures in Middle-Market Credit Portfolios | 2008-03-06 | Paper |
| Trees, grids, and MSO decidability: from graphs to matroids | 2006-04-06 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3374070 | 2006-03-09 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3369408 | 2006-02-13 | Paper |
| Evolutionary Multi-Criterion Optimization | 2005-11-30 | Paper |
| Parameterized and Exact Computation | 2005-08-23 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4660871 | 2005-04-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4281679 | 2000-08-14 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4263794 | 2000-03-29 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4222816 | 1998-12-13 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4362922 | 1998-05-10 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5284545 | 1997-05-26 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4273661 | 1994-10-31 | Paper |
| An algebraic theory of graph reduction | 1994-09-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4037299 | 1993-05-18 | Paper |
| Easy problems for tree-decomposable graphs | 1991-01-01 | Paper |
| The structure of the models of decidable monadic theories of graphs | 1991-01-01 | Paper |
| Grids and their minors | 1989-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3812222 | 1988-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3692864 | 1985-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3735735 | 1985-01-01 | Paper |
| ω-Trees in stationary logic | 1983-01-01 | Paper |
| Undecidable Theories in Stationary Logic | 1982-01-01 | Paper |
| L(aa)‐Elementary Types of Well‐Orderings | 1982-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3912642 | 1981-01-01 | Paper |
| Stationary Logic and Ordinals | 1981-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3929722 | 1981-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3884080 | 1980-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3919669 | 1980-01-01 | Paper |
| Some Graph Theoretical Operations and Decidability | 1979-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3205222 | 1979-01-01 | Paper |
| Über Unentscheidbare Erweiterungen von SC | 1978-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4166737 | 1978-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3902984 | 1978-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4194946 | 1978-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4154858 | 1977-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3853686 | 1977-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4140970 | 1977-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4163505 | 1977-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4135492 | 1975-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4097268 | 1975-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5668796 | 1972-01-01 | Paper |
