| Publication | Date of Publication | Type |
|---|
| On the Mathematics of Diffusion Models | 2023-01-25 | Paper |
Walther recursion
Automated Deduction — Cade-13 | 2019-01-15 | Paper |
| A synopsis of morphoid type theory | 2017-12-18 | Paper |
On the complexity of set-based analysis
Proceedings of the second ACM SIGPLAN international conference on Functional programming | 2017-08-21 | Paper |
The Communication Complexity of Correlation
IEEE Transactions on Information Theory | 2017-07-27 | Paper |
Polynomial-time computation via local inference relations
ACM Transactions on Computational Logic | 2017-06-13 | Paper |
On the complexity analysis of static analyses
Journal of the ACM | 2015-12-07 | Paper |
PAC-Bayesian Theory
Empirical Inference | 2015-07-20 | Paper |
A sound (and complete) model of contracts
Proceedings of the ninth ACM SIGPLAN international conference on Functional programming | 2015-03-09 | Paper |
| Computable shell decomposition bounds | 2011-10-12 | Paper |
Simplified PAC-Bayesian margin bounds.
Lecture Notes in Computer Science | 2010-03-23 | Paper |
The generalized A* architecture
(available as arXiv preprint) | 2009-04-28 | Paper |
Sound and complete models of contracts
Journal of Functional Programming | 2006-08-28 | Paper |
10.1162/1532443041424292
CrossRef Listing of Deleted DOIs | 2004-10-28 | Paper |
| scientific article; zbMATH DE number 2090529 (Why is no real title available?) | 2004-08-12 | Paper |
| scientific article; zbMATH DE number 2080295 (Why is no real title available?) | 2004-08-04 | Paper |
| scientific article; zbMATH DE number 2043546 (Why is no real title available?) | 2004-02-16 | Paper |
PAC-Bayesian stochastic model selection
Machine Learning | 2003-08-06 | Paper |
Tarskian set constraints
Information and Computation | 2003-01-14 | Paper |
| scientific article; zbMATH DE number 1765697 (Why is no real title available?) | 2002-07-10 | Paper |
Boosting using branching programs
Journal of Computer and System Sciences | 2002-07-04 | Paper |
| scientific article; zbMATH DE number 1453075 (Why is no real title available?) | 2000-12-18 | Paper |
Some PAC-Bayesian theorems
Machine Learning | 2000-03-16 | Paper |
| scientific article; zbMATH DE number 1392287 (Why is no real title available?) | 2000-01-24 | Paper |
| scientific article; zbMATH DE number 1348484 (Why is no real title available?) | 1999-10-10 | Paper |
Solving Polynomial Systems Using a Branch and Prune Approach
SIAM Journal on Numerical Analysis | 1997-11-02 | Paper |
A proof of strong normalization for \(F_ 2\), \(F_ \omega\), and beyond
Information and Computation | 1995-10-10 | Paper |
Nonexpressibility of fairness and signaling
Journal of Computer and System Sciences | 1993-12-20 | Paper |
Lower bounds for the lengths of refutations
The Journal of Logic Programming | 1993-12-06 | Paper |
Automatic recognition of tractability in inference relations
Journal of the ACM | 1993-06-29 | Paper |
Taxonomic syntax for first order inference
Journal of the ACM | 1993-06-29 | Paper |
| scientific article; zbMATH DE number 194550 (Why is no real title available?) | 1993-06-05 | Paper |
Natural language syntax and first-order inference
Artificial Intelligence | 1992-09-27 | Paper |
| scientific article; zbMATH DE number 4166926 (Why is no real title available?) | 1989-01-01 | Paper |
Conspiracy numbers for min-max search
Artificial Intelligence | 1988-01-01 | Paper |
