Searchable List of Research Output

Filter Publications
  • Venema, Y. (2012) Algebra en coalgebra: bespiegelingen in de logica.
    Universiteit van Amsterdam.
  • 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.
  • Verdée, P. (2012) Modelling defeasible reasoning by means of adaptive logic games.
    Logic Journal of the IGPL, Vol. 20 (pp 417-437)
  • 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.
    Conference contribution | UvA-DARE
  • 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)
  • Vereshchagin, N.K., Vitanyi, P.M.B. (2006) Algorithmic rate-distortion function.
    In Proceedings IEEE International symposium on information theory (pp 798-802). Seattle.
    Conference contribution | UvA-DARE
  • 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)
  • Vergouwen, S., De Haro, S. (2025) Supersymmetry in the Seiberg–Witten theory: a window into quantum field theory.
    Synthese, Vol. 205
  • 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)
  • 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.
    Chapter | UvA-DARE
  • Vermeulen, I.E., Bruggeman, J.P. (2003) Market dimensionality and competitive dynamics.
    Technical Report CCSOM,. University of Amsterdam.
    Report | UvA-DARE
  • Vermeulen, I.E. (2002) A network representation of competition in industries: Some extensions.
    CCSOM. Institute for Logic, Language and Computation.
    Report | UvA-DARE
  • Vermeulen, I.E. (2002) A logical approach to competition in industries.
    Institute for Logic, Language and Computation.
    Thesis, fully internal | UvA-DARE
  • Versteegh, M., Sangati, F., Zuidema, W. (2010) Simulations Of Socio-Linguistic Change: Implications for Unidirectionality.
    In Smith, A.D.M. Schouwstra, M. de Boer, B. Smith, K. (Eds.), The evolution of language: proceedings of the 8th International Conference (EVOLANG8): Utrecht, Netherlands, 14-17 April 2010 (pp 511-512). World Scientific.
  • Vervoort, M.R. (1996) Blackwell Games.
    In Ferguson, T. (Eds.), David Blackwell Festschrift. Institute for Mathematical Statistics.
    Chapter | UvA-DARE
  • Vervoort, M.R. (2000) Games, walks and grammars: Problems I've worked on.
    ILLC.
    Thesis, fully internal | UvA-DARE
  • Viaccoz, C., Harasim, D., Moss, F.C., Rohrmeier, M. (2023) Wavescapes: A Visual Hierarchical Analysis of Tonality Using the Discrete Fourier Transform.
    Musicae Scientiae, Vol. 27 (pp 390-427)

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