uva.nl

Institute for Logic, Language and Computation

Searchable List of Research Output

Filter Publications
  • Colavizza, G., Franceschet, M., Traag, V.A., Waltman, L. (2019) Quantifying the long-term influence of scientific publications.
    In Catalano, G. Daraio, C. Gregori, M. Moed, H.F. Ruocco, G. (Eds.), 17th International Conference on Scientometrics & Informetrics: ISSI2019 : with a special STI indicators conference track : 2-5 September 2019, Sapienza University of Rome, Italy : proceedings (pp 1301-1306). Edizioni Efesto.
  • Colavizza, G., Hrynaszkiewicz, I., Staden, I., Whitaker, K., McGillivray, B. (2020) The citation advantage of linking publications to research data.
    PLoS ONE, Vol. 15
  • Colavizza, G., Romanello, M., Giuliano, A., Mataloni, M.C., Grandin, D. (2019) Linked Books: un indice citazionale per la storia di Venezia.
    DigItalia, Vol. 14 (pp 132-146)
  • Colavizza, G., Romanello, M. (2019) Citation Mining of Humanities Journals: The Progress to Date and the Challenges Ahead.
    Journal of European Periodical Studies, Vol. 4 (pp 36-53)
  • Colavizza, G. (2020) COVID-19 research in Wikipedia.
    Quantitative Science Studies, Vol. 1 (pp 1349-1380)
  • Colavizza, G. (2020) Are We Breaking the Social Contract?.
    Journal of cultural analytics, Vol. 5
  • Colavizza, Giovanni, Peroni, S., Romanello, M. (2022) The case for the Humanities Citation Index (HuCI): a citation index by the humanities, for the humanities.
    International Journal on Digital Libraries
  • Collins, J., Dobler, T. (2018) The Work of Charles Travis: a Contemporary Overview.
    In Collins, J. Dobler, T. (Eds.), The Philosophy of Charles Travis: Language, Thought, and Perception (pp 1-22). Oxford University Press.
  • Collins, J., Dobler, T. (2018) The philosophy of Charles Travis: Language, Thought, and Perception.
    Oxford University Press.
  • Collins, P.J., Krzyżanowska, K., Hartmann, S., Wheeler, G., Hahn, U. (2020) Conditionals and Testimony.
    Cognitive Psychology, Vol. 122
  • 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.
    Conference contribution | https://doi.org/10.3233/FAIA240915 | 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 Proceedings of the 24th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2025). AAMAS.
    Conference contribution | UvA-DARE
  • 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)
  • 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)
  • Conradie, W., Palmigiano, A. (2012) Algorithmic Correspondence and Canonicity for Distributive Modal Logic.
    Annals of Pure and Applied Logic, Vol. 163 (pp 338-376)
  • 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.
  • 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
1 ... 81 82 83 84 85 86 87 88 89 ... 326

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