-
Ulmer, D., Hupkes, D., Bruni, E. (2019) Assessing incrementality in sequence-to-sequence models.In Augenstein, I. Gella, S. Ruder, S. Kann, K. Can, B. Welbl, J. Conneau, A. Ren, X. Rei, M. (Eds.), The 4th Workshop on Representation Learning for NLP (RepL4NLP-2019): ACL 2019 : proceedings of the workshop : August 2, 2019, Florence, Italy (pp 209–217). The Association for Computational Linguistics.Conference contribution | https://doi.org/10.18653/v1/W19-4324 | UvA-DAREUmanski, D., Schiller, N.O., Sangati, F. (2010) How spoken language corpora can refine current speech motor training methodologies.In Proceedings of the ACL 2010 Student Research Workshop, Uppsala, Sweden (pp 37-42). Association for Computational Linguistics (ACL).Conference contribution | http://portal.acm.org/citation.cfm?id=1858920 | UvA-DAREUnger, F.P. (2006) On Small Hard Leaf Languages.In 30th International Symposium on Mathematical Foundations of Computer Science (pp 781-792)Conference contribution | UvA-DAREUnger, F.P. (2008) Noise in quantum and classical computation & non-locality.Institute for Logic, Language and Computation.Thesis, fully internal | UvA-DAREUnger, Falk (2008) Noise threshold for universality of two-input gates.IEEE Transactions on Information Theory, Vol. 54 (pp 3693-3698)Article | https://doi.org/10.1109/TIT.2008.926459 | UvA-DAREUrbański, M., van Lambalgen, M., Koszowy, M. (2017) An introduction to the special issue on question processing.Logic and Logical Philosophy, Vol. 26 (pp 285-288)Editorial | https://doi.org/10.12775/LLP.2017.025 | UvA-DAREUtke, Markus, Rey, Simon, Endriss, U. (2025) Pabuviz.org: A Visualisation Platform to Explore Participatory Budgeting Elections.In Vorobeychik, Yevgeniy Das, Sanmay Nowe, Ann (Eds.), AAMAS '25: Proceedings of the 24th International Conference on Autonomous Agents and Multiagent Systems : May 19-23, 2025, Detroit, Michigan, USA (pp 3056-3058). International Foundation for Autonomous Agents and Multiagent Systems.Conference contribution | https://www.ifaamas.org/Proceedings/aamas2025/pdfs/p3056.pdf | UvA-DAREv. Gool, S.J., Reggio, L. (2018) An open mapping theorem for finitely copresented Esakia spaces.Topology and its Applications, Vol. 240 (pp 69-77)Article | https://doi.org/10.1016/j.topol.2018.03.006 | UvA-DAREv. Gool, S.J., Steinberg, B. (2017) Pro-aperiodic monoids via saturated models.In Vollmer, H. Vallée, B. (Eds.), 34th Symposium on Theoretical Aspects of Computer Science: STACS 2017, March 8-11, 2017, Hannover, Germany (Leibniz International Proceedings in Informatics, Vol. 66). Schloss Dagstuhl - Leibniz-Zentrum für Informatik.Conference contribution | https://doi.org/10.4230/LIPIcs.STACS.2017.39 | UvA-DAREVäänänen, J., de Queiroz, R., Osorio Galindo, M., Zepeda Cortés, C., Arrazola Ramírez, J.R. (2017) 23rd Workshop on Logic, Language, Information and Computation (WoLLIC 2016): co-sponsored by the Association for Symbolic Logic : Puebla, Mexico, August 16–19, 2016.Bulletin of Symbolic Logic, Vol. 23 (pp 270-271)Editorial | https://doi.org/10.1017/bsl.2017.17 | UvA-DAREVäänänen, J., Hirvonen, Å., de Queiroz, R. (2016) Logic, Language, Information, and Computation: 23rd International Workshop, WoLLIC 2016, Puebla, Mexico, August 16-19th, 2016 : proceedings.Lecture Notes in Computer Science
FoLLI Publications on Logic, Language and Information, Vol. 9803. Springer.Book (Editorship) | https://doi.org/10.1007/978-3-662-52921-8 | UvA-DAREVäänänen, J., Hodges, W. (2010) Dependence of variables construed as an atomic formula.Annals of Pure and Applied Logic, Vol. 161 (pp 817-828)Article | https://doi.org/10.1016/j.apal.2009.06.009 | UvA-DAREVäänänen, J., Wang, T. (2013) An Ehrenfeucht-Fraïssé game for Lω1ω.Mathematical Logic Quarterly, Vol. 59 (pp 357-370)Article | https://doi.org/10.1002/malq.201200104 | UvA-DAREVäänänen, J., Wang, T. (2015) Internal Categoricity in Arithmetic and Set Theory.Notre Dame Journal of Formal Logic, Vol. 56 (pp 121-134)Article | https://doi.org/10.1215/00294527-2835038 | UvA-DAREVäänänen, J., Welch, P.D. (2023) When cardinals determine the power set: inner models and Härtig quantifier logic.Mathematical Logic Quarterly, Vol. 69 (pp 460-471)Article | https://doi.org/10.1002/MALQ.202200030 | UvA-DAREVäänänen, J., Westerståhl, D. (2010) In memoriam: Per Lindström.Theoria, Vol. 76 (pp 100-107)Väänänen, J. (2008) Modal dependence logic.In Apt, K.R. van Rooij, R. (Eds.), New Perspectives on Games and Interaction (pp 237-254) (Texts in logic and games, Vol. 4). Amsterdam University Press.Conference contribution | http://www.nomic.net/~uckelman/tmp/tlg/tlg4.pdf | UvA-DAREVäänänen, J. (2008) How complicated can structures be?.Nieuw Archief voor Wiskunde, Vol. 5/9 (pp 117-121)Väänänen, J. (2010) How I became a logician.In Roinila, M. (Eds.), Miten meistä tuli tohtoreita (pp 59-63). Suomen filosofinen yhdistys.Chapter | UvA-DAREVäänänen, J. (2010) A taste of set theory for philosophers.Journal of Indian Council of Philosophical Research, Vol. 27 (pp 143-163)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 illc at uva.nl