García Soriano, D. (2012) Query-efficient computation in property testing and learning theory.

Institute for Logic, Language and Computation.

Thesis, fully internal | UvA-DARE

Garg, A., Ikenmeyer, C., Makam, V., Oliveira, R., Walter, M., Wigderson , A. (2020) Search problems in algebraic complexity, GCT, and hardness of generators for invariant rings.

In Saraf, S. (Eds.), 35th Computational Complexity Conference: CCC 2020, July 28–31, 2020, Saarbrücken, Germany (Virtual Conference) (Leibniz International Proceedings in Informatics, Vol. 169). Schloss Dagstuhl - Leibniz-Zentrum für Informatik.

Gattinger, M., Volpe, Stefano, Laarakker, Bas, Miedema, D. (2024) SMCDEL version 1.3.0: An Implementation of Symbolic Model Checking for Dynamic Epistemic Logic with Binary Decision Diagrams.

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

Gattinger, M. (2016) A Model Checker for the Hardest Logic Puzzle Ever Ever.

Abstract | http://www.mathematik.tu-darmstadt.de/fbereiche/logik/phdsinlogic2016/booklet.pdf | UvA-DARE

Gattinger, M. (2017) SMCDEL: A symbolic model checker for Dynamic Epistemic Logic..

Software | https://github.com/jrclogic/smcdel | UvA-DARE

Gattinger, M. (2017) Towards Symbolic Factual Change in DEL.

In Lohiniva, Karoliina Wahle, Johannes (Eds.), Proceedings of the ESSLLI 2017 Student Session (pp 14-24). ESSLI.

Gattinger, M. (2018) New Directions in Model Checking Dynamic Epistemic Logic.

Thesis, fully internal | UvA-DARE

Gattinger, M. (2022) GoMoChe: Gossip Model Checking.

Abstract | https://malv.in/2022/LAMASSR-GoMoChe.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. (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. (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