About
Due to continuing problems with the central profile system, please refer to his homepage at http://www.hpcc.ecs.soton.ac.uk/dan/
Research
Research groups
Member of:
Current research
Due to continuing problems with the central profile system, please refer to his homepage at http://www.hpcc.ecs.soton.ac.uk/dan/
Research projects
Completed projects
Publications
108 publications
Page 1 of 11
Mikhail R. Gadelha,
Enrico Steffinlongo,
Lucas Cordeiro,
Bernd Fischer,
& Denis Nicole
, 2019
Type: conference
Mikhail R. Gadelha,
Felipe Monteiro,
Lucas Cordeiro,
& Denis Nicole
, 2019
Type: conference
Mikhail R. Gadelha,
Felipe R. Monteiro,
Jeremy Morse,
Lucas C. Cordeiro,
Bernd Fischer,
& Denis A. Nicole
, 2018
Type: conference
Mikhail R. Gadelha,
Felipe R. Monteiro,
Lucas Cordeiro,
& Denis Nicole
, 2018
Type: conference
Mikhail R. Gadelha,
Jeremy Morse,
Lucas Cordeiro,
& Denis Nicole
, 2018
Type: conference
Mikhail R. Gadelha,
Jeremy Morse,
Lucas Cordeiro,
& Denis Nicole
, 2017
Type: conference
Mikhail Y.R. Gadelha,
Lucas C. Cordeiro,
& Denis A. Nicole
, 2017
Type: conference
Jeremy Morse,
Lucas Cordeiro,
Denis Nicole,
& Bernd Fischer
, 2014
, International Journal on Software Tools for Technology Transfer
, 16 (5) , 519--529
Type: article
Jeremy Morse,
Mikhail Ramalho Gadelha,
Lucas Cordeiro,
Denis Nicole,
& Bernd Fischer
, 2014
Type: bookChapter
Jeremy Morse,
Lucas Cordeiro,
Denis Nicole,
& Bernd Fischer
, 2013
, Software and Systems Modeling
, n/a , n/a
Type: article
Supervision
Current PhD Students
Thomas Albert John Murray
PhD Computer Science
Teaching
Due to continuing problems with the central profile system, please refer to his homepage at http://www.hpcc.ecs.soton.ac.uk/dan/