Jasmin Christian Blanchette

Dmitriy Traytel

Institute of Information Security
Swiss Federal Institute of Technology Zurich

-: External person

10 shared research output

S. Tourret

Université de Lorraine
Max Planck Institute for Informatics

-: External person

9 shared research output

Mathias Fleury

Max Planck Institute for Informatics
Saarbrücken Graduate School of Computer Science
Max-Planck-Institut für Informatik
Saarland University

-: External person

8 shared research output

Andrei Popescu

Middlesex University
School of Science and Technology
Department of Computer Science
Romanian Academy
University of London

-: External person

7 shared research output

Sophie Tourret

Max-Planck-Institut für Informatik, Saarland Informatics Campus, Saarbrücken
Max Planck Institute for Informatics

-: External person

5 shared research output

Uwe Waldmann

Max-Planck-Institut für Informatik
Max Planck Institute for Informatics

-: External person

5 shared research output

Simon Cruanes

INRIA Lorraine
Université de Lorraine
Aesthetic Integration

-: External person

5 shared research output

Uwe Waldmann

Max-Planck-Institut für Informatik, Saarland Informatics Campus, Saarbrücken
Max Planck Institute for Informatics

-: External person

5 shared research output

Anders Schlichtkrull

Technical University of Denmark

-: External person

5 shared research output

Pascal Fontaine

Université de Lorraine
University of Liege

-: External person

4 shared research output

U. Waldmann

Max Planck Institute for Informatics

-: External person

3 shared research output

Simon Robillard

Chalmers University of Technology
IMT Atlantique
Laboratoire d'informatique, de robotique et de microélectronique de Montpellier

-: External person

3 shared research output

Stephan Schulz

DHBW Stuttgart

-: External person

3 shared research output

Dmitriy Traytel

ETH Zürich

-: External person

3 shared research output

Haniel Barbosa

Université de Lorraine
Universidade Federal do Rio Grande do Norte
University of Iowa

-: External person

3 shared research output

Dietrich Klakow

Saarland University

-: External person

3 shared research output

Andrew Reynolds

University of Iowa

-: External person

3 shared research output

Christoph Weidenbach

Max Planck Institute for Informatics
Max-Planck-Institut für Informatik

-: External person

3 shared research output

S. Cruanes

Aesthetic Integration
Imandra Inc.

-: External person

3 shared research output

Lawrence C. Paulson

University of Cambridge
Computer Laboratory

-: External person

2 shared research output

Josef Urban

Czech Technical University in Prague

-: External person

2 shared research output

Daniel Wand

Max Planck Institute for Informatics
Technical University of Munich

-: External person

2 shared research output

Cezary Kaliszyk

University of Innsbruck

-: External person

2 shared research output

Andrei Popescu

Middlesex University

-: External person

2 shared research output

Andreas Lochbihler

Institute of Information Security
Swiss Federal Institute of Technology Zurich

-: External person

2 shared research output

Peter Lammich

Institut für Informatik
Technical University of Munich
Virginia Polytechnic Institute and State University

-: External person

2 shared research output

Fabian Meier

Institute of Information Security
Swiss Federal Institute of Technology Zurich
Alphabet Inc.

-: External person

2 shared research output

Sascha Böhme

Technical University of Munich

-: External person

2 shared research output

Aymeric Bouzy

ComUE Paris-Saclay
InstantJob

-: External person

2 shared research output

M.J.H. Heule

Carnegie Mellon University

-: External person

2 shared research output

Martin Desharnais

Ludwig Maximilian University of Munich
Saarbrücken Graduate School of Computer Science
Max Planck Institute for Informatics

-: External person

2 shared research output

Albert Steckermeier

Technical University of Munich

-: External person

1 shared research output

Cesare Tinelli

University of Iowa

-: External person

1 shared research output

David Greenaway

NICTA

-: External person

1 shared research output

Gregor Snelting

Department of Computer Science
Karlsruhe Institute of Technology

-: External person

1 shared research output

Tobias Nipkow

-: External person

1 shared research output

Stephan Merz

Université de Lorraine

-: External person

1 shared research output

Gerwin Klein

Trustworthy Systems Research Group
CSIRO

-: External person

1 shared research output

Cătălin Hrițcu

-: External person

1 shared research output

Lorenz Panny

Eindhoven University of Technology

-: External person

1 shared research output

Steffen Juilf Smolka

Cornell University

-: External person

1 shared research output

Alfonso Pierantonio

University of L'Aquila

-: External person

1 shared research output

Gabriele Taentzer

University of Marburg

-: External person

1 shared research output

Johannes Hölzl

Carnegie Mellon University
Vrije Universiteit Amsterdam

-: External person

1 shared research output

Jeremy Avigad

Department of Philosophy
Carnegie Mellon University

-: External person

1 shared research output

Francis Bordeleau

Cmind Inc.

-: External person

1 shared research output

Nicolas Peltier

Université Grenoble Alpes

-: External person

1 shared research output

Ondřej Kunčar

Fakultät für Informatik
Technical University of Munich

-: External person

1 shared research output

Peter Lammich

-: External person

1 shared research output

Lorenzo Gheri

Middlesex University

-: External person

1 shared research output

Nicholas Smallbone

Chalmers University of Technology

-: External person

1 shared research output

Christian Sternagel

-: External person

1 shared research output

Alejandro Gómez-Londoño

-: External person

1 shared research output

Dirk Pattinson

Australian National University

-: External person

1 shared research output

Daniel El Ouraoui

-: External person

1 shared research output

Julian Biendarra

Fakultät für Informatik
Technical University of Munich

-: External person

1 shared research output

Makarius Wenzel

-: External person

1 shared research output

Bohua Zhan

-: External person

1 shared research output

Heiko Becker

Max Planck Institute for Informatics

-: External person

1 shared research output

Simon Wimmer

-: External person

1 shared research output

Manuel Eberl

-: External person

1 shared research output

Christian Sternagel

University of Innsbruck

-: External person

1 shared research output

Nikolai Kosmatov

-: External person

1 shared research output

Laura Kovács

Vienna University of Technology

-: External person

1 shared research output

Daniel Kühlwein

Radboud Universiteit

-: External person

1 shared research output

René Thiemann

University of Innsbruck

-: External person

1 shared research output

Manuel Wimmer

University of Vienna

-: External person

1 shared research output

dr. Jasmin Christian Blanchette

Network