| 2005 |
|---|
| 5 | EE | François Bry,
Bernhard Lorenz,
Stephanie Spranger:
Calendars and Topologies as Types.
KES (4) 2005: 352-358 |
| 4 | EE | François Bry,
Frank-André Rieß,
Stephanie Spranger:
CaTTS: calendar types and constraints for Web applications.
WWW 2005: 702-711 |
| 2004 |
|---|
| 3 | | Sacha Berger,
François Bry,
Bernhard Lorenz,
Hans Jürgen Ohlbach,
Paula-Lavinia Patranjan,
Sebastian Schaffert,
Uta Schwertel,
Stephanie Spranger:
Reasoning on the Web: Language Prototypes and Perspectives.
EWIMT 2004 |
| 2 | EE | François Bry,
Stephanie Spranger:
Towards a Multi-calendar Temporal Type System for (Semantic) Web Query Languages.
PPSWR 2004: 102-117 |
| 2003 |
|---|
| 1 | EE | François Bry,
Bernhard Lorenz,
Hans Jürgen Ohlbach,
Stephanie Spranger:
On Reasoning on Time and Location on the Web.
PPSWR 2003: 69-83 |
