Centrum Wiskunde & Informatica

Faster scannerless GLR parsing In Proceedings

G.R. Economopoulos (Giorgos Robert), P. Klint (Paul) and J.J. Vinju (Jurgen)

January 2009
Integrated structure and semantics for Reo connectors and Petri nets In Proceedings

C. Krause (born Köhler) (Christian)

January 2009
Decomposing port automata In Proceedings

C. Krause (born Köhler) (Christian) and D.G. Clarke (David)

January 2009
Schedulability of Asynchronous Real-Time Concurrent Objects Article

Journal of Logic and Algebraic Programming, 402-416.

M.M. Jaghoori (Mohammad Mahdi), F.S. de Boer (Frank), T. Chothia (Tom) and M. Sirjani (Marjan)

January 2009
Modeling and Analysis of Thread-Pools in an Industrial Communication Platform In Proceedings

F.S. de Boer (Frank), T. Chothia (Tom) and M.M. Jaghoori (Mohammad Mahdi)

January 2009
A framework for evaluating statistical dependencies and rank correlations in power law graphs In Proceedings

Y. Volkovich, N. Litvak and A.P. Zwart (Bert)

January 2009
Modeling and Analysis of Thread-Pools in an Industrial Communication Platform In Proceedings

F.S. de Boer (Frank), I. Grabe (Immo), M.M. Jaghoori (Mohammad Mahdi), A. Stam and W. Yi

January 2009
Symmetry and Partial Order Reduction Techniques in Model Checking Rebeca Article

Acta Informatica, 47(1), 33-66.

M.M. Jaghoori (Mohammad Mahdi), M. Sirjani (Marjan), M.R. Mousavi, E. Khamespanah (Ehsan) and A. Movaghar (Ali)

January 2009

Previous

Next