| Publication | Date of Publication | Type |
|---|
Hamming Distance Kernelisation via Topological Quantum Computation
Theory and Practice of Natural Computing | 2022-12-09 | Paper |
| Probabilistic data flow analysis: a linear equational approach | 2021-06-09 | Paper |
Probabilistic data flow analysis: a linear equational approach
(available as arXiv preprint) | 2021-06-09 | Paper |
A Type Theory for Probabilistic $$\lambda $$–calculus
From Lambda Calculus to Cybersecurity Through Program Analysis | 2020-07-20 | Paper |
| Note on filtered colimits of Hilbert spaces | 2019-11-22 | Paper |
| A quantum annealing approach to biclustering | 2018-10-26 | Paper |
Biclustering with a quantum annealer
Soft Computing | 2018-10-23 | Paper |
| A probabilistic semantics for the pure \(\lambda\)-calculus | 2017-11-03 | Paper |
On negation as instantiation
Algebraic and Logic Programming | 2017-01-19 | Paper |
Probabilistic abstract interpretation: from trace semantics to DTMC's and linear regression
Semantics, Logics, and Calculi | 2016-03-23 | Paper |
Probabilistic analysis of programs: a weak limit approach
Foundational and Practical Aspects of Resource Analysis | 2016-01-07 | Paper |
A Calculus of Anyons
Logic, Language, Information, and Computation | 2015-01-13 | Paper |
Semantics of probabilistic programs: a weak limit approach
Programming Languages and Systems | 2015-01-12 | Paper |
Relational Analysis and Precision via Probabilistic Abstract Interpretation
Electronic Notes in Theoretical Computer Science | 2014-05-13 | Paper |
Semantic abstraction and quantum computation
Electronic Notes in Theoretical Computer Science | 2014-01-17 | Paper |
On probabilistic techniques for data flow analysis
Electronic Notes in Theoretical Computer Science | 2014-01-17 | Paper |
| Operator algebras and the operational semantics of probabilistic languages | 2013-12-04 | Paper |
| On reversible combinatory logic | 2013-10-02 | Paper |
| On quantitative analysis of probabilistic protocols | 2013-09-20 | Paper |
Linear Structures for Concurrency in Probabilistic Programming Languages
Electronic Notes in Theoretical Computer Science | 2013-06-06 | Paper |
Probabilistic confinement in a declarative framework
Electronic Notes in Theoretical Computer Science | 2013-05-24 | 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 |
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 |
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 2090713 (Why is no real title available?) | 2004-08-13 | Paper |
| scientific article; zbMATH DE number 1973222 (Why is no real title available?) | 2003-09-01 | Paper |
| scientific article; zbMATH DE number 1948404 (Why is no real title available?) | 2003-07-13 | Paper |
| scientific article; zbMATH DE number 1444329 (Why is no real title available?) | 2001-01-21 | Paper |
| scientific article; zbMATH DE number 1420826 (Why is no real title available?) | 2000-12-05 | Paper |
An algebraic perspective of constraint logic programming
Journal of Logic and Computation | 1997-04-21 | Paper |
Nondeterminism and infinite computations in constraint programming
Theoretical Computer Science | 1997-02-27 | Paper |
Negation as instantiation
Information and Computation | 1996-04-22 | Paper |
