GtR

Please select the required search fields:

ISBN

ISSN

ORCID iD

Publication Abstract

Publication Title

Relevance

|< < 403 404 405 406 407 > >|

CSV

25 50 100

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

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

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

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

West AL (2021) Genetically modified plants are an alternative to oily fish for providing n-3 polyunsaturated fatty acids in the human diet: A summary of the findings of a Biotechnology and Biological Sciences Research Council funded project. in Nutrition bulletin

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

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

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

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

Ncharako T. (2018) Comparison of serological status and occurrence of reproductive disorders in Brucella positive and negative herds in the North West Region of Cameroon (DVM thesis (School of Veterinary Medicine and sciences, The University of Ngaoundere, Cameroon).

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

Ting AE (2022) Proceedings of the ISCT scientific signature series symposium, "Advances in cell and gene therapies for lung diseases and critical illnesses": International Society for Cell & Gene Therapy, Burlington VT, US, July 16, 2021. in Cytotherapy

McConnell F (2011) Higate, P. and Henry, M., 2009: Insecure Spaces: Peacekeeping, Power and Performance in Haiti, Kosovo and Liberia . London: Zed Books. xiii + 189 pp. £65.00 cloth, £18.99 paper. ISBN: 9781842778869 cloth, 9781842778876 paper in Progress in Development Studies

Jacobs B (2019) Causal Inference by String Diagram Surgery 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

Brenguier R (2016) Robust Equilibria in Mean-Payoff Games 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

Kusukawa, S., Egmond, F. Circulation of images and graphic practices in Renaissance natural history: the example of Conrad Gessner in 'Circulation of images and graphic practices in Renaissance natural history: the example of Conrad Gessner', in Luana Giurgevich, Teresa Nobre de Carvalho and Henrique Leitão, eds, The Scientific Book closely read (15th-18th cent.)

Taub L . C. (2010) Translating the Phainomena across genre, language and culture in Translating the Phainomena across genre, language and culture, in Annette Imhausen, Tanja Pommerening (ed.), Writings of Early Scholars in the Ancient Near East, Egypt, Rome, and Greece: Translating Ancient Scientific Texts. Beitr?ge zur Altertumskunde, B

Schmiedel, I. Gardens on Canvas and Paper. Cataloguing Botanical Abundance in Late Medici Tuscany in 'Gardens on Canvas and Paper. Cataloguing Botanical Abundance in Late Medici Tuscany', in H. Fischer, Volker Remmert, Joachim Wolschke-Bulmahn, eds, Congress Papers. Gardening and Knowledge. Landscape Design and the Sciences in the Early Modern Period

Capretta V (2016) A Coalgebraic View of Bar Recursion and Bar Induction 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

Yearley S (2012) Perspectives on global warming Naomi Oreskes and Erik Conway: Merchants of doubt: How a handful of scientists obscured the truth on issues from tobacco smoke to global warming. New York: Bloomsbury Press, 2010, 368pp, $ 27.00 HB in Metascience

Hofman P (2016) Coverability Trees for Petri Nets with Unordered Data 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

Fijalkow N (2016) Trace Refinement in Labelled Markov Decision Processes 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

Laird J (2016) Game Semantics for Bounded Polymorphism 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

Lazic R (2016) Contextual Approximation and Higher-Order Procedures 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

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

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

Morgera E (2021) The Relevance of the Human Right to Science for the Conservation and Sustainable Use of Marine Biodiversity of Areas Beyond National Jurisdiction: A New Legally Binding Instrument to Support Co-Production of Ocean Knowledge across Scales in SSRN Electronic Journal

Linardaki, E. (2022) Understanding participant retention rates for designing effective strategies for the management of invasive alien species: The case study of the American mink (Neovison vison) in Southern Chile. MRes Thesis. School of Biological Sciences, University of Aberdeen

Dräger K (2016) The Invariance Problem for Matrix Semigroups 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

Alvarez-Picallo M (2019) Change Actions: Models of Generalised Differentiation 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

Radanliev P (2022) What Country, University, or Research Institute, Performed the Best on Covid-19 During the First Wave of the Pandemic?: Bibliometric analysis of scientific literature - analysing a 'snapshot in time' of the first wave of COVID-19. in Annals of data science

Evans J (2015) A Global Health Diagnostic for Personalized Medicine in Resource-Constrained World Settings: A Simple PCR-RFLP Method for Genotyping CYP2B6 g.15582C>T and Science and Policy Relevance for Optimal Use of Antiretroviral Drug Efavirenz. in Omics : a journal of integrative biology

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

Alison Pease (2020) "The Importance of Applying Computational Creativity to Scientific and Mathematical Domains", Proceedings of the 10th international conference on computational creativity, page 250-257, Charlotte, North Carolina, USA, 2019, ISBN 978-989-54160-1-1

Barlocco S (2019) Coalgebra Learning via Duality 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

|< < 403 404 405 406 407 > >|

Projects (37185)

Publications (20340)

People (38325)

Organisations (2073)

Outcomes (142921)

Classifications (6177)