JJMM Rutten | TU Delft Repository

JR

JJMM Rutten

Conference paper (3)

Journal article (1)

Report (1)

5 records found

1

A note on typed behavioural differential equations

Conference paper (2014) - H Basold (author), H. Hansen (author), JJMM Rutten (author)

Algebra-coalgebra duality in Brzozowski's minimization algorithm

Journal article (2014) - MM Bonsangue (author), H.H. Hansen (author), F Bonchi (author), P Panangaden (author), JJMM Rutten (author), A Silva (author)

A final coalgebra for k-regular sequences

Conference paper (2014) - H. Hansen (author), C Kupke (author), JJMM Rutten (author), J Winter (author)

(Co)algebraic characterizations of signal flow graphs

Conference paper (2014) - H Basold (author), MM Bonsangue (author), H. Hansen (author), JJMM Rutten (author)

Stream differential equations: Specification formats and solution methods

Report (2014) - H.H. Hansen (author), C Kupke (author), JJMM Rutten (author)