Docherty S
(2018)
Modular Tableaux Calculi for Separation Theories
in Foundations of Software Science and Computation Structures - 21st International Conference, FOSSACS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018. Proceedings
Cotton-Barratt C
(2015)
Fragments of ML Decidable by Nested Data Class Memory Automata
in Foundations of Software Science and Computation Structures - 18th International Conference, FOSSACS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings
Caltais G
(2022)
DyNetKAT: An Algebra of Dynamic Networks
in Foundations of Software Science and Computation Structures - 25th International Conference, FOSSACS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022, Proceedings
Laird J
(2020)
A Curry-style Semantics of Interaction: From Untyped to Second-Order Lazy $$\lambda \mu $$-Calculus
in Foundations of Software Science and Computation Structures - 23rd International Conference, FOSSACS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020, Proceedings
Kiefer S
(2015)
Minimisation of Multiplicity Tree Automata
in Foundations of Software Science and Computation Structures - 18th International Conference, FOSSACS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings
Huot M
(2020)
Correctness of Automatic Differentiation via Diffeologies and Categorical Gluing
in Foundations of Software Science and Computation Structures - 23rd International Conference, FOSSACS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020, Proceedings
Livermore R
(2012)
Hubble Space Telescope Ha imaging of star-forming galaxies at z ? 1-1.5: evolution in the size and luminosity of giant H ii regions Evolution in the properties of giant H ii regions
in Monthly Notices of the Royal Astronomical Society
Livermore R
(2012)
Hubble Space Telescope Ha imaging of star-forming galaxies at z ? 1-1.5: evolution in the size and luminosity of giant H ii regions Evolution in the properties of giant H ii regions
in Monthly Notices of the Royal Astronomical Society
Livermore R
(2012)
Hubble Space Telescope Ha imaging of star-forming galaxies at z ? 1-1.5: evolution in the size and luminosity of giant H ii regions Evolution in the properties of giant H ii regions
in Monthly Notices of the Royal Astronomical Society
Livermore R
(2012)
Hubble Space Telescope Ha imaging of star-forming galaxies at z ? 1-1.5: evolution in the size and luminosity of giant H ii regions Evolution in the properties of giant H ii regions
in Monthly Notices of the Royal Astronomical Society
Livermore R
(2012)
Hubble Space Telescope Ha imaging of star-forming galaxies at z ? 1-1.5: evolution in the size and luminosity of giant H ii regions Evolution in the properties of giant H ii regions
in Monthly Notices of the Royal Astronomical Society
Livermore R
(2012)
Hubble Space Telescope Ha imaging of star-forming galaxies at z ? 1-1.5: evolution in the size and luminosity of giant H ii regions Evolution in the properties of giant H ii regions
in Monthly Notices of the Royal Astronomical Society
Dove ES
(2015)
An Appeal to the Global Health Community for a Tripartite Innovation: An "Essential Diagnostics List," "Health in All Policies," and "See-Through 21(st) Century Science and Ethics".
in Omics : a journal of integrative biology
Trickey A
(2022)
The Effectiveness of Low Dead Space Syringes for Reducing the Risk of Hepatitis C Virus Acquisition Among People Who Inject Drugs: Findings From a National Survey in England, Wales, and Northern Ireland.
in Clinical infectious diseases : an official publication of the Infectious Diseases Society of America
Johnstone R
(2007)
Discovery of atomic and molecular mid-infrared emission lines in off-nuclear regions of NGC 1275 and NGC 4696 with the Spitzer Space Telescope Spitzer spectra of NGC 1275 and NGC 4696
in Monthly Notices of the Royal Astronomical Society
Wang Y
(2020)
The clustering of the SDSS-IV extended baryon oscillation spectroscopic survey DR16 luminous red galaxy and emission-line galaxy samples: cosmic distance and structure growth measurements using multiple tracers in configuration space
in Monthly Notices of the Royal Astronomical Society
Wang Y
(2020)
The clustering of the SDSS-IV extended baryon oscillation spectroscopic survey DR16 luminous red galaxy and emission-line galaxy samples: cosmic distance and structure growth measurements using multiple tracers in configuration space
in Monthly Notices of the Royal Astronomical Society