university website Publications by Year
  • sign in

Publication

  • thumb

    Strategies in Social Software Book Chapter

    D.J.N. van Eijck (Jan)

    January 2015
    open access
  • thumb

    Evaluating the performance of Bio-sensors in Wireless Networking Master Thesis

    R. Rehman (Rosmi)

    January 2015
    open access
  • thumb

    A Distributed Theatre with Shakespeare In Proceedings

    D. Williams (Doug), I. Kegel (Ian), M. Ursu (Marian), P.S. César Garcia (Pablo Santiago), E. Geelhoed (Erik), M. Frantzis, B. Scott, A. Horti and A.J. Jansen (Jack)

    January 2015
    open access
  • Next Generation Cluster Editing Article

    PeerJ PrePrints

    T. Bellitto (Thomas), T. Marschall (Tobias), A. Schönhuth (Alexander) and G.W. Klau (Gunnar)

    January 2015
    open access
  • Improving contextual suggestions using open web domain knowledge In Proceedings

    T. Samar (Thaer), A. Bellogín Kouki (Alejandro) and A.P. de Vries (Arjen)

    January 2015
    open access
  • thumb

    A Coinductive Treatment of Infinitary Term Rewriting and Equational Reasoning (Extended Version). Tech Report

    J. Endrullis (Jörg), H.H. Hansen (Helle), D. Hendriks, A. Polonsky and A.M. Silva (Alexandra)

    January 2015
    open access
  • thumb

    Presenting Distributive Laws Article

    Logical Methods in Computer Science, 11(3)

    M.M. Bonsangue (Marcello), H.H. Hansen (Helle), A. Kurz (Alexander) and J.C. Rot (Jurriaan)

    January 2015
    open access
  • thumb

    A Coinductive Treatment of Infinitary Term Rewriting and Equational Reasoning In Proceedings

    J. Endrullis (Jörg), H.H. Hansen (Helle), D. Hendriks, A. Polonsky and A.M. Silva (Alexandra)

    January 2015
    open access
Previous
Next
university website
  • Address

    • Centrum Wiskunde & Informatica
    • Science Park 123 | 1098 XG Amsterdam | the Netherlands
  • CWI researchers

    • Register Your Work
  • Questions or comments?

    • repository@cwi.nl
artudis website

Workflow

Workflow

Add Content


User Publication Person Organisation Collection
Close