Carcassi, F., Szymanik, J. (2022) Neural Networks Track the Logical Complexity of Boolean Concepts.

Open Mind, Vol. 6 (pp 132-146)

Article | https://doi.org/10.1162/opmi_a_00059 | UvA-DARE

Carl, M., Galeotti, L., Löwe, B. (2018) The Bolzano-Weierstrass theorem in generalised analysis.

Houston Journal of Mathematics, Vol. 44 (pp 1081-1109)

Article | https://preprint.math.uni-hamburg.de/public/papers/hbm/hbm752.pdf | UvA-DARE

Carl, M., Galeotti, L., Passmann, R. (2021) Randomising Realizability.

In De Mol, L. Weiermann, A. Manea, F. Fernández-Duque, D. (Eds.), Connecting with Computability: 17th Conference on Computability in Europe, CiE 2021, virtual event, Ghent, July 5–9, 2021 : proceedings (pp 82-93) (Lecture Notes in Computer Science, Vol. 12813). Springer.

Carl, M., Galeotti, L., Passmann, R. (2023) Realisability for infinitary intuitionistic set theory.

Annals of Pure and Applied Logic, Vol. 174

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

Carranza Navarrete, David, Bakker, J., Kamps, J. (2026) Assessing Small Language Models as Text Simplification Evaluators.

In Di Nunzio, Giorgio Maria Vezzani, Federica Ermakova, Liana Azarbonyad, Hosein Kamps, Jaap (Eds.), 2nd Workshop on Evaluating Text Difficulty in a Multilingual Context (DeTermIt! 2026): workshop proceedings : LREC 2026 : 11 May 2026 (pp 83-86). ELRA Language Resources Association.

Carrara, M., Mancini, F., Smid, Jeroen (2022) On the Overlap Between Everything and Nothing.

Logic and Logical Philosophy, Vol. 31 (pp 143-160)

Article | https://doi.org/10.12775/LLP.2021.013 | UvA-DARE

Carrara, M., Smid, Jeroen (2022) On Cotnoir’s Two Notions of Proper Parthood.

Philosophical Studies, Vol. 179 (pp 2787–2795)

Article | https://doi.org/10.1007/s11098-022-01795-5 | UvA-DARE

Carrara, M., Smid, Jeroen (2022) There is Overlap in Letters: A Mereological Definition of Word Types.

Synthese, Vol. 200

Article | https://doi.org/10.1007/s11229-022-03664-4 | UvA-DARE

Carraz Rakotonirina, Nathanaël, Hamdy, Mohammed, Campos, Jon Ander, Weber, Lucas, Testoni, A., Fadaee, Marzieh, Pezzelle, S., Del Tredici, Marco (2025) From Tools to Teammates: Evaluating LLMs in Multi-Session Coding Interactions.

In Che, W. Nabende, J. Shutova, E. Pilehvar, M.T. (Eds.), The 63rd Annual Meeting of the Association for Computational Linguistics (ACL 2025) : proceedings of the conference: ACL 2025 : July 27-August 1, 2025 (pp 19609-19642). Association for Computational Linguistics.

Carreiro, F., Facchini, A., Venema, Y., Zanasi, F. (2014) Weak MSO: automata and expressiveness modulo bisimilarity.

In Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS): Vienna, Austria - July 14-18, 2014 . ACM.

Carreiro, F., Facchini, A., Venema, Y., Zanasi, F. (2020) The power of the weak.

ACM Transactions on Computational Logic, Vol. 21

Article | https://doi.org/10.1145/3372392 | UvA-DARE

Carreiro, F., Facchini, A., Venema, Y., Zanasi, F. (2022) Model theory of monadic predicate logic with the infinity quantifier.

Archive for Mathematical Logic, Vol. 61 (pp 465-502)

Article | https://doi.org/10.1007/s00153-021-00797-0 | UvA-DARE

Carreiro, F., Gorín, D., Schröder, L. (2013) Coalgebraic Announcement Logics.

In Fomin, F.V. Freivalds, R. Kwiatkowska, M. Peleg, D. (Eds.), Automata, Languages, and Programming: 40th International Colloquium, ICALP 2013, Riga, Latvia, July 8-12, 2013 : proceedings (pp 101-112) (Lecture Notes in Computer Science
Advanced Research in Computing and Software Science, Vol. 7966). Springer.

Carreiro, F., Venema, Y. (2014) PDL Inside the μ-calculus: A Syntactic and an Automata-theoretic Characterization.

In Goré, R. Kooi, B. Kurucz, A. (Eds.), Advances in Modal Logic: AiML 10 (pp 74-93). College Publications.

Carreiro, F. (2015) PDL is the bisimulation-invariant fragment of Weak Chain Logic.

In Proceedings, 2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science: LICS 2015: 6-10 July 2015, Kyoto, Japan (pp 341-352). IEEE Computer Society.

Carreiro, F.M. (2015) Fragments of fixpoint logics: Automata and expressiveness.

Thesis, fully internal | UvA-DARE

Cassani, Giovanni, Alhama, R.G. (2026) Estimates for Age of Acquisition.

In International Encyclopedia of Language and Linguistics (pp 464-467). Elsevier.

Castermans, T., Speckmann, B., Verbeek, K., Westenberg, M.A., Betti, A., van den Berg, H. (2016) GlamMap: Geovisualization for E-Humanities.

In 1st Workshop on Visualization for the Digital Humanities: Monday, 24 October 2016 - Baltimore, Maryland, USA : accepted papers . VIS4DH.

Castermans, T., Verbeek, K., Speckmann, B., Westenberg, M.A., Koopman, R., Wang, S., van den Berg, H., Betti, A. (2019) SolarView: Low Distortion Radial Embeddings with a Focus.

IEEE Transactions on visualization and computer graphics, Vol. 25 (pp 2969-2982)

Article | https://doi.org/10.1109/TVCG.2018.2865361 | UvA-DARE

Castryck, W., Sotáková, J., Vercauteren, F. (2020) Breaking the decisional Diffie-Hellman problem for class group actions using genus theory.

In Micciancio, D. Ristenpart, T. (Eds.), Advances in Cryptology – CRYPTO 2020: 40th Annual International Cryptology Conference, CRYPTO 2020, Santa Barbara, CA, USA, August 17–21, 2020 : proceedings (pp 92-120) ( Lecture Notes in Computer Science, Vol. 12171). Springer.