Pioneering surface enhanced Raman scattering through Open Access research...

Strathprints makes available scholarly Open Access content by researchers in the Department of Pure & Applied Chemistry, based within the Faculty of Science. Research here spans a wide range of topics from analytical chemistry to materials science, and from biological chemistry to theoretical chemistry. Chemistry's bionanotechnology research explores nanomedicines and the use of surface enhanced Raman scattering (SERS). Specific work in chemical biology and medicinal chemistry, as another example, encompasses pioneering techniques in synthesis, bioinformatics, nucleic acid chemistry, amino acid chemistry, heterocyclic chemistry, biophysical chemistry and NMR spectroscopy.

Explore the Open Access research of the Department of Pure & Applied Chemistry. Or explore all of Strathclyde's Open Access research...

Browse by Journal or other publication

Group by: Publication Date | Item type | No Grouping
Jump to: 2021 | 2020 | 2018 | 2017 | 2015 | 2012 | 2011 | 2009 | 2008
Number of items: 18.

2021

Kupke, Clemens and Rot, Jurriaan (2021) Expressive logics for coinductive predicates. Logical Methods in Computer Science. ISSN 1860-5974 (In Press)

2020

Furber, Robert and Mardare, Radu and Mio, Matteo (2020) Probabilistic logics based on Riesz spaces. Logical Methods in Computer Science, 16 (1). ISSN 1860-5974

2018

Hansen, Mikkel and Larsen, Kim Guldstrand and Mardare, Radu and Pedersen, Mathias Ruggaard (2018) Reasoning about bounds in weighted transition systems. Logical Methods in Computer Science, 14 (4). 19. ISSN 1860-5974

Bacci, Giorgio and Bacci, Giovanni and Larsen, Kim G. and Mardare, Radu (2018) A complete quantitative deduction system for the bisimilarity distance on Markov chains. Logical Methods in Computer Science, 14 (4). 15. ISSN 1860-5974

Mardare, Radu and Panangaden, Prakash and Plotkin, Gordon D. (2018) Free complete Wasserstein algebras. Logical Methods in Computer Science, 14 (3). 19. ISSN 1860-5974

2017

Castellan, Simon and Clairambault, Pierre and Rideau, Silvain and Winskel, Glynn (2017) Games and strategies as event structures. Logical Methods in Computer Science, 13 (3). 35. ISSN 1860-5974

Bacci, Giorgio and Bacci, Giovanni and Larsen, Kim G. and Mardare, Radu (2017) On-the-fly computation of bisimilarity distances. Logical Methods in Computer Science, 13 (2). pp. 1-25. 13. ISSN 1860-5974

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

2015

Ghani, Neil and Nordvall Forsberg, Fredrik and Malatesta, Lorenzo (2015) Positive inductive-recursive definitions. Logical Methods in Computer Science, 11 (1). 13. ISSN 1860-5974

Berger, Ulrich and Lawrence, Andrew and Nordvall Forsberg, Fredrik and Seisenberger, Monika (2015) Extracting verified decision procedures : DPLL and resolution. Logical Methods in Computer Science, 11 (1). 6. ISSN 1860-5974

2012

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

Ghani, Neil and Johann, Patricia and Fumex, Clement (2012) Generic fibrational induction. Logical Methods in Computer Science, 8 (2). 12. ISSN 1860-5974

Atkey, Robert and Johann, Patricia and Ghani, Neil (2012) Refining inductive types. Logical Methods in Computer Science, 8 (2). 9. ISSN 1860-5974

2011

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

Atkey, Robert (2011) Amortised resource analysis with separation logic. Logical Methods in Computer Science, 7 (2). 17.

2009

Hancock, Peter and Pattinson, Dirk and Ghani, Neil (2009) Representations of stream processors using nested fixed points. Logical Methods in Computer Science, 5 (3). pp. 1-17. 9.

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

2008

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

This list was generated on Fri Oct 7 03:53:38 2022 BST.