Arampatzis, A. Kamps, J. Koolen, M.H.A. Nussbaum, N. (2007) MuSeUM: Unified Access to the State of the Art.

In Proceedings of the Seventh Dutch-Belgian Workshop on Information Retrieval (DIR 2007)

Arampatzis, A. Kamps, J. Robertson, S. (2009) Where to stop reading a ranked list? Threshold optimization using truncated score distributions.

In Sanderson, M. Zhai, C. Zobel, J. Allan, J. Aslam, J.A. (Eds.), Proceedings: 32nd Annual International ACM SIGIR Conference on Research and Development in Information Retrieval: SIGIR 2009, Boston, Massachusetts, July 19-23, 2009 (pp 524-531). ACM Press.

Arampatzis, A. Kamps, J. (2008) A study of query length.

In Myaeng, S.-H. Oard, D.W. Sebastiani, F. Chua, T.-S. Leong, M.-K. (Eds.), ACM SIGIR 2008: Thirty-first Annual International ACM SIGIR Conference on Research and Development in Information Retrieval, July 20-24, 2008, Singapore: Proceedings (pp 811-812). Association for Computing Machinery (ACM).

Arampatzis, A. Kamps, J. (2009) A signal-to-noise approach to score normalization.

In Cheung, D. Song, I.-Y. Chu, W. Hu, X. Lin, J. Li, J. Peng, Z. (Eds.), Proceedings of the 18th ACM Conference on Information and Knowledge Management (CIKM 2009) (pp 797-806). ACM Press.

Arampatzis, A. Kamps, J. (2009) Where to stop reading a ranked list?.

In Voorhees, E.M. Buckland, L.P. (Eds.), The seventeenth Text REtrieval Conference (TREC 2008) proceedings. National Institute of Standards and Technology.

Arampatzis, A. Kamps, J. (2010) An empirical study of query specificity.

In Gurrin, C. He, Y. Kazai, G. Kruschwitz, U. Little, S. Roelleke, T. Rüger, S. van Rijsbergen, K. (Eds.), Advances in Information Retrieval: 32nd European Conference on IR Research, ECIR 2010, Milton Keynes, UK, March 28-31, 2010: proceedings (pp 594-597) (Lecture Notes in Computer Science, Vol. 5993). Springer.

Arampatzis, A. Kamps, J. (2010) Simulating signal and noise queries for score normalization in distributed IR.

In Proceedings of the 10th Dutch-Belgian Information Retrieval Workshop (DIR 2010) (pp 63-64). Radboud Universiteit Nijmegen, Information Foraging Lab.

Arampatzis, A. Nussbaum, N. Kamps, J. (2008) Where to stop reading a ranked list?.

In The seventeenth Text REtrieval Conference (TREC 2008) notebook (pp 1-7). National Institute of Standards and Technology.

Arampatzis, A. Robertson, S. Kamps, J. (2009) Score distributions in information retrieval.

In Azzopardi, L. Kazai, G. Robertson, S. Rüger, S. Shokouhi, M. Song, D. Yilmaz, E. (Eds.), Advances in Information Retrieval Theory: Second International Conference on the Theory of Information Retrieval, ICTIR 2009 Cambridge, UK, September 10-12, 2009 : proceedings (pp 139-151) (Lecture Notes in Computer Science, Vol. 5766). Springer.

Arampatzis, A. van Kreveld, M. Reinbacher, I. Jones, C.B. Vaid, S. Clough, P. Joho, H. Sanderson, M. (2006) Web-based delineation of imprecise regions.

Computers, Environment and Urban Systems, Vol. 30 (pp 436-459)

Article | https://doi.org/10.1016/j.compenvurbsys.2005.08.001 | UvA-DARE

Archibald, M. Brattka, V. Goranko, V. Löwe, B. (2009) Infinity in Logic and Computation: International Conference, ILC 2007, Cape Town, South Africa, November 3-5, 2007 : revised selected papers.

Lecture Notes in Computer Science
Lecture Notes in Artificial Intelligence
FoLLI Publications on Logic, Language and Information, Vol. 5489. Springer.

Book (Editorship) | https://doi.org/10.1007/978-3-642-03092-5 | UvA-DARE

Areces, C. Bernardi, R. Moorgat, M. (2004) Galois connections in categorial type logic.

Electronic Notes in Theoretical Computer Science, Vol. 53 (pp 3-20)

Article | https://doi.org/10.1016/S1571-0661(05)82570-8 | UvA-DARE

Areces, C.E. Becher, V. Ferro, S. (2000) Characterization Results for Formulas.

In Cavedon, L. Blackburn, P. Braisby, N. Sima'an, K. (Eds.), Logic, Language and Computation (pp 49-66) (CSLI Publications). CSLI.

Areces, C.E. Becher, V. (1999) Update, the infinite case.

In Proceedings of WAIT'99, Buenos Aires, Argentina

Areces, C.E. Bernardi, R.B. Moortgat, M. (2001) Galois connections in categorial type logic.

In Proceedings of Mathematics of Language and Formal Grammar, Helsinki, Finland, Augustus 2001

Areces, C.E. Bernardi, R.B. (2001) Analyzing the core of categorial grammar.

In Proceedings of ICoS-3, Siena

Areces, C.E. Bernardi, R.B. (2001) Analyzing the Core of Categorial Grammar.

Technical Reports. Institute for Logic, Language and Computation.

Working paper | UvA-DARE

Areces, C.E. Blackburn, P. Martinez Hernandez, B. Marx, M.J. (2003) Handling Boolean ABoxes.

In Calvanese, D. de Giacomo, C. Franconi, E. (Eds.), Proceedings of the 2003 Workshop on Description Logics (DL2003) (pp 48-55)

Areces, C.E. Blackburn, P. Marx, M.J. (1999) A road-map on complexity for hybrid logics.

In Rodriguez-Artalejo, M. Flum, J. (Eds.), Proceedings of the 8th Annual Conference of the EACSL (pp 307-321)

Areces, C.E. Blackburn, P. Marx, M.J. (1999) Hybrid logic is the bounded fragment of first order logic.

In Carnielli, W. de Queiroz, R. (Eds.), Proceedings of 6th workshop on logic, language , information and computation, WOLLIC99 (pp 33-50)