Stem sepia$ (all stems)

5 papers:

CADE-2015-GransdenWR #automaton #named #proving #using

SEPIA: Search for Proofs Using Inferred Automata (TG, NW, RR), pp. 246–255.

HT-1993-HaakeKS #hypermedia #video

The SEPIA Hypermedia System as Part of the POLIKOM Telecooperation Scenario (Video) (JMH, TK, NAS), pp. 235–237.

HT-ECHT-1992-Streitz #authoring #hypermedia

The Hypermedia Authoring Environment SEPIA (Demonstration) (NAS), p. 290.

HT-ECHT-1992-StreitzHHLSST #authoring #hypermedia #named

SEPIA: A Cooperative Hypermedia Authoring Environment (NAS, JMH, JH, ACL, WS, HS, MT), pp. 11–22.

CSCW-1992-HaakeW #collaboration

Supporting Collaborative Writing of Hyperdocuments in SEPIA (JMH, BW), pp. 138–146.