Institute for Web Science and Technologies · Universität Koblenz - Landau
Institute WeST

Martin Leinberger

[zur Übersicht]

Wissenschaftlicher Mitarbeiter

Details

  • E-Mail: mleinberger@uni-koblenz.de
  • Büro: B 103
  • Telefon: +49 261 287-2439

Projekte

Lehre

Offene Abschlussarbeiten

Publikationen

2019

2017

  • Hartenfels, C., Leinberger, M., Lämmel, R., & Staab, S. (2017). Type-Safe Programming with OWL in Semantics4J. In N. Nikitina, D. Song, A. Fokoue, & P. Haase, N. Nikitina, D. Song, A. Fokoue, & P. Haase (Eds.), International Semantic Web Conference (Posters, Demos & Industry Tracks) (Vol. 1963). CEUR-WS.org. Retrieved from http://dblp.uni-trier.de/db/conf/semweb/iswc2017p.html#HartenfelsLLS17 [PDF | URL | BibTeX | BibSonomy]
  • Leinberger, M., Lämmel, R., & Staab, S. (2017). The Essence of Functional Programming on Semantic Data. In Programming Languages and Systems - 26th European Symposium on Programming, ESOP 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings (pp. 750–776). Springer. [PDF | BibTeX | BibSonomy]

2016

  • Leinberger, M., Lämmel, R., & Staab, S. (2016). LambdaDL: Syntax and Semantics (Preliminary Report). CoRR, abs/1610.07033. Retrieved from http://arxiv.org/abs/1610.07033 [PDF | URL | BibTeX | BibSonomy]
  • Scheglmann, S., Leinberger, M., Gottron, T., Staab, S., & Lämmel, R. (2016). SEPAL: Schema Enhanced Programming for Linked Data. KI, 30(2), 189–192. https://doi.org/10.1007/s13218-015-0418-4 [PDF | DOI:10.1007/s13218-015-0418-4 | URL | BibTeX | BibSonomy]

2014

  • Leinberger, M., Scheglmann, S., Lämmel, R., Staab, S., Thimm, M., & Viegas, E. (2014). Semantic Web Application Development with LITEQ. In The Semantic Web - ISWC 2014 - 13th International Semantic Web Conference, Riva del Garda, Italy, October 19-23, 2014. Proceedings, Part II (pp. 212–227). https://doi.org/10.1007/978-3-319-11915-1_14 [PDF | DOI:10.1007/978-3-319-11915-1_14 | URL | BibTeX | BibSonomy]
  • Lämmel, R., Varanovich, A., Leinberger, M., Schmorleiz, T., & Favre, J.-M. (2014). Declarative Software Development: Distilled Tutorial. In Proceedings of the 16th International Symposium on Principles and Practice of Declarative Programming (pp. 1–6). https://doi.org/10.1145/2643135.2643163 [DOI:10.1145/2643135.2643163 | URL | BibTeX | BibSonomy]
  • Lämmel, R., Leinberger, M., Schmorleiz, T., & Varanovich, A. (2014). Comparison of Feature Implementations across Languages, Technologies, and Styles. In Proc.\ of IEEE CSMR-WCRE 2014. IEEE. [PDF | BibTeX | BibSonomy]
  • Scheglmann, S., Lämmel, R., Leinberger, M., Staab, S., Thimm, M., & Viegas, E. (2014). IDE Integrated RDF Exploration, Access and RDF-Based Code Typing with LITEQ. In The Semantic Web: ESWC 2014 Satellite Events - ESWC 2014 Satellite Events, Anissaras, Crete, Greece, May 25-29, 2014, Revised Selected Papers (pp. 505–510). https://doi.org/10.1007/978-3-319-11955-7_75 [PDF | DOI:10.1007/978-3-319-11955-7_75 | URL | BibTeX | BibSonomy]
  • Scheglmann, S., Leinberger, M., Lämmel, R., Staab, S., & Thimm, M. (2014). Property-based typing with LITEQ. In Proceedings of the ISWC 2014 Posters & Demonstrations Track a track within the 13th International Semantic Web Conference, ISWC 2014, Riva del Garda, Italy, October 21, 2014. (pp. 149–152). Retrieved from http://ceur-ws.org/Vol-1272/paper_118.pdf [PDF | URL | BibTeX | BibSonomy]
  • Staab, S., Scheglmann, S., Leinberger, M., & Gottron, T. (2014). Programming the Semantic Web. In V. Presutti, C. d'Amato, F. Gandon, M. d'Aquin, S. Staab, & A. Tordai, V. Presutti, C. d'Amato, F. Gandon, M. d'Aquin, S. Staab, & A. Tordai (Eds.), The Semantic Web: Trends and Challenges - 11th International Conference, ESWC 2014, Anissaras, Crete, Greece, May 25-29, 2014. Proceedings (Vol. 8465, pp. 1–5). Springer. https://doi.org/10.1007/978-3-319-07443-6_1 [DOI:10.1007/978-3-319-07443-6_1 | URL | BibTeX | BibSonomy]

2012

  • Favre, J.-M., Lammel, R., Leinberger, M., Schmorleiz, T., & Varanovich, A. (2012). Linking Documentation and Source Code in a Software Chrestomathy. In WCRE (pp. 335–344). IEEE Computer Society. [PDF | BibTeX | BibSonomy]