| 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 | 34 | 2020 |
| 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 | 28 | 2014 |
| 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 | 22 | 2012 |
| 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 | 19 | 2019 |
| The essence of functional programming on semantic data M Leinberger, R Lämmel, S Staab European Symposium on Programming, 750-776, 2017 | 18 | 2017 |
| 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 | 17 | 2019 |
| Semantic query integration with reason P Seifer, M Leinberger, R Lämmel, S Staab arXiv preprint arXiv:1902.00545, 2019 | 8 | 2019 |
| 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 | 8 | 2014 |
| Type-safe programming for the semantic web M Leinberger IOS Press, 2021 | 4 | 2021 |
| 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 | 4 | 2020 |
| Type-Safe Programming with OWL in Semantics4J. C Hartenfels, M Leinberger, R Lämmel, S Staab ISWC (Posters, Demos & Industry Tracks), 2017 | 4 | 2017 |
| Programming the Semantic Web S Staab, S Scheglmann, M Leinberger, T Gottron The Semantic Web: Trends and Challenges: 11th International Conference, ESWC …, 2014 | 4 | 2014 |
| 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 | 3 | 2014 |
| 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 | 3 | 2014 |
| 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 | 1 | 2016 |
| Enhancement of a software chrestomathy for open linked data M Leinberger MA thesis. Universität Koblenz-Landau, 2013 | 1 | 2013 |
| 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 | | |
