Thomas Arts
From MaRDI portal
Person:199243
Available identifiers
zbMath Open arts.thomasWikidataQ100235338 ScholiaQ100235338MaRDI QIDQ199243
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 |
|---|---|---|
| Termination by absence of infinite chains of dependency pairs | 2023-02-23 | Paper |
| Termination of constructor systems | 2022-12-09 | Paper |
| Gaining trust by tracing security protocols | 2022-11-16 | Paper |
| Proving innermost normalisation automatically | 2017-11-17 | Paper |
| Formal Approaches to Software Testing | 2005-12-02 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4808829 | 2004-08-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2763376 | 2002-01-15 | Paper |
| Verification of Erlang processes by dependency pairs | 2001-08-26 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2723906 | 2001-07-08 | Paper |
Research outcomes over time
This page was built for person: Thomas Arts
