Searchable List of Research Output | Institute for Logic, Language and Computation

de Rijke, M. (1998) Modal logics and Description logics.

In Proceedings of the 1999 International Workshop on Description Logics (DL'98)

Conference contribution | UvA-DARE
de Rijke, M. (1999) Combining reasoning systems.

In Proc. Automated Reasoning '99

Conference contribution | UvA-DARE
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)

Article | https://doi.org/10.1109/TC.2011.25 | UvA-DARE
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)

Article | https://doi.org/10.1016/j.jval.2021.06.018 | UvA-DARE
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) Quantumalgoritmes en cryptografie.

Nederlands Tijdschrift voor Natuurkunde, Vol. 80 (pp 183-185)

Article | UvA-DARE
de Wolf, R. (2014) Kwantumcomputers.

Nieuw Archief voor Wiskunde, Vol. 5/15 (pp 173-175)

Article | UvA-DARE
de Wolf, R. (2017) The potential impact of quantum computers on society.

Ethics and Information Technology, Vol. 19 (pp 271-276)

Article | https://doi.org/10.1007/s10676-017-9439-z | 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