Centrum Wiskunde & Informatica

Task Scheduling in Rebeca (Extended Abstract) In Proceedings

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

January 2007
Coalgebraic foundations of linear systems In Proceedings

J.J.M.M. Rutten (Jan)

January 2007
Web Services Choreography and Orchestration in Reo and Constraint Automata In Proceedings

M. Sun (Meng) and F. Arbab (Farhad)

January 2007
Behavioural differential equations and coinduction for binary trees In Proceedings

A.M. Silva (Alexandra) and J.J.M.M. Rutten (Jan)

January 2007
QCCS: A Formal Model to Enforce QoS Requirements in Service Composition In Proceedings

M. Sun (Meng)

January 2007
Reflection positivity, rank connectivity, and homomorphisms of graphs Article

Journal of the American Mathematical Society, 37-51.

M.H. Freedman, L. Lovász (László) and A. Schrijver (Lex)

January 2007
Distributed Extended Beam Search for Quantitative Model Checking In Proceedings

A.J. Wijs (Anton) and B. Lisser (Bert)

January 2007
Worst-case optimal approximation algorithms for maximizing triplet consistency within phylogenetic networks Tech Report

J. Byrka (Jaroslaw), K.T. Huber, S.M. Kelk (Steven) and P. Gawrychowski (Paweł)

January 2007

Previous

Next