Kontinen, J., Szymanik, J. (2014) A characterization of definability of second-order generalized quantifiers with applications to non-definability.

Journal of Computer and System Sciences, Vol. 80 (pp 1152-1162)

Article | https://doi.org/10.1016/j.jcss.2014.04.007 | UvA-DARE

Kontinen, J., Väänänen, J. (2009) On definability in dependence logic.

Journal of Logic, Language and Information, Vol. 18 (pp 317-332)

Article | https://doi.org/10.1007/s10849-009-9082-0 | UvA-DARE

Kontinen, J., Väänänen, J. (2011) A remark on negation in dependence logic.

Notre Dame Journal of Formal Logic, Vol. 52 (pp 55-65)

Article | https://doi.org/10.1215/00294527-2010-036 | UvA-DARE

Kontinen, J., Väänänen, J. (2013) Axiomatizing first-order consequences in dependence logic.

Annals of Pure and Applied Logic, Vol. 164 (pp 1101-1117)

Article | https://doi.org/10.1016/j.apal.2013.05.006 | UvA-DARE

Kontinen, J. (2010) Coherence and computational complexity of quantifier-free dependence logic formulas.

In Kontinen, J. Väänänen, J. (Eds.), Proceedings of Dependence and Independence in Logic: ESSLLI 2010 Workshop : Copenhagen, August 16-20, 2010 (pp 58-77). ILLC.

Kontinen, J.A. (2010) Coherence and complexity in fragments of dependence logic.

Institute for Logic, Language and Computation.

Thesis, fully internal | UvA-DARE

Koolen, C., Garnett, A., Siemens, R. (2013) Electronic environments for reading: a select annotated bibliography of pertinent hardware and software (2011).

In Kircz, J. van der Weel, A. (Eds.), The unbound book (pp 117-129). Amsterdam University Press.

Koolen, C., Garnett, A., Siemens, R. (2012) Electronic Environments for Reading: An Annotated Bibliography of Pertinent Hardware and Software (2011).

Scholarly and Research Communication, Vol. 3 (pp 1-62)

Article | http://src-online.ca/index.php/src/article/viewFile/71/186 | UvA-DARE

Koolen, C., van Cranenburgh, A. (2018) Blue Eyes and Porcelain Cheeks: Computational Extraction of Physical Descriptions from Dutch Chick Lit and Literary Novels.

Digital Scholarship in the Humanities, Vol. 33 (pp 59-71)

Article | https://doi.org/10.1093/llc/fqx016 | UvA-DARE

Koolen, C. (2012) Hoe duurzaam is het digitale boek?.

Boekman, Vol. 24 (pp 52-58)

Article | UvA-DARE

Koolen, C. (2014) On being crazy about your trade: Digital Humanities 2014 in Lausanne, Switzerland.

eHumanities eMag, Vol. 3

Article | http://ehumanities.leasepress.com/emagazine-3/recent-events/on-being-crazy-about-your-trade/ | UvA-DARE

Koolen, C.W., van Cranenburgh, A. (2017) These are not the Stereotypes You are Looking For: Bias and Fairness in Authorial Gender Attribution.

In Proceedings of the First Ethics in NLP workshop (pp 12-22). ACL.

Koolen, C.W., Wubben, S., van Cranenburgh, A. (2014) Beautiful lips and porcelain cheeks: extracting physical descriptions from recent Dutch fiction.

Poster | UvA-DARE

Koolen, C.W. (2018) Reading beyond the female: The relationship between perception of author gender and literary quality.

Thesis, fully internal | UvA-DARE

Koolen, M., Bogers, T., Gäde, M., Hall, M., Hendrickx, I., Huurdeman, H., Kamps, J., Skov, M., Verberne, S., Walsh, D. (2016) Overview of the CLEF 2016 Social Book Search Lab.

In Fuhr, N. Quaresma, P. Gonçalves, T. Larsen, B. Balog, K. Macdonald, C. Cappellato, L. Ferro, N. (Eds.), Experimental IR Meets Multilinguality, Multimodality, and Interaction: 7th International Conference of the CLEF Association, CLEF 2016, Évora, Portugal, September 5-8, 2016: proceedings (pp 351-370) (Lecture Notes in Computer Science, Vol. 9822). Springer.

Koolen, M., Bogers, T., Gäde, M., Hall, M., Huurdeman, H., Kamps, J., Skov, M., Toms, E., Walsh, D. (2015) Overview of the CLEF 2015 Social Book Search Lab.

In Mothe, J. Savoy, J. Kamps, J. Pinel-Sauvagnat, K. Jones, G.J.F. SanJuan, E. Cappellato, L. Ferro, N. (Eds.), Experimental IR Meets Multilinguality, Multimodality, and Interaction: 6th International Conference of the CLEF Association, CLEF'15, Toulouse, France, September 8–11, 2015 : proceedings (pp 545-564) (Lecture Notes in Computer Science, Vol. 9283). Springer.

Koolen, M., Bogers, T., Kamps, J. (2015) Overview of the SBS 2015 Suggestion Track.

In Cappellato, L. Ferro, N. Jones, G.J.F. San Juan, E. (Eds.), Working Notes of CLEF 2015 - Conference and Labs of the Evaluation forum: Toulouse, France, September 8-11, 2015 (CEUR Workshop Proceedings, Vol. 1391). CEUR-WS.

Koolen, M., Bogers, T., Kamps, J. (2016) Overview of the SBS 2016 Suggestion Track.

In Balog, K. Cappellato, L. Ferro, N. Macdonald, C. (Eds.), Working Notes of CLEF 2016 - Conference and Labs of the Evaluation forum: Évora, Portugal, 5-8 September, 2016 (pp 1039-1052) (CEUR Workshop Proceedings, Vol. 1609). CEUR-WS.

Koolen, M., Bogers, T., Kazai, G., Kamps, J., Preminger, M. (2014) Overview of the INEX 2014 Social Book Search Track.

In Cappellato, L. Ferro, N. Halvey, M. Kraaij, W. (Eds.), Working Notes for CLEF 2014 Conference: Sheffield, UK, September 15-18, 2014 (pp 462-479) (CEUR Workshop Proceedings, Vol. 1180). CEUR-WS.

Koolen, M., Bogers, T., van den Bosch, A., Kamps, J. (2015) Looking for Books in Social Media: an analysis of complex search requests.

In Hanbury, A. Kazai, G. Rauber, A. Fuhr, N. (Eds.), Advances in Information Retrieval: 37th European Conference on IR Research, ECIR 2015, Vienna, Austria, March 29-April 2, 2015 : proceedings (pp 184-196) (Lecture Notes in Computer Science, Vol. 9022). Springer.