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

Jos C. M. Baeten (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


88Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJos C. M. Baeten, Bas Luttik, Paul van Tilburg: Turing Meets Milner. CONCUR 2012: 1-20
85Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJos C. M. Baeten, Bas Luttik, Paul van Tilburg: Reactive Turing Machines. FCT 2011: 348-359
84Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJos C. M. Baeten, Bas Luttik, Paul van Tilburg: Computations and Interaction. ICDCIT 2011: 35-54
82Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJos C. M. Baeten, Bas Luttik, Paul van Tilburg: Reactive Turing Machines CoRR abs/1104.1738: (2011)
81Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJos C. M. Baeten, Bas Luttik: Unguardedness mostly means many solutions. Theor. Comput. Sci. 412(28): 3090-3100 (2011)
80Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJos C. M. Baeten, Bas Luttik, Tim Muller, Paul van Tilburg: Expressiveness modulo Bisimilarity of Regular Expressions with Parallel Composition (Extended Abstract) EXPRESS'10 2010: 1-15
79Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJos C. M. Baeten, Pieter J. L. Cuijpers, Bas Luttik, P. J. A. van Tilburg: A Process-Theoretic Look at Automata. FSEN 2009: 1-33
61Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJos C. M. Baeten, S. P. Luttik: Guest editors' introduction: Special issue on Process Theory for Hybrid Systems. J. Log. Algebr. Program. 68(1-2): 1-3 (2006)
55Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLElena M. Bortnik, Nikola Trcka, Anton Wijs, Bas Luttik, J. M. van de Mortel-Fronczak, Jos C. M. Baeten, Wan Fokkink, J. E. Rooda: Analyzing a chi model of a turntable system using Spin, CADP and Uppaal. J. Log. Algebr. Program. 65(2): 51-104 (2005)

Selection of 9 from 88 records - Jos C. M. Baeten has 47 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