uva.nl

Institute for Logic, Language and Computation

Searchable List of Research Output

Filter Publications
  • 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., 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., 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.
  • Ermakova, L., Laimé, V., McCombie, H., Kamps, J. (2024) Overview of the CLEF 2024 SimpleText Task 3: Simplify Scientific Text.
    In Faggioli, G. Ferro, N. Galuščáková, P. García Seco de Herrera, A. (Eds.), Working Notes of the Conference and Labs of the Evaluation Forum (CLEF 2024): Grenoble, France, 9-12 September, 2024 (pp 3147-3162) (CEUR Workshop Proceedings, Vol. 3740). CEUR-WS.
  • Ermakova, L., Ovchinnikov, I., Kamps, J., Nurbakova, D., Araújo, S., Hannachi, R. (2022) Overview of the CLEF 2022 SimpleText Task 3: Query Biased Simplification of Scientific Texts.
    In Faggioli, G. Ferro, N. Hanbury, A. Potthast, M. (Eds.), Proceedings of the Working Notes of CLEF 2022 - Conference and Labs of the Evaluation Forum: Bologna, Italy, September 5th to 8th, 2022 (pp 2792-2804) (CEUR Workshop Proceedings, Vol. 3180). CEUR-WS.
  • Ermakova, L., Ovchinnikov, I., Kamps, J., Nurbakova, D., Araújo, S., Hannachi, R. (2022) Overview of the CLEF 2022 SimpleText Task 2: Complexity Spotting in Scientific Abstracts.
    In Faggioli, G. Ferro, N. Hanbury, A. Potthast, M. (Eds.), Proceedings of the Working Notes of CLEF 2022 - Conference and Labs of the Evaluation Forum: Bologna, Italy, September 5th to 8th, 2022 (pp 2773-2791) (CEUR Workshop Proceedings, Vol. 3180). CEUR-WS.
  • Ermakova, L., SanJuan, E., Huet, S., Augereau, O., Azarbonyad, H., Kamps, J. (2023) CLEF 2023 SimpleText Track: What Happens if General Users Search Scientific Texts?.
    In Kamps, J. Goeuriot, L. Crestani, F. Maistro, M. Joho, H. Davis, B. Gurrin, C. Kruschwitz, U. Caputo, A. (Eds.), Advances in Information Retrieval: 45th European Conference on Information Retrieval, ECIR 2023, Dublin, Ireland, April 2–6, 2023 : proceedings (pp 536-545) (Lecture Notes in Computer Science, Vol. 13982). Springer.
  • Ermakova, L., SanJuan, E., Huet, S., Azarbonyad, H., Augereau, O., Kamps, J. (2023) Overview of the CLEF 2023 SimpleText Lab: Automatic Simplification of Scientific Texts.
    In Arampatzis, A. Kanoulas, E. Tsikrika, T. Vrochidis, S. Giachanou, A. Li, D. Aliannejadi, M. Vlachos, M. Faggioli, G. Ferro, N. (Eds.), Experimental IR Meets Multilinguality, Multimodality, and Interaction: 14th International Conference of the CLEF Association, CLEF 2023, Thessaloniki, Greece, September 18–21, 2023 : proceedings (pp 482-506) (Lecture Notes in Computer Science, Vol. 14163). Springer.
  • Ermakova, L., SanJuan, E., Huet, S., Azarbonyad, H., Di Nunzio, G.M., Vezzani, F., D'Souza, J., Kabongo, S., Giglou, H.B., Zhang, Y., Auer, S., Kamps, J. (2024) CLEF 2024 SimpleText Track: Améliorer l'accès aux textes scientifiques pour tous.
    In Papiers acceptés : CORIA-RJCRI 2024: 3-4 avril 2024 (La Rochelle) . ARIA.
  • Ermakova, L., SanJuan, E., Huet, S., Azarbonyad, H., Di Nunzio, G.M., Vezzani, F., D'Souza, J., Kabongo, S., Giglou, H.B., Zhang, Y., Auer, S., Kamps, J. (2024) CLEF 2024 SimpleText Track: Improving Access to Scientific Texts for Everyone.
    In Goharian, N. Tonellotto, N. He, Y. Lipani, A. McDonald, G. Macdonald, C. Ounis, I. (Eds.), Advances in Information Retrieval: 46th European Conference on Information Retrieval, ECIR 2024, Glasgow, UK, March 24–28, 2024 : proceedings (pp 28-35) (Lecture Notes in Computer Science, Vol. 14613). Springer.
  • Ermakova, L., SanJuan, E., Huet, S., Azarbonyad, H., Di Nunzio, G.M., Vezzani, F., D'Souza, J., Kamps, J. (2024) Overview of the CLEF 2024 SimpleText Track: Improving Access to Scientific Texts for Everyone.
    In Goeuriot, L. Mulhem, P. Quénot, G. Schwab, D. Di Nunzio, G.M. Soulier, L. Galuščáková, P. García Seco de Herrera, A. Faggioli, G. Ferro, N. (Eds.), Experimental IR Meets Multilinguality, Multimodality, and Interaction: 15th International Conference of the CLEF Association, CLEF 2024, Grenoble, France, September 9–12, 2024 : proceedings (pp 283-307) (Lecture Notes in Computer Science, Vol. 14959). Springer.
  • Ermakova, L., SanJuan, E., Kamps, J., Huet, S., Ovchinnikova, I., Nurbakova, D., Araújo, S., Hannachi, R., Mathurin, E., Bellot, P. (2022) Overview of the CLEF 2022 SimpleText Lab: Automatic Simplification of Scientific Texts.
    In Barrón-Cedeño, A. Da San Martino, G. Degli Esposti, M. Sebastiani, F. Macdonald, C. Pasi, G. Hanbury, A. Potthast, M. Faggioli, G. Ferro, N. (Eds.), Experimental IR Meets Multilinguality, Multimodality, and Interaction: 13th International Conference of the CLEF Association, CLEF 2022, Bologna, Italy, September 5–8, 2022 : proceedings (pp 470-494) (Lecture Notes in Computer Science, Vol. 13390). Springer.
1 ... 109 110 111 112 113 114 115 116 117 ... 327

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