Searchable List of Research Output

Filter Publications
  • Khan, M.A., Banerjee, M. (2011) A logic for multiple-source approximation systems with distributed knowledge base.
    Journal of Philosophical Logic, Vol. 40 (pp 663-692)
  • Khan, M.A., Ma, M. (2011) A modal logic for multiple-source tolerance approximation spaces.
    In Banerjee, M. Seth, A. (Eds.), Logic and Its Applications: 4th Indian Conference, 2011, Delhi, India, January 5-11, 2011: proceedings (pp 124-136) (Lecture Notes in Computer Science
    Lecture Notes in Artificial Intelligence
    FoLLI Publications on Logic, Language and Information, Vol. 6521). Springer.
  • Khomskii, Y.D. (2009) A general setting for the pointwise investigation of determinacy.
    In Ramanujam, R. Sarukkai, S. (Eds.), Logic and Its Applications: Third Indian conference, ICLA 2009, Chennai, India, January 7-11, 2009 : proceedings (pp 185-195) (Lecture Notes in Computer Science
    Lecture Notes in Artificial Intelligence
    FoLLI Publications on Logic, Language and Information, Vol. 5378). Springer.
  • Khomskii, Y.D. (2012) Regularity properties and definability in the real number continuum: idealized forcing, polarized partitions, Hausdorff gaps and mad families in the projective hierarchy.
    Institute for Logic, Language and Computation.
    Thesis, fully internal | UvA-DARE
  • Kiddle, R., Törnberg, P., Trilling, D. (2024) Network toxicity analysis: An information-theoretic approach to studying the social dynamics of online toxicity.
    Journal of Computational Social Science, Vol. 7 (pp 305-330)
  • Kiela, D., Firooz, Hamed, Mohan, A., Goswami, Vedanuj, Singh, Amanpreet, Fitzpatrick, Casey A., Bull, Peter, Lipstein, Greg, Nelli, Tony, Zhu, Ron, Muennighoff, Niklas, Velioglu, Riza, Rose, Jewgeni, Lippe, P., Holla, N., Chandra, Shantanu, Rajamanickam, S., Antoniou, Georgios, Shutova, E., Yannakoudakis, H., Sandulescu, Vlad, Ozertem, Umut, Pantel, Patrick, Specia, Lucia, Parikh, Devi (2021) The Hateful Memes Challenge: Competition Report.
    Proceedings of Machine Learning Research, Vol. 133 (pp 344-360)
  • Kiltz, E., Lyubashevsky, V., Schaffner, C. (2018) A Concrete Treatment of Fiat-Shamir Signatures in the Quantum Random-Oracle Model.
    In Nielsen, J.B. Rijmen, V. (Eds.), Advances in Cryptology – EUROCRYPT 2018: 37th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Tel Aviv, Israel, April 29-May 3, 2018 : proceedings (pp 552-586) (Lecture Notes in Computer Science, Vol. 10822). Springer.
  • Kimmelman, V., Oomen, M., Pfau, R. (2024) Headshakes in NGT: Relation between phonetic properties & linguistic functions.
    In Efthimiou, E. Fotinea, S.-E. Hanke, T. Hochgesang, J.A. Mesch, J. Schulder, M. (Eds.), 11th Workshop on the Representation and Processing of Sign Languages: Evaluation of Sign Language Resources (sign-lang@LREC-COLING 2024): LREC-COLING 2024 : workshop proceedings : 25 May 2024, Torino, Italia (pp 159-167) (COLING
    LREC). European Language Resources Association.
  • Kirchherr, W.W., Li, M., Vitanyi, P.M.B. (1997) The miraculous universal distribution.
    Mathematical Intelligencer (pp 7-15)
    Article | UvA-DARE
  • Kircz, J.G., Caracciolo, C., de Rijke, M. (2002) Towards scientific information disclosure through concept hierarchies.
    In Baptista, A. Carvalho, J. Huebler, A. (Eds.), ELPUB Proceedings
    Conference contribution | UvA-DARE
  • Kirton, F., Kirby, S., Smith, K., Culbertson, J., Schouwstra, M. (2021) Constituent order in silent gesture reflects the perspective of the producer.
    Journal of Language Evolution, Vol. 6 (pp 54-76)
  • Kiseleva, J., Kamps, J., Clarke, C.L.A. (2016) Contextual search and exploration.
    In Braslavski, P. Markov, I. Pardalos, P. Volkovich, Y. Ignatov, D.I. Koltsov, S. Koltsova, O. (Eds.), Information Retrieval: 9th Russian Summer School, RuSSIR 2015, Saint Petersburg, Russia, August 24-28, 2015 : revised selected papers (pp 3-23) (Communications in Computer and Information Science, Vol. 573). Springer.
  • Kiseleva, J., Kamps, J., Nikulin, V., Makarov, N. (2015) Behavioral dynamics from the SERP's perspective: What are failed SERPs and how to fix them?.
    In CIKM'15: proceedings of the 24th ACM International Conference on Information and Knowledge Management : October 19-23, 2015, Melbourne, Australia (pp 1561-1570). The Association for Computing Machinery.
  • Kiseleva, J., Mueller, M.J.I., Bernardi, L., Davis, C., Kovacek, I., Einarsen, M.S., Kamps, J., Tuzhilin, A., Hiemstra, D. (2015) Where to go on your next trip? Optimizing travel destinations based on user preferences.
    In SIGIR 2015: proceedings of the 38th International ACM SIGIR Conference on Research and Development in Information Retrieval : August 9-13, 2015, Santiago, Chile (pp 1097-1100). Association for Computing Machinery.
  • Kishida, K. (2012) [Review of: J. van Benthem (2011) Logical dynamics of information and interaction].
    Notre Dame Philosophical Reviews
  • Kishida, K. (2013) Public Announcement under Sheaves.
    In Motomura, Y. Butler, A. Bekki, D. (Eds.), New Frontiers in Artificial Intelligence: JSAI-isAI 2012 Workshops, LENLS, JURISIN, MiMI, Miyazaki, Japan, November 30 and December 1, 2012 : revised selected papers (pp 96-108) (Lecture Notes in Computer Science
    Lecture Notes in Artificial Intelligence, Vol. 7856). Springer.
  • Kisjes, I., van Oort, T., Lotze, K., Staliunaite, I., Veerbeek, J., Beelen, K., Noordegraaf, J.J. (2020) Digital Film Listings (DIGIFIL): Final Report.
    Universiteit van Amsterdam.
  • Kisjes, I., van Oort, T., Lotze, K., Staliunaite, I.R., Veerbeeck, J., Beelen, K., Noordegraaf, J.J. (2019) Mining the Movie Landscape: Extracting Film Listings from Digital Newspapers.
  • Kissig, C., Venema, Y. (2009) Complementation of coalgebra automata.
    In Kurz, A. Lenisa, M. Tarlecki, A. (Eds.), Algebra and Coalgebra in Computer Science: Third International Conference, CALCO 2009, Udine, Italy, September 7-10, 2009 : proceedings (pp 81-96) (Lecture Notes in Computer Science, Vol. 5728). Springer.
  • Kiverstein, J., Arstila, V. (2013) Time in Mind.
    In Dyke, H. Bardon, A. (Eds.), A Companion to the Philosophy of Time (pp 444-469) (Blackwell Companions to Philosophy, Vol. 52). Wiley-Blackwell.

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