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

• 2016

  Algorithmisches Zeichnen von Automaten.

  Henke, G., 2016

  Publikation: Publizierte Abschlussarbeiten › Bachelorarbeiten

• Effizienter Leerheitstest pro Zustand auf Buch-Automaten

  Kallwies, H., 2016

  Publikation: Publizierte Abschlussarbeiten › Bachelorarbeiten

• Vierwertige Timed-Linear-Temporal-Logic

  Bierschenk, M., 2016

  Publikation: Publizierte Abschlussarbeiten › Bachelorarbeiten
• 2015

  An Algorithmic Toolbox to Facilitate the Genetic Finite Automata Based Approach for Negative Selection

  Pott, C., 2015

  Publikation: Publizierte Abschlussarbeiten › Bachelorarbeiten

• Extending Freeze LTL on Multi-Attributed Data Words with Quantifiers

  Pirogov, A., 2015

  Publikation: Publizierte Abschlussarbeiten › Bachelorarbeiten

• From 2-Ways Nondeterministic Büchi Automata to Alternating Büchi Automata

  Kabelitz, M., 2015

  Publikation: Publizierte Abschlussarbeiten › Bachelorarbeiten

• Graph-basierte Wasserzeichen für Software

  Buss, K-D., 2015

  Publikation: Publizierte Abschlussarbeiten › Bachelorarbeiten
• 2014

  Entwicklung eines SAT-Solvers.

  Harder, J., 2014

  Publikation: Publizierte Abschlussarbeiten › Bachelorarbeiten

• Vier-wertige Abwicklungssemantik für Timet-LTL.

  Meschkat, M., 2014

  Publikation: Publizierte Abschlussarbeiten › Bachelorarbeiten
• 2013

  Mehrdimensionale Histogram Equalization: Modellierung und komplexitätstheoretische Analyse

  Idelberger, A., 2013

  Publikation: Publizierte Abschlussarbeiten › Bachelorarbeiten
• 2012

  Algorithmen und Datenstrukturen für Prioritätswarteschlangen auf partiellen Ordnungen

  Krüger, C., 2012

  Publikation: Publizierte Abschlussarbeiten › Bachelorarbeiten

• Multimengen-Baumautomaten: Analyse und Implementierung

  Bürger, M., 2012

  Publikation: Publizierte Abschlussarbeiten › Bachelorarbeiten

• Transformation von regulärer Linearzeit-Temporallogik zu Paritätsautomaten.

  Schmitz, M., 2012

  Publikation: Publizierte Abschlussarbeiten › Bachelorarbeiten

• Turn Costs in Energy-Optimal Route Planning for Electric Vehicles

  Harms, P., 2012

  Publikation: Publizierte Abschlussarbeiten › Bachelorarbeiten
• 2011

  Transformationen von Paritätsautomaten in Büchi-Automaten

  Scheffel, T., 2011

  Publikation: Publizierte Abschlussarbeiten › Bachelorarbeiten