-
Galliani, P., Mann, A.L. (2010) Lottery semantics.In Kontinen, J. Väänänen, J. (Eds.), Proceedings of Dependence and Independence in Logic: ESSLLI 2010 Workshop : Copenhagen, August 16-20, 2010 (pp 30-54). ILLC.Conference contribution | http://www.illc.uva.nl/dependence/proceedings.pdf | UvA-DAREGalliani, P., Väänänen, J.A. (2014) On dependence logic.In Baltag, A. Smets, S. (Eds.), Johan van Benthem on Logic and Information Dynamics (pp 101-119) (Outstanding contributions to logic, Vol. 5). Springer.Chapter | https://doi.org/10.1007/978-3-319-06025-5_4 | UvA-DAREGalliani, P. (2010) Epistemic operators and uniform definability in dependence logic.In Kontinen, J. Väänänen, J. (Eds.), Proceedings of Dependence and Independence in Logic: ESSLLI 2010 Workshop : Copenhagen, August 16-20, 2010 (pp 4-29). ILLC.Conference contribution | http://www.illc.uva.nl/dependence/proceedings.pdf | UvA-DAREGalliani, P. (2012) The dynamics of imperfect information.Institute for Logic, Language and Computation.Thesis, fully internal | UvA-DAREGanesh, B., Faggiani, N. (2024) The flood, the traitors, and the protectors: affect and white identity in the Internet Research Agency’s Islamophobic propaganda on Twitter.Ethnic and Racial Studies, Vol. 47 (pp 982-1008)Ganesh, B., Froio, Catarina (2023) Transnational Far-right Digital Publics and Radicalisation.In Awan, Akil Lewis, James (Eds.), Radicalisation: A Global and Comparative Perspective (pp 247-278). Hurst.Chapter | https://books.google.nl/books?id=Lj3kEAAAQBAJ&pg=PA1991&hl=nl&source=gbs_selected_pages&cad=1#v=onepage&q&f=false | UvA-DAREGanesh, 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-DAREGanesh, 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.Chapter | https://doi.org/10.4324/9781003035848-36 | UvA-DAREGanian, R., de Haan, R., Kanj, I., Szeider, S. (2020) On Existential MSO and its Relation to ETH.ACM Transactions on Computation Theory, Vol. 12Article | https://doi.org/10.1145/3417759 | UvA-DAREGao, Q., Li, M., Vitányi, P.M.B. (2000) Applying MDL to learning best model granularity.Artificial Intelligence, Vol. 121 (pp 1-29)García Soriano, D. (2012) Query-efficient computation in property testing and learning theory.Institute for Logic, Language and Computation.Thesis, fully internal | UvA-DAREGarg, 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.Conference contribution | https://doi.org/10.4230/LIPIcs.CCC.2020.12 | UvA-DAREGattinger, M. (2016) A Model Checker for the Hardest Logic Puzzle Ever Ever.Gattinger, M. (2017) SMCDEL: A symbolic model checker for Dynamic Epistemic Logic..Software | https://github.com/jrclogic/smcdel | UvA-DAREGattinger, 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.Conference contribution | https://w4eg.de/malvin/illc/2017-07-symbolicfactualchange.pdf | UvA-DAREGattinger, M. (2018) New Directions in Model Checking Dynamic Epistemic Logic.Thesis, fully internal | UvA-DAREGattinger, M. (2022) GoMoChe: Gossip Model Checking.Abstract | https://malv.in/2022/LAMASSR-GoMoChe.pdf | UvA-DAREGattinger, 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-DAREGattinger, M. (2022) A Verified Proof of Craig Interpolation for Basic Modal Logic via Tableaux in Lean.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
The data of this list is taken from the Pure database. If you find output is missing from the list, please follow the previous link to find out how to submit to Pure. In case there are mistakes in PURE, please contact illc at uva.nl