Job Zwiers

	2011
47		Dennis Reidsma, Herwin van Welbergen, Job Zwiers: Multimodal Plan Representation for Adaptable BML Scheduling. IVA 2011: 296-308
46		Job Zwiers, Herwin van Welbergen, Dennis Reidsma: Continuous Interaction within the SAIBA Framework. IVA 2011: 324-330
45		Dirk Heylen, Rieks op den Akker, Mark ter Maat, Paolo Petta, Stefan Rank, Dennis Reidsma, Job Zwiers: On the Nature of Engineering Social Artificial Companions. Applied Artificial Intelligence 25(6): 549-574 (2011)
	2010
44		Betsy van Dijk, Job Zwiers, Rieks op den Akker, Olga A. Kulyk, Hendri Hondorp, Dennis Hofs, Anton Nijholt: Conveying Directional Gaze Cues to Support Remote Participation in Hybrid Meetings. COST 2102 Training School 2010: 412-428
43		Bram van de Laar, Anton Nijholt, Job Zwiers: Monitoring User's Brain Activity for a Virtual Coach. ICEC 2010: 511-513
42		Hayrettin Gürkök, Mannes Poel, Job Zwiers: Classifying motor imagery in presence of speech. IJCNN 2010: 1-8
41		Trung H. Bui, Job Zwiers, Mannes Poel, Anton Nijholt: Affective Dialogue Management Using Factored POMDPs. Interactive Collaborative Information Systems 2010: 207-236
	2009
40		Herwin van Welbergen, Job Zwiers, Zsófia Ruttkay: Real-Time Animation Using a Mix of Physical Simulation and Kinematics. J. Graphics, GPU, & Game Tools 14(4): 1-21 (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] [44] [45]
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] [41]
8	Betsy M. A. G. van Dijk (Betsy van Dijk)	[34] [44]
9	Elisabeth M. A. G. van Dijk	[25] [28]
10	Maarten M. Fokkinga	[16]
11	Hayrettin Gürkök	[42]
12	Ulrich Hannemann	[18] [19] [23] [24]
13	Dirk Heylen	[36] [45]
14	Dennis Hofs	[37] [44]
15	Hendri Hondorp	[37] [44]
16	Jozef Hooman	[23] [24]
17	Wil Janssen	[9] [10] [11] [12] [14] [15] [17] [22]
18	Rudy Jong	[30]
19	Sander Kole	[26]
20	Edward Krooman	[30]
21	Jorrit Kuipers	[25] [28] [34]
22	Olga A. Kulyk	[44]
23	Bram van de Laar	[43]
24	Yassine Lakhnech	[18] [19] [23] [24]
25	Mark ter Maat	[45]
26	Anton Nijholt	[25] [26] [27] [28] [29] [30] [31] [32] [33] [34] [36] [37] [38] [39] [41] [43] [44]
27	Jan Peciva	[38]
28	Paolo Petta	[45]
29	Mannes Poel	[9] [12] [13] [16] [17] [21] [22] [23] [24] [27] [30] [39] [41] [42]
30	Ronald Poppe	[36]
31	Stefan Rank	[45]
32	Dennis Reidsma	[29] [32] [33] [35] [36] [45] [46] [47]
33	Rutger Rienks	[32] [36]
34	Willem P. de Roever (Willem-Paul de Roever)	[1] [2] [3] [5] [18] [19] [23] [24]
35	Zsófia Ruttkay	[35] [40]
36	Klaas Sikkel	[12]
37	Frank A. Stomp	[19]
38	Ingo H. C. Wassink	[28] [34]
39	Ivo Weevers	[25]
40	Herwin van Welbergen	[29] [31] [33] [35] [40] [46] [47]
41	Qiwen Xu	[17]

Last update Sat May 26 02:31:23 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page