Follow
Martin Leinberger
Martin Leinberger
Bosch Corporate Research
Verified email at de.bosch.com - Homepage
Title
Cited by
Cited by
Year
Semantic web application development with LITEQ
M Leinberger, S Scheglmann, R Lämmel, S Staab, M Thimm, E Viegas
The Semantic Web–ISWC 2014: 13th International Semantic Web Conference, Riva …, 2014
272014
Deciding SHACL shape containment through description logics reasoning
M Leinberger, P Seifer, T Rienstra, R Lämmel, S Staab
The Semantic Web–ISWC 2020: 19th International Semantic Web Conference …, 2020
252020
Linking documentation and source code in a software chrestomathy
JM Favre, R Lämmel, M Leinberger, T Schmorleiz, A Varanovich
2012 19th Working Conference on Reverse Engineering, 335-344, 2012
212012
Empirical study on the usage of graph query languages in open source Java projects
P Seifer, J Härtel, M Leinberger, R Lämmel, S Staab
Proceedings of the 12th ACM SIGPLAN international conference on software …, 2019
192019
The essence of functional programming on semantic data
M Leinberger, R Lämmel, S Staab
European Symposium on Programming, 750-776, 2017
182017
Type checking program code using SHACL
M Leinberger, P Seifer, C Schon, R Lämmel, S Staab
The Semantic Web–ISWC 2019: 18th International Semantic Web Conference …, 2019
162019
Semantic query integration with reason
P Seifer, M Leinberger, R Lämmel, S Staab
arXiv preprint arXiv:1902.00545, 2019
82019
Comparison of feature implementations across languages, technologies, and styles
R Lämmel, M Leinberger, T Schmorleiz, A Varanovich
2014 Software Evolution Week-IEEE Conference on Software Maintenance …, 2014
72014
Data placement strategies that speed-up distributed graph query processing
D Janke, S Staab, M Leinberger
Proceedings of The International Workshop on Semantic Big Data, 1-6, 2020
42020
Type-Safe Programming with OWL in Semantics4J.
C Hartenfels, M Leinberger, R Lämmel, S Staab
ISWC (Posters, Demos & Industry Tracks), 2017
42017
Type-safe programming for the semantic web
M Leinberger
IOS Press, 2021
32021
Declarative software development: distilled tutorial
R Lämmel, A Varanovich, M Leinberger, T Schmorleiz, JM Favre
Proceedings of the 16th International Symposium on Principles and Practice …, 2014
32014
Programming the Semantic Web
S Staab, S Scheglmann, M Leinberger, T Gottron
The Semantic Web: Trends and Challenges: 11th International Conference, ESWC …, 2014
32014
Ide integrated rdf exploration, access and rdf-based code typing with liteq
S Scheglmann, R Lämmel, M Leinberger, S Staab, M Thimm, E Viegas
The Semantic Web: ESWC 2014 Satellite Events: ESWC 2014 Satellite Events …, 2014
32014
Sepal: Schema enhanced programming for linked data
S Scheglmann, M Leinberger, T Gottron, S Staab, R Lämmel
KI-Künstliche Intelligenz 30, 189-192, 2016
12016
Enhancement of a software chrestomathy for open linked data
M Leinberger
MA thesis. Universität Koblenz-Landau, 2013
12013
LambdaDL: Syntax and Semantics (Preliminary Report)
M Leinberger, R Lämmel, S Staab
arXiv preprint arXiv:1610.07033, 2016
2016
Property-based typing with LITEQ.
S Scheglmann, M Leinberger, R Lämmel, S Staab, M Thimm, E Viegas
ISWC (Posters & Demos), 149-152, 2014
2014
The SoLaSoTe ontology for software languages and technologies
R Lämmel, M Leinberger, A Varanovich
SATToSE 2014—Pre-proceedings, 63, 0
The system can't perform the operation now. Try again later.
Articles 1–19