dblp.uni-trier.dewww.dagstuhl.dewww.uni-trier.de

Jan J. M. M. Rutten (Selection)

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo


86Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFilippo Bonchi, Marcello M. Bonsangue, Jan J. M. M. Rutten, Alexandra Silva: Brzozowski's Algorithm (Co)Algebraically. Logic and Program Semantics 2012: 12-23
84Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFilippo Bonchi, Marcello M. Bonsangue, Michele Boreale, Jan J. M. M. Rutten, Alexandra Silva: A coalgebraic perspective on linear weighted automata. Inf. Comput. 211: 77-105 (2012)
82Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJoost Winter, Marcello M. Bonsangue, Jan J. M. M. Rutten: Context-Free Languages, Coalgebraically. CALCO 2011: 359-376
79Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlexandra Silva, Filippo Bonchi, Marcello M. Bonsangue, Jan J. M. M. Rutten: Quantitative Kleene coalgebras. Inf. Comput. 209(5): 822-849 (2011)
77Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlexandra Silva, Filippo Bonchi, Marcello M. Bonsangue, Jan J. M. M. Rutten: Generalizing the powerset construction, coalgebraically. FSTTCS 2010: 272-283
75Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarcello M. Bonsangue, Georgiana Caltais, Eugen-Ioan Goriac, Dorel Lucanu, Jan J. M. M. Rutten, Alexandra Silva: A Decision Procedure for Bisimilarity of Generalized Regular Expressions. SBMF 2010: 226-241
71Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlexandra Silva, Marcello M. Bonsangue, Jan J. M. M. Rutten: Non-Deterministic Kleene Coalgebras Logical Methods in Computer Science 6(3): (2010)
69Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFilippo Bonchi, Marcello M. Bonsangue, Jan J. M. M. Rutten, Alexandra Silva: Deriving Syntax and Axioms for Quantitative Regular Behaviours. CONCUR 2009: 146-162
68Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarcello M. Bonsangue, Jan J. M. M. Rutten, Alexandra Silva: A Kleene Theorem for Polynomial Coalgebras. FOSSACS 2009: 122-136
67Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarcello M. Bonsangue, Jan J. M. M. Rutten, Alexandra Silva: An Algebra for Kripke Polynomial Coalgebras. LICS 2009: 49-58
64Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarcello M. Bonsangue, Jan J. M. M. Rutten, Alexandra Silva: Coalgebraic Logic and Synthesis of Mealy Machines. FoSSaCS 2008: 231-245
38Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarcello M. Bonsangue, Farhad Arbab, J. W. de Bakker, Jan J. M. M. Rutten, A. Secutella, Gianluigi Zavattaro: A transition system semantics for the control-driven coordination language MANIFOLD. Theor. Comput. Sci. 240(1): 3-47 (2000)
28Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarcello M. Bonsangue, Franck van Breugel, Jan J. M. M. Rutten: Generalized Metric Spaces: Completion, Topology, and Powerdomains via the Yoneda Embedding. Theor. Comput. Sci. 193(1-2): 1-51 (1998)

Selection of 13 from 86 records - Jan J. M. M. Rutten has 39 coauthors

Last update 2012-09-10 CET by the DBLP TeamThis material is Open Data Content released under the ODC-BY 1.0 license — See also our legal information page