| Publication | Date of Publication | Type |
|---|
Abstract operator systems over the cone of positive semidefinite matrices
Journal of Operator Theory | 2025-06-13 | Paper |
Classifying linear matrix inequalities via abstract operator systems
Linear Algebra and its Applications | 2024-01-09 | Paper |
A program logic for fresh name generation
(available as arXiv preprint) | 2022-06-17 | Paper |
| Abstract Operator Systems over the Cone of Positive Semidefinite Matrices | 2021-09-29 | Paper |
An Interview with Robin Milner
Electronic Notes in Theoretical Computer Science | 2015-07-10 | Paper |
Program logics for homogeneous generative run-time meta-programming
Logical Methods in Computer Science | 2015-03-11 | Paper |
A logical analysis of aliasing in imperative higher-order functions
Proceedings of the tenth ACM SIGPLAN international conference on Functional programming | 2015-01-06 | Paper |
Process types as a descriptive tool for interaction. Control and the pi-calculus
Lecture Notes in Computer Science | 2014-07-24 | Paper |
An observationally complete program logic for imperative higher-order functions
Theoretical Computer Science | 2013-12-18 | Paper |
The two-phase commitment protocol in an extended -calculus
Electronic Notes in Theoretical Computer Science | 2013-04-26 | Paper |
A Constraint-Based Approach for the Two-Dimensional Rectangular Packing Problem with Orthogonal Orientations
Operations Research Proceedings 2008 | 2011-04-07 | Paper |
Program Logics for Homogeneous Meta-programming
Logic for Programming, Artificial Intelligence, and Reasoning | 2011-01-07 | Paper |
A novel non-linear approach to minimal area rectangular packing
Annals of Operations Research | 2010-12-13 | Paper |
Program logics for sequential higher-order control
Fundamentals of Software Engineering | 2010-01-28 | Paper |
Logical Reasoning for Higher-Order Functions with Local State
Logical Methods in Computer Science | 2009-04-29 | Paper |
Completeness and Logical Full Abstraction in Modal Logics for Typed Mobile Processes
Automata, Languages and Programming | 2008-08-19 | Paper |
Timed, Distributed, Probabilistic, Typed Processes
Programming Languages and Systems | 2008-05-15 | Paper |
A logical analysis of aliasing in imperative higher-order functions
Journal of Functional Programming | 2007-09-26 | Paper |
Descriptive and Relative Completeness of Logics for Higher-Order Functions
Automata, Languages and Programming | 2007-09-11 | Paper |
Logical Reasoning for Higher-Order Functions with Local State
Foundations of Software Science and Computational Structures | 2007-09-07 | Paper |
Linearity and bisimulation
The Journal of Logic and Algebraic Programming | 2007-08-10 | Paper |
Genericity and the \(\pi\)-calculus
Acta Informatica | 2005-12-14 | Paper |
CONCUR 2004 - Concurrency Theory
Lecture Notes in Computer Science | 2005-08-23 | Paper |
| scientific article; zbMATH DE number 2087446 (Why is no real title available?) | 2004-08-11 | Paper |
Strong normalisation in the \(\pi\)-calculus
Information and Computation | 2004-08-06 | Paper |
A comparison of estimation methods for multilevel logistic models
Computational Statistics | 2004-03-16 | Paper |
| scientific article; zbMATH DE number 1956508 (Why is no real title available?) | 2003-07-30 | Paper |
| scientific article; zbMATH DE number 1722647 (Why is no real title available?) | 2002-03-21 | Paper |
General Relation between Fluxes from Collimated Point and Plane Sources of Radiation
Physical Review | 1959-01-01 | Paper |
Calculation of Energy Dissipation by Gamma Radiation near the Interface between Two Media
Journal of Applied Physics | 1957-01-01 | Paper |
Reflection and transmission of gamma radiation by barriers: Monte-Carlo calculation by a collision-density method
Journal of Research of the National Bureau of Standards | 1956-01-01 | Paper |
Reflection and transmission of gamma radiation by barriers: Semianalytic Monte-Carlo calculation
Journal of Research of the National Bureau of Standards | 1956-01-01 | Paper |
