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

• 789 Conference contribution
• 345 Article
• 164 Report
• 102 Chapter
• 299 More
  • 81 Paper
  • 64 PhD Thesis - Research UT, graduation UT
  • 33 Book editing
  • 30 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 Web publication/site
  • 3 PhD Thesis - Research external, graduation UT
  • 3 EngD Thesis
  • 2 Review article
  • 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

• 2002

  Probabilistic Process Algebra

  Andova, S., 26 Nov 2002, Eindhoven: Eindhoven University of Technology.

  Research output: Thesis › PhD Thesis - Research UT, graduation external

  Open Access

  File
  106 Downloads (Pure)
• 1999

  Analysing Industrial Protocols with Formal Methods

  Romijn, J. M. T. & Romijn, J. M. T., 15 Oct 1999, Enschede: University of Twente. 190 p.

  Research output: Thesis › PhD Thesis - Research UT, graduation external

  Open Access

  File
  332 Downloads (Pure)