Martin Leinberger
Martin Leinberger
Institute for Web Science, University of Koblenz-Landau
Verified email at uni-koblenz.de - 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
202014
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
182012
The essence of functional programming on semantic data
M Leinberger, R Lämmel, S Staab
European Symposium on Programming, 750-776, 2017
122017
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
32019
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
European Semantic Web Conference, 1-5, 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 Checking Program Code Using SHACL
M Leinberger, P Seifer, C Schon, R Lämmel, S Staab
International Semantic Web Conference, 399-417, 2019
22019
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
22017
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
12020
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
12020
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
12019
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
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–18