Job Zwiers

2009
38	EE	Trung H. Bui, Mannes Poel, Anton Nijholt, Job Zwiers: A tractable hybrid DDN-POMDP approach to affective dialogue modeling for probabilistic frame-based dialogue systems. Natural Language Engineering 15(2): 273-307 (2009)
37	EE	Anton Nijholt, Job Zwiers, Jan Peciva: Mixed reality participants in smart meeting rooms and smart home environments. Personal and Ubiquitous Computing 13(1): 85-94 (2009)
2007
36	EE	Dennis Reidsma, Rieks op den Akker, Rutger Rienks, Ronald Poppe, Anton Nijholt, Dirk Heylen, Job Zwiers: Virtual meeting rooms: from observation to simulation. AI Soc. 22(2): 133-144 (2007)
2006
35	EE	Zsófia Ruttkay, Job Zwiers, Herwin van Welbergen, Dennis Reidsma: Towards a Reactive Virtual Trainer. IVA 2006: 292-303
34	EE	Ingo H. C. Wassink, Betsy van Dijk, Job Zwiers, Anton Nijholt, Jorrit Kuipers, Arnd O. Brugman: In The Truman Show: Generating Dynamic Scenarios in a Driving Simulator. IEEE Intelligent Systems 21(5): 28-32 (2006)
33	EE	Herwin van Welbergen, Anton Nijholt, Dennis Reidsma, Job Zwiers: Presenting in Virtual Worlds: An Architecture for a 3D Anthropomorphic Presenter. IEEE Intelligent Systems 21(5): 47-53 (2006)
32	EE	Anton Nijholt, Rutger Rienks, Job Zwiers, Dennis Reidsma: Online and off-line visualization of meeting information and meeting support. The Visual Computer 22(12): 965-976 (2006)
2005
31		Anton Nijholt, Herwin van Welbergen, Job Zwiers: Introducing an Embodied Virtual Presenter Agent in a Virtual Meeting Room. Artificial Intelligence and Applications 2005: 579-584
30	EE	Mannes Poel, Job Zwiers, Anton Nijholt, Rudy Jong, Edward Krooman: Drawings as Input for Handheld Game Computers. INTETAIN 2005: 114-123
29	EE	Herwin van Welbergen, Anton Nijholt, Dennis Reidsma, Job Zwiers: Presenting in Virtual Worlds: Towards an Architecture for a 3D Presenter Explaining 2D-Presented Information. INTETAIN 2005: 203-212
28	EE	Ingo H. C. Wassink, Elisabeth M. A. G. van Dijk, Job Zwiers, Anton Nijholt, Jorrit Kuipers, Arnd O. Brugman: Bringing Hollywood to the Driving School: Dynamic Scenario Generation in Simulations and Games. INTETAIN 2005: 288-292
27	EE	Trung H. Bui, Job Zwiers, Anton Nijholt, Mannes Poel: Generic Dialogue Modeling for Multi-application Dialogue Systems. MLMI 2005: 174-186
26	EE	Anton Nijholt, Sander Kole, Job Zwiers: Multimodal Interaction in a Haptic Environment. WHC 2005: 467-470
2003
25	EE	Ivo Weevers, Jorrit Kuipers, Arnd O. Brugman, Job Zwiers, Elisabeth M. A. G. van Dijk, Anton Nijholt: The Virtual Driving Instructor Creating Awareness in a Multiagent System. Canadian Conference on AI 2003: 596-602
2001
24		Willem P. de Roever, Frank S. de Boer, Ulrich Hannemann, Jozef Hooman, Yassine Lakhnech, Mannes Poel, Job Zwiers: Concurrency Verification: Introduction to Compositional and Noncompositional Methods Cambridge University Press 2001
2000
23		Willem P. de Roever, Frank S. de Boer, Ulrich Hannemann, Jozef Hooman, Yassine Lakhnech, Mannes Poel, Job Zwiers: Basic Principles of a textbook on the compositional and noncompositional verification of concurrent programs. FBT 2000: 3-5
1999
22	EE	Wil Janssen, Mannes Poel, Job Zwiers: The Compositional Approach to Sequential Consistency and Lazy Caching. Distributed Computing 12(2-3): 105-127 (1999)
1998
21	EE	Mannes Poel, Job Zwiers: Synchronizing Clocked Transition Systems. FTRTFT 1998: 173-185
1997
20	EE	Job Zwiers: Compositional Transformational Design for Concurrent Programs. COMPOS 1997: 609-631
1996
19		Job Zwiers, Ulrich Hannemann, Yassine Lakhnech, Willem P. de Roever, Frank A. Stomp: Modular Completeness: Integrating the Reuse of Specified Software in Top-down Program Development. FME 1996: 595-608
1995
18		Job Zwiers, Ulrich Hannemann, Yassine Lakhnech, Willem P. de Roever: Synthesizing Different Development Paradigms: Combining Top-Down with Bottom-Up Reasoning About Distributed Systems. FSTTCS 1995: 80-95
1994
17		Wil Janssen, Mannes Poel, Qiwen Xu, Job Zwiers: Layering of Real-Time Distributed Processes. FTRTFT 1994: 393-417
1993
16		Maarten M. Fokkinga, Mannes Poel, Job Zwiers: Modular Completeness for Communication Closed Layers. CONCUR 1993: 50-65
15		Wil Janssen, Job Zwiers: Specifiying and Proving Communication Closedness in Protocols. PSTV 1993: 323-339
14		Job Zwiers, Wil Janssen: Partial Order Based Design of Concurrent Systems. REX School/Symposium 1993: 622-684
1992
13		Mannes Poel, Job Zwiers: Layering Techniques for Development of Parallel Systems. CAV 1992: 16-29
12	EE	Wil Janssen, Mannes Poel, Klaas Sikkel, Job Zwiers: The Primordial Soup Algorithm: A Systematic Approach to the Specification of Parallel Parsers. COLING 1992: 373-379
11		Wil Janssen, Job Zwiers: Protocol Design by Layered Decomposition: A Compositional Approach. FTRTFT 1992: 307-326
10		Wil Janssen, Job Zwiers: From Sequential Layers to Distributed Processes: Deriving a Distributed Minimum Weight Spanning Tree Algorithm (Extended Anstract). PODC 1992: 215-227
1991
9		Wil Janssen, Mannes Poel, Job Zwiers: Action Systems and Action Refinement in the Development of Parallel Systems - An Algebraic Approach. CONCUR 1991: 298-316
8		Job Zwiers: Layering and Action Refinement for Timed Systems. REX Workshop 1991: 687-723
1990
7		Job Zwiers: Refining Data to Processes. VDM Europe 1990: 352-369
1989
6		Job Zwiers: Compositionality, Concurrency and Partial Correctness - Proof Theories for Networks of Processes, and Their Relationship Springer 1989
5		Job Zwiers, Willem P. de Roever: Predicates are Predicate Transformers: A Unified Compositional Theory for Concurrency. PODC 1989: 265-279
4		Job Zwiers: Predicated, Predicate Transformers and Refinement. REX Workshop 1989: 759-776
1987
3		Job Zwiers, Willem P. de Roever: Compositionality and Modularity in Process Specification and Design: A Trace-State Based Approach. Temporal Logic in Specification 1987: 351-374
1985
2		Job Zwiers, Willem P. de Roever, Peter van Emde Boas: Compositionality and Concurrent Networks: Soundness and Completeness of a Proofsystem. ICALP 1985: 509-519
1983
1		Job Zwiers, Arie de Bruin, Willem P. de Roever: A Proof System for Partial Correctness of Dynamic Networks of Processes (Extended Abstract). Logic of Programs 1983: 513-527

Coauthor Index

1	Rieks op den Akker	[36]
2	Peter van Emde Boas	[2]
3	Frank S. de Boer	[23] [24]
4	Arnd O. Brugman	[25] [28] [34]
5	Arie de Bruin	[1]
6	Trung H. Bui	[27] [38]
7	Betsy van Dijk	[34]
8	Elisabeth M. A. G. van Dijk	[25] [28]
9	Maarten M. Fokkinga	[16]
10	Ulrich Hannemann	[18] [19] [23] [24]
11	Dirk Heylen	[36]
12	Jozef Hooman	[23] [24]
13	Wil Janssen	[9] [10] [11] [12] [14] [15] [17] [22]
14	Rudy Jong	[30]
15	Sander Kole	[26]
16	Edward Krooman	[30]
17	Jorrit Kuipers	[25] [28] [34]
18	Yassine Lakhnech	[18] [19] [23] [24]
19	Anton Nijholt	[25] [26] [27] [28] [29] [30] [31] [32] [33] [34] [36] [37] [38]
20	Jan Peciva	[37]
21	Mannes Poel	[9] [12] [13] [16] [17] [21] [22] [23] [24] [27] [30] [38]
22	Ronald Poppe	[36]
23	Dennis Reidsma	[29] [32] [33] [35] [36]
24	Rutger Rienks	[32] [36]
25	Willem P. de Roever	[1] [2] [3] [5] [18] [19] [23] [24]
26	Zsófia Ruttkay	[35]
27	Klaas Sikkel	[12]
28	Frank A. Stomp	[19]
29	Ingo H. C. Wassink	[28] [34]
30	Ivo Weevers	[25]
31	Herwin van Welbergen	[29] [31] [33] [35]
32	Qiwen Xu	[17]