1. Published

    Well-calibrated predictions from online compression models

    Vovk, V., 2003, Proceedings of the Fourteenth International Conference on Algorithmic Learning Theory. Gavalda, R., Jantke, K. & Takimoto, E. (eds.). Berlin: Springer, p. 268-282 15 p. (Lecture Notes in Artificial Intelligence; vol. 2842).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  2. Published

    Well-calibrated predictions from on-line compression models

    Vovk, V., 1 Apr 2003, (On-line Compression Modelling project, http://vovk.net/kp).

    Research output: Working paper

  3. Published

    Well-calibrated predictions from on-line compression models

    Vovk, V., 2 Nov 2006, In: Theoretical Computer Science. 364, 1, p. 10-26 17 p.

    Research output: Contribution to journalArticlepeer-review

  4. Published

    Weyl's predicative classical mathematics as a logic-enriched type theory

    Adams, R. & Luo, Z., Jan 2010, In: ACM Transactions on Computational Logic. 11, 2, 31 p., 11.

    Research output: Contribution to journalArticlepeer-review

  5. Published

    Weyl's Predicative Classical Mathematics as a Logic-Enriched Type Theory

    Adams, R. & Luo, Z., 2007, Types for Proofs and Programs. Altenkirch, T. & McBride, C. (eds.). Springer, Vol. 4502. p. 1-17 17 p. (Lecture Notes in Computer Science).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  6. Published

    What assembly programmers get up to: control flow challenges in reverse compilation

    Johnstone, A., Scott, E. & Womack, T., 3 Mar 2000, p. 83-92. 10 p.

    Research output: Contribution to conferencePaper

  7. Published

    What do semantics matter when the meat is overcooked?

    Fiadeiro, J. L., 1 Jan 2008, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 5065 LNCS. p. 563-580 18 p.

    Research output: Chapter in Book/Report/Conference proceedingOther contribution

  8. Published

    What happened to my commitment? Exception diagnosis among misalignment and misbehavior

    Kafali, O., Chesani, F. & Torroni, P., 2010, Computational Logic in Multi-Agent Systems (CLIMA XI). Vol. 6245. p. 82-98 17 p. (LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  9. E-pub ahead of print

    What is decidable about string constraints with the ReplaceAll function

    Chen, T., Chen, Y., Hague, M., Lin, A. & Wu, Z., 27 Dec 2017, (E-pub ahead of print) Proceedings of the ACM on Programming Languages. ACM, Vol. 2. p. 1-29 29 p. 3

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  10. Published

    What is semantic diversity and why does it facilitate visual word recognition?

    Cevoli, B., Watkins, C. & Rastle, K., 14 Jul 2020, In: Behavior Research Methods. p. 1-17 17 p.

    Research output: Contribution to journalArticlepeer-review