Prof.dr. J.C.M. Baeten

Pagina-navigatie:

filter results

Type

Date

Accessibility

Institution

[Warning: Property for result_number_label.untokenized.dateissued not found]

Save search results

New Year's Speech of Jos Baeten, January 9, 2012 (2012)Open access

Author: Baeten, J.C.M.
A process algebra for supervisory coordination (2011)Open access

Authors: Baeten, J.C.M.; Beek, van D.A.; Hulst, van A.C.; Markovski, J.; Aceto, L.; Mousavi, M.R.
Reactive Turing machines (2011)Open access

Authors: Baeten, J.C.M.; Luttik, B.; Tilburg, van P.J.A.; Owe, O.; Steffen, M.; Telle, J.A.
Computations and interaction (2011)Open access

Authors: Baeten, J.C.M.; Luttik, B.; Tilburg, van P.J.A.; Natarajan, R.; Ojo, A.
Unguardedness mostly means many solutions (2011)Open access

Authors: Baeten, J.C.M.; Luttik, B.
In: Theoretical Computer Science, 412(28), 3090 - 3100. Elsevier. ISSN 0304-3975.
Computations and interaction (2011)

Authors: Baeten, JCM (Jos); Luttik, SP (Bas); Tilburg, van PJA (Paul)
Unguardedness mostly means many solutions (2011)

Authors: Baeten, JCM (Jos); Luttik, SP (Bas)
In: Theoretical Computer Science, 412(28), 3090. ISSN 0304-3975.
Reactive Turing machines (2011)

Authors: Baeten, JCM (Jos); Luttik, SP (Bas); Tilburg, van PJA (Paul)
A process algebra for supervisory coordination (2011)Open access

Authors: Baeten, JCM (Jos); Beek, van DA (Bert); Hulst, van AC; Markovski, J (Jasen)
A process-theoretic approach to supervisory control theory (2011)

Authors: Baeten, JCM (Jos); Beek, van DA (Bert); Luttik, SP (Bas); Markovski, J (Jasen); Rooda, JE (Koos)

Author:	Baeten, J.C.M.

Authors:	Baeten, J.C.M.; Beek, van D.A.; Hulst, van A.C.; Markovski, J.; Aceto, L.; Mousavi, M.R.

Authors:	Baeten, J.C.M.; Luttik, B.; Tilburg, van P.J.A.; Owe, O.; Steffen, M.; Telle, J.A.

Authors:	Baeten, J.C.M.; Luttik, B.; Tilburg, van P.J.A.; Natarajan, R.; Ojo, A.

Authors:	Baeten, J.C.M.; Luttik, B.
In:	Theoretical Computer Science, 412(28), 3090 - 3100. Elsevier. ISSN 0304-3975.

Authors:	Baeten, JCM (Jos); Luttik, SP (Bas); Tilburg, van PJA (Paul)

Authors:	Baeten, JCM (Jos); Luttik, SP (Bas)
In:	Theoretical Computer Science, 412(28), 3090. ISSN 0304-3975.

Authors:	Baeten, JCM (Jos); Luttik, SP (Bas); Tilburg, van PJA (Paul)

Authors:	Baeten, JCM (Jos); Beek, van DA (Bert); Hulst, van AC; Markovski, J (Jasen)

Authors:	Baeten, JCM (Jos); Beek, van DA (Bert); Luttik, SP (Bas); Markovski, J (Jasen); Rooda, JE (Koos)

Pages:

previous

<< < 1 2 3 4 5 6 7 8 9 10 > >>