Marieke Huisman

Contact Expert

View Scopus Profile

Research activity per year

Mariëlle I.A. Stoelinga

Digital Society Institute - Full Professor
Formal Methods and Tools - Full Professor

Person: Academic

7 shared research output

Maurice van Keulen

Datamanagement & Biometrics - Associate Professor
Digital Society Institute - Associate Professor
TechMed Centre - Associate Professor

Person: Academic

5 shared research output

Bob Rubbens

Digital Society Institute - Internal PhD Candidate
Formal Methods and Tools - Internal PhD Candidate

Person: Academic

4 shared research output

Jaco van de Pol

Digital Society Institute - Full Professor
Formal Methods and Tools - Full Professor

Person: PNUT

4 shared research output

Petra van den Bos

Digital Society Institute - Assistant Professor
Formal Methods and Tools - Assistant Professor

Person: Academic

2 shared research output

Alma M. Schaafstal

Creative Technology

Person: Academic

2 shared research output

Maarten Hinderik Everts

Digital Society Institute - Assistant Professor
Semantics, Cybersecurity & Services - Assistant Professor

Person: Academic

2 shared research output

Philip Tasche

Formal Methods and Tools - Internal PhD Candidate

Person: Academic

2 shared research output

Jerre Starink

Semantics, Cybersecurity & Services - Internal PhD Candidate

Person: Academic

1 shared research output

Tom van Dijk

Formal Methods and Tools - Assistant Professor

Person: Academic

1 shared research output

Andrea Continella

Digital Society Institute - Associate Professor
Semantics, Cybersecurity & Services - Associate Professor

Person: Academic

1 shared research output

Joost-Pieter Katoen

Digital Society Institute - Full Professor
Formal Methods and Tools - Full Professor

Person: Academic

1 shared research output

Andreas Peter

Semantics, Cybersecurity & Services - Associate Professor

Person: PNUT

1 shared research output

Dilian Gurov

Royal Institute of Technology

External person

24 shared research output

Rosemary Monahan

Maynooth University

External person

11 shared research output

Dirk Beyer

External person

9 shared research output

Bart Jacobs

KU Leuven
Radboud University Nijmegen

External person

9 shared research output

Anton J. Wijs

Eindhoven University of Technology

External person

8 shared research output

Gilles Barthe

External person

6 shared research output

Joachim van den Berg

Radboud University Nijmegen

External person

5 shared research output

Vladimir Klebanov

External person

5 shared research output

Peter Müller

ETH Zurich

External person

5 shared research output

Mattias Ulbrich

Karlsruhe Institute of Technology KIT

External person

5 shared research output

Wolfgang Ahrendt

Chalmers University of Technology

External person

4 shared research output

Lilian Burdy

External person

4 shared research output

Lars B. van den Haak

Eindhoven University of Technology

External person

4 shared research output

Pedro de Carvalho Gomes

External person

4 shared research output

Jean-Louis Lanet

External person

4 shared research output

Hendrik Tews

Technische Universitat Dresden

External person

3 shared research output

Erik Poll

External person

3 shared research output

Reiner Hähnle

Technische Universitat Darmstadt

External person

3 shared research output

Bernhard Steffen

External person

3 shared research output

Fabrice Kordon

Universite Pierre et Marie Curie
University of Twente

External person

3 shared research output

Jan Friso Groote

Eindhoven University of Technology

External person

3 shared research output

Gidon Ernst

External person

3 shared research output

Christoph Sprenger

External person

3 shared research output

Naijun Zhan

Chinese Academy of Sciences
CAS - Institute of Software

External person

3 shared research output

Siavash Soleimanifard

Royal Institute of Technology

External person

3 shared research output

Mark van den Brand

Eindhoven University of Technology

External person

3 shared research output

Ulrich Hensel

Technische Universitat Dresden

External person

3 shared research output

Néstor Cataño

External person

3 shared research output

Mariela Pavlova

External person

3 shared research output

Menno Tammens

External person

3 shared research output

Matthijs Hofstra

External person

3 shared research output

Christian Haack

External person

2 shared research output

Corina Păsăreanu

NASA Ames Research Center
Carnegie Mellon University

External person

2 shared research output

Claire Dross

AdaCore

External person

2 shared research output

Carlo A. Furia

University of Lugano

External person

2 shared research output

Julia Rubin

External person

2 shared research output

Giles Reger

External person

2 shared research output

Kerry Trentelman

External person

2 shared research output

Martin Hentschel

Technische Universitat Darmstadt

External person

2 shared research output

Cristina Seceleanu

Malardalen University

External person

2 shared research output

Martijn van Berkum

Radboud University Nijmegen

External person

2 shared research output

Joseph Kiniry

External person

2 shared research output

Benjamin Grégoire

External person

2 shared research output

Erikas Sokolovas

University of Twente

External person

1 shared research output

Paul E. Black

External person

1 shared research output

G.T. Leavens

External person

1 shared research output

Andrei Paskevich

External person

1 shared research output

Joran J. Honig

External person

1 shared research output

Kristin Yvonne Rozier

External person

1 shared research output

Albert Cohen

External person

1 shared research output

Larisa Safina

External person

1 shared research output

Hubert Garavel

Universite Grenoble Alpes
INRIA Institut National de Recherche en Informatique et en Automatique

External person

1 shared research output

Stefanie Eva Drerup

Fachhochschule Munster - Abteilung Steinfurt

External person

1 shared research output

Cyrille Artho

External person

1 shared research output

Mihaela Sighireanu

External person

1 shared research output

Henri-Charles Blondeel

External person

1 shared research output

Gary T. Leavens

External person

1 shared research output

Dré van Oorschot

External person

1 shared research output

Pauline Blohm

University of Munster
Fachhochschule Munster - Abteilung Steinfurt

External person

1 shared research output

Pratik Worah

External person

1 shared research output

Ezio Bartocci

External person

1 shared research output

Geoff Sutcliffe

External person

1 shared research output

Alessandro Coglio

External person

1 shared research output

Henk Mulder

University of Twente

External person

1 shared research output

Eelco Visser

External person

1 shared research output

Corina Pasareanu

External person

1 shared research output

Herbert Bos

Vrije Universiteit

External person

1 shared research output

Ricardo Lima

External person

1 shared research output

Akihisa Yamada

External person

1 shared research output

Steven Monteiro

University of Twente

External person

1 shared research output

Gennady Chugunov

External person

1 shared research output

I Schaefer

External person

1 shared research output

Michael Felderer

External person

1 shared research output

E. Albert

External person

1 shared research output

M Tammens

External person

1 shared research output

P. Gomes

External person

1 shared research output

Ellen Wittingen

University of Twente

External person

1 shared research output

Jorne Kandziora

External person

1 shared research output

A. Igarashi

External person

1 shared research output

Alexandra Mota

External person

1 shared research output

Daniel Grahl

External person

1 shared research output

Christian Lidström

External person

1 shared research output

Claude Marché

INRIA

External person

1 shared research output

Guillaume Dufay

External person

1 shared research output

Patricia Lago

Vrije Universiteit

External person

1 shared research output

Kim Sunesen

Recore Systems

External person

1 shared research output

Julian Nagele

External person

1 shared research output

J. Chrząszcz

External person

1 shared research output

Alexander Malkis

External person

1 shared research output

Fausto Spoto

External person

1 shared research output

B. Jobstmann

External person

1 shared research output

Simon Bliudze

External person

1 shared research output

Radu Grigore

External person

1 shared research output

Rupert Schlick

External person

1 shared research output

Gerhard Schellhorn

Universitat Augsburg

External person

1 shared research output

A. Tamalet

External person

1 shared research output

S. Drossopoulou

External person

1 shared research output

Antoine Requet

External person

1 shared research output

Alexander Weigl

External person

1 shared research output

Arie van Deursen

External person

1 shared research output

T. Wrigstad

External person

1 shared research output

Thomas Noll

External person

1 shared research output

Cees-Bart Breunesse

External person

1 shared research output

I. Aktug

External person

1 shared research output

C. Haack

External person

1 shared research output

Christoph Scheben

Karlsruhe Institute of Technology KIT

External person

1 shared research output

Jan Boerman

University of Twente

External person

1 shared research output

A. Schubert

External person

1 shared research output

Tjark Weber

External person

1 shared research output

Daniel Bruns

Karlsruhe Institute of Technology KIT

External person

1 shared research output

Thorsten Bormer

Karlsruhe Institute of Technology KIT

External person

1 shared research output

António Ravara

Universidade Nova de Lisboa

External person

1 shared research output

Thomas P. Jensen

External person

1 shared research output

Henrique Rebelo

External person

1 shared research output

Martin Suda

External person

1 shared research output

Nadia Poiikarpova

ETH Zurich

External person

1 shared research output

E. Abraham

External person

1 shared research output

Fernando Castor

External person

1 shared research output

Michael Tautschnig

External person

1 shared research output

Julian Tschannen

ETH Zurich

External person

1 shared research output

A. Banerjee

External person

1 shared research output

Makoto Tatsuta

External person

1 shared research output

Ben van Werkhoven

Netherlands eScience Center

External person

1 shared research output

Peter Müller

External person

1 shared research output

Simão Melo de Sousa

External person

1 shared research output

Roberta Coelho

External person

1 shared research output

Marc Brockschmidt

External person

1 shared research output

Jean-Christophe Filliâtre

INRIA

External person

1 shared research output

Puck Kemper

University of Twente

External person

1 shared research output

M Hofstra

External person

1 shared research output

P. Müller

External person

1 shared research output

Bogdan Tofan

Universitat Augsburg

External person

1 shared research output

Alistair F. Donaldson

External person

1 shared research output

Julien Charles

External person

1 shared research output

Björn Lisper

External person

1 shared research output

Klaus Havelund

External person

1 shared research output

W. O. David Griffioen

Centrum voor Wiskunde en Informatica
Radboud University Nijmegen

External person

1 shared research output

Traian Muntean

External person

1 shared research output

Grigory Fedyukovich

External person

1 shared research output

Marieke Huisman

Network