Formal Methods and Tools

Research output

Research output per year 1987 2005 2006 2008 2009 2010 2011 2012 2013 2014 2015 2016 2017 2018 2019 2020 2021 2022 2023 2024 2025

• 787 Conference contribution
• 343 Article
• 164 Report
• 101 Chapter
• 297 More
  • 80 Paper
  • 64 PhD Thesis - Research UT, graduation UT
  • 32 Book editing
  • 29 Preprint
  • 15 Working paper
  • 14 Conference article
  • 10 Editorial
  • 8 Book
  • 7 Foreword/postscript
  • 7 Abstract
  • 4 Poster
  • 4 Digital or Visual Products
  • 3 Inaugural speech
  • 3 Meeting Abstract
  • 3 Review article
  • 3 Web publication/site
  • 3 PhD Thesis - Research external, graduation UT
  • 3 EngD Thesis
  • 2 PhD Thesis - Research UT, graduation external
  • 1 Other
  • 1 Comment/Letter to the editor
  • 1 Software

Research output per year

Research output per year

Search results

• 2021

  Artifact for paper (Alpinist: an Annotation-Aware GPU Program Optimizer)

  Şakar, Ö., Safari, M., Huisman, M. & Wijs, A., 22 Nov 2021

  Research output: Non-textual form › Software › Academic

  Open Access

  • Functional Property 100%