default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDJob Zwiers
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2010 – 2019
- 2013
[j12]Herwin van Welbergen, Dennis Reidsma
, Job Zwiers:
Multimodal plan representation for adaptable BML scheduling. Auton. Agents Multi Agent Syst. 27(2): 305-327 (2013)- 2011
- [j11]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. Appl. Artif. Intell. 25(6): 549-574 (2011) - [c37]Dennis Reidsma, Herwin van Welbergen, Job Zwiers:
Multimodal Plan Representation for Adaptable BML Scheduling. IVA 2011: 296-308 - [c36]Job Zwiers, Herwin van Welbergen, Dennis Reidsma:
Continuous Interaction within the SAIBA Framework. IVA 2011: 324-330 - 2010
- [c35]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 - [c34]Hayrettin Gürkök, Mannes Poel, Job Zwiers:
Classifying motor imagery in presence of speech. IJCNN 2010: 1-8 - [c33]Bram van de Laar, Anton Nijholt, Job Zwiers:
Monitoring User's Brain Activity for a Virtual Coach. ICEC 2010: 511-513 - [p1]Trung H. Bui, Job Zwiers, Mannes Poel, Anton Nijholt:
Affective Dialogue Management Using Factored POMDPs. Interactive Collaborative Information Systems 2010: 207-236
2000 – 2009
- 2009
- [j10]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) - [j9]Herwin van Welbergen, Dennis Reidsma, Zsófia Ruttkay, Job Zwiers:
Elckerlyc. J. Multimodal User Interfaces 3(4): 271-284 (2009) - [j8]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. Nat. Lang. Eng. 15(2): 273-307 (2009) - [j7]Anton Nijholt, Job Zwiers, Jan Peciva:
Mixed reality participants in smart meeting rooms and smart home environments. Pers. Ubiquitous Comput. 13(1): 85-94 (2009) - 2008
- [c32]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
- [j6]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
- [j5]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 Intell. Syst. 21(5): 28-32 (2006) - [j4]Herwin van Welbergen, Anton Nijholt, Dennis Reidsma, Job Zwiers:
Presenting in Virtual Worlds: An Architecture for a 3D Anthropomorphic Presenter. IEEE Intell. Syst. 21(5): 47-53 (2006) - [j3]Anton Nijholt, Rutger Rienks, Job Zwiers, Dennis Reidsma:
Online and off-line visualization of meeting information and meeting support. Vis. Comput. 22(12): 965-976 (2006) - [c31]Zsófia Ruttkay, Job Zwiers, Herwin van Welbergen, Dennis Reidsma:
Towards a Reactive Virtual Trainer. IVA 2006: 292-303 - 2005
- [c30]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 - [c29]Anton Nijholt, Sander Kole, Job Zwiers:
Multimodal Interaction in a Haptic Environment. WHC 2005: 467-470 - [c28]Mannes Poel, Job Zwiers, Anton Nijholt, Rudy Jong, Edward Krooman:
Drawings as Input for Handheld Game Computers. INTETAIN 2005: 114-123 - [c27]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 - [c26]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 - [c25]Trung H. Bui, Job Zwiers, Anton Nijholt, Mannes Poel:
Generic Dialogue Modeling for Multi-application Dialogue Systems. MLMI 2005: 174-186 - 2003
- [j2]Betsy van Dijk, Rieks op den Akker, Anton Nijholt, Job Zwiers:
Navigation Assistance in Virtual Worlds. Informing Sci. Int. J. an Emerg. Transdiscipl. 6: 115-125 (2003) - [c24]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. AI 2003: 596-602 - [c23]Szilárd Kiss, Anton Nijholt, Job Zwiers:
Virtual Modelling. Eurographics (Posters) 2003 - 2001
- [b2]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 Tracts in Theoretical Computer Science 54, Cambridge University Press 2001, ISBN 0-521-80608-9 - 2000
- [c22]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
1990 – 1999
- 1999
- [j1]Wil Janssen, Mannes Poel, Job Zwiers:
The Compositional Approach to Sequential Consistency and Lazy Caching. Distributed Comput. 12(2-3): 105-127 (1999) - 1998
- [c21]Mannes Poel, Job Zwiers:
Synchronizing Clocked Transition Systems. FTRTFT 1998: 173-185 - 1997
- [c20]Job Zwiers:
Compositional Transformational Design for Concurrent Programs. COMPOS 1997: 609-631 - 1996
- [c19]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
- [c18]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
- [c17]Wil Janssen, Mannes Poel, Qiwen Xu, Job Zwiers:
Layering of Real-Time Distributed Processes. FTRTFT 1994: 393-417 - 1993
- [c16]Maarten M. Fokkinga, Mannes Poel, Job Zwiers:
Modular Completeness for Communication Closed Layers. CONCUR 1993: 50-65 - [c15]Wil Janssen, Job Zwiers:
Specifiying and Proving Communication Closedness in Protocols. PSTV 1993: 323-339 - [c14]Job Zwiers, Wil Janssen:
Partial Order Based Design of Concurrent Systems. REX School/Symposium 1993: 622-684 - 1992
- [c13]Mannes Poel, Job Zwiers:
Layering Techniques for Development of Parallel Systems. CAV 1992: 16-29 - [c12]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 - [c11]Wil Janssen, Job Zwiers:
Protocol Design by Layered Decomposition: A Compositional Approach. FTRTFT 1992: 307-326 - [c10]Wil Janssen, Job Zwiers:
From Sequential Layers to Distributed Processes: Deriving a Distributed Minimum Weight Spanning Tree Algorithm (Extended Anstract). PODC 1992: 215-227 - [c9]Job Zwiers, J. Coenen, Willem P. de Roever:
A Note on Compositional Refinement. Refine 1992: 342-366 - 1991
- [c8]Wil Janssen, Mannes Poel, Job Zwiers:
Action Systems and Action Refinement in the Development of Parallel Systems - An Algebraic Approach. CONCUR 1991: 298-316 - [c7]Job Zwiers:
Layering and Action Refinement for Timed Systems. REX Workshop 1991: 687-723 - 1990
- [c6]Job Zwiers:
Refining Data to Processes. VDM Europe 1990: 352-369
1980 – 1989
- 1989
- [b1]Job Zwiers:
Compositionality, Concurrency and Partial Correctness - Proof Theories for Networks of Processes, and Their Relationship. Lecture Notes in Computer Science 321, Springer 1989, ISBN 3-540-50845-7 - [c5]Job Zwiers, Willem P. de Roever:
Predicates are Predicate Transformers: A Unified Compositional Theory for Concurrency. PODC 1989: 265-279 - [c4]Job Zwiers:
Predicated, Predicate Transformers and Refinement. REX Workshop 1989: 759-776 - 1987
- [c3]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
- [c2]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
- [c1]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
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-25 05:48 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
