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
(19)
Research output
(1461)
Datasets
(14)
Prizes
(10)
Activities
(98)
Research output
Research output per year
1987
2001
2005
2006
2008
2009
2010
2012
2013
2014
2015
2016
2017
2018
2019
2020
2021
2022
676
Conference contribution
304
Article
164
Report
84
Chapter
233
More
84
Paper
54
PhD Thesis - Research UT, graduation UT
27
Book editing
12
Working paper
8
Book
7
Editorial
6
Abstract
6
Conference article
4
Foreword/postscript
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
Pd Eng Thesis
1
PhD Thesis - Research UT, graduation external
1
Preprint
Research output per year
Research output per year
3 results
Publication Year, Title
(descending)
Publication Year, Title
(ascending)
Title
Type
Filter
Pd Eng Thesis
Search results
2021
Synthesising middleware components for reusable software
van der Vlist, K. B.
,
1 Dec 2021
, Enschede:
University of Twente
.
98 p.
Research output
:
Thesis
›
Pd Eng Thesis
Open Access
File
83
Downloads (Pure)
Zero-downtime schema changes
Dijkstra, J-J.
,
1 Sep 2021
, Enschede:
University of Twente
.
108 p.
Research output
:
Thesis
›
Pd Eng Thesis
Open Access
File
81
Downloads (Pure)
2020
Data-driven damage detection for bridges through vibration structural health monitoring
Jimenez-Roa, L. A.
,
23 Nov 2020
,
179 p.
Research output
:
Thesis
›
Pd Eng Thesis
Open Access
File
Damage detection
100%
Structural health monitoring
95%
Principal component analysis
84%
Support vector machines
36%
Inspection
34%
111
Downloads (Pure)