Jakob Zwiers

Activities

Activities per year 1990 2018

• 21 Oral presentation
• 1 Participating in a conference, workshop, ...

Activities per year

Search results

• Haptic Water: Haptics on an Animated Surface

  Jakob Zwiers (Speaker)

  5 May 2004

  Activity: Talk or presentation › Oral presentation

• Design issues for intelligent navigation and assistance agents in virtual environments

  Jakob Zwiers (Keynote speaker)

  20 Oct 2000

  Activity: Talk or presentation › Oral presentation

• Synchronizing clocked transition systems

  Jakob Zwiers (Keynote speaker)

  17 Sep 1998

  Activity: Talk or presentation › Oral presentation

• Lazy caching

  Jakob Zwiers (Speaker)

  18 May 1993

  Activity: Talk or presentation › Oral presentation

• Modular Completeness for Communication Closed Layers

  Jakob Zwiers (Speaker)

  25 Aug 1993

  Activity: Talk or presentation › Oral presentation

• Compositionality, Actionrefinement and Layer Composition

  Jakob Zwiers (Speaker)

  6 Mar 1992

  Activity: Talk or presentation › Oral presentation

• A Note on Compositional Refinement

  Jakob Zwiers (Speaker)

  10 Jan 1992

  Activity: Talk or presentation › Oral presentation

• Predicative Programming as a Unifying Approach for Design of Concurrent Systems

  Jakob Zwiers (Speaker)

  18 Nov 1992

  Activity: Talk or presentation › Oral presentation

• From Sequential Layers to Distributed Processes

  Jakob Zwiers (Speaker)

  14 May 1992

  Activity: Talk or presentation › Oral presentation

• Layering Techniques for Protocol Design

  Jakob Zwiers (Speaker)

  3 Dec 1992

  Activity: Talk or presentation › Oral presentation

• Deadlocks, Divergence and Fairness

  Jakob Zwiers (Speaker)

  16 Oct 1992

  Activity: Talk or presentation › Oral presentation

• Protocol design by layered decomposition

  Jakob Zwiers (Speaker)

  29 Oct 1991

  Activity: Talk or presentation › Oral presentation

• Partial order methods and action refinement

  Jakob Zwiers (Speaker)

  28 Mar 1991

  Activity: Talk or presentation › Oral presentation

• Action systems and action refinement in the development of parallel systems

  Jakob Zwiers (Speaker)

  29 Aug 1991

  Activity: Talk or presentation › Oral presentation

• Action systems and communication closed layers

  Jakob Zwiers (Speaker)

  7 May 1991

  Activity: Talk or presentation › Oral presentation

• Causality and refinement

  Jakob Zwiers (Speaker)

  7 Mar 1991

  Activity: Talk or presentation › Oral presentation

• Partial order methods and action refinement

  Jakob Zwiers (Speaker)

  13 Mar 1991

  Activity: Talk or presentation › Oral presentation

• Partial order models applied to refinement of database transactions

  Jakob Zwiers (Speaker)

  11 May 1990

  Activity: Talk or presentation › Oral presentation

• Refining data to processes

  Jakob Zwiers (Speaker)

  21 May 1990

  Activity: Talk or presentation › Oral presentation

• Partial order semantics and refinement for distributed systems

  Jakob Zwiers (Speaker)

  4 Oct 1990

  Activity: Talk or presentation › Oral presentation

• Parallelism and compositionality

  Jakob Zwiers (Speaker)

  13 Nov 1990

  Activity: Talk or presentation › Oral presentation