Dobler, T. (2017) Occasion-sensitive semantics.

In Brézillon, P. Turner, R. Penco, C. (Eds.), Modeling and Using Context: 10th International and Interdisciplinary Conference, CONTEXT 2017, Paris, France, June 20-23, 2017 : proceedings (pp 254-266) (Lecture Notes in Computer Science
Lecture Notes in Artificial Intelligence, Vol. 10257). Springer.

Dobler, T. (2019) Occasion-sensitive semantics for objective predicates.

Linguistics and Philosophy, Vol. 42 (pp 451–474)

Article | https://doi.org/10.1007/s10988-018-9255-x | UvA-DARE

Dobler, T. (2020) The Occasion‐Sensitivity of Thought.

Topoi, Vol. 39

Article | https://doi.org/10.1007/s11245-017-9532-2 | UvA-DARE

Dobler, T. (2022) Pluralist conceptual engineering.

Inquiry : an Interdisciplinary Journal of Philosophy

Article | https://doi.org/10.1080/0020174X.2022.2086171 | UvA-DARE

Döcker, J., Dorn, B., Endriss, U., de Haan, R., Schneckenburger, S. (2018) Tool Auctions.

In Proceedings of the Thirty-Second AAAI Conference on Artificial Intelligence, Thirtieth Innovative Applications of Artificial Intelligence Conference, Eighth Symposium on Educational Advances in Artificial Intelligence: 2-7 February 2018, New Orleans, Louisiana, USA (pp 1015-1022). AAAI Press.

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.

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.

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