Ganesh, B., Frydenlund, I., Brekke, T. (2024) Flows and modalities of global Islamophobia.

Ethnic and Racial Studies, Vol. 47 (pp 895-906)

Editorial | https://doi.org/10.1080/01419870.2023.2268192 | UvA-DARE

Ganesh, B. (2024) Content Moderation: Social media and countering online radicalisation.

In Busher, J. Malkki, L. Marsden, S. (Eds.), The Routledge Handbook on Radicalisation and Countering Radicalisation (pp 498-513) (Routledge handbooks). Routledge.

Ganesh, B. (2025) The Western Far Right and Digital Technology: Fuzzy Collectivity From Translocal Whiteness to Networked Metapolitics.

Sociology Compass, Vol. 19

Review article | https://doi.org/10.1111/soc4.70038 | UvA-DARE

Ganian, R., de Haan, R., Kanj, I., Szeider, S. (2020) On Existential MSO and its Relation to ETH.

ACM Transactions on Computation Theory, Vol. 12

Article | https://doi.org/10.1145/3417759 | UvA-DARE

Gao, Q., Li, M., Vitanyi, P.M.B. (2000) Applying MDL to learning best model granularity.

Artificial Intelligence, Vol. 121 (pp 1-29)

Article | https://doi.org/10.1016/S0004-3702(00)00034-5 | UvA-DARE

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) 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