Job Zwiers

According to our database, Job Zwiers authored at least 51 papers between 1983 and 2013.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2013

Multimodal plan representation for adaptable BML scheduling.

Herwin van Welbergen, Dennis Reidsma, Job Zwiers

Auton. Agents Multi Agent Syst., 2013

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

Continuous Interaction within the SAIBA Framework.

Job Zwiers, Herwin van Welbergen, Dennis Reidsma

Proceedings of the Intelligent Virtual Agents - 11th International Conference, 2011

2010

Affective Dialogue Management Using Factored POMDPs.

Trung H. Bui, Job Zwiers, Mannes Poel, Anton Nijholt

Proceedings of the Interactive Collaborative Information Systems, 2010

Monitoring User's Brain Activity for a Virtual Coach.

Bram van de Laar, Anton Nijholt, Job Zwiers

Proceedings of the Entertainment Computing - ICEC 2010, 9th International Conference, 2010

Classifying motor imagery in presence of speech.

Hayrettin Gürkök, Mannes Poel, Job Zwiers

Proceedings of the International Joint Conference on Neural Networks, 2010

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

Proceedings of the Toward Autonomous, Adaptive, and Context-Aware Multimodal Interfaces. Theoretical and Practical Issues, 2010

2009

Mixed reality participants in smart meeting rooms and smart home environments.

Anton Nijholt, Job Zwiers, Jan Peciva

Pers. Ubiquitous Comput., 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

Elckerlyc.

Herwin van Welbergen, Dennis Reidsma, Zsófia Ruttkay, Job Zwiers

J. Multimodal User Interfaces, 2009

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

2008

Supporting Engagement and Floor Control in Hybrid Meetings.

Rieks op den Akker, Dennis Hofs, Hendri Hondorp, Harm op den Akker, Job Zwiers, Anton Nijholt

Proceedings of the Cross-Modal Analysis of Speech, Gestures, Gaze and Facial Expressions, 2008

2007

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

2006

Online and off-line visualization of meeting information and meeting support.

Anton Nijholt, Rutger Rienks, Job Zwiers, Dennis Reidsma

Vis. Comput., 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

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

Towards a Reactive Virtual Trainer.

Zsófia Ruttkay, Job Zwiers, Herwin van Welbergen, Dennis Reidsma

Proceedings of the Intelligent Virtual Agents, 6th International Conference, 2006

2005

Generic Dialogue Modeling for Multi-application Dialogue Systems.

Trung H. Bui, Job Zwiers, Anton Nijholt, Mannes Poel

Proceedings of the Machine Learning for Multimodal Interaction, 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

Proceedings of the Intelligent Technologies for Interactive Entertainment, 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

Proceedings of the Intelligent Technologies for Interactive Entertainment, 2005

Drawings as Input for Handheld Game Computers.

Mannes Poel, Job Zwiers, Anton Nijholt, Rudy Jong, Edward Krooman

Proceedings of the Intelligent Technologies for Interactive Entertainment, 2005

Multimodal Interaction in a Haptic Environment.

Anton Nijholt, Sander Kole, Job Zwiers

Proceedings of the First Joint Eurohaptics Conference and Symposium on Haptic Interfaces for Virtual Environment and Teleoperator Systems, 2005

Introducing an Embodied Virtual Presenter Agent in a Virtual Meeting Room.

Anton Nijholt, Herwin van Welbergen, Job Zwiers

Proceedings of the IASTED International Conference on Artificial Intelligence and Applications, 2005

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

Virtual Modelling.

Szilárd Kiss, Anton Nijholt, Job Zwiers

Proceedings of the 24th Annual Conference of the European Association for Computer Graphics, 2003

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

Proceedings of the Advances in Artificial Intelligence, 2003

2001

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 Tracts in Theoretical Computer Science 54, Cambridge University Press, ISBN: 0-521-80608-9, 2001

2000

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

Proceedings of the Formale Beschreibungstechniken für verteilte Systeme, 2000

1999

The Compositional Approach to Sequential Consistency and Lazy Caching.

Wil Janssen, Mannes Poel, Job Zwiers

Distributed Comput., 1999

1998

Synchronizing Clocked Transition Systems.

Mannes Poel, Job Zwiers

Proceedings of the Formal Techniques in Real-Time and Fault-Tolerant Systems, 1998

1997

Compositional Transformational Design for Concurrent Programs.

Job Zwiers

Proceedings of the Compositionality: The Significant Difference, International Symposium, 1997

1996

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

Proceedings of the FME '96: Industrial Benefit and Advances in Formal Methods, 1996

1995

Synthesizing Different Development Paradigms: Combining Top-Down with Bottom-Up Reasoning About Distributed Systems.

Job Zwiers, Ulrich Hannemann, Yassine Lakhnech, Willem P. de Roever

Proceedings of the Foundations of Software Technology and Theoretical Computer Science, 1995

1994

Layering of Real-Time Distributed Processes.

Wil Janssen, Mannes Poel, Qiwen Xu, Job Zwiers

Proceedings of the Formal Techniques in Real-Time and Fault-Tolerant Systems, Third International Symposium Organized Jointly with the Working Group Provably Correct Systems, 1994

1993

Partial Order Based Design of Concurrent Systems.

Job Zwiers, Wil Janssen

Proceedings of the A Decade of Concurrency, Reflections and Perspectives, 1993

Specifiying and Proving Communication Closedness in Protocols.

Wil Janssen, Job Zwiers

Proceedings of the Protocol Specification, 1993

Modular Completeness for Communication Closed Layers.

Maarten M. Fokkinga, Mannes Poel, Job Zwiers

Proceedings of the CONCUR '93, 1993

1992

A Note on Compositional Refinement.

Job Zwiers, J. Coenen, Willem P. de Roever

Proceedings of the 5th Refinement Workshop, 1992

From Sequential Layers to Distributed Processes: Deriving a Distributed Minimum Weight Spanning Tree Algorithm (Extended Anstract).

Wil Janssen, Job Zwiers

Proceedings of the Eleventh Annual ACM Symposium on Principles of Distributed Computing, 1992

Protocol Design by Layered Decomposition: A Compositional Approach.

Wil Janssen, Job Zwiers

Proceedings of the Formal Techniques in Real-Time and Fault-Tolerant Systems, 1992

The Primordial Soup Algorithm: A Systematic Approach to the Specification of Parallel Parsers.

Wil Janssen, Mannes Poel, Klaas Sikkel, Job Zwiers

Proceedings of the 14th International Conference on Computational Linguistics, 1992

Layering Techniques for Development of Parallel Systems.

Mannes Poel, Job Zwiers

Proceedings of the Computer Aided Verification, Fourth International Workshop, 1992

1991

Layering and Action Refinement for Timed Systems.

Job Zwiers

Proceedings of the Real-Time: Theory in Practice, 1991

Action Systems and Action Refinement in the Development of Parallel Systems - An Algebraic Approach.

Wil Janssen, Mannes Poel, Job Zwiers

Proceedings of the CONCUR '91, 1991

1990

Refining Data to Processes.

Job Zwiers

Proceedings of the VDM '90, 1990

1989

Predicated, Predicate Transformers and Refinement.

Job Zwiers

Proceedings of the Stepwise Refinement of Distributed Systems, 1989

Predicates are Predicate Transformers: A Unified Compositional Theory for Concurrency.

Job Zwiers, Willem P. de Roever

Proceedings of the Eighth Annual ACM Symposium on Principles of Distributed Computing, 1989

Compositionality, Concurrency and Partial Correctness - Proof Theories for Networks of Processes, and Their Relationship

Job Zwiers

Lecture Notes in Computer Science 321, Springer, ISBN: 3-540-50845-7, 1989

1987

Compositionality and Modularity in Process Specification and Design: A Trace-State Based Approach.

Job Zwiers, Willem P. de Roever

Proceedings of the Temporal Logic in Specification, 1987

1985

Compositionality and Concurrent Networks: Soundness and Completeness of a Proofsystem.

Job Zwiers, Willem P. de Roever, Peter van Emde Boas

Proceedings of the Automata, 1985

1983

A Proof System for Partial Correctness of Dynamic Networks of Processes (Extended Abstract).

Job Zwiers, Arie de Bruin, Willem P. de Roever

Proceedings of the Logics of Programs, 1983