uva.nl

Institute for Logic, Language and Computation

Searchable List of Research Output

Filter Publications
  • Enqvist, S., Seifan, F., Venema, Y. (2017) An expressive completeness theorem for coalgebraic modal µ-calculi.
    Logical Methods in Computer Science, Vol. 13
  • Enqvist, S., Seifan, F., Venema, Y. (2018) Completeness for the modal μ-calculus: Separating the combinatorics from the dynamics.
    Theoretical Computer Science, Vol. 727 (pp 37-100)
  • Enqvist, S., Seifan, F., Venema, Y. (2019) Completeness for μ-calculi: A coalgebraic approach.
    Annals of Pure and Applied Logic, Vol. 170 (pp 578-641)
  • Enqvist, S., Venema, Y. (2017) Disjunctive Bases: Normal Forms for Modal Logics.
    In Bonchi, F. König, B. (Eds.), 7th Conference on Algebra and Coalgebra in Computer Science: CALCO 2017, June 14-16, 2017, Ljubljana, Slovenia (Leibniz International Proceedings in Informatics, Vol. 72). Schloss Dagstuhl - Leibniz-Zentrum für Informatik.
  • Enqvist, S., Venema, Y. (2019) Disjunctive bases: normal forms and model theory for modal logics.
    Logical Methods in Computer Science, Vol. 15
  • Ermakova, L., Azarbonyad, H., Bakker, J., Vendeville, B., Kamps, J. (2025) CLEF 2025 SimpleText Track: Simplify Scientific Text (and Nothing More).
    In Hauff, C. Macdonald, C. Jannach, D. Kazai, G. Nardini, F.M. Pinelli, F. Silvestri, F. Tonellotto, N. (Eds.), Advances in Information Retrieval: 47th European Conference on Information Retrieval, ECIR 2025, Lucca, Italy, April 6–10, 202 : proceedings (pp 425-433) (Lecture Notes in Computer Science, Vol. 15576). Springer.
  • Ermakova, L., Azarbonyad, Hosein, Bakker, J., Chakar, Berkay, Shahi, Gautam Kishore, Kamps, J. (2026) Overview of the CLEF 2026 SimpleText Track: Simplify Scientific Text (and Nothing More).
    In Hagen, Matthias Potthast, Martin Stein, Benno Schaer, Philipp Zangerle, Eva MacAvaney, Sean Struß, Julia Maria Sánchez Salido, Eva Barrón-Cedeño, Alberto García Seco de Herrera, Alba (Eds.), Experimental IR Meets Multilinguality, Multimodality, and Interaction: 17th International Conference of the CLEF Association, CLEF 2026, Jena, Germany, September 21–24, 2026 : proceedings (pp 625-655) (Lecture Notes in Computer Science, Vol. 17087). Springer.
  • Ermakova, L., Azarbonyad, Hosein, Bakker, J., Kishore Shahi, Gautam, Vendeville, B., Kamps, J. (2026) SimpleText CLEF 2026 : Simplifier les textes scientifiques (et rien de plus).
    In Actes de CORIA-TALN 2026. Actes de la 21e Conférence en Recherche d'Information et Applications. Volume 2 : articles déjà publiés (pp 19-20). Association pour le traitement automatique des langues.
  • Ermakova, L., Azarbonyad, Hosein, Bakker, J., Shahi, Gautam Kishore, Vendeville, B., Kamps, J. (2026) CLEF 2026 SimpleText Track: Simplify Scientific Text (and Nothing More).
    In Campos, Ricardo Jatowt, Adam Lan, Yanyan Aliannejadi, Mohammad Bauer, Christine MacAvaney, Sean Anand, Avishek Ren, Zhaochun Verberne, Suzan Bai, Nan Mansoury, Masoud (Eds.), Advances in Information Retrieval: 48th European Conference on Information Retrieval, ECIR 2026, Delft, The Netherlands, March 29–April 2, 2026 : proceedings (pp 215-224) (Lecture Notes in Computer Science, Vol. 16486). Springer.
  • Ermakova, L., Azarbonyad, Hosein, Bakker, J., Vendeville, B., Kamps, J. (2025) Simplification de Textes Scientifiques (et Rien de Plus). Rapport sur l'Action CLEF 2025 SimpleText.
    In Bechet, Frédéric Chifu, Adrian-Gabriel Pinel-sauvagnat, Karen Favre, Benoit Maes, Eliot Nurbakova, Diana (Eds.), Actes de la 20e Conférence en Recherche d'Information et Applications (CORIA) (pp 230-232). ATALA & ARIA.
  • Ermakova, L., Azarbonyad, Hosein, Bakker, J., Vendeville, B., Kamps, J. (2026) Overview of the CLEF 2025 SimpleText Track: Simplify Scientific Text (and Nothing More).
    In Carrillo-de-Albornoz, Jorge García Seco de Herrera, Alba Gonzalo, Julio Plaza, Laura Mothe, Josiane Piroi, Florina Rosso, Paolo Spina, Damiano Faggioli, Guglielmo Ferro, Nicola (Eds.), Experimental IR Meets Multilinguality, Multimodality, and Interaction: 16th International Conference of the CLEF Association, CLEF 2025, Madrid, Spain, September 9–12, 2025 : proceedings (pp 436-463) (Lecture Notes in Computer Science, Vol. 16089). Springer.
  • Ermakova, L., Bellot, P., Braslavski, P., Kamps, J., Mothe, J., Nurbakova, D., Ovchinnikova, I., San-Juan, E. (2021) Overview of SimpleText CLEF 2021 workshop and pilot tasks.
    In Faggioli, G. Ferro, N. Joly, A. Maistro, M. Piroi, F. (Eds.), Proceedings of the Working Notes of CLEF 2021 - Conference and Labs of the Evaluation Forum: Bucharest, Romania, September 21st to 24th, 2021 (pp 2212-2227) (CEUR Workshop Proceedings, Vol. 2936). CEUR-WS.
  • Ermakova, L., Bellot, P., Braslavski, P., Kamps, J., Mothe, J., Nurbakova, D., Ovchinnikova, I., SanJuan, E. (2021) Overview of SimpleText 2021 - CLEF Workshop on Text Simplification for Scientific Information Access.
    In Candan, K.S. Ionescu, B. Goeuriot, L. Larsen, B. Müller, H. Joly, A. Maistro, M. Piroi, F. Faggioli, G. Ferro, N. (Eds.), Experimental IR Meets Multilinguality, Multimodality, and Interaction: 12th International Conference of the CLEF Association, CLEF 2021, virtual event, September 21–24, 2021 : proceedings (pp 432-449) (Lecture Notes in Computer Science, Vol. 12880). Springer.
  • Ermakova, L., Bellot, P., Braslavski, P., Kamps, J., Mothe, J., Nurbakova, D., Ovchinnikova, I., SanJuan, E. (2021) Text Simplification for Scientific Information Access: CLEF 2021 SimpleText Workshop.
    In Hiemstra, D. Moens, M.-F. Mothe, J. Perego, R. Potthast, M. Sebastiani, F. (Eds.), Advances in Information Retrieval: 43rd European Conference on IR Research, ECIR 2021, Virtual Event, March 28–April 1, 2021 : proceedings (pp 583-592) (Lecture Notes in Computer Science, Vol. 12657). Springer.
  • Ermakova, L., Bellot, P., Kamps, J., Nurbakova, D., Ovchinnikova, I., SanJuan, E., Mathurin, E., Araújo, S., Hannachi, R., Huet, S., Poinsu, N. (2022) Automatic Simplification of Scientific Texts: SimpleText Lab at CLEF-2022.
    In Hagen, M. Verberne, S. Macdonald, C. Seifert, C. Balog, K. Nørvåg, K. Setty, V. (Eds.), Advances in Information Retrieval: 44th European Conference on IR Research, ECIR 2022, Stavanger, Norway, April 10–14, 2022 : proceedings (pp 364-373) (Lecture Notes in Computer Science, Vol. 13186). Springer.
  • Ermakova, L., Bertin, S., McCombie, H., Kamps, J. (2023) Overview of the CLEF 2023 SimpleText Task 3: Simplification of Scientific Texts.
    In Aliannejadi, M. Faggioli, G. Ferro, N. Vlachos, M. (Eds.), Working Notes of the Conference and Labs of the Evaluation Forum (CLEF 2023): Thessaloniki, Greece, September 18th to 21st, 2023 (pp 2855-2875) (CEUR Workshop Proceedings, Vol. 3497). CEUR-WS.
  • Ermakova, L., Firsov, Anton, Kamps, J. (2026) Biais de confirmation, de cadrage et de position dans les LLMs.
    In Actes de CORIA-TALN 2026. Actes de la 21e Conférence en Recherche d'Information et Applications. Volume 2 : articles déjà publiés (pp 12-12). Association pour le traitement automatique des langues.
  • Ermakova, L., Firsov, Anton, Kamps, J. (2026) Confirmation, Framing, and Position Biases in LLM Responses.
    In CHIIR '26 : Proceedings of the 2026 Conference on Human Information Interaction and Retrieval: March 22-26, 2026, Seattle, WA, USA (pp 480-484). Association for Computing Machinery.
  • Ermakova, L., Huet, S., SanJuan, E., Augereau, O., Azarbonyad, H., Kamps, J. (2023) Quand des Non-Experts Recherchent des Textes Scientifiques: Rapport sur l'action CLEF 2023 SimpleText. Translated title of the contribution: What happens if non-experts search scientific texts?: CLEF 2023 Simple Text track report
    In Boudin, F. Daille, B. Dufour, R. El Khettari, O. Houbre, M. Jourdan, L. Kooli, N. (Eds.), Actes de CORIA-TALN 2023 : Actes de l'atelier "Analyse et Recherche de Textes Scientifiques", ARTS@TALN 2023: Paris, France, June 5-9, 2023 (pp 27-33). ATALA.
  • Ermakova, L., Kamps, J. (2024) Complexity-Aware Scientific Literature Search: Searching for Relevant and Accessible Scientific Text.
    In Di Nunzio, G.M. Vezzani, F. Ermakova, L. Azarbonyad, H. Kamps, J. (Eds.), DeTermIt! Evaluating Text Difficulty in a Multilingual Context (DeTermit! 2024) : workshop proceedings: LREC-COLING 2024 : 21 May, 2024, Torino, Italia (pp 16-26) (COLING
    LREC). ELRA.
1 ... 115 116 117 118 119 120 121 122 123 ... 346

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