Anne Elisabeth Haxthausen

View Scopus Profile

Emailaehadtudk
Websitehttp://people.compute.dtu.dk/aeha

Richard Petersens Plads, 321, 026
2800 Kgs. Lyngby
Denmark

Dines Bjørner

dibjdtudk

Department of Applied Mathematics and Computer Science - Professor, emeritus, dr. scient.
Embedded Systems Engineering

Person: VIP

2 shared research output

Hubert Baumeister

hubadtudk

Department of Applied Mathematics and Computer Science - Associate Professor
Software Systems Engineering

Person: VIP

2 shared research output

Jan Madsen

jamadtudk

Department of Applied Mathematics and Computer Science - Head of Department, Professor
DTU Microbes Initiative

Person: VIP

1 shared research output

Ekkart Kindler

ekkidtudk

Department of Applied Mathematics and Computer Science - Associate Professor
Software Systems Engineering

Person: VIP

1 shared research output

Jan Peleska

University of Bremen

External person

7 shared research output

J. Peleska

External person

6 shared research output

Jan Peleska

University of Bremen

External person

5 shared research output

Ralf Pinger

Siemens

External person

4 shared research output

Markus Roggenbach

External person

4 shared research output

Jan Peleska

University of Bremen

External person

4 shared research output

Wen-ling Huang

University of Bremen
University of Hamburg

External person

3 shared research output

Bernd Krieg-Brückner

University of Bremen

External person

3 shared research output

Alessandro Fantechi

External person

3 shared research output

Maura Cerioli

University of Genoa

External person

3 shared research output

Gloria Gori

University of Florence

External person

3 shared research output

Till Mossakowski

University of Bremen

External person

3 shared research output

Jan Peleska

University of Bremen

External person

3 shared research output

C. W. George

External person

3 shared research output

Thierry Lecomte

External person

3 shared research output

Stefan Gruner

External person

2 shared research output

E. Schnieder

External person

2 shared research output

Niklas Krafczyk

University of Bremen

External person

2 shared research output

Jan Peleska

University of Bremen

External person

2 shared research output

J. van de Pol

University of Twente

External person

2 shared research output

Mario Gleirscher

University of York

External person

2 shared research output

Tom Maibaum

External person

2 shared research output

J. Storbank Pedersen

External person

2 shared research output

Till Mossakowski

University of Bremen

External person

2 shared research output

Chris George

External person

2 shared research output

Andrzej Tarlecki

External person

2 shared research output

Jan Peleska

University of Bremen

External person

2 shared research output

Jim Woodcock

University of York

External person

2 shared research output

Bernd Krieg-Bruckner

University of Bremen

External person

2 shared research output

X. Yong

External person

2 shared research output

Felix Hübner

University of Bremen

External person

2 shared research output

Alessandro Fantechi

University of Florence

External person

2 shared research output

M. Roveri

Fondazione Bruno Kessler

External person

2 shared research output

Uwe Schulze

University of Bremen

External person

2 shared research output

C. George

External person

2 shared research output

Jan Peleska

University of Bremen

External person

2 shared research output

Simon Collart-Dutilleul

Université Gustave Eiffel

External person

2 shared research output

Marie Le Bliguet

Technical University of Denmark

External person

2 shared research output

Donald Sannella

External person

2 shared research output

Till Mossakowski

External person

2 shared research output

H. Treharne

University of Surrey

External person

2 shared research output

S. Gnesi

National Research Council of Italy

External person

2 shared research output

Stefania Gnesi

National Research Council of Italy

External person

2 shared research output

Cécile Braunstein

University of Bremen

External person

2 shared research output

A. S. Petersen

Technical University of Denmark

External person

1 shared research output

Friederike Nickl

External person

1 shared research output

Donald Sannella

University of Edinburgh

External person

1 shared research output

Jens Kielsgaard Hansen

External person

1 shared research output

S. Holmslykke

External person

1 shared research output

B. Krieg-Brückner

External person

1 shared research output

R. Dyhrberg

External person

1 shared research output

Till Mossakowski

University of Bremen

External person

1 shared research output

Peter H. Østergaard

Technical University of Denmark

External person

1 shared research output

Yong Xia

United Nations University International Institute for Software Technology

External person

1 shared research output

Van Anh Thi Trinh

Technical University of Denmark

External person

1 shared research output

Gianna Reggio

University of Genoa

External person

1 shared research output

K. Havelund

External person

1 shared research output

Christophe Limbrée

External person

1 shared research output

Andrew Lawrence

External person

1 shared research output

T. Mossakowski

External person

1 shared research output

Jacob Porsborg Nielsen

External person

1 shared research output

Alessandro Fantechi

External person

1 shared research output

Alessandro Fantechi

External person

1 shared research output

Andreas A. Kjær

Technical University of Denmark

External person

1 shared research output

Xiuyi Fan

External person

1 shared research output

Jaco van de Pol

External person

1 shared research output

Marcel Verhoef

External person

1 shared research output

Olaf Owe

University of Oslo

External person

1 shared research output

C. K. Madsen

External person

1 shared research output

U. Becker

External person

1 shared research output

Ole-Johan Dahl

University of Oslo

External person

1 shared research output

R. Drechsler

External person

1 shared research output

Sven Linker

University of Liverpool

External person

1 shared research output

A. Baer

External person

1 shared research output

N. Christensen

External person

1 shared research output

Chris W. George

External person

1 shared research output

Xia Yong

University of Zurich

External person

1 shared research output

Monika Seisenberger

External person

1 shared research output

Alessandro Fantechi

External person

1 shared research output

Johannes Feuser

University of Bremen

External person

1 shared research output

G. Tarnai

External person

1 shared research output

K. Mikkelsen

Carlsberg Research Center
Technical University of Denmark

External person

1 shared research output

Sako Hiroshi

External person

1 shared research output

T. Gjaldbæk

External person

1 shared research output

Sebastian Kinder

University of Bremen

External person

1 shared research output

Shin Sahara

External person

1 shared research output

Peter D. Mosses

University of Oslo

External person

1 shared research output

R. Milne

External person

1 shared research output

A. Fantechi

University of Florence

External person

1 shared research output

Kristian Knak Hede

Technical University of Denmark

External person

1 shared research output

Alessio Ferrari

External person

1 shared research output

Per Lange Laursen

Technical University of Denmark

External person

1 shared research output

Marieta V. Fasie

Technical University of Denmark

External person

1 shared research output

Simon Wimmer

External person

1 shared research output

Hoang Nga Nguyen

External person

1 shared research output

Andrzej Tarlecki

University of Warsaw

External person

1 shared research output

Friderike Nickl

Ludwig Maximilian University of Munich

External person

1 shared research output

RAISE Language Group

External person

1 shared research output

Nick Battle

External person

1 shared research output

Chris George

United Nations University International Institute for Software Technology

External person

1 shared research output

Alessandro Fantechi

External person

1 shared research output

Phillip James

External person

1 shared research output

Maurice H. ter Beek

National Research Council of Italy

External person

1 shared research output

M. Schutz

External person

1 shared research output

P. Viuf

External person

1 shared research output

Peter D. Mosses

External person

1 shared research output

D. Grosse

External person

1 shared research output

Martin Leucker

Lübeck University of Applied Sciences

External person

1 shared research output

Egidio Astesiano

University of Genoa

External person

1 shared research output

S. Hughes

External person

1 shared research output

Michel Bøje Randahl Nielsen

Technical University of Denmark

External person

1 shared research output

Alessandro Fantechi

University of Florence

External person

1 shared research output

Nico Plat

External person

1 shared research output

Bas Luttik

External person

1 shared research output

Peter Jørgensen

University of Copenhagen

External person

1 shared research output

Anne Elisabeth Haxthausen

Network