On the Gap Between Trivial and Nontrivial Initial Segment Prefix-Free Complexity. - Martijn Baartse; George Barmpalias (Theory Comput. Syst., 2013)

Testing Low Degree Trigonometric Polynomials. - Martijn Baartse; Klaus Meer (CSR, 2014)

Some Results on Interactive Proofs for Real Computations. - Martijn Baartse; Klaus Meer (CiE, 2015)

The PCP Theorem for NP Over the Reals. - Martijn Baartse; Klaus Meer (Found. Comput. Math., 2015)

Real Interactive Proofs for VPSPACE. - Martijn Baartse; Klaus Meer (MFCS, 2016)

An algebraic proof of the real number PCP theorem. - Martijn Baartse; Klaus Meer (J. Complex., 2017)

Interactive proofs and a Shamir-like result for real number computations. - Martijn Baartse; Klaus Meer (Comput. Complex., 2019)