Publication

Parameter estimation for a model of gap gene circuits with time-variable external inputs in Drosophila Tech Report

M. Ashyraliyev (Maksat)

Modular Verification of Recursive Programs Book Chapter

K.R. Apt (Krzysztof), F.S. de Boer (Frank) and E.R. Olderog (Ernst-Rüdiger)

RDFa for HTML Authors Manual

S. Pemberton (Steven)

A1-brug Article

P. Klint (Paul)

Optimal strategies in sequential bidding In Proceedings

K.R. Apt (Krzysztof) and V. Markakis (Vangelis)

Coalgebraic Modelling: Applications in Automata Theory and Modal Logic Dissertation

H.H. Hansen (Helle)

Front interactions in a three-component system Dissertation

P.J.A. van Heijster (Peter)

Fifth International ACM/SIGMOD Workshop on Data Management on New Hardware Proceedings