Institut für Softwaretechnik und Programmiersprachen

Publikationen

Publikationen pro Jahr 1996 2003 2004 2005 2007 2008 2012 2014 2016 2018 2024

• 746 Scopus-Zitationen
• 95 Konferenzpapiere
• 87 Konferenzbeitrag
• 50 Zeitschriftenaufsätze
• 15 Bachelorarbeiten
• 39 Mehr
  • 14 Masterarbeiten
  • 8 Anthologien
  • 4 Konferenzbände und -dokumentationen
  • 4 Andere
  • 2 Kapitel
  • 2 Leitartikel
  • 1 Bücher
  • 1 Besondere Zeitschrifteneditionen/Sonderausgaben
  • 1 Konferenzaufsätze in Fachzeitschriften
  • 1 Übersichtsarbeiten
  • 1 Dissertationen

Publikationen pro Jahr

Publikationen pro Jahr

Suchergebnisse

• 2019

  Preface to special issue: ICTAC 2015

  Leucker, M., Pérez, J. A., Rueda, C. & Valencia, F. D., 01.01.2019, in: Mathematical Structures in Computer Science. 29, 1, S. 1-2 2 S.

  Publikation: Beiträge in Fachzeitschriften › Leitartikel
• 2014

  Guest editors' preface to special issue on interval temporal logics

  Moszkowski, B., Guelev, D. & Leucker, M., 01.01.2014, in: Annals of Mathematics and Artificial Intelligence. 71, 1-3, S. 1-9 9 S.

  Publikation: Beiträge in Fachzeitschriften › Leitartikel

  • logic 100%
  • editor 77%
  • artificial intelligence 29%
  • computer science 26%
  • Italy 24%