Stephanie Spranger

According to our database, Stephanie Spranger authored at least 6 papers between 2003 and 2006.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2006

Calendars as types: data modeling, constraint reasoning, and type checking with calendars.

Stephanie Spranger

PhD thesis, 2006

2005

CaTTS: calendar types and constraints for Web applications.

François Bry, Frank-André Rieß, Stephanie Spranger

Proceedings of the 14th international conference on World Wide Web, 2005

Calendars and Topologies as Types.

François Bry, Bernhard Lorenz, Stephanie Spranger

Proceedings of the Knowledge-Based Intelligent Information and Engineering Systems, 2005

2004

Towards a Multi-calendar Temporal Type System for (Semantic) Web Query Languages.

François Bry, Stephanie Spranger

Proceedings of the Principles and Practice of Semantic Web Reasoning, 2004

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

Proceedings of the Knowledge-Based Media Analysis for Self-Adaptive and Agile Multi-Media, 2004

2003

On Reasoning on Time and Location on the Web.

François Bry, Bernhard Lorenz, Hans Jürgen Ohlbach, Stephanie Spranger

Proceedings of the Principles and Practice of Semantic Web Reasoning, 2003