Job Zwiers

	2009
39		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)
38		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)
	2008
37		Rieks op den Akker, Dennis Hofs, Hendri Hondorp, Harm op den Akker, Job Zwiers, Anton Nijholt: Supporting Engagement and Floor Control in Hybrid Meetings. COST 2102 Conference (Prague) 2008: 276-290
	2007
36		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		Zsófia Ruttkay, Job Zwiers, Herwin van Welbergen, Dennis Reidsma: Towards a Reactive Virtual Trainer. IVA 2006: 292-303
34		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		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		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		Mannes Poel, Job Zwiers, Anton Nijholt, Rudy Jong, Edward Krooman: Drawings as Input for Handheld Game Computers. INTETAIN 2005: 114-123
29		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		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		Trung H. Bui, Job Zwiers, Anton Nijholt, Mannes Poel: Generic Dialogue Modeling for Multi-application Dialogue Systems. MLMI 2005: 174-186
26		Anton Nijholt, Sander Kole, Job Zwiers: Multimodal Interaction in a Haptic Environment. WHC 2005: 467-470
	2003
25		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		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		Mannes Poel, Job Zwiers: Synchronizing Clocked Transition Systems. FTRTFT 1998: 173-185
	1997
20		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		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	Harm op den Akker	[37]
2	Rieks op den Akker	[36] [37]
3	Peter van Emde Boas	[2]
4	Frank S. de Boer	[23] [24]
5	Arnd O. Brugman	[25] [28] [34]
6	Arie de Bruin	[1]
7	Trung H. Bui	[27] [39]
8	Betsy van Dijk	[34]
9	Elisabeth M. A. G. van Dijk	[25] [28]
10	Maarten M. Fokkinga	[16]
11	Ulrich Hannemann	[18] [19] [23] [24]
12	Dirk Heylen	[36]
13	Dennis Hofs	[37]
14	Hendri Hondorp	[37]
15	Jozef Hooman	[23] [24]
16	Wil Janssen	[9] [10] [11] [12] [14] [15] [17] [22]
17	Rudy Jong	[30]
18	Sander Kole	[26]
19	Edward Krooman	[30]
20	Jorrit Kuipers	[25] [28] [34]
21	Yassine Lakhnech	[18] [19] [23] [24]
22	Anton Nijholt	[25] [26] [27] [28] [29] [30] [31] [32] [33] [34] [36] [37] [38] [39]
23	Jan Peciva	[38]
24	Mannes Poel	[9] [12] [13] [16] [17] [21] [22] [23] [24] [27] [30] [39]
25	Ronald Poppe	[36]
26	Dennis Reidsma	[29] [32] [33] [35] [36]
27	Rutger Rienks	[32] [36]
28	Willem P. de Roever	[1] [2] [3] [5] [18] [19] [23] [24]
29	Zsófia Ruttkay	[35]
30	Klaas Sikkel	[12]
31	Frank A. Stomp	[19]
32	Ingo H. C. Wassink	[28] [34]
33	Ivo Weevers	[25]
34	Herwin van Welbergen	[29] [31] [33] [35]
35	Qiwen Xu	[17]