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

Martin Leinberger

[go to overview]

Scientific Employee

Details

  • E-Mail: mleinberger@uni-koblenz.de
  • Office: B 103
  • Phone: +49 261 287-2439

Projects

Teaching

Publications

2019

2017

  • Hartenfels, C. et al. 2017. Type-Safe Programming with OWL in Semantics4J. International Semantic Web Conference (Posters, Demos & Industry Tracks) (2017). [PDF | URL | BibTeX | BibSonomy]
  • Leinberger, M. et al. 2017. The Essence of Functional Programming on Semantic Data. 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 (2017), 750–776. [PDF | BibTeX | BibSonomy]

2016

  • Leinberger, M. et al. 2016. LambdaDL: Syntax and Semantics (Preliminary Report). CoRR. abs/1610.07033, (2016). [PDF | URL | BibTeX | BibSonomy]
  • Scheglmann, S. et al. 2016. SEPAL: Schema Enhanced Programming for Linked Data. KI. 30, 2 (2016), 189–192. DOI:https://doi.org/10.1007/s13218-015-0418-4. [PDF | DOI:10.1007/s13218-015-0418-4 | URL | BibTeX | BibSonomy]

2014

  • Leinberger, M. et al. 2014. Semantic Web Application Development with LITEQ. The Semantic Web - ISWC 2014 - 13th International Semantic Web Conference, Riva del Garda, Italy, October 19-23, 2014. Proceedings, Part II (2014), 212–227. [PDF | DOI:10.1007/978-3-319-11915-1_14 | URL | BibTeX | BibSonomy]
  • Lämmel, R. et al. 2014. Declarative Software Development: Distilled Tutorial. Proceedings of the 16th International Symposium on Principles and Practice of Declarative Programming (2014), 1–6. [DOI:10.1145/2643135.2643163 | URL | BibTeX | BibSonomy]
  • Lämmel, R. et al. 2014. Comparison of Feature Implementations across Languages, Technologies, and Styles. Proc.\ of IEEE CSMR-WCRE 2014 (2014). [PDF | BibTeX | BibSonomy]
  • Scheglmann, S. et al. 2014. IDE Integrated RDF Exploration, Access and RDF-Based Code Typing with LITEQ. The Semantic Web: ESWC 2014 Satellite Events - ESWC 2014 Satellite Events, Anissaras, Crete, Greece, May 25-29, 2014, Revised Selected Papers (2014), 505–510. [PDF | DOI:10.1007/978-3-319-11955-7_75 | URL | BibTeX | BibSonomy]
  • Scheglmann, S. et al. 2014. Property-based typing with LITEQ. 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. (2014), 149–152. [PDF | URL | BibTeX | BibSonomy]
  • Staab, S. et al. 2014. Programming the Semantic Web. The Semantic Web: Trends and Challenges - 11th International Conference, ESWC 2014, Anissaras, Crete, Greece, May 25-29, 2014. Proceedings (2014), 1–5. [DOI:10.1007/978-3-319-07443-6_1 | URL | BibTeX | BibSonomy]

2012

  • Favre, J.-M. et al. 2012. Linking Documentation and Source Code in a Software Chrestomathy. WCRE (2012), 335–344. [PDF | BibTeX | BibSonomy]