Arkiver - Side 3

• PB-548 Software Engineering and Petri Nets

  Nr. 548 (2000)

• PB-550 Combining Predictors

  Nr. 550 (2000)

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

  Nr. 547 (2000)

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

  Nr. 549 (2000)

• PB-546 State Space Methods for Coloured Petri Nets

  Nr. 546 (2000)

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

  Nr. 544 (2000)

• PB-545 Designing Emotions for Activity Selection

  Nr. 545 (2000)

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

  Nr. 543 (2000)

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

  Nr. 541 (1999)

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

  Nr. 542 (1999)

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

  Nr. 540 (1999)

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

  Nr. 535 (1998)

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

  Nr. 538 (1998)

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

  Nr. 539 (1998)

• PB-537 Lanczos Bidiagonalization With Partial Reorthogonalization

  Nr. 537 (1998)

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

  Nr. 536 (1998)

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

  Nr. 534 (1998)

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

  Nr. 533 (1998)

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

  Nr. 532 (1998)

• PB-530 Digital Systems Synthesis from Petri Net Descriptions

  Nr. 530 (1998)

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

  Nr. 531 (1998)

• PB-529 Polymorphic Subtyping for Side Effects

  Nr. 529 (1997)

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

  Nr. 528 (1997)

• PB-527 Behaviour Analysis for Validating Communication Patterns

  Nr. 527 (1997)

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

  Nr. 526 (1997)