Picture of boy being examining by doctor at a tuberculosis sanatorium

Understanding our future through Open Access research about our past...

Strathprints makes available scholarly Open Access content by researchers in the Centre for the Social History of Health & Healthcare (CSHHH), based within the School of Humanities, and considered Scotland's leading centre for the history of health and medicine.

Research at CSHHH explores the modern world since 1800 in locations as diverse as the UK, Asia, Africa, North America, and Europe. Areas of specialism include contraception and sexuality; family health and medical services; occupational health and medicine; disability; the history of psychiatry; conflict and warfare; and, drugs, pharmaceuticals and intoxicants.

Explore the Open Access research of the Centre for the Social History of Health and Healthcare. Or explore all of Strathclyde's Open Access research...

Image: Heart of England NHS Foundation Trust. Wellcome Collection - CC-BY.

Browse by Author or Creator

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Publication Date | Item type | No Grouping
Jump to: 2019 | 2018 | 2017 | 2016 | 2015 | 2014 | 2013 | 2012 | 2011 | 2009 | 2008
Number of items: 19.

2019

Barlocco, Simone and Kupke, Clemens and Rot, Jurriaan (2019) Coalgebra learning via duality. In: Foundations of Software Science and Computation Structures. Lecture Notes in Computer Science . Springer, Cham, Switzerland, pp. 62-79. ISBN 9783030171278

2018

Ghani, Neil and Kupke, Clemens and Lambert, Alasdair and Nordvall Forsberg, Fredrik (2018) A compositional treatment of iterated open games. Theoretical Computer Science, 741. pp. 48-57. ISSN 0304-3975

Hansen, Helle Hvid and Kupke, Clemens and Marti, Johannes and Venema, Yde (2018) Parity games and automata for game logic. In: Dynamic Logic. New Trends and Applications. Lecture Notes in Computer Science . Springer, Cham, pp. 115-132.

2017

Barlocco, Simone and Kupke, Clemens (2017) Angluin learning via logic. In: Logical Foundations of Computer Science. Lecture Notes in Computer Science . Springer, Cham, pp. 72-90. ISBN 9783319720555

Hansen, Helle Hvid and Kupke, Clemens and Rutten, Jan (2017) Stream differential equations : specification formats and solution methods. Logical Methods in Computer Science, 13 (1). pp. 1-52. ISSN 1860-5974

2016

Bezhanishvili, Nick and Kupke, Clemens (2016) Games for topological fixpoint logic. In: Proceedings of the Seventh International Symposium on Games, Automata, Logics, and Formal Verification. Electronic Proceedings in Theoretical Computer Science, pp. 1-15.

2015

Hansen, Helle Hvid and Kupke, Clemens (2015) Weak completeness of coalgebraic dynamic logics. In: Proceedings Tenth International Workshop on Fixed Points in Computer Science. Electronic Proceedings in Theoretical Computer Science, Berlin, pp. 90-104.

Kupke, Clemens and Pattinson, Dirk and Schröder, Lutz (2015) Reasoning with global assumptions in arithmetic modal logics. In: 20th International Symposium on Fundamentals of Computation Theory, 2015-08-17 - 2015-08-19.

2014

Kupke, Clemens and Hansen, Helle Hvid and Leal, Raul Andres (2014) Strong completeness for iteration-free coalgebraic dynamic logics. In: Theoretical Computer Science. Lecture Notes in Computer Science, 8705 . Springer, pp. 281-295. ISBN 978-3-662-44601-0

Gottlob, Georg and Hernich, Andre and Kupke, Clemens and Lukasiewicz, Thomas (2014) Stable model semantics for guarded existential rules and description logics. In: Principles of Knowledge Representation and Reasoning. Association for the Advancement of Artificial Intelligence (AAAI), 258−267. ISBN 9781577356578

Hansen, Helle Hvid and Kupke, Clemens and Rutten, Jan and Winter, Joost (2014) A final coalgebra for k-regular sequences. In: Horizons of the Mind. Springer: Lecture Notes in Computer Science, pp. 363-383. ISBN 978-3-319-06879-4

2013

Cuenca Grau, Bernardo and Horrocks, Ian and Krötzsch, Markus and Kupke, Clemens and Magka, Despoina and Motik, Boris and Wang, Zhe (2013) Acyclicity notions for existential rules and their application to query answering in ontologies. Journal of Artificial Intelligence Research, 47. pp. 741-808. ISSN 1076-9757

Kupke, Clemens and Gottlob, Georg and Lukasiewicz, Thomas and Hernich, Andre (2013) Well-Founded Semantics for Extended Datalog and Ontological Reasoning. In: Proceedings of the 32nd Symposium on Principles of Database Systems. ACM, New York, NY, New York, pp. 225-236. ISBN 978-1-4503-2066-5

2012

Bezhanishvili, N. and Kupke, Clemens and Panangaden, Prakash (2012) Minimization via duality. In: Logic, Language, Information and Computation. Lecture Notes in Computer Science, 7456 . Springer, Berlin, pp. 191-205. ISBN 9783642326202

Kupke, Clemens and Kurz, Alexander and Venema, Yde (2012) Completeness for the coalgebraic cover modality. Logical Methods in Computer Science, 8 (3). ISSN 1860-5974

Kupke, Clemens and Gottlob, Georg and Lukasiewicz, Thomas and Hernich, Andre (2012) Equality-friendly well-founded semantics and applications to description logics. In: Proceedings of the Twenty-Sixth AAAI Conference on Artificial Intelligence. Association for the Advancement of Artificial Intelligence (AAAI), pp. 757-764. ISBN 978-1-57735-568-7

2011

Cirstea, Corina and Kupke, Clemens and Pattinson, Dirk (2011) EXPTIME tableaux for the coalgebraic mu-calculus. Logical Methods in Computer Science, 7 (3). ISSN 1860-5974

2009

Hansen, Helle Hvid and Kupke, Clemens and Pacuit, Eric (2009) Neighbourhood structures : bisimilarity and basic model theory. Logical Methods in Computer Science, 5 (2). ISSN 1860-5974

2008

Kupke, Clemens and Venema, Yde (2008) Coalgebraic automata theory : basic results. Logical Methods in Computer Science, 4 (4). ISSN 1860-5974

This list was generated on Sat Apr 20 19:29:01 2019 BST.