Erik P. de Vink

View Scopus Profile

Emaile.p.d.vinktuenl

1735

Citations - based on content available in repository [source: Scopus]

Content available in repository

Jan Friso Groote

j.f.grootetuenl

Mathematics and Computer Science, Formal System Analysis - Full Professor
EAISI Foundational - Full Professor
EAISI High Tech Systems - Full Professor
Mathematics and Computer Science, Formal System Analysis - Full Professor

Person: HGL : Professor

16 shared research output

Jerry I. den Hartog

j.d.hartogtuenl

Mathematics and Computer Science, Security - Assistant Professor

Person: UD : Assistant Professor

11 shared research output

Tim A.C. Willemse

t.a.c.willemsetuenl

Mathematics and Computer Science, Formal System Analysis - Associate Professor
Mathematics and Computer Science, Algorithms and Logics for Verification - Associate Professor
EAISI High Tech Systems - Associate Professor

Person: UHD : Associate Professor

9 shared research output

Dragan Bosnacki

d.bosnackituenl

Biomedical Engineering, Computational Biology - Assistant Professor
EAISI Health - Assistant Professor

Person: UD : Assistant Professor

7 shared research output

Jeroen J.A. Keiren

j.j.a.keirentuenl

Mathematics and Computer Science, Formal System Analysis - Assistant Professor
Mathematics and Computer Science, Formal System Analysis - Assistant Professor

Person: UD : Assistant Professor

5 shared research output

S.P. (Bas) Luttik

s.p.luttiktuenl

Mathematics and Computer Science, Formal System Analysis - Associate Professor
EAISI Foundational - Associate Professor

Person: UHD : Associate Professor

3 shared research output

Jan Martens, MSc

j.j.m.martenstuenl

Mathematics and Computer Science, Formal System Analysis - Former Doctoral Candidate

Person: Prom. : doctoral candidate (PhD)

3 shared research output

J.W. (Wieger) Wesselink

j.w.wesselinktuenl

Mathematics and Computer Science, Formal System Analysis - ICT Developer
Mathematics and Computer Science, Uncertainty in Artificial Intelligence - ICT Developer

Person: OBP : Supportive and management staff

2 shared research output

Hans Zantema

h.zantemaTUEnl

Mathematics and Computer Science, Formal System Analysis - University Researcher
EAISI High Tech Systems - University Researcher
EAISI Foundational - University Researcher

Person: OWP : University Teacher / Researcher

2 shared research output

Michel A. Reniers

m.a.renierstuenl

Mechanical Engineering, Group Supervisory Control - Associate Professor
Mechanical Engineering, Control Systems Technology - Associate Professor

Person: UHD : Associate Professor

1 shared research output

Peter A.J. Hilbers

P.A.J.Hilberstuenl

Biomedical Engineering - University Researcher
EAISI Health - University Researcher
Biomedical Engineering, Computational Biology - University Researcher

Person: OWP : University Teacher / Researcher

1 shared research output

Thomas Neele

t.s.neeletuenl

Mathematics and Computer Science, Algorithms and Logics for Verification - Assistant Professor
Mathematics and Computer Science, Formal System Analysis - Assistant Professor

Person: UD : Assistant Professor

1 shared research output

Ruurd Kuiper

R.KuiperTUEnl

Mathematics and Computer Science, Software Engineering and Technology - Assistant Professor

Person: UD : Assistant Professor

1 shared research output

Maurice Laveaux, MSc

m.laveauxtuenl

Mathematics and Computer Science, Algorithms and Logics for Verification - ICT Developer
Mathematics and Computer Science, Formal System Analysis - ICT Developer

Person: OBP : Supportive and management staff

1 shared research output

Olav Bunte

o.buntetuenl

Mathematics and Computer Science, Formal System Analysis - University Lecturer

Person: OWP : University Teacher / Researcher

1 shared research output

Huub M.M. ten Eikelder

Person

1 shared research output

Pim J. de Vink

p.j.d.vinktuenl

Biomedical Engineering, Chemical Biology - Doctoral Candidate

Person: Prom. : doctoral candidate (PhD)

1 shared research output

Anton J. Wijs

A.J.Wijstuenl

Mathematics and Computer Science, Software Engineering and Technology
Mathematics and Computer Science, Software Engineering and Technology - Associate Professor

Person: UHD : Associate Professor

1 shared research output

Luuk P.J. Groenewegen

Leiden University

External person

19 shared research output

Maurice H. ter Beek

Consiglio Nazionale delle Ricerche

External person

10 shared research output

Jaco W. de Bakker

External person

9 shared research output

Mieke Massink

Consiglio Nazionale delle Ricerche

External person

8 shared research output

C. Krause

External person

7 shared research output

J.-J.Ch. Meyer

External person

6 shared research output

Diego Latella

Consiglio Nazionale delle Ricerche

External person

5 shared research output

Vincenzo Ciancia

Consiglio Nazionale delle Ricerche

External person

5 shared research output

W. Hoek, van der

External person

4 shared research output

N. Kokash

External person

4 shared research output

H. Woracek

External person

4 shared research output

Arie De Bruin

Erasmus University Rotterdam

External person

4 shared research output

T.E. Pronk

External person

4 shared research output

I. Petre

External person

4 shared research output

M. Wooldridge

External person

3 shared research output

D. Latella

External person

3 shared research output

A. Hommersom

External person

3 shared research output

Farhad Arbab

Centrum voor Wiskunde en Informatica

External person

3 shared research output

A. Lomuscio

External person

3 shared research output

Rob J. van Glabbeek

NICTA Queensland Research Lab
University of New South Wales
Commonwealth Scientific and Industrial Research Organization
University of Edinburgh

External person

3 shared research output

Jozef J.M. Hooman

Radboud University Nijmegen
Eindhoven University of Technology
Netherlands Organisation for Applied Scientific Research
TNO Eindhoven

External person

2 shared research output

A.W. Stam

External person

2 shared research output

F. Bartels

External person

2 shared research output

Keyvan Azadbakht

Centrum voor Wiskunde en Informatica
Leiden University

External person

2 shared research output

H. Wiklicky

External person

2 shared research output

D. Clarke

External person

2 shared research output

J. Proença

External person

2 shared research output

C. Priami

External person

2 shared research output

Frank S. de Boer

Centrum voor Wiskunde en Informatica

External person

2 shared research output

R.J. Back

External person

2 shared research output

David Gabelaia

External person

2 shared research output

Niels Kampenhout, van

External person

2 shared research output

Stefan Hallerstede

Aarhus University

External person

1 shared research output

Catherine Dubois

Ecole Nationale Supérieure d'Informatique pour l'Industrie et l'Enterprise

External person

1 shared research output

V. Oostrom, van

External person

1 shared research output

Nick Bezhanishvili

Amsterdam University Medical Center

External person

1 shared research output

H. Giese

External person

1 shared research output

Pieter J. Toussaint

Norwegian University of Science and Technology
SINTEF

External person

1 shared research output

A. Di Pierro

External person

1 shared research output

J. Stafleu

External person

1 shared research output

Eric Charles Roy Hehner

University of Toronto

External person

1 shared research output

Alexandra D. Silva

Universidade do Algarve
University College London

External person

1 shared research output

R.J. Vandebriel

External person

1 shared research output

Nikolaos Bezirgiannis

Centrum voor Wiskunde en Informatica

External person

1 shared research output

Peter Müller

ETH Zurich

External person

1 shared research output

A. Legay

External person

1 shared research output

M.D. Lee

External person

1 shared research output

Jan Peleska

University of Bremen
DST Deutche System-Technik GmbH

External person

1 shared research output

Corrado Priami

Universita di Trento

External person

1 shared research output

Brijesh Dongol

External person

1 shared research output

J.J.M.M. Rutten

External person

1 shared research output

Klaus Havelund

Jet Propulsion Laboratory, California Institute of Technology

External person

1 shared research output

T.M. Breit

External person

1 shared research output

J. Vos, de

External person

1 shared research output

B. Muller

External person

1 shared research output

J.W. Veen, van der

External person

1 shared research output

C. Koehler

External person

1 shared research output

Bill Roscoe

University of Oxford

External person

1 shared research output

P.R. D'Argenio

External person

1 shared research output

Carroll C. Morgan

University of New South Wales

External person

1 shared research output

Ion Petre

Åbo Akademi University

External person

1 shared research output

P. Giannini

External person

1 shared research output

Matias Lee

External person

1 shared research output

Wojciech Mostowski

External person

1 shared research output

Leila Ribeiro

Federal University of Rio Grande do Sul

External person

1 shared research output

S. Akkiraju

External person

1 shared research output

M. Bernardo

External person

1 shared research output

N. Agray

External person

1 shared research output

J.L.A. Pennings

External person

1 shared research output

P.J. Wulp, van der

External person

1 shared research output

Mamuka Jibladze

Tbilisi State University

External person

1 shared research output

Eneia Todoran

External person

1 shared research output

H. Loveren, van

External person

1 shared research output

Graeme P. Smith

University of Queensland

External person

1 shared research output

Anton Eliëns

External person

1 shared research output

Erik P. de Vink

Network