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

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 Rojas, 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., Dodds Rojas, T. (2025) Advancing Mixed Digital Methods: Digital Ethnography and Digital Methods in Contemporary Media Cultures.

In Research Methods for Social Media Journalism

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

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.

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.

Gencer, Ç., de Jongh, D. (2009) Unifiability in extensions of K4.

Logic Journal of the IGPL, Vol. 17 (pp 159-172)

Article | https://doi.org/10.1093/jigpal/jzn032 | UvA-DARE

Gennari, R. (2000) The GIF Algorithm.

Institute for Logic, Language and Computation.

Report | http:/www.wins.uva.nl/rgennari | UvA-DARE