On Reasoning on Time and Location on the Web. - François Bry; Bernhard Lorenz; Hans Jürgen Ohlbach; Stephanie Spranger (PPSWR, 2003)

Reasoning on the Web: Language Prototypes and Perspectives. - Sacha Berger; François Bry; Bernhard Lorenz; Hans Jürgen Ohlbach; Paula-Lavinia Patranjan; Sebastian Schaffert; Uta Schwertel; Stephanie Spranger (EWIMT, 2004)

Towards a Multi-calendar Temporal Type System for (Semantic) Web Query Languages. - François Bry; Stephanie Spranger (PPSWR, 2004)

Calendars and Topologies as Types. - François Bry; Bernhard Lorenz; Stephanie Spranger (KES (4), 2005)

CaTTS: calendar types and constraints for Web applications. - François Bry; Frank-André Rieß; Stephanie Spranger (WWW, 2005)

Calendars as types: data modeling, constraint reasoning, and type checking with calendars. - Stephanie Spranger (2006)