Martin Leinberger

According to our database, Martin Leinberger authored at least 20 papers between 2012 and 2023.

Collaborative distances:

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

2023

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

2021

Type-safe Programming for the Semantic Web.

Martin Leinberger

PhD thesis, 2021

2020

Deciding SHACL Shape Containment through Description Logics Reasoning (Extended Version).

Martin Leinberger, Philipp Seifer, Tjitze Rienstra, Ralf Lämmel, Steffen Staab

CoRR, 2020

Data placement strategies that speed-up distributed graph query processing.

Daniel Janke, Steffen Staab, Martin Leinberger

Proceedings of The International Workshop on Semantic Big Data, 2020

Deciding SHACL Shape Containment Through Description Logics Reasoning.

Martin Leinberger, Philipp Seifer, Tjitze Rienstra, Ralf Lämmel, Steffen Staab

Proceedings of the Semantic Web - ISWC 2020, 2020

2019

Semantic Query Integration With Reason.

Philipp Seifer, Martin Leinberger, Ralf Lämmel, Steffen Staab

Art Sci. Eng. Program., 2019

Type Checking Program Code using SHACL (Extended Version).

Martin Leinberger, Philipp Seifer, Claudia Schon, Ralf Lämmel, Steffen Staab

CoRR, 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

Proceedings of the 12th ACM SIGPLAN International Conference on Software Language Engineering, 2019

Type Checking Program Code Using SHACL.

Martin Leinberger, Philipp Seifer, Claudia Schon, Ralf Lämmel, Steffen Staab

Proceedings of the Semantic Web - ISWC 2019, 2019

2017

Type-Safe Programming with OWL in Semantics4J.

Carsten Hartenfels, Martin Leinberger, Ralf Lämmel, Steffen Staab

Proceedings of the ISWC 2017 Posters & Demonstrations and Industry Tracks co-located with 16th International Semantic Web Conference (ISWC 2017), Vienna, Austria, October 23rd - to, 2017

The Essence of Functional Programming on Semantic Data.

Martin Leinberger, Ralf Lämmel, Steffen Staab

Proceedings of the Programming Languages and Systems, 2017

2016

SEPAL: Schema Enhanced Programming for Linked Data.

Stefan Scheglmann, Martin Leinberger, Thomas Gottron, Steffen Staab, Ralf Lämmel

Künstliche Intell., 2016

LambdaDL: Syntax and Semantics (Preliminary Report).

Martin Leinberger, Ralf Lämmel, Steffen Staab

CoRR, 2016

2014

Property-based typing with LITEQ.

Stefan Scheglmann, Martin Leinberger, Ralf Lämmel, Steffen Staab, Matthias Thimm

Proceedings of the ISWC 2014 Posters & Demonstrations Track a track within the 13th International Semantic Web Conference, 2014

Semantic Web Application Development with LITEQ.

Martin Leinberger, Stefan Scheglmann, Ralf Lämmel, Steffen Staab, Matthias Thimm, Evelyne Viegas

Proceedings of the Semantic Web - ISWC 2014, 2014

Declarative Software Development: Distilled Tutorial.

Ralf Lämmel, Andrei Varanovich, Martin Leinberger, Thomas Schmorleiz, Jean-Marie Favre

Proceedings of the 16th International Symposium on Principles and Practice of Declarative Programming, 2014

Programming the Semantic Web.

Steffen Staab, Stefan Scheglmann, Martin Leinberger, Thomas Gottron

Proceedings of the Semantic Web: Trends and Challenges - 11th International Conference, 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

Proceedings of the Semantic Web: ESWC 2014 Satellite Events, 2014

Comparison of feature implementations across languages, technologies, and styles.

Ralf Lämmel, Martin Leinberger, Thomas Schmorleiz, Andrei Varanovich

Proceedings of the 2014 Software Evolution Week, 2014

2012

Linking Documentation and Source Code in a Software Chrestomathy.

Jean-Marie Favre, Ralf Lämmel, Martin Leinberger, Thomas Schmorleiz, Andrei Varanovich

Proceedings of the 19th Working Conference on Reverse Engineering, 2012