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
International Semantic Web Conference, 212-227, 2014
262014
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
222012
The essence of functional programming on semantic data
M Leinberger, R Lämmel, S Staab
European Symposium on Programming, 750-776, 2017
172017
Deciding SHACL shape containment through description logics reasoning
M Leinberger, P Seifer, T Rienstra, R Lämmel, S Staab
International Semantic Web Conference, 366-383, 2020
122020
Type checking program code using SHACL
M Leinberger, P Seifer, C Schon, R Lämmel, S Staab
International Semantic Web Conference, 399-417, 2019
122019
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
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
Semantic query integration with reason
P Seifer, M Leinberger, R Lämmel, S Staab
arXiv preprint arXiv:1902.00545, 2019
62019
Type-Safe Programming with OWL in Semantics4J.
C Hartenfels, M Leinberger, R Lämmel, S Staab
International Semantic Web Conference (Posters, Demos & Industry Tracks), 2017
52017
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
Programming the Semantic Web
S Staab, S Scheglmann, M Leinberger, T Gottron
European Semantic Web Conference, 1-5, 2014
42014
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
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
European Semantic Web Conference, 505-510, 2014
32014
Type-safe Programming for the Semantic Web
M Leinberger
Universität Koblenz-Landau, 2021
12021
Sepal: Schema enhanced programming for linked data
S Scheglmann, M Leinberger, T Gottron, S Staab, R Lämmel
KI-Künstliche Intelligenz 30 (2), 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
International Semantic Web Conference (Posters & Demos), 149-152, 2014
2014
Declarative Software Development
R Lämmel, A Varanovich, M Leinberger, T Schmorleiz, JM Favre
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–20