CWI Institutional Repository
Scholarly works by researchers at Centrum Wiskunde & Informatica (CWI), the national research institute for mathematics and computer science in the Netherlands-
January 2014
-
An Overview of Centralised Middleware Components for Sensor Networks Article
International Journal of Ad Hoc and Ubiquitous ComputingJanuary 2014
-
January 2014
-
January 2014
-
Algebra-coalgebra duality in Brzozowski's minimization algorithm Article
ACM Transactions on Computational Logic, 15(1)F. Bonchi (Filippo), M.M. Bonsangue (Marcello), H.H. Hansen (Helle), P. Panangaden, J.J.M.M. Rutten (Jan) and A.M. Silva (Alexandra)
January 2014
-
January 2014
-
Run-Time Assertion Checking of Data- and Protocol-Oriented Properties of Java Programs: An Industrial Case Study Book Chapter
C.P.T. de Gouw (Stijn), F.S. de Boer (Frank), E.B. Johnsen (Einar Broch), A. Kohn (André) and P.Y.H. Wong
January 2014
-
Efficiency enhancements for evolutionary capacity planning in distribution grids In Proceedings
N.H. Luong (Hoang), M.O.W. Grond, J.A. La Poutré (Han) and P.A.N. Bosman (Peter)
January 2014