Centrum Wiskunde & Informatica

SAT-based Abstraction Refinement for Real-time Systems Article

Electronic Notes in Theoretical Computer Science, 107-122.

S. Kemper (Stephanie) and A. Platzer

January 2007
Non-trivial Black-Box Combiners for Collision-Resistant Hash-Functions Don't Exist In Proceedings

K.Z. Pietrzak (Krzysztof)

January 2007
Symmetry and partial order reduction techniques in model checking Rebeca Tech Report

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

January 2007
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
Behavioural differential equations and coinduction for binary trees In Proceedings

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

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