Centrum Wiskunde & Informatica

Neighbourhood Structures: Bisimilarity and Basic Model Theory Article

Logical Methods in Computer Science, 5(2)

H.H. Hansen (Helle), C.A. Kupke (Clemens) and E. Pacuit

January 2009
Towards Model Checking Executable UML Specifications in mCRL2 In Proceedings

H.H. Hansen (Helle), J. Ketema, M.R. Mousavi, S.P. Luttik (Bas) and J.C. van de Pol (Jaco)

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
Unconditional Lower Bounds against Advice In Proceedings

H.M. Buhrman (Harry), L. Fortnow (Lance) and R. Santhanam

January 2009
Learning the Structure of Utility Graphs Used in Multi-issue Negotiation through Collaborative Filtering In Proceedings

V. Robu (Valentin) and J.A. La Poutré (Han)

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
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
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

Publication

Neighbourhood Structures: Bisimilarity and Basic Model Theory Article

Towards Model Checking Executable UML Specifications in mCRL2 In Proceedings

Symmetry and Partial Order Reduction Techniques in Model Checking Rebeca Article

Unconditional Lower Bounds against Advice In Proceedings

Learning the Structure of Utility Graphs Used in Multi-issue Negotiation through Collaborative Filtering In Proceedings

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

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

Schedulability of Asynchronous Real-Time Concurrent Objects Article

Address

CWI researchers

Questions or comments?

Publication

Neighbourhood Structures: Bisimilarity and Basic Model Theory Article

Towards Model Checking Executable UML Specifications in mCRL2 In Proceedings

Symmetry and Partial Order Reduction Techniques in Model Checking Rebeca Article

Unconditional Lower Bounds against Advice In Proceedings

Learning the Structure of Utility Graphs Used in Multi-issue Negotiation through Collaborative Filtering In Proceedings

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

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

Schedulability of Asynchronous Real-Time Concurrent Objects Article

Workflow

Workflow

Add Content