Personal information
Activities
Employment (1)
2015
to
present
|
PhD Researcher
(Computer Science)
Employment
Source:
Paul Gainer
Education and qualifications (1)
2012
to
2015
|
BSc (Hons) Computer Science
(Computer Science)
Education
Source:
Paul Gainer
Works (7)
Safety Science
2024-07
|
Journal article
Contributors:
Martyn Amos;
Paul Gainer;
Steve Gwynne;
Anne Templeton
Source:
check_circle
Crossref
Formal Methods in System Design
2020-11-20
|
Journal article
Contributors:
Paul Gainer;
Sven Linker;
Clare Dixon;
Ullrich Hustadt;
Michael Fisher
Source:
check_circle
Crossref
2018
|
Book chapter
Contributors:
Paul Gainer;
Sven Linker;
Clare Dixon;
Ullrich Hustadt;
Michael Fisher
Source:
check_circle
Crossref
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2017
|
Book
EID:
2-s2.0-85029496657
Contributors:
Gainer, P.;
Dixon, C.;
Dautenhahn, K.;
Fisher, M.;
Hustadt, U.;
Saunders, J.;
Webster, M.
Source:
Paul Gainer
via
Scopus - Elsevier
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2017
|
Book
EID:
2-s2.0-85028676613
Contributors:
Gainer, P.;
Linker, S.;
Dixon, C.;
Hustadt, U.;
Fisher, M.
Source:
Paul Gainer
via
Scopus - Elsevier
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2016
|
Book
EID:
2-s2.0-84977548398
Contributors:
Gainer, P.;
Dixon, C.;
Hustadt, U.
Source:
Paul Gainer
via
Scopus - Elsevier
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2015
|
Book
EID:
2-s2.0-84950105804
Contributors:
Hustadt, U.;
Gainer, P.;
Dixon, C.;
Nalon, C.;
Zhang, L.
Source:
Paul Gainer
via
Scopus - Elsevier