prof. dr. J.C.M. (Jos) Baeten


  • Faculty of Science
    ILLC
  • Visiting address
    Science Park 107
    Science Park 105  Amsterdam
  • Postal address:
    Postbus  94242
    1090 GE  Amsterdam
  • J.C.M.Baeten@uva.nl

2016

  • Baeten, J. C. M., Luttik, B., Muller, T., & van Tilburg, P. (2016). Expressiveness Modulo Bisimilarity Of Regular Expressions With Parallel Composition. Mathematical Structures in Computer Science, 26(6), 933-968. DOI: 10.1017/S0960129514000309 [details]

2015

  • Baeten, J. C. M., van Beek, B., Markovski, J., & Somers, L. J. A. M. (2015). Coordination Control Of Complex Machines. In J. H. van Schuppen, & T. Villa (Eds.), Coordination control of distributed systems (pp. 61-68). (Lecture notes in control and information sciences; No. 456). Cham: Springer. DOI: 10.1007/978-3-319-10407-2_8 [details] [PDF]
  • Baeten, J., & Markovski, J. (2015). The Role Of Supervisory Controller Synthesis In Automatic Control Software Development. Science of Computer Programming, 97(1), 17-22. DOI: 10.1016/j.scico.2013.11.016 [details]
  • Baeten, J., Candela, L., Fava, I., Kirchner, C., Mettrop, W., Romary, L., & Schultze, L. (2015). BOM@ERCIM - Towards an open access policy For ERCIM. [S.l.]: ERCIM, The European Research Consortium for Informatics and Mathematics. [details] [PDF]
This list of publications is extracted from the UvA-Current Research Information System. Questions? Ask the library or the Pure staff of your faculty / institute. Log in to Pure to edit your publications.
  • Centrum voor Wiskunde en Informatica
    Directeur

edit contact information edit tabs