Pushpakom S
(2020)
TAILoR (TelmisArtan and InsuLin Resistance in Human Immunodeficiency Virus [HIV]): An Adaptive-design, Dose-ranging Phase IIb Randomized Trial of Telmisartan for the Reduction of Insulin Resistance in HIV-positive Individuals on Combination Antiretroviral Therapy.
in Clinical infectious diseases : an official publication of the Infectious Diseases Society of America
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
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
Accattoli B
(2019)
Types by Need
in Programming Languages and Systems - 28th European Symposium on Programming, ESOP 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
Global Burden Of Disease Study 2013 Collaborators
(2015)
Global, regional, and national incidence, prevalence, and years lived with disability for 301 acute and chronic diseases and injuries in 188 countries, 1990-2013: a systematic analysis for the Global Burden of Disease Study 2013.
in Lancet (London, England)
Landais A
(2012)
Towards orbital dating of the EPICA Dome C ice core using dO<sub>2</sub>/N<sub>2</sub>
in Climate of the Past
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
Global Burden Of Disease Study 2013 Collaborators
(2015)
Global, regional, and national incidence, prevalence, and years lived with disability for 301 acute and chronic diseases and injuries in 188 countries, 1990-2013: a systematic analysis for the Global Burden of Disease Study 2013.
in Lancet (London, England)
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
Cosham S
(2016)
Synthesis, Structure and Chemical Vapour Deposition Studies on the Group 13 Complexes [Me 2 M{tfacnac}] [M = Al, Ga, In; Htfacnac = F 3 CC(OH)CHC(CH 3 )NCH 2 CH 2 OCH 3 ]
in European Journal of Inorganic Chemistry
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
Kokke W
(2019)
Towards Races in Linear Logic
in Coordination Models and Languages - 21st IFIP WG 6.1 International Conference, COORDINATION 2019, Held as Part of the 14th International Federated Conference on Distributed Computing Techniques, DisCoTec 2019, Kongens Lyngby, Denmark, June 17-21, 2019, 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
Ong C
(2008)
Verification of Higher-Order Computation: A Game-Semantic Approach
in Programming Languages and Systems - 17th European Symposium on Programming, ESOP 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008. Proceedings
Castellan S
(2019)
Probabilistic Programming Inference via Intensional Semantics
in Programming Languages and Systems - 28th European Symposium on Programming, ESOP 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
Castellan S
(2019)
Probabilistic Programming Inference via Intensional Semantics
in Programming Languages and Systems - 28th European Symposium on Programming, ESOP 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
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
Alvarez-Picallo M
(2019)
Fixing Incremental Computation
in Programming Languages and Systems - 28th European Symposium on Programming, ESOP 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
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
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
Ojeda-Amador AI
(2015)
Synthetic and Structural Studies of Mixed Sodium Bis(trimethylsilyl)amide/Sodium Halide Aggregates in the Presence of ?(2)-N,N-, ?(3)-N,N,N/N,O,N-, and ?(4)-N,N,N,N-Donor Ligands.
in Inorganic chemistry
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
Global Burden Of Disease Study 2013 Collaborators
(2015)
Global, regional, and national incidence, prevalence, and years lived with disability for 301 acute and chronic diseases and injuries in 188 countries, 1990-2013: a systematic analysis for the Global Burden of Disease Study 2013.
in Lancet (London, England)
Casabonne D
(2020)
Serum levels of hsa-miR-16-5p, hsa-miR-29a-3p, hsa-miR-150-5p, hsa-miR-155-5p and hsa-miR-223-3p and subsequent risk of chronic lymphocytic leukemia in the EPIC study.
in International journal of cancer
Lee YC
(2022)
Demographic and clinical profile of residents living with dementia and depressive symptoms in Australian private residential aged care: Data from the Music Interventions for Dementia and Depression in ELderly care (MIDDEL) cluster-randomised controlled trial.
in Australasian journal on ageing
Langley T
(2019)
'I Felt Welcomed in Like They're a Little Family in There, I Felt Like I Was Joining a Team or Something': Vape Shop Customers' Experiences of E-Cigarette Use, Vape Shops and the Vaping Community.
in International journal of environmental research and public health
Aaij R
(2023)
Publisher Erratum: A study of $$C\!P$$ violation in the decays $${ {B} ^\pm } \rightarrow [{ {K} ^+} { {K} ^-} { {\uppi } ^+} { {\uppi } ^-} ]_{D} h^{\pm }$$ ($$h = K, \pi $$) and $${ {B} ^\pm } \rightarrow [{ {\uppi } ^+} { {\uppi } ^-} { {\uppi } ^+} { {\uppi } ^-} ]_{D} h^{\pm }$$
in The European Physical Journal C
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
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
Bocchi L
(2019)
Asynchronous Timed Session Types
in Programming Languages and Systems - 28th European Symposium on Programming, ESOP 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
Tarasyuk O
(2015)
The Impact of Consistency on System Latency in Fault Tolerant Internet Computing
in Distributed Applications and Interoperable Systems - 15th IFIP WG 6.1 International Conference, DAIS 2015, Held as Part of the 10th International Federated Conference on Distributed Computing Techniques, DisCoTec 2015, Grenoble, France, June 2-4, 2015, Proceedings
Aubert B
(2006)
Measurements of the decays B 0 ? D ¯ 0 p p ¯ , B 0 ? D ¯ * 0 p p ¯ , B 0 ? D - p p ¯ p + , and B 0 ? D * - p p ¯ p +
in Physical Review D