CWI Institutional Repository
Scholarly works by researchers at Centrum Wiskunde & Informatica (CWI), the national research institute for mathematics and computer science in the Netherlands-
Span-reachability and observability of bilinear hybrid systems Article
Automatica, 46(3), 501-509.March 2010 -
Book review of "Logicomix: An Epic Search for Truth", A. Doxiadis, C.H. Papadimitriou, A. Papadatos and A. di Donna Article
Mathematical Intelligencer, 32(3), 51-52.March 2010 -
A Unified Toolset for Business Process Model Formalization In Proceedings
B. Changizi (Behnaz), N. Kokash (Natallia) and F. Arbab (Farhad)
March 2010 -
March 2010
-
Data-Aware Design and Verification of Service Compositions with Reo and mCRL2 In Proceedings
N. Kokash (Natallia), C. Krause (born Köhler) (Christian) and E.P. de Vink (Erik)
March 2010 -
Generating series for bilinear hybrid systems Article
Systems & Control Letters, 59(3-4), 218-225.March 2010 -
Transient asymptotics of Lévy-driven queues Article
Journal of Applied Probability, 47(1), 109-129.K.G. Dȩbicki (Krzysztof), A. Es-Saghouani (Abdelghafour) and M.R.H. Mandjes (Michel)
March 2010 -
Room for Women : YouTube film Online Video
March 2010