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

  • Faculty of Science
  • Visiting address
    Science Park 107
    Science Park 105  
  • Postal address:
    Postbus  94242
    1090 GE  Amsterdam


  • Baeten, J., Luttik, B., & Yang, F. (2017). Sequential composition in the presence of intermediate termination: extended abstract. Electronic Proceedings in Theoretical Computer Science, 255, 1-17. DOI: 10.4204/EPTCS.255.1  [details] 


  • 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] 


  • 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; Vol. 456). Cham: Springer. DOI: 10.1007/978-3-319-10407-2_8  [details] 
  • 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] 
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. Log in to Personal Page Publication Selection tool  to manage the visibility of your publications on this list.
  • Centrum voor Wiskunde en Informatica

edit contact information edit tabs