Martin Leinberger,
Philipp Seifer,
Claudia Schon,
Ralf Lämmel,
Steffen Staab.
Type Checking Program Code using SHACL.
Proceedings of the 18th International Semantic Web Conference (ISWC 2019), 2019.
Carsten Hartenfels,
Martin Leinberger,
Ralf Lämmel,
Steffen Staab.
Type-Safe Programming with OWL in Semantics4J.
Proceedings of the ISWC 2017 Posters & Demonstrations and Industry Tracks, co-located with 16th International Semantic Web Conference (ISWC),
2017.
Martin Leinberger,
Stefan Scheglmann,
Ralf Lämmel,
Steffen Staab,
Matthias Thimm,
Evelyne Viegas.
Semantic Web Application Development with LITEQ.
Proceedings of the 13th International Semantic Web Conference (ISWC),
2014.
Stefan Scheglmann,
Martin Leinberger,
Ralf Lämmel,
Steffen Staab,
Matthias Thimm.
Property-based typing with LITEQ.
Proceedings of the ISWC 2014 Posters & Demonstrations Track, a track within the 13th International Semantic Web Conference (ISWC),
2014.
Steffen Staab,
Stefan Scheglmann,
Martin Leinberger,
Thomas Gottron.
Programming the Semantic Web.
Proceedings of ESWC 2014: The Semantic Web: Trends and Challenges - 11th International Conference,
2014.
Ralf Lämmel,
Andrei Varanovich,
Martin Leinberger,
Thomas Schmorleiz,
Jean-Marie Favre.
Declarative Software Development: Distilled Tutorial.
Proceedings of the 16th International Symposium on Principles and Practice of Declarative Programming (PPDP),
2014.