Skip to main navigation
Skip to search
Skip to main content
University of Twente Research Information Home
Home
Profiles
Research units
Projects
Research output
Datasets
Activities
Prizes
Press/Media
Search by expertise, name or affiliation
Formal Methods and Tools
University of Twente
Faculty of Electrical Engineering, Mathematics and Computer Science
Overview
Fingerprint
Network
Profiles
(26)
Research output
(1699)
Datasets
(95)
Prizes
(21)
Activities
(99)
Press/Media
(2)
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
2 results
Publication Year, Title
(descending)
Publication Year, Title
(ascending)
Title
Type
Filter
PhD Thesis - Research UT, graduation external
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)