Searchable List of Research Output

Filter Publications
  • de Rijke, M. (1999) Review of 'Logical Reasoning with Diagrams', edited by G. Allwein.
    Journal of Logic, Language and Information, Vol. 8 (pp 387-390)
    Article | UvA-DARE
  • de Rijke, M. (1999) Review of 'Deduction Systems' by R. Socher-Ambrosius and P. Johann.
    Journal of Logic, Language and Information, Vol. 8 (pp 476-478)
    Article | UvA-DARE
  • de Rijke, M. (2000) A note on graded modal logic.
    Studia Logica, Vol. 64 (pp 271-283)
    Article | UvA-DARE
  • de Rijke, M. (2000) Modal experiments.
    In Proceedings Automated Reasoning Workshop 2000. King's College London.
    Conference contribution | UvA-DARE
  • de Rijke, M. (2001) review of Handbook of Tableau Methods [Review of: M. D'Agostino, D.M. Gabbay. Handbook of Tableau Methods].
    Journal of Logic, Language and Information, Vol. 10 (pp 518-523)
    Book/Film/Article/Exhibition review | UvA-DARE
  • de Rijke, M. (2001) Computing with Meaning.
    In Logic in Action. ILLC.
    Chapter | UvA-DARE
  • de Rooij, S., Vitányi, P.M.B. (2012) Approximating rate-distortion graphs of individual data: Experiments in lossy compression and denoising.
    IEEE Transactions on Computers, Vol. 61 (pp 395-407)
  • de Rooij, S. (2005) MDL Model Selection using the ML Plug-in Code.
    In the proceedings of the International Symposium on Information Theory (ISIT)
    Conference contribution | UvA-DARE
  • de Rooij, S. (2008) Minimum Description Length Model Selection.
    Thesis, fully internal | UvA-DARE
  • de Vos, J., Visser, L.A., de Beer, A.A., Fornasa, M., Thoral, P.J., Elbers, P.W.G., Cina, G. (2022) The Potential Cost-Effectiveness of a Machine Learning Tool That Can Prevent Untimely Intensive Care Unit Discharge.
    Value in Health, Vol. 25 (pp 359-367)
  • de Wolf, R. (1998) Review of C. Williams and S. Clearwater, Explorations in quantum computing.
    Science of Computer Programming, Vol. 32 (pp 213-216)
    Article | UvA-DARE
  • de Wolf, R. (1998) Decidability and undecidability in marked PCP.
    TUCS. WINS (oud WINS).
    Report | UvA-DARE
  • de Wolf, R. (2000) Characterization of non-deterministic quatum query and quantum communication complexity.
    In Proceedings 15th IEEE Conference on Computational Complexity (pp 271-278)
    Conference contribution | UvA-DARE
  • de Wolf, R. (2001) Quantum Computing and Communication Complexity.
    Institute for Logic, Language and Computation.
    Thesis, fully internal | UvA-DARE
  • de Wolf, R. (2012) What quantum computing can do for you.
    Inaugural lecture. Vossiuspers UvA.
    Inaugural speech | UvA-DARE
  • de Wolf, R. (2014) Kwantumcomputers.
    Nieuw Archief voor Wiskunde, Vol. 5/15 (pp 173-175)
    Article | UvA-DARE
  • de Wolf, R. (2014) Quantumalgoritmes en cryptografie.
    Nederlands Tijdschrift voor Natuurkunde, Vol. 80 (pp 183-185)
    Article | UvA-DARE
  • de Wolf, R. (2017) The potential impact of quantum computers on society.
    Ethics and Information Technology, Vol. 19 (pp 271-276)
  • de-Lima-Santos, M.-F., Ceron, W. (2022) Racism, Death, and Protests in Brazil: Digital and traditional news coverage of Black Awareness Day after a racism crime on Twitter.
    Online Media and Global Communication, Vol. 1 (pp 771–793)
  • de-Lima-Santos, M.-F., Munoriyarwa, A., Elega, A.A., Papaevangelou, C. (2023) Google News Initiative’s Influence on Technological Media Innovation in Africa and the Middle East.
    Media and Communication, Vol. 11 (pp 330-343)

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