Skip to main navigation
Skip to search
Skip to main content
University of Edinburgh Research Explorer Home
Help & FAQ
Home
Research output
Profiles
Research Units
Projects
Datasets
Prizes
Activities
Press / Media
Equipment
Search by expertise, name or affiliation
Foundations of Computation
College of Science and Engineering
School of Informatics
Overview
Fingerprint
Network
Profiles
(40)
Research output
(1058)
Activities
(10)
Prizes
(2)
Projects
(72)
Press / Media
(4)
Research output
Research output per year
2014
2014
2015
2016
2017
2018
2019
2020
2021
2023
608
Conference contribution
367
Article
17
Chapter
15
Working paper
51
More
12
Book
12
Paper
7
Editorial
6
Chapter (peer-reviewed)
2
Anthology
2
Commissioned report
2
Comment/debate
2
Review article
2
Preprint
1
Foreword/postscript
1
Abstract
1
Other contribution
1
Doctoral Thesis
Research output per year
Research output per year
2 results
Publication Year, Title
(descending)
Publication Year, Title
(ascending)
Title
Type
Filter
Preprint
Search results
2022
Constraint-based type inference for FreezeML
Emrich, F.
,
Stolarek, J.
,
Cheney, J.
&
Lindley, S.
,
20 Jul 2022
,
ArXiv
,
45 p.
Research output
:
Working paper
›
Preprint
File
2019
Classical simulability of noisy boson sampling
Renema, J. J.
,
Shchesnovich, V.
&
Garcia-Patron, R.
,
1 Apr 2019
,
18 p.
Research output
:
Working paper
›
Preprint
Bosons
100%
Demonstrations
45%
Sampling
38%
Optical losses
21%
Quantum theory
20%