Gattinger, M. (2022) A Verified Proof of Craig Interpolation for Basic Modal Logic via Tableaux in Lean.

Paper | https://malv.in/2022/AiML2022-basic-modal-interpolation-lean.pdf | UvA-DARE

Gattinger, M. (2022) SMCDEL version 1.2.0: An Implementation of Symbolic Model Checking for Dynamic Epistemic Logic with Binary Decision Diagrams.

Software | https://doi.org/10.5281/zenodo.6226608 | UvA-DARE

Gattinger, M. (2023) HasCacBDD version 0.2.0.0: Haskell bindings for CacBDD, a Binary Decision Diagram (BDD) package with dynamic cache management.

Software | UvA-DARE

Gattinger, M. (2025) HasCacBDD version 0.3.0.1: Haskell bindings for CacBDD, a Binary Decision Diagram (BDD) package with dynamic cache management.

Software | https://doi.org/10.5281/zenodo.17413860 | UvA-DARE

Gaufman, E., Ganesh, B. (2024) The Trump Carnival: Populism, Transgression and the Far Right.

De Gruyter Contemporary Social Sciences, Vol. 35. De Gruyter.

Book | https://doi.org/10.1515/9783111238135 | UvA-DARE

Geboers, M., Dodds, T., Boukes, M., Abdul Rahman, Eirliani (2025) Journalists “Attagged”: The @-tag as a Bonding Tool for “Supercharged Critical Publics”.

Journalism Practice

Article | https://doi.org/10.1080/17512786.2025.2539338 | UvA-DARE

Geboers, M., Hammelburg, E. (2024) Elevating the Antagonist Encounter: How the ‘Stitch’ Transforms Victimhood Contestation on TikTok.

Anglica: an international journal of English studies, Vol. 33 (pp 143-158)

Article | https://doi.org/10.7311/0860-5734.33.2.08 | UvA-DARE

Geboers, M., Pilipets, Elena, Delawar-Kasmai, D. (2025) Detouring, Rerouting, Weaponization: The Secondary Orality of WarTok.

In Zeng, J. Nguyen, D. Mutsvairo, B. (Eds.), Technology, Power and Society: Critical Perspectives on the Global Digital Transformation (pp 144-165) (Technology, Power & Society, Vol. 1). Brill.

Geboers, M., Pilipets, Elena (2025) Refrains of Solidarity – #StandWithUkraine on TikTok.

In Berg, M. Lorenz, A. Oswald, K. (Eds.), Geschichte auf Instagram und TikTok: Perspektiven auf Quellen und Praktiken (pp 453-469) (Medien der Geschichte, Vol. 8). De Gruyter Oldenbourg.

Gehrke, M., Harding, J., Venema, Y. (2004) MacNeille completions and canonical extensions.

Technical Reports. Institute for Logic, Language and Computation.

Working paper | UvA-DARE

Gehrke, M., Harding, J., Venema, Y. (2006) MacNeille completions and canonical extensions.

Transactions of the Americal Mathematical Society, Vol. 358 (pp 573-590)

Article | https://doi.org/10.1090/S0002-9947-05-03816-X | UvA-DARE

Gehrke, M., Jansana, R., Palmigiano, A. (2010) Canonical extensions for congruential logics with the deduction theorem.

Annals of Pure and Applied Logic, Vol. 161 (pp 1502-1519)

Article | https://doi.org/10.1016/j.apal.2010.05.003 | UvA-DARE

Gehrke, M., Jansana, R., Palmigiano, A. (2013) Δ1-completions of a poset.

Order, Vol. 30 (pp 39-64)

Article | https://doi.org/10.1007/s11083-011-9226-0 | UvA-DARE

Gehrke, M., Nagahashi, H., Venema, Y. (2002) A Sahlqvist theorem for distributive modal logic.

Technical Report. Institute for Logic, Language and Computation.

Working paper | UvA-DARE

Gehrke, M., Nagahashi, H., Venema, Y. (2005) A Sahlqvist theorem for distributive modal logic.

Annals of Pure and Applied Logic, Vol. 131 (pp 65-102)

Article | https://doi.org/10.1016/j.apal.2004.04.007 | UvA-DARE

Gehrke, M., v. Gool, S.J. (2018) Sheaves and Duality.

Journal of Pure and Applied Algebra, Vol. 222 (pp 2164-2180)

Article | https://doi.org/10.1016/j.jpaa.2017.09.004 | UvA-DARE

Gehrke, M., Vosmaer, J. (2011) A view of canonical extension.

In Bezhanishvili, N. Löbner, S. Schwabe, K. Spada, L. (Eds.), Logic, Language, and Computation: 8th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2009, Bakuriani, Georgia, September 21-25 2009 : revised selected papers (pp 77-100) (Lecture Notes in Computer Science
Lecture Notes in Artificial Intelligence
FoLLI Publications on Logic, Language and Information, Vol. 6618). Springer.

Gehrke, M., Vosmaer, J. (2011) Canonical extensions and canonicity via DCPO presentations.

Theoretical Computer Science, Vol. 412 (pp 2714-2723)

Article | https://doi.org/10.1016/j.tcs.2010.12.032 | UvA-DARE

Geist, C., Endriss, U. (2011) Automated Search for Impossibility Theorems in Social Choice Theory: Ranking Sets of Objects.

Journal of Artificial Intelligence Research, Vol. 40 (pp 143-174)

Article | https://doi.org/10.1613/jair.3126 | UvA-DARE

Geist, C., Löwe, B., van Kerkhove, B. (2010) Peer review and knowledge by testimony in mathematics.

In Löwe, B. Müller, T. (Eds.), PhiMSAMP: philosophy of mathematics: sociological aspects and mathematical practice (pp 155-178) (Texts in philosophy). College Publications.