Skip to main navigation
Skip to search
Skip to main content
Research portal Eindhoven University of Technology Home
Help & FAQ
English
Nederlands
Home
Researchers
Research output
Organisational Units
Activities
Projects
Prizes
Press/Media
Facilities / Equipment
Datasets
Courses
Research areas
Student theses
Search by expertise, name or affiliation
View Scopus Profile
Tim A.C. Willemse
dr.ir.
Mathematics and Computer Science
,
Formal System Analysis
Associate Professor
,
Mathematics and Computer Science
,
Algorithms and Logics for Verification
Associate Professor
,
Mathematics and Computer Science
,
Formal System Analysis
Associate Professor
,
EAISI High Tech Systems
https://orcid.org/0000-0003-3049-7962
Email
t.a.c.willemse
tue
nl
1158
Citations - based on content available in repository [source: Scopus]
1999
2024
Content available in repository
Overview
Fingerprint
Network
Research output
(163)
Datasets
(5)
Prizes
(5)
Activities
(1)
Courses
(2)
Thesis
(1)
Similar Profiles
(6)
Supervised Work
(47)
Courses
2 results
Title
(ascending)
Title
(descending)
Search results
Algorithms for Model Checking
1/09/15
→ …
Course
Process theory
1/09/18
→ …
Course