Archives - Page 3

• PB-548 Software Engineering and Petri Nets

  No. 548 (2000)

• PB-550 Combining Predictors

  No. 550 (2000)

• PB-547 Practical Use of High-level Petri Nets

  No. 547 (2000)

• PB-549 gbeta - a Language with Virtual Attributes, Block Structure, and Propagating, Dynamic Inheritance

  No. 549 (2000)

• PB-546 State Space Methods for Coloured Petri Nets

  No. 546 (2000)

• PB-544 I Show You How I Like You: Human-Robot Interaction through Emotional Expression and Tactile Stimulation

  No. 544 (2000)

• PB-545 Designing Emotions for Activity Selection

  No. 545 (2000)

• PB-543 Improved Question-Guided Stubborn Set Methods for State Properties

  No. 543 (2000)

• PB-541 Second Workshop on Practical Use of Coloured Petri Nets and Design/CPN.

  No. 541 (1999)

• PB-542 Computer Applications as Mediators of Design and Use

  No. 542 (1999)

• PB-540 Ragnarok: An Architecture Based Software Development Environment

  No. 540 (1999)

• PB-535 Position Papers from the 8th Workshop for PhD Students in Object-Oriented Systems

  No. 535 (1998)

• PB-538 Interprocedural Control Flow Analysis (Extended version)

  No. 538 (1998)

• PB-539 Mediating Technical Platforms to Support the Development of Shared Work Practices

  No. 539 (1998)

• PB-537 Lanczos Bidiagonalization With Partial Reorthogonalization

  No. 537 (1998)

• PB-536 Designing for the Dynamics of Cooperative Work Activities

  No. 536 (1998)

• PB-534 The Error of the Crank-Nicolson Method for Linear Parabolic Equations with a Derivative Boundary Condition

  No. 534 (1998)

• PB-533 Collaboration, Coordination and Computer Support: An Activity Theoretical Approach to the Design of Computer...

  No. 533 (1998)

• PB-532 Workshop on Practical Use of Coloured Petri Nets and Design/CPN: Aarhus, Denmark, 10-12 June 1998

  No. 532 (1998)

• PB-530 Digital Systems Synthesis from Petri Net Descriptions

  No. 530 (1998)

• PB-531 Elements of a Theory of Design Artefacts: a contribution to critical systems development research. PhD Thesis

  No. 531 (1998)

• PB-529 Polymorphic Subtyping for Side Effects

  No. 529 (1997)

• PB-528 Behaviour Analysis and Safety Conditions: a Case Study in CML

  No. 528 (1997)

• PB-527 Behaviour Analysis for Validating Communication Patterns

  No. 527 (1997)

• PB-526 Position Papers from The 7th Workshop for PhD Students in Object-Oriented Systems

  No. 526 (1997)