CWI Institutional Repository
Scholarly works by researchers at Centrum Wiskunde & Informatica (CWI), the national research institute for mathematics and computer science in the Netherlands-
The role of supervisory controller synthesis in automatic control software development Article
Science of Computer Programming, 97(1), 17-22.January 2015
-
Expressiveness modulo bisimilarity of regular expressions with parallel composition Article
Mathematical Structures in Computer ScienceJ.C.M. Baeten (Jos), S.P. Luttik (Bas), T. Muller (Tim) and P.J.A. van Tilburg (Paul)
January 2015
-
Simulations Show how Lightning Creates Antimatter Article
ERCIM News, 40-41.January 2015
-
Het molecuul, de cellen en het weefsel: de wiskunde van groei en vorm in tijden van Big Data Inaugural Lecture
January 2015
-
January 2015
-
m35491 Proposal for Quality and Performance Metrics Point Cloud Compression Standard
R.N. Mekuria (Rufael) and P.S. César Garcia (Pablo Santiago)
January 2015 -
Deriving an Emergent Relational Schema from RDF Data In Proceedings
M.-D. Pham (Minh-Duc), P. Linnea, O. Erling (Orri) and P.A. Boncz (Peter)
January 2015
-
Navigation in REVERIE's Virtual Environments In Proceedings
January 2015