| Publication | Date of Publication | Type |
|---|
| Bipartite secret sharing and staircases | 2024-03-27 | Paper |
| Infinite probabilistic secret sharing | 2023-08-17 | Paper |
| A short proof of the G\'acs--K\"orner theorem | 2023-06-26 | Paper |
| Algebra of Data Reconciliation | 2023-01-23 | Paper |
| An optimization problem for continuous submodular functions | 2022-08-29 | Paper |
| Mathematical Logic | 2021-08-24 | Paper |
| Inner approximation algorithm for solving linear multiobjective optimization problems | 2021-08-19 | Paper |
| Sticky Polymatroids on At Most Five Elements | 2021-06-29 | Paper |
| Secret sharing and duality | 2021-06-17 | Paper |
| One-adhesive polymatroids | 2021-04-13 | Paper |
| Cyclic flats of a polymatroid | 2021-03-29 | Paper |
| Sticky matroids and convolution | 2019-09-05 | Paper |
| Secret sharing on large girth graphs | 2019-05-15 | Paper |
| Optimal Information Rate of Secret Sharing Schemes on Trees | 2017-06-08 | Paper |
| Book Inequalities | 2017-05-16 | Paper |
| Entropy Region and Convolution | 2017-04-28 | Paper |
| Using multiobjective optimization to map the entropy region | 2016-03-07 | Paper |
| Erdős-Pyber theorem for hypergraphs and secret sharing | 2015-09-24 | Paper |
| Secret sharing on the \(d\)-dimensional cube | 2015-03-12 | Paper |
| Infinite secret sharing -- examples | 2014-06-30 | Paper |
| Gruppen secret sharing or how to share several secrets if you must? | 2014-02-18 | Paper |
| Secure utilization of local and regional data assets through mobile environments | 2012-08-29 | Paper |
| Complexity of universal access structures | 2012-05-04 | Paper |
| On-line secret sharing | 2012-03-01 | Paper |
| Corrigendum to secret sharing on infinite graphs | 2011-02-17 | Paper |
| An impossibility result on graph secret sharing | 2009-11-27 | Paper |
| On an infinite family of graphs with information ratio \(2 - 1/k\) | 2009-08-10 | Paper |
| Secret sharing on infinite graphs | 2009-03-11 | Paper |
| Secret sharing schemes on graphs | 2008-10-22 | Paper |
| The perimeter of rounded convex planar sets | 2007-10-17 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3428859 | 2007-03-29 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3428847 | 2007-03-29 | Paper |
| Connected graph game | 2003-05-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4231579 | 1999-03-14 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4231601 | 1999-03-14 | Paper |
| The size of a share must be large | 1998-10-19 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4365723 | 1998-05-03 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4370857 | 1998-01-07 | Paper |
| Program correctness on finite fields | 1997-04-08 | Paper |
| Stability of weak second-order semantics | 1989-01-01 | Paper |
| Strong Semantical Characterization for Nondeterministic Programs | 1987-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3769956 | 1986-01-01 | Paper |
| A completeness theorem for dynamic logic | 1985-01-01 | Paper |
| A PROPERTY OF 2‐SORTED PEANO MODELS AND PROGRAM VERIFICATION | 1984-01-01 | Paper |
| On the strength of “sometimes” and “always” in program verification | 1983-01-01 | Paper |
| Variations on a game | 1982-01-01 | Paper |
| Determinateness of program equivalence over peano axioms | 1982-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3683528 | 1982-01-01 | Paper |
| Programs and program verifications in a general setting | 1981-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3911362 | 1981-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3957912 | 1981-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3883474 | 1980-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3919064 | 1980-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3894950 | 1980-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3933771 | 1980-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3858240 | 1979-01-01 | Paper |
