Linking Documentation and Source Code in a Software Chrestomathy. - Jean-Marie Favre; Ralf Lämmel; Martin Leinberger; Thomas Schmorleiz; Andrei Varanovich (WCRE, 2012)

Comparison of feature implementations across languages, technologies, and styles. - Ralf Lämmel; Martin Leinberger; Thomas Schmorleiz; Andrei Varanovich (CSMR-WCRE, 2014)

IDE Integrated RDF Exploration, Access and RDF-Based Code Typing with LITEQ. - Stefan Scheglmann; Ralf Lämmel; Martin Leinberger; Steffen Staab; Matthias Thimm; Evelyne Viegas (ESWC (Satellite Events), 2014)

Programming the Semantic Web. - Steffen Staab; Stefan Scheglmann; Martin Leinberger; Thomas Gottron (ESWC, 2014)

Declarative Software Development: Distilled Tutorial. - Ralf Lämmel; Andrei Varanovich; Martin Leinberger; Thomas Schmorleiz; Jean-Marie Favre (PPDP, 2014)

Semantic Web Application Development with LITEQ. - Martin Leinberger; Stefan Scheglmann; Ralf Lämmel; Steffen Staab; Matthias Thimm; Evelyne Viegas (ISWC (2), 2014)

Property-based typing with LITEQ. - Stefan Scheglmann; Martin Leinberger; Ralf Lämmel; Steffen Staab; Matthias Thimm (ISWC (Posters & Demos), 2014)

LambdaDL: Syntax and Semantics (Preliminary Report). - Martin Leinberger; Ralf Lämmel; Steffen Staab (CoRR, 2016)

SEPAL: Schema Enhanced Programming for Linked Data. - Stefan Scheglmann; Martin Leinberger; Thomas Gottron; Steffen Staab; Ralf Lämmel (Künstliche Intell., 2016)

The Essence of Functional Programming on Semantic Data. - Martin Leinberger; Ralf Lämmel; Steffen Staab (ESOP, 2017)

Type-Safe Programming with OWL in Semantics4J. - Carsten Hartenfels; Martin Leinberger; Ralf Lämmel; Steffen Staab (ISWC (Posters, Demos & Industry Tracks), 2017)

Type Checking Program Code Using SHACL. - Martin Leinberger; Philipp Seifer; Claudia Schon; Ralf Lämmel; Steffen Staab (ISWC (1), 2019)

Empirical study on the usage of graph query languages in open source Java projects. - Philipp Seifer; Johannes Härtel; Martin Leinberger; Ralf Lämmel; Steffen Staab (SLE, 2019)

Type Checking Program Code using SHACL (Extended Version). - Martin Leinberger; Philipp Seifer; Claudia Schon; Ralf Lämmel; Steffen Staab (CoRR, 2019)

Semantic Query Integration With Reason. - Philipp Seifer; Martin Leinberger; Ralf Lämmel; Steffen Staab (Art Sci. Eng. Program., 2019)

Deciding SHACL Shape Containment Through Description Logics Reasoning. - Martin Leinberger; Philipp Seifer; Tjitze Rienstra; Ralf Lämmel; Steffen Staab (ISWC (1), 2020)

Data placement strategies that speed-up distributed graph query processing. - Daniel Janke; Steffen Staab; Martin Leinberger (SBD@SIGMOD, 2020)

Deciding SHACL Shape Containment through Description Logics Reasoning (Extended Version). - Martin Leinberger; Philipp Seifer; Tjitze Rienstra; Ralf Lämmel; Steffen Staab (CoRR, 2020)

Type-safe Programming for the Semantic Web. - Martin Leinberger (IOS Press, 2021)

Metadata Management and Asset Exchange in the Agricultural Data Ecosystem of the Project Agri-Gaia. - Tobias Wamhof; Ansgar Bernardi; Daniel Martini; Martin Leinberger; Arka Sinha; Heiko Tapken; Andreas Schliebitz; Henri Graf (Datenbank-Spektrum, 2023)