uva.nl

Institute for Logic, Language and Computation

Searchable List of Research Output

Filter Publications
  • Carrara, M., Smid, Jeroen (2022) On Cotnoir’s Two Notions of Proper Parthood.
    Philosophical Studies, Vol. 179 (pp 2787–2795)
  • 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
  • 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)
  • 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.
    Conference contribution | https://doi.org/10.1109/LICS.2015.40 | UvA-DARE
  • Carreiro, F.M. (2015) Fragments of fixpoint logics: Automata and expressiveness.
    Thesis, fully internal | UvA-DARE
  • Cassani, Giovanni, Alhama, R.G. (2024) Estimates for Age of Acquisition.
    In Reference Module in Social Sciences. 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)
  • 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.
  • Cemgil, A.T., Kappen, B., Desain, P., Honing, H. (2000) On tempo-tracking: tempogram representation and Kalman filtering.
    Proceedings of the International Computer Music Conference, Vol. 2000 (pp 352-355)
    Article | UvA-DARE
  • Ceolin, D., van Son, Chantal, Aroyo, Lora, Noordegraaf, J.J., Sener, Ozkan, Sharma, Robin, Vossen, Piek, ter Braake, S., Tkacz, Lesia, Leemans, I., Bod, R. (2018) InfoQ: Computational Assessment of Information Quality on the Web.
    Paper | UvA-DARE
  • Cepparello, GIOVANNA (1995) Studies in Dynamic Logic.
    Thesis, fully external | UvA-DARE
  • Cerina, Roberto, Rouméas, Élise (2025) The democratic ethics of artificially intelligent polling.
    AI and Society, Vol. 40 (pp 3209-3223)
  • Cerioli, M.R., Nobrega, H., Silveira, G., Viana, P. (2017) On the (in)dependence of the Dedekind-Peano axioms for natural numbers.
    Proceeding Series of the Brazilian Society of Computational and Applied Mathematics, Vol. 5
  • Cerioli, M.R., Nobrega, H., Viana, P. (2014) Decomposition by maxclique separators.
    Discrete mathematics, Vol. 337 (pp 119-126)
  • Cerquides, J., Endriss, U., Giovannucci, A., Rodríguez-Aguilar, J.A. (2007) Bidding Languages and Winner Determination for Mixed Multi-unit Combinatorial Auctions.
    In Veloso, M. (Eds.), Proceedings of the 20th International Joint Conference on Artificial Intelligence (IJCAI-2007) (pp 1221-1226)
    Conference contribution | UvA-DARE
1 ... 74 75 76 77 78 79 80 81 82 ... 337

The data of this list is taken from the Pure database. If you find output is missing from the list, please follow the previous link to find out how to submit to Pure. In case there are mistakes in PURE, please contact