Huurdeman, H.C., Kamps, J. (2020) Designing Multistage Search Systems to Support the Information Seeking Process.

In Fu, W.T. van Oostendorp, H. (Eds.), Understanding and Improving Information Search: A Cognitive Approach (pp 113-137) (Human–Computer Interaction Series). Springer.

Huurdeman, H.C., Wilson, M.L., Kamps, J. (2016) Clicked or Just Looked at? Understanding User Interface Usage across Information Seeking Stages.

Abstract | UvA-DARE

Huurdeman, H.C., Wilson, M.L., Kamps, J. (2016) Active and Passive Utility of Search Interface Features in Different Information Seeking Task Stages.

In CHIIR'16: proceedings of the 2016 ACM Conference on Human Information Interaction and Retrieval : March 13-17, 2016, Carrboro, NC, USA (pp 3-12). The Association for Computing Machinery.

Huurdeman, H.C. (2012) Visualizing the Semantic Web 2.0.

In Riekert, W.F. Simon, I. (Eds.), Information in e-Motion. Bock + Herchen Verlag.

Huurdeman, H.C. (2014) Adaptive Search Systems for Web Archive Research.

In IIiX2014, building bridges: behaviour, systems, interfaces : Regensburg, 26.-30. August 2014 : proceedings of the 5th Information Interaction in Context Symposium (pp 354-356). ACM.

Huurdeman, H.C. (2015) Adaptive Search Support for Information Seeking Stages.

Bulletin of the IEEE-TCDL, Vol. 11

Article | http://www.ieee-tcdl.org/Bulletin/v11n1/papers/huurdeman.pdf | UvA-DARE

Huurdeman, H.C. (2018) Supporting the complex dynamics of the information seeking process.

Thesis, fully internal | UvA-DARE

Hwa, R., Nichols, C., Sima'an, K. (2006) Corpus Variations for Translation Lexicon Induction.

In Proceedings of the Association for Machine Translation in the Americas (AMTA 2006) (pp 74-81)

Hyland, M. (2014) Turing Centenary Conference: How the World Computes.

Annals of Pure and Applied Logic, Vol. 165 (pp 1353-1532)

Special issue (Editorship) | http://www.sciencedirect.com/science/journal/01680072/165/9?sdc=1 | UvA-DARE

Hyttinen, T., Kangas, K., Väänänen, J. (2013) On second-order characterizability.

Logic Journal of the IGPL, Vol. 21 (pp 767-787)

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

Hyttinen, T., Paolini, G., Väänänen, J. (2015) Quantum team logic and Bell's inequalities.

Review of Symbolic Logic, Vol. 8 (pp 722-742)

Article | https://doi.org/10.1017/S1755020315000192 | UvA-DARE

Hyttinen, T., Paolini, G., Väänänen, J. (2017) A logic for arguing about probabilities in measure teams.

Archive for Mathematical Logic, Vol. 56 (pp 475-489)

Article | https://doi.org/10.1007/s00153-017-0535-x | UvA-DARE

Idrissou, Al, van Wissen, L., Carretta Zamborlini, Veruska (2022) The Lenticular Lens: Addressing Various Aspects of Entity Disambiguation in the Semantic Web.

Paper | https://graphentechnologien.hypotheses.org/files/2022/01/The_Lenticular_Lens_large_Addressing_Various_Aspects_of_etc-Idrissou_Wissen_Zamborlini.pdf | UvA-DARE

Iemhoff, R., Passmann, R. (2021) Logics of intuitionistic Kripke-Platek set theory.

Annals of Pure and Applied Logic, Vol. 172

Article | https://doi.org/10.1016/j.apal.2021.103014 | UvA-DARE

Iemhoff, R. (1998) A modal analysis of some principles fo the provability logic of heyting arthmetic.

In Advances in modal logic

Iemhoff, R. (2000) A(nother) characterization of Intuitionistic Propositional Logic.

Technical Reports. Institute for Logic, Language and Computation.

Working paper | UvA-DARE

Iemhoff, R. (2001) Provability Logic and Admissible Rules.

Thesis, fully internal | UvA-DARE

Iemhoff, R. (2001) A(nother) characterization of intuitionistic propositional logic..

Annals of Pure and Applied Logic, Vol. 113 (pp 161-173)

Article | UvA-DARE

Iemhoff, R. (2001) On the admissible rules of intuitionistic propositional logic..

Journal of Symbolic Logic, Vol. 66 (pp 281-294)

Article | https://doi.org/10.2307/2694922 | UvA-DARE

Iemhoff, R. (2001) A modal analysis of some principles of the provability logic of Heyting arithmetic.

In de Rijke, M. Segerberg, K. Wansing, H. Zakharyaschev, M. (Eds.), Advances in Modal Logic ('98) (pp 319-354). CSLI Publications.