Marco Carbone

Emailmacaitudk

Research activity per year

Carsten Schürmann

carstenitudk

Theoretical Computer Science - Professor
Programming Logic and Semantics
Center for Information Security and Trust - Head of Center

Person: VIP

7 shared research output

Dawit Tirore

datiitudk

Theoretical Computer Science - PhD fellow

Person

1 shared research output

Alessandro Bruni

brunitudk

Theoretical Computer Science - Associate Professor
Programming Logic and Semantics
Center for Information Security and Trust

Person: VIP

1 shared research output

Rosario Giustolisi

rosgitudk

Theoretical Computer Science - Associate Professor
Programming Logic and Semantics
Center for Information Security and Trust

Person: VIP

1 shared research output

Andrzej Wasowski

wasowskiitudk

Software Engineering - Professor
Software Quality Research - Head of Research Group
The Maritime Hub

Person: VIP

1 shared research output

Jesper Bengtson

jebeitudk

Theoretical Computer Science - Associate Professor
Programming Logic and Semantics

Person: VIP

1 shared research output

Nobuko Yoshida

Imperial College London

External person

7 shared research output

Fabrizio Montesi

University of Southern Denmark

External person

5 shared research output

Gianluigi Zavattaro

University of Bologna

External person

5 shared research output

Mario Bravetti

University of Bologna

External person

4 shared research output

Joshua Guttman

MITRE Corporation
Worcester Polytechnic Institute

External person

3 shared research output

Kohei Honda

Queen Mary University of London

External person

3 shared research output

Julien Lange

University of Kent

External person

2 shared research output

Emilio Tuosto

University of Leicester

External person

1 shared research output

Pierre-Malo Danielou

Royal Holloway, University of London

External person

1 shared research output

Luı́s Cruz-Filipe

University of Southern Denmark

External person

1 shared research output

Hans Huttel

Aalborg University

External person

1 shared research output

Sonia Marin

University of Birmingham

External person

1 shared research output

Hugo Torres Vieira

IMT School for Advanced Studies Lucca

External person

1 shared research output

Dimitris Mostrous

University of Lisbon

External person

1 shared research output

Sam Lindley

University of Edinburgh

External person

1 shared research output

Luca Padovani

University of Turin

External person

1 shared research output

Adele Veschetti

University of Bologna

External person

1 shared research output

Antonio Rabara

NOVA University Lisbon

External person

1 shared research output

Luis Caires

NOVA University Lisbon

External person

1 shared research output

Vasco Vasconcelos

External person

1 shared research output

Sebastian Alexander Mödersheim

Technical University of Denmark

External person

1 shared research output

Ivan Lanese

University of Bologna

External person

1 shared research output

Philip Wadler

University of Edinburgh

External person

1 shared research output

Marco Carbone

Network