| Publication | Date of Publication | Type |
|---|
| Web apps and imprecise probabilitites | 2022-12-01 | Paper |
| Modelling web-service uncertainty: the angel/daemon approach | 2021-12-20 | Paper |
| Measuring investment opportunities under uncertainty | 2020-02-20 | Paper |
| The computational complexity of QoS measures for orchestrations. The computational complexity of QoS measures | 2017-11-09 | Paper |
| The pragmatic proof: Hypermedia API composition and execution | 2017-11-09 | Paper |
| An angel-daemon approach to assess the uncertainty in the power of a collectivity to act | 2017-09-05 | Paper |
| Parallel dictionaries with local rules on AVL and brother trees | 2016-06-09 | Paper |
| The Robustness of Periodic Orchestrations in Uncertain Evolving Environments | 2015-11-10 | Paper |
| Uncertainty in the Cloud: An Angel-Daemon Approach to Modelling Performance | 2015-11-10 | Paper |
| Reasoning about orchestrations of web services using partial correctness | 2014-11-10 | Paper |
| Computational models for networks of tiny artifacts: a survey | 2014-10-24 | Paper |
| Book review of: Robin Sharp, Principles of protocol design | 2014-10-07 | Paper |
| Computational aspects of uncertainty profiles and angel-daemon games | 2014-03-25 | Paper |
| On the hardness of game equivalence under local isomorphism | 2013-06-18 | Paper |
| Equilibria problems on games: complexity versus succinctness | 2012-01-11 | Paper |
| The complexity of game isomorphism | 2011-12-07 | Paper |
| Web Services and Incerta Spiriti: A Game Theoretic Approach to Uncertainty | 2011-06-29 | Paper |
| On the Complexity of Game Isomorphism | 2008-09-17 | Paper |
| On the Complexity of Equilibria Problems in Angel-Daemon Games | 2008-07-10 | Paper |
| Algorithms and Computation | 2006-11-14 | Paper |
| Mathematical Foundations of Computer Science 2005 | 2006-10-20 | Paper |
| Analytic urns | 2005-06-23 | Paper |
| Barrier synchronisation: Axiomatisation and relaxation | 2004-10-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4817282 | 2004-09-22 | Paper |
| Fringe analysis of synchronized parallel insertion algorithms in 2--3 trees. | 2003-05-25 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4791950 | 2003-02-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4536967 | 2002-11-06 | Paper |
| AXIOMATIC FRAMEWORKS FOR DEVELOPING BSP-STYLE PROGRAMS∗ | 2000-06-05 | Paper |
| A design of a parallel dictionary using skip lists | 1997-02-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4853315 | 1996-02-13 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4321931 | 1995-02-06 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4039803 | 1993-06-05 | Paper |
| Deciding bisimilarity is P-complete | 1993-02-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3996675 | 1992-09-17 | Paper |
| The parallel complexity of two problems on concurrency | 1991-01-01 | Paper |
| Iterated GSMs and CO-CFL | 1989-01-01 | Paper |
| Nonuniform complexity classes specified by lower and upper bounds | 1989-01-01 | Paper |
| Non recursive functions have transcendental generating series | 1989-01-01 | Paper |
| Prefixes of infinite words and ambiguous context-free languages | 1987-01-01 | Paper |
| On characterizations of the class PSPACE/poly | 1987-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3753480 | 1986-01-01 | Paper |
| Uniform characterizations of non-uniform complexity measures | 1985-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3692867 | 1985-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3330536 | 1984-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3745282 | 1984-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3674080 | 1983-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4742318 | 1982-01-01 | Paper |
