Centrum Wiskunde & Informatica

A process-theoretic look at automata In Proceedings

J.C.M. Baeten (Jos), P.J.L. Cuijpers, S.P. Luttik (Bas) and P.J.A. van Tilburg (Paul)

January 2010
A tropical proof of the Brill-Noether Theorem Tech Report

F. Cools, J. Draisma (Jan), S. Payne and E. Robeva

January 2010
Non-deterministic Kleene coalgebras Tech Report

A.M. Silva (Alexandra), M.M. Bonsangue (Marcello) and J.J.M.M. Rutten (Jan)

January 2010
Does the Polynomial Hierarchy Collapse if Onto Functions are Invertible? Article

Theory of Computing Systems, 46(1), 143-156.

H.M. Buhrman (Harry), L. Fortnow (Lance), M. Koucký (Michal), J. Rogers and N.K. Vereshchagin (Nikolay Konstantinovich)

January 2010
Towards Model Checking Executable UML Specifications in mCRL2 Article

Innovations in Systems and Software Engineering, 83-90.

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

January 2010
Trek separation for gaussian graphical models Tech Report

S. Sullivant, K. Talaska and J. Draisma (Jan)

January 2010
Structural identifiability of polynomial and rational systems Article

Mathematical Biosciences, 223(2), 83-96.

J. Nemcová (Jana)

January 2010
Visual-Concept Search Solved? Article

IEEE Computer, 43(6), 76-78.

C. Snoek and A.W.M. Smeulders (Arnold)

January 2010

Previous

Next