ASM Support for Validation of Specifications: Lessons Learned from an eGovernment Project. - Alexander Bienemann; Zalan Kramer; Peggy Schmidt; Bernhard Thalheim (Abstract State Machines, 2005)

Semantically enabled exploratory video search. - Jörg Waitelonis; Harald Sack; Johannes Hercher; Zalan Kramer (SEMSEARCH@WWW, 2010)