Prof.dr. J.C.M. Baeten

Pagina-navigatie:

verfijn resultaat

Type

Datum

Toegankelijkheid

Instelling

1-10 van 214 resultaten op:datum

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

Auteur: Baeten, J.C.M.
Typography in process algebra (2011)Open access

Auteurs: Baeten, J.C.M.; Klop, J.W.; Heijden, van der M.; Koren, B.; Mei, van der R.D.; Vonderen, van J.A.J.
A process algebra for supervisory coordination (2011)Open access

Auteurs: 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

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

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

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

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

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

Auteurs: Baeten, JCM (Jos); Luttik, SP (Bas); Tilburg, van PJA (Paul)
A process-theoretic approach to supervisory control theory (2011)

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

Auteur:	Baeten, J.C.M.

Auteurs:	Baeten, J.C.M.; Klop, J.W.; Heijden, van der M.; Koren, B.; Mei, van der R.D.; Vonderen, van J.A.J.

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

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

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

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

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

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

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

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

Pagina's:

vorige

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