university website Publications by Year
  • Home

CWI Institutional Repository

Scholarly works by researchers at Centrum Wiskunde & Informatica (CWI), the national research institute for mathematics and computer science in the Netherlands
  • Techniek vindt bugs in objectgeoriënteerde talen - Computable.nl Magazine Article

    C.P.T. de Gouw (Stijn) and F.S. de Boer (Frank)

    December 2013
  • thumb

    Coalgebraic tools for bisimilarity and decorated trace semantics Dissertation

    Computer Security

    G. Caltais (Georgiana)

    December 2013
  • thumb

    Combining monitoring with run-time assertion checking Dissertation

    Formal Methods

    C.P.T. de Gouw (Stijn)

    December 2013
    open access
  • Hoe wiskundigen alledaagse problemen op weten te lossen: Wetenschap helpt! - Quest ExperimentNL Magazine Article

    R.D. van der Mei (Rob)

    December 2013
  • Hoe bestrijd je malaria, slaapziekte en de ziekte van Lyme? - Quest ExperimentNL Magazine Article

    H.M. Buhrman (Harry)

    December 2013
  • Do Recommendations Matter? News Recommendation in Real Life In Proceedings

    A. Said (Alan), A. Bellogín Kouki (Alejandro), J.J.P. Lin (Jimmy) and A.P. de Vries (Arjen)

    January 2014
  • Challenges on Combining Open Web and Dataset Evaluation Results: The Case of the Contextual Suggestion Track In Proceedings

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

    January 2014
  • “Coordinated Composition of Components,” Invited lecture, DagstuhlSeminar on Design and Analysis from Components, Schloss Dagstuhl, Leibniz Center for Informatics, Germany. Lecture

    F. Arbab (Farhad)

    January 2014
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