| Publication | Date of Publication | Type |
|---|
Space-efficient latent contracts
(available as arXiv preprint) | 2022-07-01 | Paper |
Concurrent NetCore: from policies to pipelines
Proceedings of the 19th ACM SIGPLAN international conference on Functional programming | 2016-09-29 | Paper |
Space-efficient manifest contracts
Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages | 2016-09-29 | Paper |
Contracts made manifest
Proceedings of the 37th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages | 2015-06-11 | Paper |
Matching lenses: alignment and view update
Proceedings of the 15th ACM SIGPLAN international conference on Functional programming | 2015-03-05 | Paper |
Contracts made manifest
Journal of Functional Programming | 2014-02-27 | Paper |
Measure transformer semantics for Bayesian machine learning
Logical Methods in Computer Science | 2013-09-26 | Paper |
| Properties of Full-Flag Johnson Graphs | 2013-01-07 | Paper |
| Ordinary differential equations | 2012-11-21 | Paper |
| scientific article; zbMATH DE number 6109136 (Why is no real title available?) | 2012-11-21 | Paper |
Polymorphic contracts
Programming Languages and Systems | 2011-05-19 | Paper |
Measure transformer semantics for Bayesian machine learning
Programming Languages and Systems | 2011-05-19 | Paper |
On isoperimetric surfaces in general relativity
Pacific Journal of Mathematics | 2008-11-14 | Paper |
The time-dependent free surface flow induced by a submerged line source or sink
Journal of Fluid Mechanics | 1996-01-10 | Paper |
| scientific article; zbMATH DE number 194163 (Why is no real title available?) | 1993-06-05 | Paper |
Line momentum source in shallow inviscid fluid
Journal of Fluid Mechanics | 1984-01-01 | Paper |
| scientific article; zbMATH DE number 3591917 (Why is no real title available?) | 1978-01-01 | Paper |
Limit cycle city
Quarterly of Applied Mathematics | 1976-01-01 | Paper |
On a vortex sheet approach to the numerical calculation of water waves
Journal of Computational Physics | 1973-01-01 | Paper |
| scientific article; zbMATH DE number 3361439 (Why is no real title available?) | 1972-01-01 | Paper |
On the laminar flow analogy and its application to limit cycle synthesis
Quarterly of Applied Mathematics | 1967-01-01 | Paper |
Approximate Evaluation of Certain Functions Arising in Unsteady Airfoil Theory
SIAM Review | 1966-01-01 | Paper |
| scientific article; zbMATH DE number 3261452 (Why is no real title available?) | 1966-01-01 | Paper |
A double law of comparative judgement for the analysis of preferential choise and similarities data
Psychometrika | 1961-01-01 | Paper |
A double law of comparative judgment for the analysis of preferential choice and similarities data
Psychometrika | 1961-01-01 | Paper |
