GtR

📣 Try out the NEW Gateway to Research and let us know what you think.

We're looking for users to test the new service during August and September and share their feedback. Express your interest by completing this short form.

Please select the required search fields:

ISBN

ISSN

ORCID iD

Publication Abstract

Publication Title

Relevance

|< < 4 5 6 7 8 > >|

CSV

25 50 100

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

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

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

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).

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

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

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

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

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

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

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

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

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

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

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

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

|< < 4 5 6 7 8 > >|

Projects (38016)

Publications (23156)

People (31315)

Organisations (2987)

Outcomes (155928)

Classifications (5575)