uva.nl

Institute for Logic, Language and Computation

Searchable List of Research Output

Filter Publications
  • Doets, H.C. (1999) Relatives of the russell paradox.
    Mathematical Logic Quarterly, Vol. 45 (pp 73-83)
  • Doets, H.C. (2000) Short proff(s) of classical theorems.
    ILLC Prepublication. Institute for Logic Language and Computation.
    Working paper | UvA-DARE
  • Don, J., Fehr, S., Majenz, C., Schaffner, C. (2019) Security of the Fiat-Shamir Transformation in the Quantum Random-Oracle Model.
    In Boldyreva, A. Micciancio, D. (Eds.), Advances in Cryptology – CRYPTO 2019: 39th Annual International Cryptology Conference, Santa Barbara, CA, USA, August 18–22, 2019 : proceedings (pp 356-383) (Lecture Notes in Computer Science, Vol. 11693). Springer.
  • Dong, X., Qi, X.-L., Walter, M. (2021) Holographic entanglement negativity and replica symmetry breaking.
    The Journal of High Energy Physics, Vol. 2021
  • Dormans, J. (2012) Engineering emergence: applied theory for game design.
    Creative Commons.
    Thesis, externally prepared | UvA-DARE
  • Dorn, B., de Haan, R., Schlotter, I. (2017) Obtaining a Proportional Allocation by Deleting Items.
    In Röthe, J. (Eds.), Algorithmic Decision Theory: 5th International Conference, ADT 2017, Luxembourg, Luxembourg, October 25–27, 2017 : proceedings (pp 284-299) (Lecture Notes in Computer Science
    Lecture Notes in Artificial Intelligence, Vol. 10576). Springer.
  • Dorn, B., de Haan, R., Schlotter, I. (2021) Obtaining a Proportional Allocation by Deleting Items.
    Algorithmica, Vol. 83 (pp 1559–1603)
  • Dorst, L., van Lambalgen, M., Voorbraak, F.P.J.M. (1994) Reasoning with Uncertainty in Robotics.
    University of Amsterdam.
    Book (Editorship) | UvA-DARE
  • Dotlačil, J., Roelofsen, F. (2019) Dynamic inquisitive semantics: anaphora and questions.
    In Espinal, M.T. Castroviejo, E. Leonetti, M. McNally, L. Real-Puigdollers, C. (Eds.), Proceedings of Sinn und Bedeutung 23 (pp 365-382). Universitat Autònoma de Barcelona.
  • Dotlačil, J., Roelofsen, F. (2020) A dynamic semantics of single-wh and multiple-wh questions.
    Proceedings from Semantics and Linguistic Theory, Vol. 30 (pp 376-395)
  • Dotlačil, J., Szymanik, J., Zajenkowski, M. (2014) Probabilistic semantic automata in the verification of quantified statements.
    In Bello, P. Guarini, M. McShane, M. Scassellati, B. (Eds.), CogSci 2014: cognitive science meets artificial intelligence: human and artifical agents in interactive contexts: 36th Annual Cognitive Science Conference: Quebec City, Canada, Jul 23-Jul 26 (pp 2967-2972). Cognitive Science Society.
  • Douven, I., Elqayam, S., Krzyżanowska, K. (2023) Inferentialism: A Manifesto.
    In Kaufmann, S. Over, D.E. Sharma, G. (Eds.), Conditionals: Logic, linguistics, and psychology (pp 175-221) (Palgrave Studies in Pragmatics, Language and Cognition). Palgrave Macmillan.
  • Douven, I., Elqayam, S., Krzyżanowska, K. (2024) The experimental philosophy of logic and formal epistemology: Conditionals.
    In Bauer, A.M. Kornmesser, S. (Eds.), The Compact Compendium of Experimental Philosophy (pp 211-235) (De Gruyter Reference). De Gruyter.
  • Douven, I., Krzyżanowska, K. (2019) The semantics-pragmatics interface: An empirical investigation.
    In Capone, A. Carapezza, M. Lo Piparo, F. (Eds.), Further Advances in Pragmatics and Philosophy. - Part 2: Theories and Applications (pp 81-100) (Perspectives in Pragmatics, Philosophy & Psychology, Vol. 20). Springer.
  • Drucker, A., de Wolf, R. (2011) Uniform approximation by (quantum) polynomials.
    Quantum Information & Computation, Vol. 11 (pp 215-225)
  • Drucker, A., de Wolf, R. (2011) Quantum proofs for classical theorems.
    Theory of Computing, Vol. Theory of Computing Library, Graduate Surveys
  • Du, Y., Holla, N., Zhen, X., Snoek, C.G.M., Shutova, E. (2021) Meta-Learning with Variational Semantic Memory for Word Sense Disambiguation.
    In Zong, C. Xia, F. Li, W. Navigli, R. (Eds.), The 59th Annual Meeting of the Association for Computational Linguistics and the 11th International Joint Conference on Natural Language Processing: ACL-IJCNLP 2021 : proceedings of the conference : August 1-6, 2021 (pp 5254-5268). The Association for Computational Linguistics.
  • Dulek, Y., Grilo, A.B., Jeffery, S., Majenz, C., Schaffner, C. (2020) Secure multi-party quantum computation with a dishonest majority.
    In Canteaut, A. Ishai, Y. (Eds.), Advances in Cryptology – EUROCRYPT 2020: 39th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Zagreb, Croatia, May 10–14, 2020 : proceedings (pp 729-758) (Lecture Notes in Computer Science, Vol. 12107). Springer.
  • Dulek, Y., Schaffner, C., Speelman, F. (2016) Quantum homomorphic encryption for polynomial-sized circuits.
    In Robshaw, M. Katz, J. (Eds.), Advances in Cryptology – CRYPTO 2016: 36th Annual International Cryptology Conference, Santa Barbara, CA, USA, August 14-18, 2016 : proceedings (pp 3-32) (Lecture Notes in Computer Science, Vol. 9816). Springer.
  • Dulek, Y., Schaffner, C., Speelman, F. (2018) Quantum homomorphic encryption for polynomial-size circuits.
    Theory of Computing, Vol. 14
1 ... 97 98 99 100 101 102 103 104 105 ... 308

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