A Specification Logic for Dynamic Composition of Services. - Sven Lämmermann; Enn Tyugu (ICDCS Workshops, 2001)

Concurrent Implementation of Structurally Synthesized Programs. - Sven Lämmermann; Enn Tyugu; Vladimir Vlassov (PaCT, 2001)

Computational Frames as Metainterfaces. - Sven Lämmermann; Enn Tyugu (IC-AI, 2002)