Jan Rutten
AuthID: R-006-WT0
11
TITLE: A coalgebraic perspective on linear weighted automata Full Text
AUTHORS: Filippo Bonchi; Marcello Bonsangue; Michele Boreale; Jan Rutten; Alexandra Silva ;
PUBLISHED: 2012, SOURCE: INFORMATION AND COMPUTATION, VOLUME: 211
AUTHORS: Filippo Bonchi; Marcello Bonsangue; Michele Boreale; Jan Rutten; Alexandra Silva ;
PUBLISHED: 2012, SOURCE: INFORMATION AND COMPUTATION, VOLUME: 211
12
TITLE: Brzozowski's algorithm (Co)algebraically
AUTHORS: Bonchi, F; Bonsangue, MM; Rutten, JJMM; Silva, A ;
PUBLISHED: 2012, SOURCE: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 7230 LNCS
AUTHORS: Bonchi, F; Bonsangue, MM; Rutten, JJMM; Silva, A ;
PUBLISHED: 2012, SOURCE: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 7230 LNCS
13
TITLE: Final semantics for decorated traces
AUTHORS: Bonchi, F; Bonsangue, M; Caltais, G; Rutten, J; Silva, A ;
PUBLISHED: 2012, SOURCE: Electronic Notes in Theoretical Computer Science, VOLUME: 286
AUTHORS: Bonchi, F; Bonsangue, M; Caltais, G; Rutten, J; Silva, A ;
PUBLISHED: 2012, SOURCE: Electronic Notes in Theoretical Computer Science, VOLUME: 286
14
TITLE: Quantitative Kleene coalgebras Full Text
AUTHORS: Alexandra Silva ; Filippo Bonchi; Marcello M Bonsangue; Jan J M M Rutten;
PUBLISHED: 2011, SOURCE: Inf. Comput., VOLUME: 209, ISSUE: 5
AUTHORS: Alexandra Silva ; Filippo Bonchi; Marcello M Bonsangue; Jan J M M Rutten;
PUBLISHED: 2011, SOURCE: Inf. Comput., VOLUME: 209, ISSUE: 5
15
TITLE: Preface
AUTHORS: Bart Jacobs; Milad Niqui; Jan J M M Rutten; Alexandra Silva;
PUBLISHED: 2011, SOURCE: Theor. Comput. Sci., VOLUME: 412, ISSUE: 38
AUTHORS: Bart Jacobs; Milad Niqui; Jan J M M Rutten; Alexandra Silva;
PUBLISHED: 2011, SOURCE: Theor. Comput. Sci., VOLUME: 412, ISSUE: 38
INDEXED IN: 
DBLP
DBLP16
TITLE: Preface Full Text
AUTHORS: Bart Jacobs; Milad Niqui; Jan Rutten; Alexandra Silva ;
PUBLISHED: 2011, SOURCE: Theoretical Computer Science, VOLUME: 412, ISSUE: 38
AUTHORS: Bart Jacobs; Milad Niqui; Jan Rutten; Alexandra Silva ;
PUBLISHED: 2011, SOURCE: Theoretical Computer Science, VOLUME: 412, ISSUE: 38
17
TITLE: Generalizing the powerset construction, coalgebraically
AUTHORS: Alexandra Silva ; Filippo Bonchi; Marcello M Bonsangue; Jan J M M Rutten;
PUBLISHED: 2010, SOURCE: IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2010, December 15-18, 2010, Chennai, India, VOLUME: 8
AUTHORS: Alexandra Silva ; Filippo Bonchi; Marcello M Bonsangue; Jan J M M Rutten;
PUBLISHED: 2010, SOURCE: IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2010, December 15-18, 2010, Chennai, India, VOLUME: 8
INDEXED IN: DBLP
DBLP18
TITLE: A Decision Procedure for Bisimilarity of Generalized Regular Expressions
AUTHORS: Marcello M Bonsangue; Georgiana Caltais; Eugen Ioan Goriac; Dorel Lucanu; Jan J M M Rutten; Alexandra Silva ;
PUBLISHED: 2010, SOURCE: Formal Methods: Foundations and Applications - 13th Brazilian Symposium on Formal Methods, SBMF 2010, Natal, Brazil, November 8-11, 2010, Revised Selected Papers, VOLUME: 6527
AUTHORS: Marcello M Bonsangue; Georgiana Caltais; Eugen Ioan Goriac; Dorel Lucanu; Jan J M M Rutten; Alexandra Silva ;
PUBLISHED: 2010, SOURCE: Formal Methods: Foundations and Applications - 13th Brazilian Symposium on Formal Methods, SBMF 2010, Natal, Brazil, November 8-11, 2010, Revised Selected Papers, VOLUME: 6527
19
TITLE: Non-Deterministic Kleene Coalgebras PDF
AUTHORS: Alexandra Silva ; Marcello M. Bonsangue; Jan J. M. M. Rutten;
PUBLISHED: 2010, SOURCE: Logical Methods in Computer Science, VOLUME: 6, ISSUE: 3
AUTHORS: Alexandra Silva ; Marcello M. Bonsangue; Jan J. M. M. Rutten;
PUBLISHED: 2010, SOURCE: Logical Methods in Computer Science, VOLUME: 6, ISSUE: 3
INDEXED IN: DBLP 
arXiv
DBLP arXiv20
TITLE: Preface
AUTHORS: Bart Jacobs; Milad Niqui; Jan J M M Rutten; Alexandra Silva ;
PUBLISHED: 2010, SOURCE: Electr. Notes Theor. Comput. Sci., VOLUME: 264, ISSUE: 2
AUTHORS: Bart Jacobs; Milad Niqui; Jan J M M Rutten; Alexandra Silva ;
PUBLISHED: 2010, SOURCE: Electr. Notes Theor. Comput. Sci., VOLUME: 264, ISSUE: 2
INDEXED IN: DBLP
DBLP