Döcker, J., Dorn, B., Endriss, U., Krüger, D. (2016) Complexity and Tractability Islands for Combinatorial Auctions on Discrete Intervals with Gaps.

In Kaminka, G.A. Fox, M. Bouquet, P. Hüllermeyer, E. Dignum, V. Dignum, F. van Harmelen, F. (Eds.), ECAI 2016 : 22nd European Conference on Artificial Intelligence, 29 August-2 September 2016, The Hague, The Netherlands: including Prestigious applications of intelligent systems (PAIS 2016) : proceedings (pp 802-809) (Frontiers in Artificial Intelligence and Applications, Vol. 285). IOS Press.

Dodds, Tomás, Geboers, M. (2026) Advancing Mixed Digital Methods: Digital Ethnography and Digital Methods in Contemporary Media Cultures.

In Hendrickx, Jonathan Opgenhaffen, Michaël (Eds.), Research Methods for Social Media Journalism (pp 25-38) (Routledge Research in Journalism, Vol. 60). Routledge.

Doenges, R., Kappé, T., Sarracino, J., Foster, N., Morrisett, G. (2022) Leapfrog: certified equivalence for protocol parsers.

In Jhala, R. Dillig, I. (Eds.), PLDI '22: proceedings of the 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation : June 13-17, 2022, San DIego, CA, USA (pp 950-965). Association for Computing Machinery.

Doets, H.C. (1994) From logic to logic programming.

Foundation of Computing Series. The MIT Press.

Book | UvA-DARE

Doets, H.C. (1994) Left termination turned into termination.

Theoretical Computer Science, Vol. 124 (pp 181-188)

Article | https://doi.org/10.1016/0304-3975(94)90059-0 | UvA-DARE

Doets, H.C. (1996) Wijzer in Wiskunde.

CWI.

Book | UvA-DARE

Doets, H.C. (1996) Basic model theory.

CSLI Publications & FoLLI.

Book | UvA-DARE

Doets, H.C. (1996) Monotone quantifiers: interpolation and preservation.

In van Eijck, J. van der Does, J. (Eds.), Quantifiers, logic, and language (pp 95-103) (CSLI lecture notes). CSLI.

Doets, H.C. (1997) Logic Programming.

In Hazewinkel, M. (Eds.), Encyclopedia of Mathematics, volume Supplement Volume I. Kluwer.

Doets, H.C. (1998) Elementary properties of finite ranks.

Mathematical Logic Quarterly, Vol. 44 (pp 349-353)

Article | https://doi.org/10.1002/malq.19980440306 | UvA-DARE

Doets, H.C. (1999) Three old pieces.

In Marx, M. Gerbrandy, J. de Rijke, M. Venema, Y. (Eds.), JFAK. Essays dedicated to Johan van Benthem on the occasion of his 50th anniversary. Amsterdam University Press.

Doets, H.C. (1999) Relatives of the russell paradox.

Mathematical Logic Quarterly, Vol. 45 (pp 73-83)

Article | https://doi.org/10.1002/malq.19990450107 | UvA-DARE

Doets, H.C. (2000) Short proff(s) of classical theorems.

ILLC Prepublication. Institute for Logic Language and Computation.

Working paper | UvA-DARE

Doets, K., van Eijck, J. (2012) The Haskell Road to Logic, Maths and Programming.

Texts in computing, Vol. 4. College Publications.

Book | 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.

Dona, Loïs, Schouwstra, M. (2026) Iconicity in the evolution of language: Computational models and laboratory experiments.

In Fischer, Olga Akita, Kimi Perniss, Pamela (Eds.), The Oxford Handbook of Iconicity in Language (pp 773-787) (Oxford handbooks in linguistics). Oxford University Press.

Dong, X., Qi, X.-L., Walter, M. (2021) Holographic entanglement negativity and replica symmetry breaking.

The Journal of High Energy Physics, Vol. 2021

Article | https://doi.org/10.1007/JHEP06(2021)024 | UvA-DARE

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)

Article | https://doi.org/10.1007/s00453-020-00794-4 | UvA-DARE