| Publication | Date of Publication | Type |
|---|
| https://portal.mardi4nfdi.de/entity/Q4994701 | 2021-06-21 | Paper |
| Game Theory and Industrial Control Systems | 2016-03-23 | Paper |
| Fast multi-scale detection of overlapping communities using local criteria | 2015-01-26 | Paper |
| On probabilistic techniques for data flow analysis | 2014-01-17 | Paper |
| On reversible combinatory logic | 2013-10-02 | Paper |
| \(\lambda\)-calculus and quantitative program analysis (extended abstract) | 2013-09-20 | Paper |
| Payoffs, Intensionality and Abstraction in Games | 2013-05-28 | Paper |
| Probabilistic Confinement in a Declarative Framework | 2013-05-24 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4912863 | 2013-03-27 | Paper |
| Probabilistic Semantics and Program Analysis | 2010-07-06 | Paper |
| CONCUR 2003 - Concurrency Theory | 2010-03-30 | Paper |
| Foundations of Security Analysis and Design II | 2009-05-14 | Paper |
| A Systematic Approach to Probabilistic Pointer Analysis | 2008-05-15 | Paper |
| Abstract Interpretation for Worst and Average Case Analysis | 2007-09-24 | Paper |
| On a Probabilistic Chemical Abstract Machine and the Expressiveness of Linda Languages | 2007-09-11 | Paper |
| Tempus fugit: How to plug it | 2007-08-10 | Paper |
| A framework for security analysis of mobile wireless networks | 2007-01-09 | Paper |
| Formal Methods for Components and Objects | 2006-11-01 | Paper |
| Reversible combinatory logic | 2006-08-28 | Paper |
| Coordination Models and Languages | 2006-01-10 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5714284 | 2005-12-29 | Paper |
| Quantitative static analysis of distributed systems | 2005-10-11 | Paper |
| Probabilistic -calculus and Quantitative Program Analysis | 2005-07-13 | Paper |
| Measuring the confinement of probabilistic systems | 2005-06-30 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4671219 | 2005-04-26 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4414728 | 2003-07-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4411968 | 2003-07-13 | Paper |
| Information flow for Algol-like languages | 2003-05-04 | Paper |
| Program analysis tools | 2003-01-30 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2722050 | 2001-07-11 | Paper |
| Fixed points and frontiers: a new perspective | 2000-02-09 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4255591 | 1999-08-18 | Paper |
| Coordination languages for parallel programming | 1999-01-12 | Paper |
| Refining multiset transformers | 1998-08-13 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4870820 | 1996-03-26 | Paper |
| Erratum to: Approximate fixed points in abstrat interpretation | 1995-11-14 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4843179 | 1995-08-10 | Paper |
| Approximate fixed points in abstract interpretation | 1995-01-26 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4281609 | 1994-03-10 | Paper |
| An operational semantics for paragon: A design notation for parallel architectures | 1991-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3495633 | 1990-01-01 | Paper |
| A safe approach to parallel combinator reduction | 1988-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3026317 | 1987-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3729991 | 1986-01-01 | Paper |
| Strictness analysis for higher-order functions | 1986-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3713568 | 1986-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3795183 | 1984-01-01 | Paper |
