Van Balen, J., Burgoyne, J.A., Bountouridis, D., Müllensiefen, D., Veltkamp, R.C. (2015) Corpus Analysis Tools for Computational Hook Discovery.

In Müller, M. Wiering, F. (Eds.), ISMIR 2015: Proceedings of the 16th International Society for Music Information Retrieval Conference : October 26-30, 2015, Málaga, Spain (pp 227-233). ISMIR.

Van Balen, J., Burgoyne, J.A., Wiering, F., Veltkamp, R.C. (2013) An Analysis of Chorus Features in Popular Song.

In de Souza Britto Jr., A. Gouyon, F. Dixon, S. (Eds.), Proceedings of the 14th International Society for Music Information Retrieval Conference: November 4-8, 2013, Curitiba, Brazil (pp 107-112). ISMIR.

Van Balen, J., Karavellas, T., Burgoyne, J.A., Wiering, F., Bountouridis, D., Honing, H. (2014) Modeling Music and Memory Using Information Retrieval Techniques and Games with a Purpose.

Poster | UvA-DARE

van Beek, A., Brokkelkamp, R., Schäfer, G. (2022) Corruption in Auctions: Social Welfare Loss in Hybrid Multi-Unit Auctions.

In AAMAS '22: Proceedings of the 21st International Conference on Autonomous Agents and Multiagent Systems (pp 1283-1291). International Foundation for Autonomous Agents and Multiagent Systems.

van Benthem, J.F.A.K., Aiello, M., Pratt-Hartmann, I. (2007) What is Spatial Logic?.

In Aiello, M. Pratt-Hartmann, I. van Benthem, J. (Eds.), Handbook of Spatial Logics. Springer.

van Benthem, J.F.A.K., Alyeshina, N. (1997) Modal quantification over structured domains.

In de Rijke, M. (Eds.), Advances in Intensional Logic, Applied Logic Series 7 (pp 1-28). Kluwer.

van Benthem, J.F.A.K., Andreka, H., Nemeti, I. (1995) Submodel Preservation Theorems in Finite-Variable Fragments.

In de Rijke, M. Ponse, A. Venema, Y. (Eds.), Modal Logic and Process Algebra, CSLI Lecture Notes. University Press.

van Benthem, J.F.A.K., Anger, F., Rodriguez, R., Guesgen, H. (1996) Space, Time and Computation: Trends and Problems, editorial for special issue on Spatial and Temporal Reasoning.

Applied Intelligence, Vol. 6 (pp 5-9)

Article | https://doi.org/10.1007/BF00117597 | UvA-DARE

van Benthem, J.F.A.K., Bergstra, J.A. (1995) Logic of Transition Systems.

Journal of Logic, Language and Information, Vol. 3 (pp 247-283)

Article | UvA-DARE

van Benthem, J.F.A.K., Bezhanishvili, G., Gehrke, M. (2002) Euclidean Hierarchy in Modal Logic.

Technical Reports. Institute for Logic, Language and Computation.

Working paper | UvA-DARE

van Benthem, J.F.A.K., Bezhanishvili, G., ten Cate, B., Sarenac, D. (2004) Modal Logics for Products of Topologies.

Technical Reports. Institute for Logic, Language and Computation.

Working paper | UvA-DARE

van Benthem, J.F.A.K., Bezhanishvili, G., ten Cate, B., Sarenac, D. (2006) Multimodal Logics of Products of Topologies.

Studia Logica, Vol. 84 (pp 369-392)

Article | https://doi.org/10.1007/s11225-006-9013-x | UvA-DARE

van Benthem, J.F.A.K., Bezhanishvili, G. (2007) Modal Logics of Space.

In van Benthem, J.F.A.K. Aiello, M. Pratt-Hartmann, I.E. (Eds.), Handbook of Spatial Logics (pp 217-298). Springer.

van Benthem, J.F.A.K., Bezhanishvili, N., Aiello, M. (2001) Reasoning about space: the modal way.

Technical Report. Institute for Logic, Language and Computation.

Working paper | UvA-DARE

van Benthem, J.F.A.K., Bezhanishvili, N., Enqvist, S., Yu, J. (2017) Instantial neighbourhood logic.

Review of Symbolic Logic, Vol. 10 (pp 116-144)

Article | https://doi.org/10.1017/S1755020316000447 | UvA-DARE

van Benthem, J.F.A.K., Bezhanishvili, N., Enqvist, S. (2017) A new game equivalence and its modal logic.

Electronic Proceedings in Theoretical Computer Science, Vol. 251 (pp 57-74)

Article | https://doi.org/10.4204/EPTCS.251.5 | UvA-DARE

van Benthem, J.F.A.K., Bezhanishvili, N., Enqvist, S. (2017) A propositional dynamic logic for instantial neighborhood models.

In Baltag, A. Seligman, J. Yamada, T. (Eds.), Logic, Rationality, and Interaction: 6th International Workshop, LORI 2017, Sapporo, Japan, September 11-14, 2017 : proceedings (pp 137-150) (Lecture Notes in Computer Science
FoLLI Publications on Logic, Language and Information, Vol. 10455). Springer.

van Benthem, J.F.A.K., Bezhanishvili, N., Enqvist, S. (2019) A propositional dynamic logic for instantial neighbourhood semantics.

Studia Logica, Vol. 107 (pp 719-751)

Article | https://doi.org/10.1007/s11225-018-9825-5 | UvA-DARE

van Benthem, J.F.A.K., Bezhanishvili, N., Enqvist, S. (2019) A new game equivalence, its logic and algebra.

Journal of Philosophical Logic, Vol. 48 (pp 649-684)

Article | https://doi.org/10.1007/s10992-018-9489-7 | UvA-DARE

van Benthem, J.F.A.K., Bezhanishvili, N., Hodkinson, I. (2012) Sahlqvist correspondence for modal mu-calculus.

Studia Logica, Vol. 100 (pp 31-60)

Article | https://doi.org/10.1007/s11225-012-9388-9 | UvA-DARE