A Proof System for Partial Correctness of Dynamic Networks of Processes (Extended Abstract). - Job Zwiers; Arie de Bruin; Willem P. de Roever (Logic of Programs, 1983)

Compositionality and Concurrent Networks: Soundness and Completeness of a Proofsystem. - Job Zwiers; Willem P. de Roever; Peter van Emde Boas (ICALP, 1985)

Compositionality and Modularity in Process Specification and Design: A Trace-State Based Approach. - Job Zwiers; Willem P. de Roever (Temporal Logic in Specification, 1987)

Compositionality, Concurrency and Partial Correctness - Proof Theories for Networks of Processes, and Their Relationship - Job Zwiers (Springer, 1989)

Predicates are Predicate Transformers: A Unified Compositional Theory for Concurrency. - Job Zwiers; Willem P. de Roever (PODC, 1989)

Predicated, Predicate Transformers and Refinement. - Job Zwiers (REX Workshop, 1989)

Refining Data to Processes. - Job Zwiers (VDM Europe, 1990)

Action Systems and Action Refinement in the Development of Parallel Systems - An Algebraic Approach. - Wil Janssen; Mannes Poel; Job Zwiers (CONCUR, 1991)

Layering and Action Refinement for Timed Systems. - Job Zwiers (REX Workshop, 1991)

Layering Techniques for Development of Parallel Systems. - Mannes Poel; Job Zwiers (CAV, 1992)

The Primordial Soup Algorithm: A Systematic Approach to the Specification of Parallel Parsers. - Wil Janssen; Mannes Poel; Klaas Sikkel; Job Zwiers (COLING, 1992)

Protocol Design by Layered Decomposition: A Compositional Approach. - Wil Janssen; Job Zwiers (FTRTFT, 1992)

From Sequential Layers to Distributed Processes: Deriving a Distributed Minimum Weight Spanning Tree Algorithm (Extended Anstract). - Wil Janssen; Job Zwiers (PODC, 1992)

A Note on Compositional Refinement. - Job Zwiers; J. Coenen; Willem P. de Roever (Refine, 1992)

Modular Completeness for Communication Closed Layers. - Maarten M. Fokkinga; Mannes Poel; Job Zwiers (CONCUR, 1993)

Specifiying and Proving Communication Closedness in Protocols. - Wil Janssen; Job Zwiers (PSTV, 1993)

Partial Order Based Design of Concurrent Systems. - Job Zwiers; Wil Janssen (REX School/Symposium, 1993)

Layering of Real-Time Distributed Processes. - Wil Janssen; Mannes Poel; Qiwen Xu; Job Zwiers (FTRTFT, 1994)

Synthesizing Different Development Paradigms: Combining Top-Down with Bottom-Up Reasoning About Distributed Systems. - Job Zwiers; Ulrich Hannemann; Yassine Lakhnech; Willem P. de Roever (FSTTCS, 1995)

Modular Completeness: Integrating the Reuse of Specified Software in Top-down Program Development. - Job Zwiers; Ulrich Hannemann; Yassine Lakhnech; Willem P. de Roever; Frank A. Stomp (FME, 1996)

Compositional Transformational Design for Concurrent Programs. - Job Zwiers (COMPOS, 1997)

Synchronizing Clocked Transition Systems. - Mannes Poel; Job Zwiers (FTRTFT, 1998)

The Compositional Approach to Sequential Consistency and Lazy Caching. - Wil Janssen; Mannes Poel; Job Zwiers (Distributed Comput., 1999)

Basic Principles of a textbook on the compositional and noncompositional verification of concurrent programs. - Willem P. de Roever; Frank S. de Boer; Ulrich Hannemann; Jozef Hooman; Yassine Lakhnech; Mannes Poel; Job Zwiers (FBT, 2000)

Concurrency Verification: Introduction to Compositional and Noncompositional Methods - Willem P. de Roever; Frank S. de Boer; Ulrich Hannemann; Jozef Hooman; Yassine Lakhnech; Mannes Poel; Job Zwiers (Cambridge University Press, 2001)

The Virtual Driving Instructor Creating Awareness in a Multiagent System. - Ivo Weevers; Jorrit Kuipers; Arnd O. Brugman; Job Zwiers; Elisabeth M. A. G. van Dijk; Anton Nijholt (AI, 2003)

Virtual Modelling. - Szilárd Kiss; Anton Nijholt; Job Zwiers (Eurographics (Posters), 2003)

Navigation Assistance in Virtual Worlds. - Betsy van Dijk; Rieks op den Akker; Anton Nijholt; Job Zwiers (Informing Sci. Int. J. an Emerg. Transdiscipl., 2003)

Introducing an Embodied Virtual Presenter Agent in a Virtual Meeting Room. - Anton Nijholt; Herwin van Welbergen; Job Zwiers (Artificial Intelligence and Applications, 2005)

Multimodal Interaction in a Haptic Environment. - Anton Nijholt; Sander Kole; Job Zwiers (WHC, 2005)

Drawings as Input for Handheld Game Computers. - Mannes Poel; Job Zwiers; Anton Nijholt; Rudy Jong; Edward Krooman (INTETAIN, 2005)

Bringing Hollywood to the Driving School: Dynamic Scenario Generation in Simulations and Games. - Ingo H. C. Wassink; Elisabeth M. A. G. van Dijk; Job Zwiers; Anton Nijholt; Jorrit Kuipers; Arnd O. Brugman (INTETAIN, 2005)

Presenting in Virtual Worlds: Towards an Architecture for a 3D Presenter Explaining 2D-Presented Information. - Herwin van Welbergen; Anton Nijholt; Dennis Reidsma; Job Zwiers (INTETAIN, 2005)

Generic Dialogue Modeling for Multi-application Dialogue Systems. - Trung H. Bui; Job Zwiers; Anton Nijholt; Mannes Poel (MLMI, 2005)

Towards a Reactive Virtual Trainer. - Zsófia Ruttkay; Job Zwiers; Herwin van Welbergen; Dennis Reidsma (IVA, 2006)

In The Truman Show: Generating Dynamic Scenarios in a Driving Simulator. - Ingo H. C. Wassink; Betsy van Dijk; Job Zwiers; Anton Nijholt; Jorrit Kuipers; Arnd O. Brugman (IEEE Intell. Syst., 2006)

Presenting in Virtual Worlds: An Architecture for a 3D Anthropomorphic Presenter. - Herwin van Welbergen; Anton Nijholt; Dennis Reidsma; Job Zwiers (IEEE Intell. Syst., 2006)

Online and off-line visualization of meeting information and meeting support. - Anton Nijholt; Rutger Rienks; Job Zwiers; Dennis Reidsma (Vis. Comput., 2006)

Virtual meeting rooms: from observation to simulation. - Dennis Reidsma; Rieks op den Akker; Rutger Rienks; Ronald Poppe; Anton Nijholt; Dirk Heylen; Job Zwiers (AI Soc., 2007)

Supporting Engagement and Floor Control in Hybrid Meetings. - Rieks op den Akker; Dennis Hofs; Hendri Hondorp; Harm op den Akker; Job Zwiers; Anton Nijholt (COST 2102 Conference (Prague), 2008)

Real-Time Animation Using a Mix of Physical Simulation and Kinematics. - Herwin van Welbergen; Job Zwiers; Zsófia Ruttkay (J. Graphics, GPU, & Game Tools, 2009)

Elckerlyc. - Herwin van Welbergen; Dennis Reidsma; Zsófia Ruttkay; Job Zwiers (J. Multimodal User Interfaces, 2009)

A tractable hybrid DDN-POMDP approach to affective dialogue modeling for probabilistic frame-based dialogue systems. - Trung H. Bui; Mannes Poel; Anton Nijholt; Job Zwiers (Nat. Lang. Eng., 2009)

Mixed reality participants in smart meeting rooms and smart home environments. - Anton Nijholt; Job Zwiers; Jan Peciva (Pers. Ubiquitous Comput., 2009)

Conveying Directional Gaze Cues to Support Remote Participation in Hybrid Meetings. - Betsy van Dijk; Job Zwiers; Rieks op den Akker; Olga A. Kulyk; Hendri Hondorp; Dennis Hofs; Anton Nijholt (COST 2102 Training School, 2010)

Classifying motor imagery in presence of speech. - Hayrettin Gürkök; Mannes Poel; Job Zwiers (IJCNN, 2010)

Monitoring User's Brain Activity for a Virtual Coach. - Bram van de Laar; Anton Nijholt; Job Zwiers (ICEC, 2010)

Affective Dialogue Management Using Factored POMDPs. - Trung H. Bui; Job Zwiers; Mannes Poel; Anton Nijholt (Interactive Collaborative Information Systems, 2010)

Continuous Interaction within the SAIBA Framework. - Job Zwiers; Herwin van Welbergen; Dennis Reidsma (IVA, 2011)

On the Nature of Engineering Social Artificial Companions. - Dirk Heylen; Rieks op den Akker; Mark ter Maat; Paolo Petta; Stefan Rank; Dennis Reidsma; Job Zwiers (Appl. Artif. Intell., 2011)

Multimodal plan representation for adaptable BML scheduling. - Herwin van Welbergen; Dennis Reidsma; Job Zwiers (Auton. Agents Multi Agent Syst., 2013)