Personal information
Sweden
Activities
Employment (8)
2018-01-01
to
present
|
Universitatslektor
(Computer Science)
Employment
Source:
Robin Adams
2017-09-01
to
2017-12-31
|
Postdoktor
(Computer Science)
Employment
Source:
Robin Adams
2016-01-01
to
2017-08-31
|
Postdoctoral Researcher
(Informatikk)
Employment
Source:
Robin Adams
2014-01-01
to
2015-12-31
|
Postdoctoral Researcher
(Institute of Computing and Information Sciences)
Employment
Source:
Robin Adams
2009-09-01
to
2012-10-01
|
Lecturer
(Computer Science)
Employment
Source:
Robin Adams
2006-11-01
to
2009-09-01
|
Research Fellow
(Computer Science)
Employment
Source:
Robin Adams
2005-09-30
to
2006-10-31
|
Research Assistant
(Computer Science)
Employment
Source:
Robin Adams
2004-03-01
to
2005-09-01
|
Research Assistant
(Computer Science)
Employment
Source:
Robin Adams
Education and qualifications (2)
2000-09-01
to
2004-11-26
|
PhD Mathematics
Education
Source:
Robin Adams
1996-09-01
to
2000-06-01
|
BA Mathematics with Philosophy
Education
Source:
Robin Adams
Funding (2)
2012-03-01
to
2012-09-29
|
Grant
Engineering and Physical Sciences Research Council
(n/a, GB)
Source:
Robin Adams
via
DimensionsWizard
2006-10-15
to
2009-10-14
|
Grant
Engineering and Physical Sciences Research Council
(n/a, GB)
Source:
Robin Adams
via
DimensionsWizard
Works (18)
Computer Law & Security Review
2019-11
|
Journal article
Contributors:
Robin Adams;
Wolfgang Schulz;
Sibylle Schupp;
Florian Wittner
Source:
check_circle
Crossref
Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik GmbH, Wadern/Saarbruecken, Germany
2018
|
Journal article
Source:
Robin Adams
Source:
Robin Adams
Lecture Notes in Computer Science
2018
|
Book chapter
Source:
Robin Adams
2018 16th Annual Conference on Privacy, Security and Trust (PST)
2018-08
|
Conference paper
Source:
Robin Adams
Electronic Proceedings in Theoretical Computer Science, EPTCS
2014
|
Conference paper
EID:
2-s2.0-84938688702
Contributors:
Adams, R.
Source:
Robin Adams
via
Scopus - Elsevier
Mathematical Structures in Computer Science
2011
|
Journal article
EID:
2-s2.0-80053076240
Contributors:
Adams, R.;
Luo, Z.
Source:
Robin Adams
via
Scopus - Elsevier
Annals of Pure and Applied Logic
2010
|
Journal article
EID:
2-s2.0-77954622511
Contributors:
Adams, R.;
Luo, Z.
Source:
Robin Adams
via
Scopus - Elsevier
ACM Transactions on Computational Logic
2010
|
Journal article
EID:
2-s2.0-76249085395
Contributors:
Adams, R.;
Luo, Z.
Source:
Robin Adams
via
Scopus - Elsevier
ACM International Conference Proceeding Series
2009
|
Conference paper
EID:
2-s2.0-70450208283
Contributors:
Adams, R.
Source:
Robin Adams
via
Scopus - Elsevier
Mathematical Structures in Computer Science
2008
|
Journal article
EID:
2-s2.0-58149354234
Contributors:
Luo, Z.;
Adams, R.
Source:
Robin Adams
via
Scopus - Elsevier
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2007
|
Book
EID:
2-s2.0-38049136981
Source:
Robin Adams
grade
Preferred source
(of
2)
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2006
|
Book
EID:
2-s2.0-33745177743
Contributors:
Adams, R.
Source:
Robin Adams
via
Scopus - Elsevier
Journal of Functional Programming
2006
|
Journal article
EID:
2-s2.0-31744448151
Contributors:
Adams, R.
Source:
Robin Adams
via
Scopus - Elsevier
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2004
|
Book
EID:
2-s2.0-35048894273
Contributors:
Adams, R.
Source:
Robin Adams
via
Scopus - Elsevier
TYPES 2016
Conference paper
Source:
Robin Adams
VSTTE 2018
Conference paper
Source:
Robin Adams
PST18
Conference paper
Source:
Robin Adams