| Publication | Date of Publication | Type |
|---|
| Privacy and reader-first authentication in Vaudenay's RFID model with temporary state disclosure | 2023-09-06 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5074681 | 2022-05-09 | Paper |
| A Hennessy-Milner Theorem for ATL with Imperfect Information | 2021-01-21 | Paper |
| On anonymization of Cocks' identity-based encryption scheme | 2020-11-02 | Paper |
| On the asymptotic idealness of the Asmuth-Bloom threshold secret sharing scheme | 2020-09-09 | Paper |
| On the distribution of quadratic residues and non-residues modulo composite integers and applications to cryptography | 2020-01-21 | Paper |
| Distributive weighted threshold secret sharing schemes | 2018-09-07 | Paper |
| Key-Policy Attribute-Based Encryption for General Boolean Circuits from Secret Sharing and Multi-linear Maps | 2016-04-26 | Paper |
| Compact sequences of co-primes and their applications to the security of CRT-based threshold schemes | 2015-09-23 | Paper |
| Key-Policy Attribute-Based Encryption for Boolean Circuits from Bilinear Maps | 2015-09-21 | Paper |
| A necessary and sufficient condition for the asymptotic idealness of the GRS threshold secret sharing scheme | 2014-04-17 | Paper |
| Structural soundness of workflow nets is decidable | 2009-12-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5457661 | 2008-04-14 | Paper |
| Petri net reactive modules | 2006-09-14 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5485972 | 2006-09-06 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5485995 | 2006-09-06 | Paper |
| Abstractions of data types | 2006-05-26 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5699482 | 2005-10-26 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4737002 | 2004-08-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4465343 | 2004-05-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4807466 | 2003-05-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4796536 | 2003-05-14 | Paper |
| SE-SYSTEMS, TIMING MECHANISMS, AND TIME-VARYING CODES | 2002-10-21 | Paper |
| A note on synchronized extension systems | 2002-07-14 | Paper |
| A note on SE-systems and regular canonical systems | 2001-12-12 | Paper |
| Synchronized extension systems | 2001-10-24 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4515247 | 2000-11-13 | Paper |
| Some decision problems for parallel communicating grammar systems | 2000-06-15 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4235439 | 1999-12-13 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4390538 | 1998-05-26 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4358456 | 1998-05-25 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4370839 | 1998-01-07 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4358451 | 1997-09-29 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4843450 | 1996-04-22 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4864793 | 1996-02-25 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4854630 | 1996-01-02 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4840166 | 1995-07-20 | Paper |
| Parallel communicating grammar systems: the context-sensitive case | 1994-07-03 | Paper |
| Selective petri net languages | 1993-01-16 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4007992 | 1992-09-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3976970 | 1992-06-25 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3976969 | 1992-06-25 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3350793 | 1991-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4207571 | 1988-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4207592 | 1988-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3774932 | 1988-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4207591 | 1988-01-01 | Paper |
