Chidlovskii, B., Ragetli, H. J. N., & de Rijke, M. (2000). Automatic wrapper generation for web search engines. Lecture Notes in Computer Science.
Chidlovskii, B., Ragetli, H. J. N., & de Rijke, M. (2000). Wrapper generation via grammar induction. Lecture Notes in Computer Science, 1810.
van den Putte, B. (2000). Overmatig reclamegebruik? Ontnuchterend onderzoek naar effecten van alcoholreclame. Tijdschrift gezondheidsvoorlichting, 17(9), 18-19.
Franceschet, M., Montanari, A., & de Rijke, M. (2000). Model Checking for combined logics. In Workshop Proceedings ICTL 2000
Hemels, J. M. H. J., Herpers, A. A., van de Pol, H. D., & Prins, J. (2000). De mediamarkt in Nederland en Vlaanderen. Biblion Uitgeverij/Media Business Press.
Ohlbach, H.-J., Nonnengart, A., de Rijke, M., & Gabbay, D. M. (2000). Encoding two-valued non-classical logics in classical logic. In A. Robinson, & A. Voronkov (Eds.), Handbook of Automated Reasoning (pp. 1403-1486). Elsevier.
Hemels, J. M. H. J., Herpers, A. A., van de Pol, H. D., & Prins, J. C. (2000). De mediamarkt in Nederland en Vlaanderen 2001. Media Business Press.
de Rijke, M. (2000). A note on graded modal logic. Studia Logica, 64, 271-283.
de Nivelle, J. M. G. G., & de Rijke, M. (2000). The Boyer-Moore theorem prover. In M. Hazewinkel (Ed.), Encyclopedia of Mathematics, Supplement II (pp. 83-84). Kluwer.
Hemels, J. M. H. J., Kutsch, A., & Schmolke, M. (2000). Entgrenzungen: Errinnerungen an Henk Prakke. Mit einer Bibliografie. Koninklijke Van Gorcum.