Martin Leinberger

21 papers A 1B 2C 1Journal 7Unranked 9
YearRankTypeTitle / Venue / Authors
2023 J jnl
Metadata Management and Asset Exchange in the Agricultural Data Ecosystem of the Project Agri-Gaia.
Datenbank-Spektrum
Tobias Wamhof, Ansgar Bernardi, Daniel Martini, Martin Leinberger, Arka Sinha, Heiko Tapken, Andreas Schliebitz, Henri Graf
2021 — —
Type-safe Programming for the Semantic Web.
Martin Leinberger
2020 — conf
Data placement strategies that speed-up distributed graph query processing.
SBD@SIGMOD
Daniel Janke, Steffen Staab, Martin Leinberger
2020 — conf
Deciding SHACL Shape Containment Through Description Logics Reasoning.
ISWC (1)
Martin Leinberger, Philipp Seifer, Tjitze Rienstra, Ralf Lämmel, Steffen Staab
2020 J jnl
Deciding SHACL Shape Containment through Description Logics Reasoning (Extended Version).
CoRR
Martin Leinberger, Philipp Seifer, Tjitze Rienstra, Ralf Lämmel, Steffen Staab
2019 B conf
Empirical study on the usage of graph query languages in open source Java projects.
SLE
Philipp Seifer, Johannes Härtel, Martin Leinberger, Ralf Lämmel, Steffen Staab
2019 J jnl
Semantic Query Integration With Reason.
CoRR
Philipp Seifer, Martin Leinberger, Ralf Lämmel, Steffen Staab
2019 J jnl
Semantic Query Integration With Reason.
Art Sci. Eng. Program.
Philipp Seifer, Martin Leinberger, Ralf Lämmel, Steffen Staab
2019 — conf
Type Checking Program Code Using SHACL.
ISWC (1)
Martin Leinberger, Philipp Seifer, Claudia Schon, Ralf Lämmel, Steffen Staab
2019 J jnl
Type Checking Program Code using SHACL (Extended Version).
CoRR
Martin Leinberger, Philipp Seifer, Claudia Schon, Ralf Lämmel, Steffen Staab
2017 A conf
The Essence of Functional Programming on Semantic Data.
ESOP
Martin Leinberger, Ralf Lämmel, Steffen Staab
2017 — conf
Type-Safe Programming with OWL in Semantics4J.
ISWC (Posters, Demos & Industry Tracks)
Carsten Hartenfels, Martin Leinberger, Ralf Lämmel, Steffen Staab
2016 J jnl
LambdaDL: Syntax and Semantics (Preliminary Report).
CoRR
Martin Leinberger, Ralf Lämmel, Steffen Staab
2016 J jnl
SEPAL: Schema Enhanced Programming for Linked Data.
Künstliche Intell.
Stefan Scheglmann, Martin Leinberger, Thomas Gottron, Steffen Staab, Ralf Lämmel
2014 — conf
Comparison of feature implementations across languages, technologies, and styles.
CSMR-WCRE
Ralf Lämmel, Martin Leinberger, Thomas Schmorleiz, Andrei Varanovich
2014 C conf
Declarative Software Development: Distilled Tutorial.
PPDP
Ralf Lämmel, Andrei Varanovich, Martin Leinberger, Thomas Schmorleiz, Jean-Marie Favre
2014 — conf
IDE Integrated RDF Exploration, Access and RDF-Based Code Typing with LITEQ.
ESWC (Satellite Events)
Stefan Scheglmann, Ralf Lämmel, Martin Leinberger, Steffen Staab, Matthias Thimm, Evelyne Viegas
2014 B conf
Programming the Semantic Web.
ESWC
Steffen Staab, Stefan Scheglmann, Martin Leinberger, Thomas Gottron
2014 — conf
Property-based typing with LITEQ.
ISWC (Posters & Demos)
Stefan Scheglmann, Martin Leinberger, Ralf Lämmel, Steffen Staab, Matthias Thimm
2014 — conf
Semantic Web Application Development with LITEQ.
ISWC (2)
Martin Leinberger, Stefan Scheglmann, Ralf Lämmel, Steffen Staab, Matthias Thimm, Evelyne Viegas
2012 — conf
Linking Documentation and Source Code in a Software Chrestomathy.
WCRE
Jean-Marie Favre, Ralf Lämmel, Martin Leinberger, Thomas Schmorleiz, Andrei Varanovich