Searchable List of Research Output

Filter Publications
  • Hansen, H.H., Kupke, C., Pacuit, E. (2007) Bisimulation for Neighbourhood Structures.
    In Mossakowski, T. Montanari, U. Haveraaen, M. (Eds.), Algebra and Coalgebra in Computer Science: Second International Conference, CALCO 2007, Bergen, Norway, August 20-24, 2007 : proceedings (pp 279-293) (Lecture Notes in Computer Science, Vol. 4624). Springer.
  • Hansen, H.H., Kupke, C. (2004) A Coalgebraic Perspective on Monotone Modal Logic.
    Electronic Notes in Theoretical Computer Science, Vol. 106 (pp 121-143)
  • Hansen, H.H., Pauly, M. (2003) Axiomatising Nash-Consistent Coalition Logic.
    Technical Reports. Institute for Logic, Language and Computation.
    Working paper | UvA-DARE
  • Hansen, N.C., Sadakata, M., Pearce, M. (2016) Nonlinear Changes in the Rhythm of European Art Music: Quantitative Support for Historical Musicology.
    Music Perception, Vol. 33 (pp 414-431)
  • Hansson, S.O., Liu, F. (2014) From Good to Better: Using contextual shifts to define preference in terms of monadic value.
    In Baltag, A. Smets, S. (Eds.), Johan van Benthem on Logic and Information Dynamics (pp 729-747) (Outstanding contributions to logic, Vol. 5). Springer.
  • Hara, Y. (2007) Movement of a Shifty Operator.
    In Formal approaches to Japanese linguistics 4 : FAJL4: proceedings of the Fourth Conference on Formal Approaches to Japanese Linguistics (pp 61-72) (MIT Working Papers in Linguistics, Vol. 55). MITWPL.
    Conference contribution | UvA-DARE
  • Haret, A., Wallner, J.P. (2021) An AGM Approach to Revising Preferences.
    Paper | UvA-DARE
  • Haret, A., Wallner, J.P. (2022) An Axiomatic Approach to Revising Preferences.
    In Sycara, K. Honavar, V. Spaan, M. (Eds.), Proceedings of the 36th AAAI Conference on Artificial Intelligence: AAAI-22 : virtual conference, Vancouver, Canada, February 22-March 1, 2022 (pp 5676-5683). AAAI Press.
  • Haret, A. (2021) Surprise Minimization Revision Operators.
    Paper | UvA-DARE
  • Hashemi, S.H., Amer, N.O., Kamps, J. (2016) University of Amsterdam at TREC 2016: Contextual Suggestion Track.
  • Hashemi, S.H., Amer, N.O., Kamps, J. (2017) Neural Endorsement Based Contextual Suggestion.
    In Voorhees, E.M. Ellis, A. (Eds.), The Twenty-Fifth Text REtrieval Conference (TREC 2016) Proceedings (NIST Special Publication). National Institute of Standards and Technology.
  • Hashemi, S.H., Clarke, C.L.A., Dean-Hall, A., Kamps, J., Kiseleva, J. (2015) On the reusability of open test collections.
    In SIGIR 2015: proceedings of the 38th International ACM SIGIR Conference on Research and Development in Information Retrieval : August 9-13, 2015, Santiago, Chile (pp 827-830). Association for Computing Machinery.
  • Hashemi, S.H., Clarke, C.L.A., Dean-Hall, A., Kamps, J., Kiseleva, J. (2016) Test Collection Building and Maintenance in Dynamic Domains.
    Abstract | UvA-DARE
  • Hashemi, S.H., Clarke, C.L.A., Dean-Hall, A., Kamps, J., Kiseleva, J. (2016) An Easter Egg Hunting Approach to Test Collection Building in Dynamic Domains.
    In Clarke, C. Yilmaz, E. Kando, N. Kato, M.P. Kishida, K. Yamamoto, S. (Eds.), Proceedings of the Seventh International Workshop on Evaluating Information Access (EVIA 2016): a Satellite Workshop of the NTCIR-12 Conference, June 7, 2016 Tokyo Japan . National Institute of Informatics.
  • Hashemi, S.H., Clarke, C.L.A., Kamps, J., Kiseleva, J., Voorhees, E.M. (2017) Overview of the TREC 2016 Contextual Suggestion Track.
    In Voorhees, E.M. Ellis, A. (Eds.), The Twenty-Fifth Text REtrieval Conference (TREC 2016) Proceedings (NIST Special Publication). National Institute of Standards and Technology.
  • Hashemi, S.H., Dehghani, M., Kamps, J. (2016) Parsimonious User and Group Profiling in Venue Recommendation.
    In Voorhees, E.M. Ellis, A. (Eds.), The Twenty-Fourth Text REtrieval Conference (TREC 2015) Proceedings (NIST Special Publication). National Institute of Standards and Technology.
  • Hashemi, S.H., Hupperetz, W., Kamps, J., van der Vaart, M. (2016) Effects of Position and Time Bias on Understanding Onsite Users' Behavior.
    In CHIIR'16: proceedings of the 2016 ACM Conference on Human Information Interaction and Retrieval : March 13-17, 2016, Carrboro, NC, USA (pp 277-280). The Association for Computing Machinery.
  • Hashemi, S.H., Kamps, J., Hupperetz, W. (2017) Busy versus Empty Museums: Effects of Visitors' Crowd on Users' Behaviors in Smart Museums.
    In UMAP'17: adjunct publication of the 25th Conference on User Modeling, Adaptation and Personalization : July 9-12, 2017, Bratislava, Slovakia (pp 333-334). The Association for Computing Machinery.
  • Hashemi, S.H., Kamps, J. (2014) Venue Recommendation and Web Search Based on Anchor Text.
    In Voorhees, E.M. Ellis, A. (Eds.), Proceedings of The Twenty-Third Text REtrieval Conference, TREC 2014, Gaithersburg, Maryland, USA, November 19-21, 2014. National Institute of Standards and Technology.
  • Hashemi, S.H., Kamps, J. (2017) Skip or Stay: Users' Behavior in Dealing with Onsite Information Interaction Crowd-Bias.
    In CHIIR'17: proceedings of the 2017 Conference Human Information Interaction and Retrieval : March 7-11, 2017, Oslo, Norway (pp 389-392). The Association for Computing Machinery.

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