Institute for Computing Systems Architecture

Research output

Research output per year 1985 2007 2009 2010 2011 2012 2013 2014 2015 2016 2017 2018 2019 2020 2021 2022 2023 2025

• 1021 Conference contribution
• 336 Article
• 63 Paper
• 24 Chapter
• 84 More
  • 19 Patent
  • 11 Book
  • 10 Chapter (peer-reviewed)
  • 9 Working paper
  • 7 Poster
  • 4 Abstract
  • 3 Other
  • 3 Comment/debate
  • 3 Preprint
  • 2 Commissioned report
  • 2 Other report
  • 2 Letter
  • 2 Software
  • 2 Other contribution
  • 1 Entry for encyclopedia/dictionary
  • 1 Book/Film/Article review
  • 1 Editorial
  • 1 Special issue
  • 1 Artefact

Research output per year

Research output per year

Search results

• 2023

  Artifact for Shoggoth: A formal foundation for strategic rewriting

  Qin, X. (Developer), O'Connor, L. (Developer), van Glabbeek, R. (Developer), Höfner, P. (Developer), Kammar, O. (Developer) & Steuwer, M. (Developer), 14 Nov 2023

  Research output: Non-textual form › Software

  Open Access

  • Weakest Precondition 100%
  • Operational Semantics 50%
  • Soundness 50%
  • Denotational Semantics 50%
  • Detail Information 50%
• 2008

  libPlugin - Open-Source Compiler Extensibility Infrastructure

  Leather, H. (Developer), 2008

  Research output: Non-textual form › Software