Author: Hans Toetenel

Publications

Publication period start: 2001
Number of co-authors: 5

Co-authors

Number of publications with favourite co-authors
Ruud C. M. de Rooij
1
Ella E. Roubtsova
1
Jan van Katwijk
1

Productive Colleagues

Most productive colleagues in number of publications
Jan van Katwijk
2
R. F. Lutje Spelberg
3
Ella E. Roubtsova
6

Publications

Bandini, G., Spelberg, R. F. Lutje, Rooij, Ruud C. M. de, Toetenel, Hans (2001): Application of Parametric Model Checking - The Root Contention Protocol. In: HICSS 2001 , 2001, . https://csdl.computer.org/comp/proceedings/hicss/2001/0981/09/09819070abs.htm

Toetenel, Hans, Roubtsova, Ella E., Katwijk, Jan van (2001): A Timed Automata Semantics for Real-Time UML Specifications. In: HCC 2001 - IEEE CS International Symposium on Human-Centric Computing Languages and Environments September 5-7, 2001, Stresa, Italy. pp. 88-95. https://csdl.computer.org/comp/proceedings/hcc/2001/0474/00/04740088abs.htm

New to UX Design? We're Giving You a Free eBook!

The Basics of User Experience Design

Download our free ebook “The Basics of User Experience Design” to learn about core concepts of UX design.

In 9 chapters, we’ll cover: conducting user interviews, design thinking, interaction design, mobile UX design, usability, UX research, and many more!

A valid email address is required.
314,818 designers enjoy our newsletter—sure you don’t want to receive it?

New to UX Design? We're Giving You a Free eBook!

The Basics of User Experience Design

Download our free ebook “The Basics of User Experience Design” to learn about core concepts of UX design.

In 9 chapters, we’ll cover: conducting user interviews, design thinking, interaction design, mobile UX design, usability, UX research, and many more!

A valid email address is required.
314,818 designers enjoy our newsletter—sure you don’t want to receive it?