Castellan S
(2019)
Causality in Linear Logic
in Foundations of Software Science and Computation Structures - 22nd International Conference, FOSSACS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings
Ghani N
(2016)
Comprehensive Parametric Polymorphism: Categorical Models and Type Theory
in Foundations of Software Science and Computation Structures - 19th International Conference, FOSSACS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings
Crafa S
(2012)
Event Structure Semantics of Parallel Extrusion in the Pi-Calculus
in Foundations of Software Science and Computational Structures - 15th International Conference, FOSSACS 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012. Proceedings
Castellan S
(2019)
Causality in Linear Logic
in Foundations of Software Science and Computation Structures - 22nd International Conference, FOSSACS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings
Abdulla P
(2016)
Qualitative Analysis of VASS-Induced MDPs
in Foundations of Software Science and Computation Structures - 19th International Conference, FOSSACS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, 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
Kappé T
(2020)
Concurrent Kleene Algebra with Observations: From Hypotheses to Completeness
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
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
Lange J
(2017)
On the Undecidability of Asynchronous Session Subtyping
in Foundations of Software Science and Computation Structures - 20th International Conference, FOSSACS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings
Altenkirch T
(2017)
Partiality, Revisited
in Foundations of Software Science and Computation Structures - 20th International Conference, FOSSACS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, 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
Gehrke M
(2020)
A Duality Theoretic View on Limits of Finite Structures
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
Lange J
(2017)
On the Undecidability of Asynchronous Session Subtyping
in Foundations of Software Science and Computation Structures - 20th International Conference, FOSSACS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings
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
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
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
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
Boisseau G
(2022)
Graphical Piecewise-Linear Algebra
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
Bonchi F
(2020)
Contextual Equivalence for Signal Flow Graphs
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
Jaber G
(2015)
Operational Nominal Game Semantics
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
Laird J
(2017)
From Qualitative to Quantitative Semantics
in Foundations of Software Science and Computation Structures - 20th International Conference, FOSSACS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings
Lange J
(2017)
On the Undecidability of Asynchronous Session Subtyping
in Foundations of Software Science and Computation Structures - 20th International Conference, FOSSACS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings
Jamaludin A
(2023)
ISSLS PRIZE in Clinical Science 2023: comparison of degenerative MRI features of the intervertebral disc between those with and without chronic low back pain. An exploratory study of two large female populations using automated annotation.
in European spine journal : official publication of the European Spine Society, the European Spinal Deformity Society, and the European Section of the Cervical Spine Research Society
Ho H
(2015)
The Cyclic-Routing UAV Problem is PSPACE-Complete
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
Ho H
(2015)
The Cyclic-Routing UAV Problem is PSPACE-Complete
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
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
Gay S
(2022)
The Different Shades of Infinite Session Types
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
Kappé T
(2020)
Concurrent Kleene Algebra with Observations: From Hypotheses to Completeness
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
Van Heerdt G
(2020)
Learning Weighted Automata over Principal Ideal Domains
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
Lange J
(2017)
On the Undecidability of Asynchronous Session Subtyping
in Foundations of Software Science and Computation Structures - 20th International Conference, FOSSACS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings
Dal Lago U
(2020)
Decomposing Probabilistic Lambda-Calculi
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
Fiore M
(2020)
Constructing Infinitary Quotient-Inductive Types
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
Lange J
(2017)
On the Undecidability of Asynchronous Session Subtyping
in Foundations of Software Science and Computation Structures - 20th International Conference, FOSSACS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings
Bonchi F
(2020)
Contextual Equivalence for Signal Flow Graphs
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
Labbaf F
(2023)
Compositional Learning for Interleaving Parallel Automata
in Foundations of Software Science and Computation Structures - 26th International Conference, FoSSaCS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, 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
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
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
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
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
Turner M
(2017)
A comparison of observed and simulated absorption from H i , C iv , and Si iv around z ˜ 2 star-forming galaxies suggests redshift-space distortions are due to inflows
in Monthly Notices of the Royal Astronomical Society
Turner M
(2017)
A comparison of observed and simulated absorption from H i , C iv , and Si iv around z ˜ 2 star-forming galaxies suggests redshift-space distortions are due to inflows
in Monthly Notices of the Royal Astronomical Society
Al-Busaidi IJ
(2021)
Correction: Utilization of a Pt(II) di-yne chromophore incorporating a 2,2'-bipyridine-5,5'-diyl spacer as a chelate to synthesize a green and red emitting d-f-d heterotrinuclear complex.
in Dalton transactions (Cambridge, England : 2003)
Turner M
(2017)
A comparison of observed and simulated absorption from H i , C iv , and Si iv around z ˜ 2 star-forming galaxies suggests redshift-space distortions are due to inflows
in Monthly Notices of the Royal Astronomical Society
Palmer P
(2008)
Interpreting the variability of space-borne CO<sub>2</sub> column-averaged volume mixing ratios over North America using a chemistry transport model
in Atmospheric Chemistry and Physics
Turner M
(2017)
A comparison of observed and simulated absorption from H i , C iv , and Si iv around z ˜ 2 star-forming galaxies suggests redshift-space distortions are due to inflows
in Monthly Notices of the Royal Astronomical Society
Turner M
(2017)
A comparison of observed and simulated absorption from H i , C iv , and Si iv around z ˜ 2 star-forming galaxies suggests redshift-space distortions are due to inflows
in Monthly Notices of the Royal Astronomical Society
Turner M
(2017)
A comparison of observed and simulated absorption from H i , C iv , and Si iv around z ˜ 2 star-forming galaxies suggests redshift-space distortions are due to inflows
in Monthly Notices of the Royal Astronomical Society
López-Caraballo C
(2024)
QUIJOTE scientific results - XIII. Intensity and polarization study of the microwave spectra of supernova remnants in the QUIJOTE-MFI wide survey: CTB 80, Cygnus Loop, HB 21, CTA 1, Tycho, and HB 9
in Monthly Notices of the Royal Astronomical Society
Lorca-Puls DL
(2021)
Reply: Broca's area: why was neurosurgery neglected for so long when seeking to re-establish the scientific truth? and Where is the speech production area? Evidence from direct cortical electrical stimulation mapping.
in Brain : a journal of neurology
Wills H
(2020)
Benjamin Wardhaugh, Gunpowder and Geometry: The Life of Charles Hutton, Pit Boy, Mathematician, and Scientific Rebel. London: William Collins, 2019. pp. 312. ISBN 978-0-0082-9995-8. £20.00/$39.99 (hardback).
in The British Journal for the History of Science