Centrum Wiskunde & Informatica

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

Towards Model Checking Cryptographic Protocols with Dynamic Epistemic Logic In Proceedings

M. Gattinger (Malvin) and D.J.N. van Eijck (Jan)

January 2015
AMMCS-CAIMS Congress, Waterloo, Canada Lecture

C.W. Oosterlee (Kees)

January 2015
Program Analysis and Transformation with Rascal Lecture

M.A. Hills (Mark), P. Klint (Paul) and J.J. Vinju (Jurgen)

January 2015
Python at 25 - Communications of the ACM Magazine Article

CWI CWI

January 2015
Thema Film 23: The Tempest - Miracle Interviews - Final Review Magazine Article

CWI CWI

January 2015
Modernizing Big Legacy Software Presentation

Y. Dajsuren (Yanjindulam)

January 2015
Automotive Architecture Description Mechanisms: Between Past and Future Lecture

Y. Dajsuren (Yanjindulam)

January 2015
Managing clone mutations in Simulink models Lecture

Y. Dajsuren (Yanjindulam)

January 2015

Previous

Next

Address
- Centrum Wiskunde & Informatica
- Science Park 123 | 1098 XG Amsterdam | the Netherlands

CWI researchers
- Register Your Work
Questions or comments?
- repository@cwi.nl

Workflow

Workflow

Add Content

User Publication Person Organisation Collection

Close