| 2009 |
|---|
| 9 | EE | Walter Dosch,
Annette Stümpel:
Implementing Services by Partial State Machines.
SOFSEM 2009: 241-254 |
| 2008 |
|---|
| 8 | EE | Walter Dosch,
Annette Stümpel,
Tõnu Tamme:
Streaming Dyadic Boolean Operations.
ITNG 2008: 88-96 |
| 2007 |
|---|
| 7 | EE | Walter Dosch,
Annette Stümpel:
High-Level Design of a Request Driven Sender Component.
ITNG 2007: 707-714 |
| 2006 |
|---|
| 6 | EE | Walter Dosch,
Annette Stümpel:
Deriving State-Based Implementations of Interactive Components with History Abstractions.
Ershov Memorial Conference 2006: 180-194 |
| 5 | EE | Walter Dosch,
Wuttipong Ruanthong,
Annette Stümpel:
From Stream Transformers to Moore State Transition Machines with Input and Output.
SNPD 2006: 65-72 |
| 2004 |
|---|
| 4 | | Walter Dosch,
Annette Stümpel:
History Abstractions of a Sequential Memory Component.
Computers and Their Applications 2004: 241-247 |
| 3 | EE | Walter Dosch,
Annette Stümpel:
Transforming Stream Processing Functions into State Transition Machines.
SERA 2004: 1-18 |
| 2 | | Walter Dosch,
Annette Stümpel:
Introducing Control States into Communication Based Specifications of Interactive Components.
Software Engineering Research and Practice 2004: 875-882 |
| 2000 |
|---|
| 1 | | Walter Dosch,
Annette Stümpel:
Merging ordered streams.
Computers and Their Applications 2000: 377-382 |
