Collins, P.J., Krzyżanowska, K., Hartmann, S., Wheeler, G., Hahn, U. (2020) Conditionals and Testimony.

Cognitive Psychology, Vol. 122

Article | https://doi.org/10.1016/j.cogpsych.2020.101329 | UvA-DARE

Conati, A., Niskanen, A., de Haan, R., Järvisalo, M. (2024) Complexity Results and Algorithms for Manipulation and Bribery in Judgment Aggregation.

In Endriss, U. Melo, F.S. Bach, K. Bugarín-Diz, A. Alonso-Moral, J.M. Barro, S. Heintz, F. (Eds.), ECAI 2024: 27th European Conference on Artificial Intelligence, 19–24 October 2024, Santiago de Compostela, Spain : including 13th Conference on Prestigious Applications of Intelligent Systems (PAIS 2024) : proceedings (pp 3597-3604) (Frontiers in Artificial Intelligence and Applications, Vol. 392). IOS Press.

Conati, A., Niskanen, A., de Haan, R., Järvisalo, M. (2025) Computing Efficient and Envy-Free Allocations under Dichotomous Preferences using SAT.

Paper | https://www.ac.tuwien.ac.at/comsoc2025/comsoc2025-papers/79.pdf | UvA-DARE

Conati, A., Niskanen, A., de Haan, R., Järvisalo, M. (2025) Computing Efficient and Envy-Free Allocations under Dichotomous Preferences using SAT.

In AAMAS '25: Proceedings of the 24th International Conference on Autonomous Agents and Multiagent Systems : May 19-23, 2025, Detroit, Michigan, USA (pp 510-518). International Foundation for Autonomous Agents and Multiagent Systems.

Conklin, H., Wang, B., Smith, K., Titov, I. (2021) Meta-learning to compositionally generalize.

In Zong, C. Xia, F. Li, W. Navigli, R. (Eds.), The 59th Annual Meeting of the Association for Computational Linguistics and the 11th International Joint Conference on Natural Language Processing: ACL-IJCNLP 2021 : proceedings of the conference : August 1-6, 2021 (pp 3322-3335). The Association for Computational Linguistics.

Conradie, W., Fomatati, Y., Palmigiano, A., Sourabh, S. (2015) Algorithmic correspondence for intuitionistic modal mu-caculus.

Theoretical Computer Science, Vol. 564 (pp 30-62)

Article | https://doi.org/10.1016/j.tcs.2014.10.027 | UvA-DARE

Conradie, W., Palmigiano, A., Sourabh, S. (2017) Algebraic modal correspondence: Sahlqvist and beyond.

Journal of Logical and Algebraic Methods in Programming, Vol. 91 (pp 60-84)

Article | https://doi.org/10.1016/j.jlamp.2016.10.006 | UvA-DARE

Conradie, W., Palmigiano, A. (2012) Algorithmic Correspondence and Canonicity for Distributive Modal Logic.

Annals of Pure and Applied Logic, Vol. 163 (pp 338-376)

Article | https://doi.org/10.1016/j.apal.2011.10.004 | UvA-DARE

Constantinescu, A., Lenzner, P., Reiffenhäuser, R., Schmand, D., Varricchio, G. (2024) Solving Woeginger’s Hiking Problem: Wonderful Partitions in Anonymous Hedonic Games.

In Bringmann, K. Grohe, M. Puppis, G. Svensson, O. (Eds.), 51st International Colloquium on Automata, Languages, and Programming: ICALP 2024, July 8-12, 2024, Tallinn, Estonia (Leibniz International Proceedings in Informatics, Vol. 297). Schloss Dagstuhl - Leibniz-Zentrum für Informatik.

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. (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. (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.

Corcoran, Kelly, du Mérac, Tanguy R., Johnson, Foster, Burgoyne, J.A., Honing, H., Ruderfer, Douglas M., Lense, Miriam, Gordon, Reyna L. (2024) Linking a musical memory gamified task to large-scale health data via electronic health records: A feasibility study in a clinic waiting room.

Poster | https://neuromusic.fondazione-mariani.org/full-program-pdf/ | UvA-DARE

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.