If you made any changes in Pure these will be visible here soon.

Research Output 2008 2020

Filter
Chapter
2014
1 Citation (Scopus)

A final coalgebra for k-regular sequences

Hansen, H. H., Kupke, C., Rutten, J. & Winter, J., May 2014, Horizons of the Mind: A Tribute to Prakash Panangaden - Essays Dedicated to Prakash Panangaden on the Occasion of His 60th Birthday. van Breugel, F., Kashefi, E., Palamidessi, C. & Rutten, J. (eds.). Vol. 8464. p. 363-383 21 p.

Research output: Chapter in Book/Report/Conference proceedingChapter

Finite automata
Differential equations
2012
21 Citations (Scopus)

Minimization via duality

Bezhanishvili, N., Kupke, C. & Panangaden, P., 11 Aug 2012, Logic, Language, Information and Computation : 19th International Workshop, WoLLIC 2012, Buenos Aires, Argentina, September 3-6, 2012. Proceedings. Ong, L. & de Queiroz, R. (eds.). Berlin: Springer, Vol. 7456 . p. 191-205 15 p. (Lecture Notes in Computer Science; vol. 7456).

Research output: Chapter in Book/Report/Conference proceedingChapter

Open Access
File