CWI Institutional Repository
Scholarly works by researchers at Centrum Wiskunde & Informatica (CWI), the national research institute for mathematics and computer science in the Netherlands-
A Hierarchy of SOS Rule Formats Article
Electronic Notes in Theoretical Computer Science, 3-25.J.F. Groote (Jan Friso), M.R. Mousavi and M.A. Reniers (Michel)
January 2006 -
Quantum verification of matrix products In Proceedings
January 2006 -
Discretization of Timed Automata in Timed μCRL `a la Regions and Zones Article
Electronic Notes in Theoretical Computer Science, 197-202.J.F. Groote (Jan Friso), M.A. Reniers (Michel) and Y.S. Usenko (Yaroslav)
January 2006 -
Preface Proceedings of PDMS 2005 In Proceedings
January 2006 -
What is algebraic in process theory? Article
Electronic Notes in Theoretical Computer Science, 227-231.January 2006 -
Sparse Selfreducible Sets and Polynomial Size Circuit Lower Bounds In Proceedings
H.M. Buhrman (Harry), L. Torenvliet (Leen) and F.P. Unger (Falk)
January 2006 -
About the Lifespan of Peer to Peer Networks In Proceedings
R.L. Cilibrasi (Rudi), Z. Lotker (Zvi), A. Navarra, S. Perennes and P.M.B. Vitányi (Paul)
January 2006 -
Preface Article
Electronic Notes in Theoretical Computer Science, 1-2.January 2006