Venema, Y. (2004) Automata and fixed point logics for coalgebras.

Electronic Notes in Theoretical Computer Science, Vol. 106 (pp 355-375)

Article | UvA-DARE

Venema, Y. (2004) Automata and Fixed Point Logic: a Coalgebraic Perspective.

Technical Reports. Institute for Logic, Language and Computation.

Working paper | UvA-DARE

Venema, Y. (2006) Algebras and Coalgebras.

In van Benthem, J.F.A.K. Blackburn, P. Wolter, F. (Eds.), Handbook of Modal Logic (pp 331-426). Elsevier.

Venema, Y. (2006) Automata and Fixed Point Logics: a Coalgebraic Perspective.

Information and Computation, Vol. 204 (pp 637-678)

Article | https://doi.org/10.1016/j.ic.2005.06.003 | UvA-DARE

Venema, Y. (2007) A modal distributive law.

In Logic, Language, Information and Computation - 14th International Workshop, WoLLIC 2007, Proceedings (pp 351) (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 4576 LNCS). Springer Verlag.

Venema, Y. (2012) Algebra en coalgebra: bespiegelingen in de logica.

Universiteit van Amsterdam.

Inaugural speech | http://www.oratiereeks.nl/upload/pdf/PDF-6263weboratie_Venema.pdf | UvA-DARE

Venema, Y. (2013) Cylindric Modal Logic.

In Andréka, H. Ferenczi, M. Németi, I. (Eds.), Cylindric-like Algebras and Algebraic Logic (pp 249-269) (Bolyai Society Mathematical Studies, Vol. 22). Springer.

Venema, Y. (2014) Expressiveness modulo bisimilarity: a coalgebraic perspective.

In Baltag, A. Smets, S. (Eds.), Johan van Benthem on Logic and Information Dynamics (pp 33-65) (Outstanding contributions to logic, Vol. 5). Springer.

Venema, Y. (2025) Modal Automata: Analysing Modal Fixpoint Logics, One Step at a Time.

Paper | https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CSL.2025.5 | UvA-DARE

Verdée, P. (2012) Modelling defeasible reasoning by means of adaptive logic games.

Logic Journal of the IGPL, Vol. 20 (pp 417-437)

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

Verduyn Lunel, P.H. (2024) Quantum position verification: Loss-tolerant protocols and fundamental limits.

ILLC Dissertation series

Thesis, fully internal | UvA-DARE

Vereshchagin, N.K., Vitanyi, P.M.B. (2002) Kolmogorov's structure functions and an application to the foundations of model selection.

In Proceedings of the 47th annual IEEE conference on Foundations of Computer Science (pp 741-748). IEEE Computer Society Press.

Vereshchagin, N.K., Vitanyi, P.M.B. (2004) Kolmogorov's Structure Functions and Model Selection.

IEEE Transactions on Information Theory, Vol. 50 (pp 3265-3290)

Article | https://doi.org/10.1109/TIT.2004.838346 | UvA-DARE

Vereshchagin, N.K., Vitanyi, P.M.B. (2006) Algorithmic rate-distortion function.

In Proceedings IEEE International symposium on information theory (pp 798-802). Seattle.

Vereshchagin, N.K., Vitányi, P.M.B. (2010) Rate distortion and denoising of individual data using Kolmogorov complexity.

IEEE Transactions on Information Theory, Vol. 56 (pp 3438-3454)

Article | https://doi.org/10.1109/TIT.2010.2048491 | UvA-DARE

Vergouwen, S., De Haro, S. (2025) Supersymmetry in the Seiberg–Witten theory: a window into quantum field theory.

Synthese, Vol. 205

Article | https://doi.org/10.1007/s11229-024-04882-8 | UvA-DARE

Verhoeven, I., Mishra, P., Beloch, R., Yannakoudakis, H., Shutova, E. (2024) A (More) Realistic Evaluation Setup for Generalisation of Community Models on Malicious Content Detection.

In Duh, K. Gomez, H. Bethard, S. (Eds.), Findings of the Association for Computational Linguistics: NAACL 2024: Findings: Findings 2024 : June 16-21, 2024 (pp 437-463). Association for Computational Linguistics.

Vermeulen, I., Bruggeman, J.P. (2001) The logic of organizational markets: thinking through resource partitioning theory.

Computational and Mathematical Organization Theory, Vol. 7 (pp 87-111)

Article | https://doi.org/10.1023/A:1011300920816 | UvA-DARE

Vermeulen, I.E., Bruggeman, J.P. (2001) Organizational differentiation: The population of web search engines.

In Burton, R. (Eds.), Computational Analysis of Social and Organizational Systems (pp 85). Carnegie Mellon University.

Vermeulen, I.E., Bruggeman, J.P. (2003) Market dimensionality and competitive dynamics.

Technical Report CCSOM,. University of Amsterdam.

Report | UvA-DARE