uva.nl

Institute for Logic, Language and Computation

Searchable List of Research Output

Filter Publications
  • Troelstra, A.S. (2000) Ware en Gevoelige Verhalen.
    Technical Report. Institute for Logic Language and Computation.
    Report | UvA-DARE
  • Troelstra, A.S. (2001) Honderd jaar keuzenrijen.
    Verslagen van de Afdeling Natuurkunde van de KNAW, Vol. 110 (pp 223-227)
    Article | UvA-DARE
  • Troelstra, A.S. (2004) Vriendenboek ofwel liber amicorum ter gelegenheid van het afscheid van Dick de Jongh.
    Institute for Logic, Language and Computation.
    Book (Editorship) | UvA-DARE
  • Troelstra, A.S. (2004) Tijgers op de Ararat.
    Atlas.
    Book | UvA-DARE
  • Troelstra, A.S. (2005) Proof Theory and Constructive Mathematics.
    In Mathematics: History,Concepts, and Foundations, from /Encyclopedia of Life Support Systems (EOLSS). Eolss Publishers.
    Chapter | UvA-DARE
  • Troelstra, A.S. (2011) History of constructivism in the 20th century.
    In Kennedy, J. Kossak, R. (Eds.), Set Theory, Arithmetic, and Foundations of Mathematics: Theorems, Philosophies (pp 150-179) (Lecture Notes in logic, Vol. 36). Cambridge University Press.
  • Troelstra, A.S. (2016) Checking your history.
    In van Eijk, J. Iemhoff, R. Joosten, J.J. (Eds.), Liber Amicorum Alberti: a tribute to Albert Visser (pp 223-230) (Tributes, Vol. 30). College Publications.
    Chapter | UvA-DARE
  • Tromp, J., Buhrman, H., Li, M., Vitanyi, P.M.B. (2000) Kolmogorov random graphs and the incompressibility method.
    SIAM Journal on Computing, Vol. 29 (pp 590-599)
  • Tromp, J., Vitanyi, P.M.B. (2002) Randomized two-process wait-free test-and-set.
    Distributed Computing, Vol. 15 (pp 127-135)
  • Tromp, J., Vitanyi, P.M.B. (2002) A protocol for randomized anonymous two process wait-free test-and-set with finite-state verification.
    In Pro. 9th International Colloquium on Structural Information and Communication Complexity (pp 275-292). Carleton University Press.
    Chapter | UvA-DARE
  • Trotman, A., Geva, S., Kamps, J., Lalmas, M., Murdock, V. (2010) Current research in focused retrieval and result aggregation.
    Information Retrieval, Vol. 13 (pp 407-411)
  • Trotman, A., Geva, S., Kamps, J. (2007) Report on the SIGIR 2007 workshop on focused retrieval.
    SIGIR Forum, Vol. 42 (pp 97-103)
    Article | UvA-DARE
  • Trotman, A., Geva, S., Kamps, J. (2008) Proceedings of the SIGIR 2007 Workshop on Focused Retrieval: held in Amsterdam, The Netherlands, 27 July 2007.
    University of Otago, Department of Computer Science.
  • Trotman, A., Geva, S., Kamps, J. (2008) Proceedings of the SIGIR 2008 Workshop on Focused Retrieval: held in Singapore, 24 July 2008.
    University of Otago, Department of Computer Science.
  • Trujillo, James P., Dyer, Rebecca M K, Holler, Judith (2025) Dyadic differences in empathy scores are associated with kinematic similarity during conversational question-answer pairs.
    Discourse processes, Vol. 62 (pp 195-213)
  • Trujillo, James P., Holler, Judith (2024) Information distribution patterns in naturalistic dialogue differ across languages.
    Psychonomic Bulletin & Review, Vol. 31 (pp 1723-1734)
  • Trujillo, James P., Holler, Judith (2024) Conversational facial signals combine into compositional meanings that change the interpretation of speaker intentions.
    Scientific Reports, Vol. 14 (pp 2286)
  • Trujillo, James P., Holler, Judith (2025) Multimodal information density is highest in question beginnings, and early entropy is associated with fewer but longer visual signals.
    Discourse processes, Vol. 62 (pp 69-88)
  • Trujillo, James P. (2024) Motion-Tracking Technology for the Study of Gesture.
    In Cienki, A. (Eds.), The Cambrige Handbook of Gesture Studies (pp 306-332) (Cambridge Handbooks in Language and Linguistics). Cambridge University Press.
  • Tsakonas, G., Kamps, J. (2020) Current research on theory and practice of digital libraries: Best papers from TPDL 2017.
    International Journal on Digital Libraries, Vol. 21 (pp 1-3)
1 ... 268 269 270 271 272 273 274 275 276 ... 340

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