home	education	contact	library	calendar	search
	about us	research	people	archive	services	jobs

publications by dr. W. de Vries

• Metis is a dutch, academic research information database
• see also: Metis for Departement Informatica
• please send notifications, questions, remarks etc to metis@cs.uu.nl
• see also : research -> Metis overviews

dr. W. de Vries

• contact information
• former member of group intelligent systems

some publications

Vries, W. de & Turner, N.M. (2011). Lesboek Kinderreanimatie, 2e druk. Uden: Nederlandse Reanimatieraad.

Vries, W. de, Meyer, J-J.Ch., Boer, F.S. de & Hoek, W. van der (2009). A Coordination Language For Agents Interacting In Distributed Plan--Execute Cycles. In Int. J. Reasoning-Based Intelligent Systems Vol. 1. International Journal Reasoning-Based Intelligent Systems (pp. 4-17).

Dajani, K. & Vries, W. de (2007). Invariant densities for random beta-expansions. Journal of the European Mathematical Society, 9(1), 157-176.

Dajani, K., Vries, W. de & Johnson, A. (2006). The relative growth of information in two-dimensional partitions. Real Analysis Excgange, 31(2), 397-408.

Boer, F.S. de, Vries, W. de, Meyer, J-J.Ch., Eijk, R.M. van & Hoek, W. van der (2005). Process Algebra and Constraint Programming for Modelling Interactions in MAS. Applicable algebra in engineering, communication and computing, 16, 113-150.

Vries, W. de, Boer, F.S. de, Hindriks, K.V., Hoek, W. van der & Meyer, J-J.Ch. (2002). A Programming Language for Coordinating Group Actions. In B. Dunin-Keplicz & E. Nawarecki (Eds.), From Theory to Practice in Multi-Agent (pp. 313-321). Berlin, Germany: Springer-Verlag.

Vries, W. de (2002, November 11). Agent Interaction: Abstract Approaches to Modelling Programming and Verifying Multi-Agent Systems. Utrecht University (Utrecht, the Netherlands: Universiteit Utrecht). Prom./coprom.: dr. F.S. de Boer, prof. dr. J-J.Ch. Meyer, prof. dr. J. Treur, dr. W. van der Hoek & dr. C.M. Jonker.

Vries, W. de, Ait-Besselam, S., Schers, T.J., Maas, H.C.M., Osman-Dualeh, M., Maitimu, I. & Koppeschaar, H.P.F. (2002). Complete inhibiton of hypothalamic somatostatin activity is only partially responsible for the growth hormone response to strenuous exercise. Metabolism-Clinical and Experimental, 51, 1093-1096.

Jonker, C.M., Treur, J. & Vries, W. de (2002). Reuse and Abstraction in Verification: Agents Acting in Dynamic Environments. In J.-J. Meyer & J. Treur (Eds.), Handbook of Defeasible Reasoning and Uncertainty Management Systems (pp. 427-454). Kluwer Academic Publishers.

Jonker, C.M., Treur, J. & Vries, W. de (2002). Reuse and Abstraction in Verification: Agents Acting in Dynamic Environments. In D. Gabbay & Ph. Smets (Eds.), Agent-Based Defeasible Control in Dynamic Environments. Series in Defeasible Reasoning and Uncertainty Management Systems. Vol. 7 (pp. 427-454). Kluwer Academic Publishers.

Jonker, C.M., Treur, J. & Vries, W. de (2002). Temporal Analysis of the Dynamics of Beliefs, Desires and Intentional. Cognitive Science Quarterly Journal, 2, 471-494.

Jonker, C.M., Treur, J. & Vries, W. de (2002). Temporal Analysis of the Dynamics of Beliefs, Desires and Intentions. Artificial intelligence preprint series.

Vries, W. de, Boer, F.S. de, Hoek, W. van der & Meyer, J-J.Ch. (2001). A Truly Concurrent Model for Interacting Agents. In S.T. Yuan & M. Yokoo (Eds.), Proceedings of the Second International Workshop of Central and Eastern Europe on Multi-Agent Systems (pp. 297-304).

Vries, W. de, Boer, F.S. de, Hoek, W. van der & Meyer, J-J.Ch. (2001). A Truly Concurrent Model for Interacting Agents. In S.T. Yuan & M. Yokoo (Eds.), Intelligent Agents: Specification, Modeling and Applications, proceedings of the 4th Pacific Rim International Workshop on Multi-Agents (PRIMA'2001) (pp. 16-30). Berlin, Germany: Springer.

Vries, W. de, Boer, F.S. de, Hindriks, K.V., Hoek, W. van der & Meyer, J-J.Ch. (2001). A programming language for coordinating group actions. In B. Dunin-Keplicz & E. Nawarecki (Eds.), Proceedings of the Second International Workshop of Central and Eastern Europe on Multi-Agent Systems (pp. 297-304). Krakow, Poland.

Vries, W. de, Hindriks, K.V., Hoek, W. van der, Meyer, J-J.Ch. & Boer, F.S. de (2001). A programming language for coordinating group actions. In B. Krose, M. de Rijke, G. Schreiber & M. van Someren (Eds.), Proceedings of the 13th Belgium-Netherlands Conference on Artificial Intelligence (pp. 267-274).

Vries, W. de, Hoek, W. van der, Meyer, J-J.Ch. & Boer, F.S. de (2001). An Operational Real-Time Model for Interacting Agents. In Y. Demazeau & F. Garijo (Eds.), Preproceedings of the tenth European Workshop on Modelling Autonomouos Agents in a multi-Agent World (MAAMAW'01).

Jonker, C.M., Treur, J. & Vries, W. de (2001). External attribution of intentional notions to explain and predict agent behaviour. In J.P. Muller, E. Andre, S. Sep & C. Frasson (Eds.), Proceedings of the Fifth International Conference on Autonomous Agents (AA '2001) (pp. 41-42). New York, U.S.A.: ACM PRESS.

Jonker, C.M., Treur, J. & Vries, W. de (2001). Reuse and Abstraction in Verification: Agents Acting in Dynamic Environments. In P. Ciancarini & M. Wooldridge (Eds.), Agent Oriented Software Engineering, Proceedings of the First International Workshop (AOSE'2000 (pp. 253-267). Berlin, Germany: Springer.

Jonker, C.M., Treur, J. & Vries, W. de (2001). Temporal Requirements for Anticiptatory Reasoning about Intentional Dynamics in Social Contexts. In Y. Demazeau & F. Garijo (Eds.), Preproceedings of the Tenth European Workshop on Modelling Autonomous Agents in a Multi-Agent World (MAAMAW'01).