Assessing the State of Demersal Fish to Address Formal Ecosystem Based Management Needs: Making Fisheries Independent Trawl Survey Data ‘Fit for Purpose’
Moriarty, Meadhbh, Greenstreet, Simon P. R., Rasmussen, Jens, de Boois, Ingeborg
Published in Frontiers in Marine Science (02.04.2019)
Published in Frontiers in Marine Science (02.04.2019)
Get full text
Journal Article
Smtlink 2.0
Peng, Yan, Greenstreet, Mark R.
Published in Electronic proceedings in theoretical computer science (29.10.2018)
Published in Electronic proceedings in theoretical computer science (29.10.2018)
Get full text
Journal Article
Real Vector Spaces and the Cauchy-Schwarz Inequality in ACL2(r)
Kwan, Carl, Greenstreet, Mark R.
Published in Electronic proceedings in theoretical computer science (29.10.2018)
Published in Electronic proceedings in theoretical computer science (29.10.2018)
Get full text
Journal Article
Trends in Sandeel Growth and Abundance off the East Coast of Scotland
MacDonald, Alan, Speirs, Douglas C., Greenstreet, Simon P. R., Boulcott, Philip, Heath, Michael R.
Published in Frontiers in Marine Science (26.04.2019)
Published in Frontiers in Marine Science (26.04.2019)
Get full text
Journal Article
Convex Functions in ACL2(r)
Kwan, Carl, Greenstreet, Mark R.
Published in Electronic proceedings in theoretical computer science (29.10.2018)
Published in Electronic proceedings in theoretical computer science (29.10.2018)
Get full text
Journal Article
Timing of Sandeel Spawning and Hatching Off the East Coast of Scotland
MacDonald, Alan, Heath, Michael R., Greenstreet, Simon P. R., Speirs, Douglas C.
Published in Frontiers in Marine Science (06.03.2019)
Published in Frontiers in Marine Science (06.03.2019)
Get full text
Journal Article
Practical Asynchronous Interconnect Network Design
Quinton, B.R., Greenstreet, M.R., Wilton, S.J.E.
Published in IEEE transactions on very large scale integration (VLSI) systems (01.05.2008)
Published in IEEE transactions on very large scale integration (VLSI) systems (01.05.2008)
Get full text
Journal Article
Optimization and Comparison of Synchronizers
Reiher, Justin, Greenstreet, Mark R.
Published in 2020 26th IEEE International Symposium on Asynchronous Circuits and Systems (ASYNC) (01.05.2020)
Published in 2020 26th IEEE International Symposium on Asynchronous Circuits and Systems (ASYNC) (01.05.2020)
Get full text
Conference Proceeding
Surfing Pipelines: Theory and Implementation
Suwen Yang, Winters, B.D., Greenstreet, M.R.
Published in IEEE journal of solid-state circuits (01.06.2007)
Published in IEEE journal of solid-state circuits (01.06.2007)
Get full text
Journal Article
Verifying global start-up for a Möbius ring-oscillator
Yan, Chao, Greenstreet, Mark R., Yang, Suwen
Published in Formal methods in system design (01.10.2014)
Published in Formal methods in system design (01.10.2014)
Get full text
Journal Article
The impact of the sandeel fishery closure on seabird food consumption, distribution, and productivity in the northwestern North Sea
Daunt, Francis, Wanless, Sarah, Greenstreet, Simon P.R, Jensen, Henrik, Hamer, Keith C, Harris, Michael P
Published in Canadian journal of fisheries and aquatic sciences (01.03.2008)
Published in Canadian journal of fisheries and aquatic sciences (01.03.2008)
Get full text
Journal Article
Combining fisheries surveys to inform marine species distribution modelling
Moriarty, Meadhbh, Sethi, Suresh A, Pedreschi, Debbi, Smeltz, T Scott, McGonigle, Chris, Harris, Bradley P, Wolf, Nathan, Greenstreet, Simon P R
Published in ICES journal of marine science (01.03.2020)
Published in ICES journal of marine science (01.03.2020)
Get full text
Journal Article
A feeding guild indicator to assess environmental change impacts on marine ecosystem structure and functioning
Thompson, Murray S. A., Pontalier, Hugo, Spence, Michael A., Pinnegar, John K., Greenstreet, Simon P. R., Moriarty, Meadhbh, Hélaouët, Pierre, Lynam, Christopher P., O'Connor, Nessa
Published in The Journal of applied ecology (01.09.2020)
Published in The Journal of applied ecology (01.09.2020)
Get full text
Journal Article
Central nervous system complications of coronary artery bypass graft surgery: prospective analysis of 421 patients
BREUER, A. C, FURLAN, A. J, HANSON, M. R, LEDERMAN, R. J, LOOP, F. D, COSGROVE, D. M, GREENSTREET, R. L, ESTAFANOUS, F. G
Published in Stroke (1970) (01.09.1983)
Published in Stroke (1970) (01.09.1983)
Get full text
Journal Article