Jan Rutten
AuthID: R-006-WT0
21
TÃTULO: A coinductive calculus of binary trees Full Text
AUTORES: Alexandra Silva ; Jan J M M Rutten;
PUBLICAÇÃO: 2010, FONTE: Inf. Comput., VOLUME: 208, NÚMERO: 5
AUTORES: Alexandra Silva ; Jan J M M Rutten;
PUBLICAÇÃO: 2010, FONTE: Inf. Comput., VOLUME: 208, NÚMERO: 5
22
TÃTULO: Preface
AUTORES: Bart Jacobs; Milad Niqui; Jan Rutten; Alexandra Silva ;
PUBLICAÇÃO: 2010, FONTE: Electronic Notes in Theoretical Computer Science, VOLUME: 264, NÚMERO: 2
AUTORES: Bart Jacobs; Milad Niqui; Jan Rutten; Alexandra Silva ;
PUBLICAÇÃO: 2010, FONTE: Electronic Notes in Theoretical Computer Science, VOLUME: 264, NÚMERO: 2
INDEXADO EM: CrossRef
23
TÃTULO: Proceedings of the Tenth Workshop on Coalgebraic Methods in Computer Science, CMCS 2010, Paphos, Cyprus, March 26-28, 2010
AUTORES: Bart Jacobs; Milad Niqui; Jan J M M Rutten; Alexandra Silva;
PUBLICAÇÃO: 2010, FONTE: CMCS, VOLUME: 264, NÚMERO: 2
AUTORES: Bart Jacobs; Milad Niqui; Jan J M M Rutten; Alexandra Silva;
PUBLICAÇÃO: 2010, FONTE: CMCS, VOLUME: 264, NÚMERO: 2
INDEXADO EM: DBLP
24
TÃTULO: Deriving Syntax and Axioms for Quantitative Regular Behaviours
AUTORES: Filippo Bonchi; Marcello M Bonsangue; Jan J M M Rutten; Alexandra Silva ;
PUBLICAÇÃO: 2009, FONTE: CONCUR 2009 - Concurrency Theory, 20th International Conference, CONCUR 2009, Bologna, Italy, September 1-4, 2009. Proceedings, VOLUME: 5710
AUTORES: Filippo Bonchi; Marcello M Bonsangue; Jan J M M Rutten; Alexandra Silva ;
PUBLICAÇÃO: 2009, FONTE: CONCUR 2009 - Concurrency Theory, 20th International Conference, CONCUR 2009, Bologna, Italy, September 1-4, 2009. Proceedings, VOLUME: 5710
25
TÃTULO: A Kleene Theorem for Polynomial Coalgebras
AUTORES: Marcello M Bonsangue; Jan J M M Rutten; Alexandra Silva ;
PUBLICAÇÃO: 2009, FONTE: Foundations of Software Science and Computational Structures, 12th International Conference, FOSSACS 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings, VOLUME: 5504
AUTORES: Marcello M Bonsangue; Jan J M M Rutten; Alexandra Silva ;
PUBLICAÇÃO: 2009, FONTE: Foundations of Software Science and Computational Structures, 12th International Conference, FOSSACS 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings, VOLUME: 5504
26
TÃTULO: An Algebra for Kripke Polynomial Coalgebras
AUTORES: Marcello M Bonsangue; Jan J M M Rutten; Alexandra Silva ;
PUBLICAÇÃO: 2009, FONTE: Proceedings of the 24th Annual IEEE Symposium on Logic in Computer Science, LICS 2009, 11-14 August 2009, Los Angeles, CA, USA
AUTORES: Marcello M Bonsangue; Jan J M M Rutten; Alexandra Silva ;
PUBLICAÇÃO: 2009, FONTE: Proceedings of the 24th Annual IEEE Symposium on Logic in Computer Science, LICS 2009, 11-14 August 2009, Los Angeles, CA, USA
27
TÃTULO: Coalgebraic Logic and Synthesis of Mealy Machines
AUTORES: Marcello M Bonsangue; Jan J M M Rutten; Alexandra Silva ;
PUBLICAÇÃO: 2008, FONTE: Foundations of Software Science and Computational Structures, 11th International Conference, FOSSACS 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29 - April 6, 2008. Proceedings, VOLUME: 4962
AUTORES: Marcello M Bonsangue; Jan J M M Rutten; Alexandra Silva ;
PUBLICAÇÃO: 2008, FONTE: Foundations of Software Science and Computational Structures, 11th International Conference, FOSSACS 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29 - April 6, 2008. Proceedings, VOLUME: 4962
28
TÃTULO: Behavioural Differential Equations and Coinduction for Binary Trees
AUTORES: Alexandra Silva ; Jan J M M Rutten;
PUBLICAÇÃO: 2007, FONTE: Logic, Language, Information and Computation, 14th International Workshop, WoLLIC 2007, Rio de Janeiro, Brazil, July 2-5, 2007, Proceedings, VOLUME: 4576
AUTORES: Alexandra Silva ; Jan J M M Rutten;
PUBLICAÇÃO: 2007, FONTE: Logic, Language, Information and Computation, 14th International Workshop, WoLLIC 2007, Rio de Janeiro, Brazil, July 2-5, 2007, Proceedings, VOLUME: 4576