| Publication | Date of Publication | Type |
|---|
Proving the correctness of recursion-based automatic program transformations
TAPSOFT '95: Theory and Practice of Software Development | 2022-08-18 | Paper |
On flow-sensitive security types
Conference record of the 33rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages | 2017-08-21 | Paper |
Differential privacy: now it's getting personal
Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages | 2016-09-29 | Paper |
The place of mathematics in physics
Unified Field Mechanics | 2016-04-15 | Paper |
Are the Boltzmann and thermodynamic entropies always the same?
Unified Field Mechanics | 2016-04-15 | Paper |
Paralocks, role-based information flow control and beyond
Proceedings of the 37th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages | 2015-06-11 | Paper |
Possibilities and limitations of call-by-need space improvement
Proceedings of the sixth ACM SIGPLAN international conference on Functional programming | 2015-03-09 | Paper |
Thermal damping in the compound piston
Journal of Non-Equilibrium Thermodynamics | 2011-08-02 | Paper |
The compound piston: resolution of a thermodynamic controversy by means of kinetic theory
Journal of Non-Equilibrium Thermodynamics | 2011-05-19 | Paper |
From exponential to polynomial-time security typing via principal types
Programming Languages and Systems | 2011-05-19 | Paper |
All Secrets Great and Small
Programming Languages and Systems | 2009-03-31 | Paper |
Just Forget It – The Semantics and Enforcement of Information Erasure
Programming Languages and Systems | 2008-04-11 | Paper |
Programming Languages and Systems
Lecture Notes in Computer Science | 2007-05-02 | Paper |
Programming Languages and Systems
Lecture Notes in Computer Science | 2005-08-17 | Paper |
| scientific article; zbMATH DE number 2090700 (Why is no real title available?) | 2004-08-13 | Paper |
| scientific article; zbMATH DE number 1953273 (Why is no real title available?) | 2003-07-27 | Paper |
Erratic Fudgets: A semantic theory for an embedded coordination language
Science of Computer Programming | 2003-05-14 | Paper |
A per model of secure information flow in sequential programs
Higher-Order and Symbolic Computation | 2001-07-03 | Paper |
| Improvement theory and its applications | 2001-03-19 | Paper |
| scientific article; zbMATH DE number 1497776 (Why is no real title available?) | 2001-03-06 | Paper |
Refining multiset transformers
Theoretical Computer Science | 1998-08-13 | Paper |
Proving the correctness of recursion-based automatic program transformations
Theoretical Computer Science | 1997-02-27 | Paper |
A Naïve Time Analysis and its Theory of Cost Equivalence
Journal Of Logic And Computation | 1996-02-26 | Paper |
| scientific article; zbMATH DE number 177794 (Why is no real title available?) | 1993-05-18 | Paper |
