| Publication | Date of Publication | Type |
|---|
| https://portal.mardi4nfdi.de/entity/Q6173576 | 2023-07-21 | Paper |
| Precise Subtyping for Asynchronous Multiparty Sessions | 2023-04-05 | Paper |
| A Calculus for Modeling Floating Authorizations | 2023-03-10 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5013869 | 2021-12-03 | Paper |
| On primitives for compensation handling as adaptable processes | 2021-08-03 | Paper |
| Denotational and operational preciseness of subtyping: a roadmap. Dedicated to Frank de Boer on the occasion of his 60th birthday | 2021-05-20 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5144356 | 2021-01-15 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5144358 | 2021-01-15 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5212279 | 2020-01-28 | Paper |
| A calculus for modeling floating authorizations | 2019-10-17 | Paper |
| Precise subtyping for synchronous multiparty sessions | 2019-06-20 | Paper |
| Measuring linearity of curves in \(2D\) and \(3D\) | 2018-09-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4583685 | 2018-09-03 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4583751 | 2018-09-03 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4583800 | 2018-09-03 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4583846 | 2018-09-03 | Paper |
| Linked data privacy | 2017-04-03 | Paper |
| Binary relations and algebras on multisets | 2017-03-14 | Paper |
| Dynamic role authorization in multiparty conversations | 2016-09-20 | Paper |
| Combining behavioural types with security analysis | 2015-11-10 | Paper |
| Measuring linearity of connected configurations of a finite number of 2D and 3D curves | 2015-07-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4922307 | 2013-05-29 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4907211 | 2013-01-31 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4907234 | 2013-01-31 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2913953 | 2012-09-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5389259 | 2012-04-26 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5389342 | 2012-04-26 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3115125 | 2012-02-20 | Paper |
| Types for Role-Based Access Control of Dynamic Web Data | 2011-05-27 | Paper |
| Security Types for Dynamic Web Data | 2009-03-05 | Paper |
| Security types for dynamic web data | 2008-08-06 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5439782 | 2008-02-11 | Paper |
| One Interval in the Lattice of Partial Hyperclones | 2006-02-14 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5714375 | 2005-12-30 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4830914 | 2004-12-16 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4451511 | 2004-02-26 | Paper |
| On the cardinality of nonfinitely based functionally complete algebras | 2003-04-23 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4794036 | 2003-02-16 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4794046 | 2003-02-16 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4542614 | 2002-08-04 | Paper |
| Relative completeness with respect to two unary functions | 2002-07-25 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2759847 | 2002-03-10 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2763578 | 2002-01-20 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4515251 | 2000-11-13 | Paper |
| The cardinality of functionally complete algebras on a three element set | 1998-11-23 | Paper |
