Formalizing Adaptation On-the-Fly In Proceedings

S. Andova, L.P.J. Groenewegen (Luuk), J. Stafleu and E.P. de Vink (Erik)

Algebraic reachability of rational systems In Proceedings

J. Nemcová (Jana)

Proceedings of the Second International Workshop on Computational Models for Cell Processes Proceedings

Structural and global identifiability of parametrized rational systems In Proceedings

J. Nemcová (Jana)

Coalgebraic Weak Bisimulation for Action-Type Systems Article

A. Sokolova, E.P. de Vink (Erik) and H. Woracek

Realization theory of Nash systems In Proceedings

J. Nemcová (Jana), M. Petreczky (Mihaly) and J.H. van Schuppen (Jan)

Control of input/output discrete-event systems In Proceedings

M. Petreczky (Mihaly), R. Teunissen, R. Su (Rong), D.A. van Beek, J.H. van Schuppen (Jan) and J.E. Rooda (Jacobus)

Compositionality for Markov Reward Chains with Fast Transitions Article

J. Markovski (Jasen), A. Sokolova, N. Trcka and E.P. de Vink (Erik)