Martijn Baartse
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
4
Active years
2013–2016
Best venue rank
B
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2016 | MFCS | Real Interactive Proofs for VPSPACE. | Martijn Baartse, Klaus Meer |
| 2015 | CiE | Some Results on Interactive Proofs for Real Computations. | Martijn Baartse, Klaus Meer |
| 2015 | MFCS | An Algebraic Proof of the Real Number PCP Theorem. | Martijn Baartse, Klaus Meer |
| 2014 | CSR | Testing Low Degree Trigonometric Polynomials. | Martijn Baartse, Klaus Meer |
| 2013 | STACS | The PCP theorem for NP over the reals. | Martijn Baartse, Klaus Meer |