| Publication | Date of Publication | Type |
|---|
| https://portal.mardi4nfdi.de/entity/Q6152959 | 2024-03-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q6193350 | 2024-03-12 | Paper |
| Finding fix locations for CFL-reachability analyses via minimum cuts | 2022-08-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5206729 | 2019-12-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2813807 | 2016-06-24 | Paper |
| Programming with angelic nondeterminism | 2015-06-11 | Paper |
| What packets may come | 2015-03-17 | Paper |
| Generating precise and concise procedure summaries | 2014-09-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2905027 | 2012-08-24 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2905055 | 2012-08-24 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2899475 | 2012-07-30 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2899538 | 2012-07-30 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2899659 | 2012-07-30 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2899758 | 2012-07-30 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2899789 | 2012-07-30 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3078125 | 2011-02-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3075371 | 2011-02-15 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3582557 | 2010-09-02 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3649806 | 2009-12-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3396544 | 2009-09-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3634842 | 2009-06-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3523262 | 2008-09-03 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3523363 | 2008-09-03 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3523402 | 2008-09-03 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3505558 | 2008-06-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5455200 | 2008-04-03 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5446898 | 2008-03-06 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5435055 | 2008-01-14 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3410307 | 2006-11-27 | Paper |
| Tools and Algorithms for the Construction and Analysis of Systems | 2005-11-10 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5697571 | 2005-10-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5695227 | 2005-10-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4824385 | 2004-11-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4468919 | 2004-06-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2783581 | 2002-12-19 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4551670 | 2002-12-15 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4399816 | 1999-04-21 | Paper |
| A field-consistent formulation for the eight-noded solid finite element | 1989-01-01 | Paper |
| Studies on performance of curved beam finite elements for analysis of thin arches | 1989-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3469649 | 1988-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3719234 | 1985-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3743757 | 1985-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4148549 | 1977-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4151573 | 1977-01-01 | Paper |
| On estimating the reliability of a component subject to several different stresses (strengths) | 1975-01-01 | Paper |
