Informatics 2 - Chair of Formal Languages, Compiler Construction, Software Construction

Research output

Research output per year 2004 2004 2005 2007 2010 2011 2012 2016 2018 2020 2023 2024 2025

• 80 Conference contribution
• 34 Article
• 8 Chapter
• 6 Conference article
• 7 More
  • 4 Editorial
  • 2 Book
  • 1 Paper

Research output per year

Research output per year

Search results

• 2022

  Preface

  Seidl, H., Liu, Z. & Pasareanu, C. S., 2022, In: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 13572 LNCS, p. v-vi

  Research output: Contribution to journal › Editorial
• 2014

  Preface

  Müller-Olm, M. & Seidl, H., 2014, In: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 8723 LNCS, p. V-VI

  Research output: Contribution to journal › Editorial
• 2012

  Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics): Preface

  Seidl, H., 2012, In: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 7211 LNCS, p. VIII

  Research output: Contribution to journal › Editorial
• 2007

  Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics: Preface

  Seidl, H., 2007, In: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 4423 LNCS, p. ix

  Research output: Contribution to journal › Editorial