Jump to navigation

Search form

  • My account
  • Impressum
University of Lübeck
University of Lübeck
Institute for Software Engineering
and Programming Languages
Home

You are here

Home ›

Biblio

Found 441 results
2018
PDF icon sac2018.pdf (931.2 KB)
PDF icon 1808.10717.pdf (376.77 KB)
2017
PDF icon COEMS_open_traces_from_the_industry.pdf (772.18 KB)
PDF icon dagstuhl2017.pdf (2.28 MB)
2016
PDF icon main.pdf (194.58 KB)
PDF icon main.pdf (296.48 KB)
PDF icon itSchulenISP.pdf (1.36 MB)
PDF icon Decker_Leucker_Thoma-Monitoring_Modulo_Theories-STTT15.pdf (586.11 KB)
PDF icon DHSST_-_RV_with_Union-Find-tacas16.pdf (841.52 KB)
PDF icon main.pdf (355.8 KB)
2015
PDF icon SecuredSOA.pdf (133.83 KB)
PDF icon main.pdf (506.32 KB)
2014
PDF icon PETRI14-final.pdf (401.04 KB)

Pages

  • « first
  • ‹ previous
  • 1
  • 2
  • 3
  • 4
  • 5
  • 6
  • 7
  • 8
  • 9
  • …
  • next ›
  • last »
  • News
  • Research
    • Projects
    • Publications
    • Partners
  • Teaching
    • Theses
      • FAQ
      • Templates
    • Courses
  • Staff
    • Martin Leucker
    • Diedrich Wolter
    • Ulrike Schräger-Ahrens
    • Mahmoud Abdelrehim
    • Aliyu Ali
    • Christopher Walther
    • Phillip Bende
    • Moritz Bayerkuhnlein
    • Marc Bätje
    • Tobias Braun
    • Gerhard Buntrock
    • Raik Dankworth
    • Anja Grotrian
    • Raik Hipler
    • Elaheh Hosseinkhani
    • Frauke Kerlin
    • Karam Kharraz
    • Mohammad Khodaygani
    • Ludwig Pechmann
    • Waqas Rehan
    • Martin Sachenbacher
    • Andreas Schuldei
    • Mahdi Pourghasem
    • Manuel Herbst
    • Inger Struve
    • Annette Stümpel
    • Gesina Schwalbe
    • Tobias Schwartz
    • Daniel Thoma
    • Sparsh Tiwari
    • Lars Vosteen
    • Open Positions
  • Contact

 

© ISP - Institute for Software Engineering and Programming Languages 1996-2025