Edit Profile van Wamel, Jos Compute Distance To: Compute Author ID: van-wamel.jos Published as: Van Wamel, Jos; van Wamel, J.; van Wamel, Jos Documents Indexed: 6 Publications since 1997 Co-Authors 1 single-authored 4 Groote, Jan Friso 1 Luttik, Bas 1 Reniers, Michel Adriaan 1 van der Zwaag, Mark B. 1 van Vlijmen, Sebastiaan Serials 2 Theoretical Computer Science 1 Science of Computer Programming 1 Formal Aspects of Computing 1 Fundamenta Informaticae Fields 6 Computer science (68-XX) 1 General and overarching topics; collections (00-XX) Publications by Year Citations contained in zbMATH 3 Publications have been cited 11 times in 11 Documents Cited by ▼ Year ▼ Completeness of timed \(\mu\)CRL. Zbl 1011.68063Reniers, M. A.; Groote, J. F.; van der Zwaag, M. B.; van Wamel, J. 4 2002 The parallel composition of uniform processes with data. Zbl 0992.68235Groote, J. F.; van Wamel, J. 4 2001 Analysis of three hybrid systems in timed \(\mu CRL\). Zbl 0971.68113Groote, Jan Friso; van Wamel, Jos 3 2001 Completeness of timed \(\mu\)CRL. Zbl 1011.68063Reniers, M. A.; Groote, J. F.; van der Zwaag, M. B.; van Wamel, J. 4 2002 The parallel composition of uniform processes with data. Zbl 0992.68235Groote, J. F.; van Wamel, J. 4 2001 Analysis of three hybrid systems in timed \(\mu CRL\). Zbl 0971.68113Groote, Jan Friso; van Wamel, Jos 3 2001 all top 5 Cited by 19 Authors 3 Groote, Jan Friso 3 Reniers, Michel Adriaan 2 Middelburg, Cornelis A. 2 Pang, Jun 1 Baeten, Jos C. M. 1 Bergstra, Jan A. 1 Cuijpers, Pieter J. L. 1 de Vink, Erik P. 1 Fokkink, Wan 1 Fokkink, Wan J. 1 Ghassemi, Fatemeh 1 Luttik, Bas 1 Mousavi, Mohammad Reza 1 Mousavi, Mohammadreza 1 Movaghar, Ali 1 Orzan, Simona 1 van de Pol, Jan Cornelis 1 van der Zwaag, Mark B. 1 Wouters, A. G. all top 5 Cited in 6 Serials 3 Theoretical Computer Science 3 The Journal of Logic and Algebraic Programming 1 Information Processing Letters 1 Annals of Pure and Applied Logic 1 Information and Computation 1 Formal Methods in System Design Cited in 3 Fields 11 Computer science (68-XX) 1 Mathematical logic and foundations (03-XX) 1 Information and communication theory, circuits (94-XX) Citations by Year