-
Kamps, J. (2011) Toward a Model of Interaction for Complex Search Tasks.In ESAIR'11: proceedings of the Fourth Workshop on Exploiting Semantic Annotations in Information Retrieval : October 28, 2011, Glasgow, Scotland, UK (pp 7-8). Association for Computing Machinery.Conference contribution | https://doi.org/10.1145/2064713.2064719 | UvA-DAREKamps, J. (2011) The impact of author ranking in a library catalogue.In BooksOnline'11: proceedings of the 2011 ACM Workshop on Online Books, Complementary Social Media and Crowdsourcing : October 28, 2011, Glasgow, Scotland, UK (pp 35-39). Association for Computing Machinery.Conference contribution | https://doi.org/10.1145/2064058.2064067 | UvA-DAREKamps, J. (2012) Retrieval of XML documents.In Berlanga Llavori, R. Rosso, P. (Eds.), II Congreso Español de Recuperación de la Información (pp 12-12) (e-Treballs d'Informàtica i Tecnologia, Vol. 11). Universitat Jaume I, Servei de Comunicació i Publicacions.Conference contribution | https://doi.org/10.6035/e-TIiT.2012.11 | UvA-DAREKamps, J. (2013) ACM SIGIR Annual Business Meeting 2013: Secretary’s Notes: business meting report.SIGIR Forum, Vol. 47 (pp 2-7)Article | https://dl.acm.org/citation.cfm?id=2568388 | UvA-DAREKamps, J. (2013) When search becomes research and research becomes search (keynote).In SIGIR '13: the proceedings of the 36th International ACM SIGIR Conference on Research & Development in Information Retrieval : July 28-August 1, 2013, Dublin, Ireland . ACM.Conference contribution | https://doi.org/10.1145/2484028 | UvA-DAREKamps, J. (2013) The significance of search, support for complex tasks, and searcher- aware information access systems.Dagstuhl Reports, Vol. 3 (pp 122-123)Article | https://doi.org/10.4230/DagRep.3.10.92 | UvA-DAREKamps, J. (2014) ACM SIGIR annual business meeting 2014: Secretary’s notes.SIGIR Forum, Vol. 48 (pp 2-9)Kamps, J. (2018) Taking Time Seriously: Diachronic Collections in Digital Libraries: Keynote abstract.In Caputo, A. Kanhabua, N. Basile, P. Lawless, S. Gavrilis, D. Papatheodorou, C. Gîfu, D. Trandabat, D. (Eds.), Joint Proceedings of the 1st Workshop on Temporal Dynamics in Digital Libraries (TDDL 2017), the (Meta)-Data Quality Workshop (MDQual 2017) and the Workshop on Modeling Societal Future (Futurity 2017): co-located with 21st International Conference on Theory and Practice of Digital Libraries (TPLD 2017) : Thessaloniki, Greece, September 21, 2017 (CEUR Workshop Proceedings, Vol. 2038). CEUR-WS.Conference contribution | http://ceur-ws.org/Vol-2038/invited1.pdf | UvA-DAREKanazawa, M. (1994) Learnable Classes of Categorial Grammars.Thesis, internally prepared | UvA-DAREKaniewski, J., Lee, T., de Wolf, R. (2015) Query complexity in expectation.In Halldórsson, M.M. Iwama, K. Kobayashi, N. Speckmann, B. (Eds.), Automata, Languages, and Programming: 42nd International Colloquium, ICALP 2015, Kyoto, Japan, July 6-10, 2015 : proceedings (pp 761-772) (Lecture Notes in Computer Science
Advanced Research in Computing and Software Science, Vol. 9134). Springer.Conference contribution | https://doi.org/10.1007/978-3-662-47672-7_62 | UvA-DAREKann, Christoph, Löwe, Benedikt, Rode, Christian, Uckelman, Sara L. (2018) Medieval Logic and Modern Applied Logic.Recherches de Théologie et Philosophie Médiévales Bibliotheca, Vol. 11. Peeters.Book (Editorship) | UvA-DAREKanovei, V.G., van Lambalgen, M. (1997) On a spector ultrapower of the solovay model.Mathematical Logic Quarterly, Vol. 43 (pp 389-395)Article | https://doi.org/10.1002/malq.19970430311 | UvA-DAREKappé, T. (2023) Completeness and the Finite Model Property for Kleene Algebra, Reconsidered.In Glück, R. Santocanale, L. Winter, M. (Eds.), Relational and Algebraic Methods in Computer Science (RAMiCS) 2023: 20th International Conference, RAMiCS 2023, Augsburg, Germany, April 3–6, 2023 : proceedings (pp 158-175) (Lecture Notes in Computer Science, Vol. 13896). Springer.Conference contribution | https://doi.org/10.48550/arXiv.2212.10931 | UvA-DAREKappé, T.W.J. (2022) Completeness and the Finite Model Property for Kleene Algebra, Reconsidered (Coq formalization).Software | https://doi.org/10.5281/zenodo.7467245 | UvA-DAREKappé, T.W.J. (2022) Leapfrog: certified equivalence for protocol parsers (Coq formalization).Software | https://doi.org/10.5281/zenodo.6354482 | UvA-DAREKaptein, A.M., Hiemstra, D., Kamps, J. (2011) How different are language models and word clouds?.In DIR 2011: Dutch_Belgian Information Retrieval Workshop Amsterdam (pp 52-53). University of Amsterdam, Information and Language Processing group.Conference contribution | http://edgar.meij.pro/wp-content/papercite-data/pdf/dir-2011.pdf | UvA-DAREKaptein, A.M., Kamps, J. (2011) Explicit extraction of topical context.Journal of the American Society for information Science and Technology, Vol. 62 (pp 1548-1563)Article | https://doi.org/10.1002/asi.21563 | UvA-DAREKaptein, A.M., Serdyukov, P., de Vries, A.P., Kamps, J. (2011) Entity ranking using Wikipedia as a pivot.In DIR 2011: Dutch_Belgian Information Retrieval Workshop Amsterdam (pp 54-55). University of Amsterdam, Information and Language Processing group.Conference contribution | http://edgar.meij.pro/wp-content/papercite-data/pdf/dir-2011.pdf | UvA-DAREKaptein, A.M. (2007) Focused Retrieval Using Topical Language and Structure.In Proceedings BCS IRSG Symposium: Future Directions in Information Access (FDIA 2007) (pp 55-60). Glasgow, Scotland.Conference contribution | http://irsg.bcs.org/FDIA/2007/fdia2007.php | UvA-DAREKaptein, A.M. (2011) Effective focused retrieval by exploiting query context and document structure.IR Publications.Thesis, fully internal | UvA-DAREThe 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 illc at uva.nl