GtR

Please select the required search fields:

ISBN

ISSN

ORCID iD

Publication Abstract

Publication Title

Relevance

|< < 1 2 3 4 5 > >|

CSV

25 50 100

Oumarou Moussa (2022) L'influence de l'islam sur la pratique et l'abolition de l'esclavage dans les sociétés touarègues et zarma-so?ay de l'Ouest nigérien depuis le XIXè siècle. Thesis submitted in partial fulfilment for the degree of Doctor of Philosophy at the Université Abdou Moumouni of Niamey, republic of Niger, School of Humanities and the Social Sciences, Department of History.

Main R (2017) PANENTHEISM AND THE UNDOING OF DISENCHANTMENT with Harald Atmanspacher and Hartmut von Sass, "The Many Faces of Panentheism: An Editorial Introduction"; Philip Clayton, "How Radically Can God Be Reconceived before Ceasing to Be God? The Four Faces of Panentheism"; Willem B. Drees, "Panentheism and Natural Science: A Good Match?"; Jan-Olav Henriksen, "The Experience of God and the World: Christianity's Reasons for Consider in Zygon®

Thioub Daouda (2019) La séroprévalence et les facteurs de risque de la brucellose dans un groupe d'éleveurs de bétail et personnes à risque élevé dans les villes de Dakar, Niakhar, et Thiès au Sénégal. MD Thesis (UFR Sciences de la Santé, Université de Thiès, Senegal)

Mitralexis S (2023) T??s?e?a, ?p?st?µ? ?a? ????d???a st? ??µ?s?? ???? ?at? t?? pa?d?µ?a t?? COVID-19 ?? pe??pt?se?? t?? ????da?, t?? Se?ß?a?, t?? ???µa??a? ?a? t?? ?????a??a? [Religion, Science and Orthodoxy in the Public Sphere during the COVID-19 Pandemic: case studies from Greece, Serbia, Romania and Bulgaria]

EHOUMAN N.S. (2019) . Epidémiologie de la Brucellose Bovine en Côte d'Ivoire : Enquête Connaissances Attitudes Et Pratiques (Cap) auprès des Eleveurs et Prévalence dans les Elevages Traditionnels Bovins en Périphérie d'Abidjan. (DVM thesis, l'Ecole Inter-Etats des Sciences et Médecine Vétérinaires de Dakar).

Nguend Mbock Jacques (2018) Seroprevalence of human brucellosis and frequency of risk factors in two groups: a selected group at occupational risk in the wider peri-urban zone of the North West Region in Cameroon, and in a group of patients presenting at the Regional Hospital Bamenda with non-specific febrile illnesses. MD Thesis (Faculty of Health Sciences, University of Bamenda, Cameroon)

Korol AD (2019) Kreativnoe obrazovanie v ramkah koncepcii <> : Ot metodologii k opytu realizacii. Kruglyj stol nauchno-teoreticheskogo zhurnala Rossijskoj akademii obrazovanija <> v Belorusskom gosudarstvennom universitete / Creative education in the framework of the concept of "University 3.0": From methodology to implementation experience. Round table of the scientific and theoretical journal of the Russian in Pedagogika

Marung, S (2018) "Mobility across (elapsing) empires during the 20th Century: Rethinking their legacies", Workshop "Empires in Global History" jointly organized by the Global Studies Initiative at the Ecole des Hautes Etudes en Sciences Sociales Paris (EHESS), the Centre for French Studies and the Centre for Area Studies at University of Leipzig

Guo L (2020) Landmark Papers: No. 9 Jarvis, N.J. 2007. A review of non-equilibrium water flow and solute transport in soil macropores: Principles, controlling factors and consequences for water quality. European Journal of Soil Science , 58, 523-546 Commentary on the impact of Jarvis (2007) by L. Guo , P.D. Hallett and K. Müller in European Journal of Soil Science

Michaels, Axel (University Of Heidelberg, Germany) (2010) Article on Tibetan ritual, including analysis of Tibetan longevity practices in Ritual Dynamics and the Science of Ritual. Volume II: Body, Performance, Agency and Experience: Body, Performance, Agency and Experience: Including an E-Book Version in PDF Format on CD. Edited by Angelos Chaniotis (Section I), Silke Leopold, Hendrik Schulze (Section II), Eric Venbrux, Thomas Quartier, Joanna Wojtkowiak (Section II), Jan Weinhold, G

EFSA Panel on Genetically Modified Organisms (GMO) (2017) Scientific Opinion on application EFSA-GMO-BE-2013-117 for authorisation of genetically modified maize MON 87427 × MON 89034 × NK603 and subcombinations independently of their origin, for food and feed uses, import and processing submitted under Regulation (EC) No 1829/2003 by Monsanto Company. in EFSA journal. European Food Safety Authority

Zamyatin K (2018) Formirovanie yazykovoj politiki v respublikakh Rossii v postsovetskij period: analiz politicheskogo tsikla / The Formation of language policies in the Finno-Ugric Republics of Russia in the post-Soviet period: an analysis of a political cycle in Yazykovoe edinstvo i yazykovoe raznoobrazie v poliehtnicheskom gosudarstve: Mezhdunarodnaya konferentsiya, Institut yazykoznaniya R?N (Moskva, 14-17 noyabrya 2018): Doklady i soobshcheniya / Language Unity and Linguistic Diversity in A Polyethnic Country: International Conference, Institute of Linguistics of the Russian Academy of Sciences (Moscow, 14-17 November 2018): Keynotes and Presentations

Rivero M (2018) Creación de praderas diversas para servicios multi-ecosistémicos: un ejemplo de políticas de esquemas agro-ambientales impulsados por la ciencia en Reino Unido Creating productive diverse grassland for multi-ecosystem services: an example of agri-environment schemes policies driven by science in United Kingdom in Agro Sur

Rimmer D (2013) Landmark Papers: No. 2. Quirk, J. P. & Schofield, R. K. 1955. The effect of electrolyte concentration on soil permeability. Journal of Soil Science , 6, 163-178. Commentary on the impact of Quirk & Schofield (1955): by D. L. Rimmer, G. J. D. Kirk & G. Bourrié in European Journal of Soil Science

Worden K (2015) Structural Health Monitoring: from Structures to Systems-of-Systems ? ?The support of the UK Engineering and Physical Sciences Research Council (EPSRC) through grant reference numbers EP/J016942/1 and EP/K003836/2, and that of the EU Framework 7 Programme for the ITN project SYSWIND, is gratefully acknowledged. in IFAC-PapersOnLine

YAHAYA ABOUBACAR A.K. (2019) Brucellose Bovine au Niger : Enquête Cap (Connaissances, Attitudes Et Pratiques) et Prévalence dans les Elevages Laitiers à Torodi et Namaro (Région de Tillaberi). (DVM thesis, l'Ecole Inter-Etats des Sciences et Médecine Vétérinaires de Dakar).

Montoya E (2018) Amazonia history: Contribution of palaeoecology to the scientific debate of pre-Columbian occupation and its effects on the ecosystems Historia de la Amazonía: contribución de la paleoecología al debate de ocupación precolombina y sus efectos en el ecosistema in Ecosistemas

ABDOURAHAMANE MAHAMADOU S. (2019) Brucellose Bovine au Niger : Enquête Cap (Connaissances, Attitudes Et Pratiques) et Prévalence dans les Elevages Laitiers à Hamdallaye et Birni N'Gaouré. (DVM thesis, l'Ecole Inter-Etats des Sciences et Médecine Vétérinaires de Dakar).

Radonjic, N (2018) Slika Afrike u Jugoslaviji 1945-1991"(The Image of Africa in Yugoslavia 1945-1991), at the international conference History fest 2018 Sarajevo, and the doctoral workshop "Jugoslavija kao naucni problem na doktorskim studijama" (Yugoslavia as a scientific problem in Phd studies)

May, T (2009) Submission of evidence to DIUSS Select Committee: Has the time come for the UK - as part of a clear economic strategy - to make choices about the balance of investment in science and innovation to favour those areas in which the UK has clear competitive

Fowler PA (2016) Comment on "Effects of Arsenite during Fetal Development on Energy Metabolism and Susceptibility to Diet-Induced Fatty Liver Diseases in Male Mice" and "Mechanisms Underlying Latent Disease Risk Associated with Early-Life Arsenic Exposure: Current Trends and Scientific Gaps". in Environmental health perspectives

Hemingway H (2017) Using nationwide 'big data' from linked electronic health records to help improve outcomes in cardiovascular diseases: 33 studies using methods from epidemiology, informatics, economics and social science in the ClinicAl disease research using LInked Bespoke studies and Electronic health Records (CALIBER) programme in Programme Grants for Applied Research

Billing (2020) Billing C., Cepeda Zorrilla M., Collinson S., Green A. and Pan F. (2020) Regional Productivity Differences, Skills and Inclusive Growth: Survey Findings, City-REDI, University of Birmingham. https://www.birmingham.ac.uk/Documents/college-social-sciences/business/research/city-redi/Projects-Docs/Productivity-Project-Survey-Results.pdf

Kong H (2015) Cooperative Distributed Model Predictive Control via Linear Programming?A Divide and Conquer Approach**This work was supported by the "Developing FUTURE Vehicles" project of the Engineering and Physical Sciences Research Council under the UK Low Carbon Vehicles Integrated Delivery Programme. in IFAC-PapersOnLine

Huvenne V (2020) 2020 RRS Discovery Cruise DY108-109, 6 Sept - 2 Oct 2019. CLASS - Climate-linked Atlantic System Science Darwin Mounds Marine Protected Area habitat monitoring, BioCAM - first equipment trials. BLT- Recipes: pilot study (National Oceanography Centre Cruise Report, 66) Southampton. National Oceanography Centre

Bijak J (2018) Review. Recenzja. [Honorary Doctorate Review: Scientific, Educational and Leadership Contributions of Professor Frans J C Willekens], In: Profesor Frans Willekens. Doktorzy Honoris Causa Szkoly Glównej Handlowej w Warszawie. Warsaw: SGH, pp. 55-61 [in English], 79-85 [in Polish]

Bartoli F (2016) Le Bissonnais, Y. 1996. Aggregate stability and assessment of crustability and erodibility: 1. theory and methodology. European Journal of Soil Science , 47, 425-437. Commentary on the impact of Le Bissonnais (1996): by F. Bartoli , P. Hallett & O. Cerdan in European Journal of Soil Science

Shuttleworth, S (2018) Research Culture - Collaboration Collections, The Royal Society. Paper title "From collective investigation to citizen science". The Collaboration Collection (PDF) is a series of historical and contemporary case studies focused on collaborations and the conditions that led to their success.

Iannelli, C Social inequalities in higher education: why and how national institutional factors matter - Summary report of the Festival of Social Science event as a digital output to increase dissemination of the research findings that were presented at FoSS event in November 2015.

Agarwal M (2015) China and India: Reforms and the Response - How Differently have the Economies Behaved? in World Scientific Reference on Asia and the World Economy - (In 3 Volumes)Volume 1: Sustainability of Growth: The Role of Economic, Technological and Environmental FactorsVolume 2: India and China: Comparative Experience and ProspectsVolume 3: Actions on Climate Change by Asian Countries

Shadurskij V (2019) Les principaux modèles d'identité nationale dans la Biélorussie contemporaine in Les nôtres et les autres. Retour épistemologique sur la perception des identités en Europe. Sous la direction d'Elena Filippova et Xavier le Torrivellec. Moscou : Institut d'ethnologie et d'anthropologie de l'Académie des sciences de Russie

Cianferotti L (2017) Vitamin D supplementation in the prevention and management of major chronic diseases not related to mineral homeostasis in adults: research for evidence and a scientific statement from the European society for clinical and economic aspects of osteoporosis and osteoarthritis (ESCEO). in Endocrine

Pantin I. (2010) Species visibiles et pyramis radiosa : les problèmes posés à l'optique traditionnelle par les premiers instruments d'optique in Species visibiles et pyramis radiosa : les problèmes posés à l'optique traditionnelle par les premiers instruments d'optique, in Danielle Jacquart et Michel Hochmann, Lumiere et Vision dans les Sciences et dans les Arts: De l'Antiquite au XVIIe Siecle

Itaely D (2019) Evaluation of Willingness to Pay and Accept Compensation for Conservation of Usangu Plains in Mbarali District" Thesis submitted in Partial Fulfillment of the Degree of Master of Science in Natural Resource and Environmental Economics of Sokoine University of Agriculture

Gunn, D.A. (2013) COST Action TU 1202 Impact of Climate Change on Engineered Slopes for Infrastructure; Short Term Scientific Mission; Visit made by John van Esch and Raymond van der Meij , Deltares to the British Geological Survey, 16th Sept - 20th Sept, 2013

Novotný P (2014) Lifelong learning is no longer an empty social science concept: an interview with Karen Evan Celoživotní ucení už není ve spolecenských vedách prázdným pojmem: rozhovor s Karen Evans in Studia paedagogica

Dixon D (2014) Wonders from Cambridge Collections Discoveries Art, Science and Exploration from the University of Cambridge Museums Nicholas Thomas and Martin Caiger-Smith, with Lydia Hamlett, curators Two Temple Place, London. Through 27 April 2014. www.twotempleplace.org/exhibitions/current-exhibition; www.fitzmuseum.cam.ac.uk/discoveries in Science

Wolfe J (2018) Frédérique Aït-Touati. Fictions of the Cosmos: Science and Literature in the Seventeenth Century. Trans. Susan Emanuel. Chicago: University of Chicago Press, 2011. ix + 262 pp. $45. ISBN: 978-0-226-01122-6. in Renaissance Quarterly

Wardle H (2020) Open letter from UK based academic scientists to the secretaries of state for digital, culture, media and sport and for health and social care regarding the need for independent funding for the prevention and treatment of gambling harms. in BMJ (Clinical research ed.)

Pantin, I. Catalogues, bibliographies et inventaires de livres. Quels usages pour l'historien des sciences? in 'Catalogues, bibliographies et inventaires de livres. Quels usages pour l'historien des sciences?', in Luana Giurgevich, Henrique Leitao, and Teresa Nobre de Carvalho, eds, Bibliotecas e livro científico (seculos XV-XVIII). Objectos, espaços e ideias

Gheorghiu A (2021) Focused Proof-search in the Logic of Bunched Implications in Foundations of Software Science and Computation Structures - 24th International Conference, FOSSACS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021, Proceedings

Bruno Soares, M.; (2014) Reconciling scientific capability with current and potential user needs at the seasonal to inter-annual timescale in Europe, University of Leeds, European Provision Of Regional Impact Assessment on a Seasonal-to-decadal timescale (EUPORIAS), Deliverable Report D12.4

Altenkirch T (2021) Constructing a universe for the setoid model in Foundations of Software Science and Computation Structures - 24th International Conference, FOSSACS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021, Proceedings

Mayr R (2021) Simple Stochastic Games with Almost-Sure Energy-Parity Objectives are in NP and coNP in Foundations of Software Science and Computation Structures - 24th International Conference, FOSSACS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021, Proceedings

Bruce A (2015) Critical role of animal science research in food security and sustainability National Research Council of the National Academies, The National Academies Press, Washington, D.C., 2015, vii + 415 pp. Paperback US$ 79, ISBN 978-0-309-31644-6 in Food Security

Davies N (2018) Reply to comment on the paper by Davies et al. "Resolving MISS conceptions and misconceptions: A geological approach to sedimentary surface textures generated by microbial and abiotic processes" (Earth Science Reviews, 154 (2016), 210-246)

Van Heerdt G (2021) Learning Pomset Automata in Foundations of Software Science and Computation Structures - 24th International Conference, FOSSACS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021, Proceedings

Graulund C (2021) Adjoint Reactive GUI Programming in Foundations of Software Science and Computation Structures - 24th International Conference, FOSSACS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021, Proceedings

Piedeleu R (2021) A String Diagrammatic Axiomatisation of Finite-State Automata in Foundations of Software Science and Computation Structures - 24th International Conference, FOSSACS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021, Proceedings

Jardine, N (2012) Kepler's 'lightly woven cosmography': on the sources, identity and significance of Kepler-Ms 18, 238v-241r, Russian Academy of Sciences, St Petersburg in Kepler's 'lightly woven cosmography': on the sources, identity and significance of Kepler-Ms 18, 238v-241r, Russian Academy of Sciences, St Petersburg, in C. Noirot and N. Ordine, eds, Omnia in uno: Hommage à Alain-Philippe Segonds

Ghanbari B (2017) A mechanistic study on unexpected and solvent-based pH-tuneable role of benzylic pendant side-arm on N 2 O 2 -donor naphthodiaza-crown macrocyclic ligand as a sensitive fluorogenic chemosensor for Al 3+ in aqueous solution: X-ray, NMR, photophysical, and computational studies in Journal of Luminescence

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

|< < 1 2 3 4 5 > >|

Projects (31354)

Publications (12758)

People (33699)

Organisations (1818)

Outcomes (23551)

Classifications (0)