Cooper, S.B., Dawar, A., Löwe, B. (2012) How the World Computes: Turing Centenary Conference and Eighth Conference on Computability in Europe, CiE 2012, Cambridge, UK, June 18-23, 2012 : proceedings.

Lecture Notes in Computer Science, Vol. 7318. Springer.

Book (Editorship) | https://doi.org/10.1007/978-3-642-30870-3 | UvA-DARE

Cooper, S.B., Geuvers, H., Pillay, A., Väänänen, J.A. (2009) Logic Colloquium 2006.

Lecture notes in logic. Cambridge University Press.

Book (Editorship) | UvA-DARE

Cooper, S.B., Löwe, B., Normann, D. (2006) Mathematics of Computation at CiE 2005.

Mathematical Structures in Computer Science. Cambridge University Press.

Book (Editorship) | UvA-DARE

Cooper, S.B., Löwe, B., Sorbi, A. (2008) New computational paradigms: Changing conceptions of what is computable.

Springer.

Book (Editorship) | UvA-DARE

Cooper, S.B., Löwe, B., Torenvliet, L. (2005) New Computational Paradigms, First Conference on Computability in Europe, CiE 2005, Amsterdam, The Netherlands, June 2005, Proceedings.

Lecture Notes in Computer Science. Springer.

Book (Editorship) | UvA-DARE

Coopmans, T., Kaniewski, J., Schaffner, C. (2019) Robust self-testing of two-qubit states.

Physical Review A, Vol. 99

Article | https://doi.org/10.1103/PhysRevA.99.052123 | UvA-DARE

Corander, J., Hyttinen, A., Kontinen, J., Pensar, J., Väänänen, J.A. (2016) A logical approach to context-specific independence.

In Väänänen, J. Hirvonen, Å. de Queiroz, R. (Eds.), Logic, Language, Information and Computation: 23rd International Workshop, WoLLIC 2016, Puebla, Mexico, August 16–19th, 2016 : proceedings (pp 165-182) (Lecture Notes in Computer Science
FoLLI Publications on Logic, Language and Information, Vol. 9803). Springer.

Cornacchia, R., Kamps, J., Alink, W., de Vries, A.P. (2013) Searching Political Data by Strategy.

In Lupu, M. Salampasis, M. Fuhr, N. Hanbury, A. Larsen, B. Strindberg, H. (Eds.), Proceedings of the Workshop on Integrating IR technologies for Professional Search: Moscow, Russian Federation, March 24, 2013 (pp 88-91) (CEUR Workshop Proceedings, Vol. 968). CEUR-WS.

Cornelisse, I., Maat, J., Mast, P., Smid, R., Smits, D., Uckelman, S.L. (2008) Interactive website for medieval obligationes games.

Web publication or website | UvA-DARE

Cornelissen, A., Hamoudi, Y., Jerbi, S. (2022) Near-Optimal Quantum Algorithms for Multivariate Mean Estimation.

In Leonardi, S. Gupta, A. (Eds.), STOC '22: Proceedings of the 54th Annual ACM SIGACT Symposium on Theory of Computing : June 20-24, 2022, Rome, Italy (pp 33-43). Association for Computing Machinery.

Cornelissen, A., Jeffery, S., Ozols, M., Piedrafita, A. (2020) Span programs and quantum time complexity.

In Esparza, J. Král', D. (Eds.), 45th International Symposium on Mathematical Foundations of Computer Science: MFCS 2020, August 25–26, 2020, Prague, Czech Republic (Leibniz International Proceedings in Informatics, Vol. 170). Schloss Dagstuhl - Leibniz-Zentrum für Informatik.

Cornelissen, A., Mande, N.S., Ozols, M., de Wolf, R. (2021) Exact quantum query complexity of computing Hamming weight modulo powers of two and three.

ArXiv.

Preprint | https://doi.org/10.48550/arXiv.2112.14682 | UvA-DARE

Cornelissen, A. (2019) Quantum gradient estimation of Gevrey functions.

Quantum - the open journal for quantum science

Article | https://arxiv.org/abs/1909.13528 | UvA-DARE

Cornelissen, A. (2023) Quantum multivariate estimation and span program algorithms.

ILLC Dissertation series

Thesis, fully internal | UvA-DARE

Cornelissen, B., Zuidema, W., Burgoyne, J.A. (2020) Studying large plainchant corpora using chant21.

In Proceedings of DLfM 2020: the 7th International Conference on Digital Libraries for Musicology : 16th October 2020, McGill University, Montréal, QC, Canada (pp 40-44) (ACM international conference proceedings series). The Association for Computing Machinery.

Cornelissen, B., Zuidema, W., Burgoyne, J.A. (2020) Mode Classification and Natural Units in Plainchant.

In Cuming, J. Lee, J.H. McFee, B. Schedl, M. Devaney, J. McKay, C. Zangerle, E. de Reuse, T. (Eds.), Proceedings of the 21st International Society for Music Information Retrieval Conference: ISMIR MTL2020, Montréal, Québec, Canada, Virtual Conference, 11 to 16 October 2020 (pp 869-875). ISMIR.

Cornelissen, B., Zuidema, W., Burgoyne, J.A. (2021) Catafolk: Cataloguing folk music datasets for comparative musicology.

Paper | UvA-DARE

Cornelissen, B., Zuidema, W., Burgoyne, J.A. (2021) Cosine Contours: a Multipurpose Representation for Melodies.

In Lee, J.H. Lerch, A. Duan, Z. Nam, J. Rao, P. Van Kranenburg, P. Srinivasamurthy, A. (Eds.), Proceedings: The 22nd International Society for Music Information Retrieval Conference: ISMIR 2021 : November 7-12, 2021 (online) (pp 135-142). ISMIR.

Cornelissen, B. (2024) Measuring musics: Notes on modes, motifs, and melodies.

ILLC Dissertation series

Thesis, fully internal | UvA-DARE

Corro, C., Titov, I. (2019) Learning Latent Trees with Stochastic Perturbations and Differentiable Dynamic Programming.

In Korhonen, A. Traum, D. Màrquez, L. (Eds.), The 57th Annual Meeting of the Association for Computational Linguistics: ACL 2019 : proceedings of the conference : July 28-August 2, 2019, Florence, Italy (pp 5508–5521). The Association for Computational Linguistics.