The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Job Zwiers: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. 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. [Citation Graph (0, 0)][DBLP]
    Canadian Conference on AI, 2003, pp:596-602 [Conf]
  2. Anton Nijholt, Herwin van Welbergen, Job Zwiers
    Introducing an Embodied Virtual Presenter Agent in a Virtual Meeting Room. [Citation Graph (0, 0)][DBLP]
    Artificial Intelligence and Applications, 2005, pp:579-584 [Conf]
  3. Mannes Poel, Job Zwiers
    Layering Techniques for Development of Parallel Systems. [Citation Graph (0, 0)][DBLP]
    CAV, 1992, pp:16-29 [Conf]
  4. Wil Janssen, Mannes Poel, Klaas Sikkel, Job Zwiers
    The Primordial Soup Algorithm: A Systematic Approach to the Specification of Parallel Parsers. [Citation Graph (0, 0)][DBLP]
    COLING, 1992, pp:373-379 [Conf]
  5. Job Zwiers
    Compositional Transformational Design for Concurrent Programs. [Citation Graph (0, 0)][DBLP]
    COMPOS, 1997, pp:609-631 [Conf]
  6. Maarten M. Fokkinga, Mannes Poel, Job Zwiers
    Modular Completeness for Communication Closed Layers. [Citation Graph (0, 0)][DBLP]
    CONCUR, 1993, pp:50-65 [Conf]
  7. Wil Janssen, Mannes Poel, Job Zwiers
    Action Systems and Action Refinement in the Development of Parallel Systems - An Algebraic Approach. [Citation Graph (0, 0)][DBLP]
    CONCUR, 1991, pp:298-316 [Conf]
  8. 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. [Citation Graph (0, 0)][DBLP]
    FBT, 2000, pp:3-5 [Conf]
  9. Job Zwiers
    Refining Data to Processes. [Citation Graph (0, 0)][DBLP]
    VDM Europe, 1990, pp:352-369 [Conf]
  10. 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. [Citation Graph (0, 0)][DBLP]
    FME, 1996, pp:595-608 [Conf]
  11. Job Zwiers, Ulrich Hannemann, Yassine Lakhnech, Willem P. de Roever
    Synthesizing Different Development Paradigms: Combining Top-Down with Bottom-Up Reasoning About Distributed Systems. [Citation Graph (0, 0)][DBLP]
    FSTTCS, 1995, pp:80-95 [Conf]
  12. Wil Janssen, Mannes Poel, Qiwen Xu, Job Zwiers
    Layering of Real-Time Distributed Processes. [Citation Graph (0, 0)][DBLP]
    FTRTFT, 1994, pp:393-417 [Conf]
  13. Wil Janssen, Job Zwiers
    Protocol Design by Layered Decomposition: A Compositional Approach. [Citation Graph (0, 0)][DBLP]
    FTRTFT, 1992, pp:307-326 [Conf]
  14. Mannes Poel, Job Zwiers
    Synchronizing Clocked Transition Systems. [Citation Graph (0, 0)][DBLP]
    FTRTFT, 1998, pp:173-185 [Conf]
  15. Anton Nijholt, Sander Kole, Job Zwiers
    Multimodal Interaction in a Haptic Environment. [Citation Graph (0, 0)][DBLP]
    WHC, 2005, pp:467-470 [Conf]
  16. Job Zwiers, Willem P. de Roever, Peter van Emde Boas
    Compositionality and Concurrent Networks: Soundness and Completeness of a Proofsystem. [Citation Graph (0, 0)][DBLP]
    ICALP, 1985, pp:509-519 [Conf]
  17. Mannes Poel, Job Zwiers, Anton Nijholt, Rudy Jong, Edward Krooman
    Drawings as Input for Handheld Game Computers. [Citation Graph (0, 0)][DBLP]
    INTETAIN, 2005, pp:114-123 [Conf]
  18. I. 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. [Citation Graph (0, 0)][DBLP]
    INTETAIN, 2005, pp:288-292 [Conf]
  19. Herwin van Welbergen, Anton Nijholt, Dennis Reidsma, Job Zwiers
    Presenting in Virtual Worlds: Towards an Architecture for a 3D Presenter Explaining 2D-Presented Information. [Citation Graph (0, 0)][DBLP]
    INTETAIN, 2005, pp:203-212 [Conf]
  20. Zsófia Ruttkay, Job Zwiers, Herwin van Welbergen, Dennis Reidsma
    Towards a Reactive Virtual Trainer. [Citation Graph (0, 0)][DBLP]
    IVA, 2006, pp:292-303 [Conf]
  21. Job Zwiers, Arie de Bruin, Willem P. de Roever
    A Proof System for Partial Correctness of Dynamic Networks of Processes (Extended Abstract). [Citation Graph (0, 0)][DBLP]
    Logic of Programs, 1983, pp:513-527 [Conf]
  22. Trung H. Bui, Job Zwiers, Anton Nijholt, Mannes Poel
    Generic Dialogue Modeling for Multi-application Dialogue Systems. [Citation Graph (0, 0)][DBLP]
    MLMI, 2005, pp:174-186 [Conf]
  23. Wil Janssen, Job Zwiers
    From Sequential Layers to Distributed Processes: Deriving a Distributed Minimum Weight Spanning Tree Algorithm (Extended Anstract). [Citation Graph (0, 0)][DBLP]
    PODC, 1992, pp:215-227 [Conf]
  24. Job Zwiers, Willem P. de Roever
    Predicates are Predicate Transformers: A Unified Compositional Theory for Concurrency. [Citation Graph (0, 0)][DBLP]
    PODC, 1989, pp:265-279 [Conf]
  25. Wil Janssen, Job Zwiers
    Specifiying and Proving Communication Closedness in Protocols. [Citation Graph (0, 0)][DBLP]
    PSTV, 1993, pp:323-339 [Conf]
  26. Job Zwiers
    Predicated, Predicate Transformers and Refinement. [Citation Graph (0, 0)][DBLP]
    REX Workshop, 1989, pp:759-776 [Conf]
  27. Job Zwiers
    Layering and Action Refinement for Timed Systems. [Citation Graph (0, 0)][DBLP]
    REX Workshop, 1991, pp:687-723 [Conf]
  28. Job Zwiers, Wil Janssen
    Partial Order Based Design of Concurrent Systems. [Citation Graph (0, 0)][DBLP]
    REX School/Symposium, 1993, pp:622-684 [Conf]
  29. Job Zwiers, Willem P. de Roever
    Compositionality and Modularity in Process Specification and Design: A Trace-State Based Approach. [Citation Graph (0, 0)][DBLP]
    Temporal Logic in Specification, 1987, pp:351-374 [Conf]
  30. Wil Janssen, Mannes Poel, Job Zwiers
    The Compositional Approach to Sequential Consistency and Lazy Caching. [Citation Graph (0, 0)][DBLP]
    Distributed Computing, 1999, v:12, n:2-3, pp:105-127 [Journal]
  31. Anton Nijholt, Rutger Rienks, Job Zwiers, Dennis Reidsma
    Online and off-line visualization of meeting information and meeting support. [Citation Graph (0, 0)][DBLP]
    The Visual Computer, 2006, v:22, n:12, pp:965-976 [Journal]

  32. Supporting Engagement and Floor Control in Hybrid Meetings. [Citation Graph (, )][DBLP]


  33. Monitoring User's Brain Activity for a Virtual Coach. [Citation Graph (, )][DBLP]


  34. Virtual meeting rooms: from observation to simulation. [Citation Graph (, )][DBLP]


Search in 0.005secs, Finished in 0.006secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002