| Publication | Date of Publication | Type |
|---|
scientific article; zbMATH DE number 7361363 (Why is no real title available?)
(available as arXiv preprint) | 2021-06-21 | Paper |
| scientific article; zbMATH DE number 7361363 (Why is no real title available?) | 2021-06-21 | Paper |
Game theory and industrial control systems
Semantics, Logics, and Calculi | 2016-03-23 | Paper |
Fast multi-scale detection of overlapping communities using local criteria
Computing | 2015-01-26 | Paper |
On probabilistic techniques for data flow analysis
Electronic Notes in Theoretical Computer Science | 2014-01-17 | Paper |
| On reversible combinatory logic | 2013-10-02 | Paper |
| -calculus and quantitative program analysis (extended abstract) | 2013-09-20 | Paper |
Payoffs, intensionality and abstraction in games
Computation, Logic, Games, and Quantum Foundations. The Many Facets of Samson Abramsky | 2013-05-28 | Paper |
Probabilistic confinement in a declarative framework
Electronic Notes in Theoretical Computer Science | 2013-05-24 | Paper |
| scientific article; zbMATH DE number 6148967 (Why is no real title available?) | 2013-03-27 | Paper |
Probabilistic semantics and program analysis
Formal Methods for Quantitative Aspects of Programming Languages | 2010-07-06 | Paper |
Quantitative relations and approximate process equivalences.
Lecture Notes in Computer Science | 2010-03-30 | Paper |
Foundations of Security Analysis and Design II
Lecture Notes in Computer Science | 2009-05-14 | Paper |
A Systematic Approach to Probabilistic Pointer Analysis
Programming Languages and Systems | 2008-05-15 | Paper |
Abstract Interpretation for Worst and Average Case Analysis
Program Analysis and Compilation, Theory and Practice | 2007-09-24 | Paper |
On a Probabilistic Chemical Abstract Machine and the Expressiveness of Linda Languages
Formal Methods for Components and Objects | 2007-09-11 | Paper |
Tempus fugit: How to plug it
The Journal of Logic and Algebraic Programming | 2007-08-10 | Paper |
A framework for security analysis of mobile wireless networks
Theoretical Computer Science | 2007-01-09 | Paper |
Formal Methods for Components and Objects
Lecture Notes in Computer Science | 2006-11-01 | Paper |
Reversible combinatory logic
Mathematical Structures in Computer Science | 2006-08-28 | Paper |
Coordination Models and Languages
Lecture Notes in Computer Science | 2006-01-10 | Paper |
| scientific article; zbMATH DE number 2242116 (Why is no real title available?) | 2005-12-29 | Paper |
Quantitative static analysis of distributed systems
Journal of Functional Programming | 2005-10-11 | Paper |
Probabilistic -calculus and Quantitative Program Analysis
Journal Of Logic And Computation | 2005-07-13 | Paper |
Measuring the confinement of probabilistic systems
Theoretical Computer Science | 2005-06-30 | Paper |
| scientific article; zbMATH DE number 2161330 (Why is no real title available?) | 2005-04-26 | Paper |
| scientific article; zbMATH DE number 1953276 (Why is no real title available?) | 2003-07-27 | Paper |
| scientific article; zbMATH DE number 1948404 (Why is no real title available?) | 2003-07-13 | Paper |
Information flow for Algol-like languages
Computer Languages, Systems & Structures | 2003-05-04 | Paper |
Program analysis tools
International Journal on Software Tools for Technology Transfer. STTT | 2003-01-30 | Paper |
| scientific article; zbMATH DE number 1617319 (Why is no real title available?) | 2001-07-11 | Paper |
Fixed points and frontiers: a new perspective
Journal of Functional Programming | 2000-02-09 | Paper |
| scientific article; zbMATH DE number 1324833 (Why is no real title available?) | 1999-08-18 | Paper |
Coordination languages for parallel programming
Parallel Computing | 1999-01-12 | Paper |
Refining multiset transformers
Theoretical Computer Science | 1998-08-13 | Paper |
| scientific article; zbMATH DE number 860048 (Why is no real title available?) | 1996-03-26 | Paper |
Erratum to: Approximate fixed points in abstrat interpretation
Science of Computer Programming | 1995-11-14 | Paper |
| scientific article; zbMATH DE number 783760 (Why is no real title available?) | 1995-08-10 | Paper |
Approximate fixed points in abstract interpretation
Science of Computer Programming | 1995-01-26 | Paper |
| scientific article; zbMATH DE number 512901 (Why is no real title available?) | 1994-03-10 | Paper |
An operational semantics for paragon: A design notation for parallel architectures
New Generation Computing | 1991-01-01 | Paper |
| scientific article; zbMATH DE number 4170071 (Why is no real title available?) | 1990-01-01 | Paper |
A safe approach to parallel combinator reduction
Theoretical Computer Science | 1988-01-01 | Paper |
| scientific article; zbMATH DE number 4014000 (Why is no real title available?) | 1987-01-01 | Paper |
Strictness analysis for higher-order functions
Science of Computer Programming | 1986-01-01 | Paper |
| scientific article; zbMATH DE number 3942995 (Why is no real title available?) | 1986-01-01 | Paper |
| scientific article; zbMATH DE number 3960961 (Why is no real title available?) | 1986-01-01 | Paper |
| scientific article; zbMATH DE number 4060679 (Why is no real title available?) | 1984-01-01 | Paper |
