Tim King
From MaRDI portal
List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!
| Publication | Date of Publication | Type |
|---|---|---|
| Anomalous Recurrence Properties of Markov Chains on Manifolds of Negative Curvature | 2020-11-07 | Paper |
| Curved Schemes for SDEs on Manifolds | 2020-09-21 | Paper |
| A decision procedure for separation logic in SMT (available as arXiv preprint) | 2018-10-25 | Paper |
| Deciding local theory extensions via E-matching (available as arXiv preprint) | 2018-03-01 | Paper |
| Solving quantified linear arithmetic by counterexample-guided instantiation Formal Methods in System Design | 2018-01-08 | Paper |
| Practical SMT-based type error localization Proceedings of the 20th ACM SIGPLAN International Conference on Functional Programming | 2017-05-10 | Paper |
| Polyhedral approximation of multivariate polynomials using Handelman's theorem Lecture Notes in Computer Science | 2016-03-23 | Paper |
| scientific article; zbMATH DE number 1835878 (Why is no real title available?) | 2002-11-27 | Paper |
| scientific article; zbMATH DE number 1344781 (Why is no real title available?) | 1999-09-27 | Paper |
Research outcomes over time
This page was built for person: Tim King
