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