| 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 | 26 | 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 |
| The essence of functional programming on semantic data M Leinberger, R Lämmel, S Staab European Symposium on Programming, 750-776, 2017 | 17 | 2017 |
| 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 | 12 | 2020 |
| Type checking program code using SHACL M Leinberger, P Seifer, C Schon, R Lämmel, S Staab International Semantic Web Conference, 399-417, 2019 | 12 | 2019 |
| 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 | 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 | 7 | 2014 |
| Semantic query integration with reason P Seifer, M Leinberger, R Lämmel, S Staab arXiv preprint arXiv:1902.00545, 2019 | 6 | 2019 |
| 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 | 5 | 2017 |
| 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 |
| Programming the Semantic Web S Staab, S Scheglmann, M Leinberger, T Gottron European Semantic Web Conference, 1-5, 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 European Semantic Web Conference, 505-510, 2014 | 3 | 2014 |
| Type-safe Programming for the Semantic Web M Leinberger Universität Koblenz-Landau, 2021 | 1 | 2021 |
| 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 | 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 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 | | |
