Skip to contents Henson, Martin C. Program development in the constructive set theory TK Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Association for Computing Machinery (ACM), 1989 Published in: Formal Aspects of Computing Henson, Martin; Pugna, Irina Bogdana Organising Principles for the Internationalization of Higher Education Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Walter de Gruyter GmbH, 2019 Published in: Proceedings of the International Conference on Business Excellence Deutsch, Moshe; Henson, Martin C. An analysis of refinement in an abortive paradigm Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Association for Computing Machinery (ACM), 2006 Published in: Formal Aspects of Computing Deutsch, Moshe; Henson, Martin C. Unifying Theories of Programming: A Relational Investigation of UTP Designs and Prescriptions Articles View online Schließen > Access Full access (via DOI) Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Springer Berlin Heidelberg, 2006 Published in: Unifying Theories of Programming Deutsch, Moshe; Henson, Martin C. An Analysis of Operation-Refinement in an Abortive Paradigm Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Elsevier BV, 2005 Published in: Electronic Notes in Theoretical Computer Science Henson, Martin C.; Kajtazi, Besnik The Specification Logic νZ Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Elsevier BV, 2005 Published in: Electronic Notes in Theoretical Computer Science Henson, Martin C.; Reeves, Steve A Logic for Schema-Based Program Development Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Association for Computing Machinery (ACM), 2003 Published in: Formal Aspects of Computing Deutsch, Moshe; Henson, Martin C. ZB 2003: Formal Specification and Development in Z and B: An Analysis of Forward Simulation Data Refinement Articles View online Schließen > Access Full access (via DOI) Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Springer Berlin Heidelberg, 2003 Published in: ZB 2003: Formal Specification and Development in Z and B Henson, Martin C.; Reeves, Steve ZB 2000: Formal Specification and Development in Z and B: Program Development and Specification Refinement in the Schema Calculus Articles View online Schließen > Access Full access (via DOI) Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Springer Berlin Heidelberg, 2000 Published in: ZB 2000: Formal Specification and Development in Z and B Henson, Martin C.; Reeves, Steve Revising Z: Part I – logic and semantics Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Association for Computing Machinery (ACM), 1999 Published in: Formal Aspects of Computing Henson, Martin C.; Reeves, Steve Revising Z: Part II – logical development Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Association for Computing Machinery (ACM), 1999 Published in: Formal Aspects of Computing Henson, Martin C.; Reeves, Steve ZUM ’98: The Z Formal Specification Notation: A Logic for the Schema Calculus Articles View online Schließen > Access Full access (via DOI) Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Springer Berlin Heidelberg, 1998 Published in: ZUM ’98: The Z Formal Specification Notation Henson, Martin C.; Turner, Raymond Lecture Notes in Computer Science: A constructive set theory for program development Articles View online Schließen > Access Full access (via DOI) Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Springer Berlin Heidelberg, 1988 Published in: Lecture Notes in Computer Science Henson, Martin C.; Deutsch, Moshe; Kajtazi, Besnik The specification logic νZ Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Association for Computing Machinery (ACM), 2006 Published in: Formal Aspects of Computing Deutsch, Moshe; Henson, Martin C.; Reeves, Steve ZB 2003: Formal Specification and Development in Z and B: Operation Refinement and Monotonicity in the Schema Calculus Articles View online Schließen > Access Full access (via DOI) Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Springer Berlin Heidelberg, 2003 Published in: ZB 2003: Formal Specification and Development in Z and B Martin, D. G.; Henson, R. W. The scattering of long wavelength neutrons by defects in neutron-Irradiated graphite Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Informa UK Limited, 1964 Published in: Philosophical Magazine de Melo Viríssimo, Francisco; Martin, Adrian P.; Henson, Stephanie A. Influence of Seasonal Variability in Flux Attenuation on Global Organic Carbon Fluxes and Nutrient Distributions Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. American Geophysical Union (AGU), 2022 Published in: Global Biogeochemical Cycles Cole, Harriet S.; Henson, Stephanie; Martin, Adrian P.; Yool, Andrew Basin-wide mechanisms for spring bloom initiation: how typical is the North Atlantic? Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Oxford University Press (OUP), 2015 Published in: ICES Journal of Marine Science Whittington, Luke; Dooley, James; Henson, Martin; Al-Ghamdi, Abdullah Towards Realising FollowMe User Profiles for Macro-Intelligent Environments Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. MDPI AG, 2013 Published in: Computers Cole, Harriet; Henson, Stephanie; Martin, Adrian; Yool, Andrew Mind the gap: The impact of missing data on the calculation of phytoplankton phenology metrics Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. American Geophysical Union (AGU), 2012 Published in: Journal of Geophysical Research: Oceans
Henson, Martin C. Program development in the constructive set theory TK Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Association for Computing Machinery (ACM), 1989 Published in: Formal Aspects of Computing
Henson, Martin; Pugna, Irina Bogdana Organising Principles for the Internationalization of Higher Education Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Walter de Gruyter GmbH, 2019 Published in: Proceedings of the International Conference on Business Excellence
Deutsch, Moshe; Henson, Martin C. An analysis of refinement in an abortive paradigm Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Association for Computing Machinery (ACM), 2006 Published in: Formal Aspects of Computing
Deutsch, Moshe; Henson, Martin C. Unifying Theories of Programming: A Relational Investigation of UTP Designs and Prescriptions Articles View online Schließen > Access Full access (via DOI) Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Springer Berlin Heidelberg, 2006 Published in: Unifying Theories of Programming
Deutsch, Moshe; Henson, Martin C. An Analysis of Operation-Refinement in an Abortive Paradigm Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Elsevier BV, 2005 Published in: Electronic Notes in Theoretical Computer Science
Henson, Martin C.; Kajtazi, Besnik The Specification Logic νZ Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Elsevier BV, 2005 Published in: Electronic Notes in Theoretical Computer Science
Henson, Martin C.; Reeves, Steve A Logic for Schema-Based Program Development Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Association for Computing Machinery (ACM), 2003 Published in: Formal Aspects of Computing
Deutsch, Moshe; Henson, Martin C. ZB 2003: Formal Specification and Development in Z and B: An Analysis of Forward Simulation Data Refinement Articles View online Schließen > Access Full access (via DOI) Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Springer Berlin Heidelberg, 2003 Published in: ZB 2003: Formal Specification and Development in Z and B
Henson, Martin C.; Reeves, Steve ZB 2000: Formal Specification and Development in Z and B: Program Development and Specification Refinement in the Schema Calculus Articles View online Schließen > Access Full access (via DOI) Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Springer Berlin Heidelberg, 2000 Published in: ZB 2000: Formal Specification and Development in Z and B
Henson, Martin C.; Reeves, Steve Revising Z: Part I – logic and semantics Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Association for Computing Machinery (ACM), 1999 Published in: Formal Aspects of Computing
Henson, Martin C.; Reeves, Steve Revising Z: Part II – logical development Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Association for Computing Machinery (ACM), 1999 Published in: Formal Aspects of Computing
Henson, Martin C.; Reeves, Steve ZUM ’98: The Z Formal Specification Notation: A Logic for the Schema Calculus Articles View online Schließen > Access Full access (via DOI) Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Springer Berlin Heidelberg, 1998 Published in: ZUM ’98: The Z Formal Specification Notation
Henson, Martin C.; Turner, Raymond Lecture Notes in Computer Science: A constructive set theory for program development Articles View online Schließen > Access Full access (via DOI) Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Springer Berlin Heidelberg, 1988 Published in: Lecture Notes in Computer Science
Henson, Martin C.; Deutsch, Moshe; Kajtazi, Besnik The specification logic νZ Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Association for Computing Machinery (ACM), 2006 Published in: Formal Aspects of Computing
Deutsch, Moshe; Henson, Martin C.; Reeves, Steve ZB 2003: Formal Specification and Development in Z and B: Operation Refinement and Monotonicity in the Schema Calculus Articles View online Schließen > Access Full access (via DOI) Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Springer Berlin Heidelberg, 2003 Published in: ZB 2003: Formal Specification and Development in Z and B
Martin, D. G.; Henson, R. W. The scattering of long wavelength neutrons by defects in neutron-Irradiated graphite Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Informa UK Limited, 1964 Published in: Philosophical Magazine
de Melo Viríssimo, Francisco; Martin, Adrian P.; Henson, Stephanie A. Influence of Seasonal Variability in Flux Attenuation on Global Organic Carbon Fluxes and Nutrient Distributions Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. American Geophysical Union (AGU), 2022 Published in: Global Biogeochemical Cycles
Cole, Harriet S.; Henson, Stephanie; Martin, Adrian P.; Yool, Andrew Basin-wide mechanisms for spring bloom initiation: how typical is the North Atlantic? Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Oxford University Press (OUP), 2015 Published in: ICES Journal of Marine Science
Whittington, Luke; Dooley, James; Henson, Martin; Al-Ghamdi, Abdullah Towards Realising FollowMe User Profiles for Macro-Intelligent Environments Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. MDPI AG, 2013 Published in: Computers
Cole, Harriet; Henson, Stephanie; Martin, Adrian; Yool, Andrew Mind the gap: The impact of missing data on the calculation of phytoplankton phenology metrics Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. American Geophysical Union (AGU), 2012 Published in: Journal of Geophysical Research: Oceans
> Media type Skip to next facet Articles (153) Wert ausschließen Books (16) Wert ausschließen Show more show less
> Location Skip to next facet Departmental Library DrePunct (2) Wert ausschließen Central Library (1) Wert ausschließen Show more show less
> Access State Skip to next facet Open Access (98) Wert ausschließen Restricted Access (1) Wert ausschließen Without Specification (67) Wert ausschließen Show more show less
> Language Skip to next facet English (152) Wert ausschließen Not determined (16) Wert ausschließen German (1) Wert ausschließen Show more show less
> Subject Skip to next facet Medicine (37) Wert ausschließen Biology (26) Wert ausschließen Technology (21) Wert ausschließen Chemistry and pharmacology (13) Wert ausschließen Computer science (13) Wert ausschließen Geography (8) Wert ausschließen Physics (5) Wert ausschließen Mathmatics (4) Wert ausschließen Psychology (4) Wert ausschließen General (3) Wert ausschließen Agriculture and forestry, horticulture, fisheries, housekeeping (3) Wert ausschließen General sciences (2) Wert ausschließen Geology and paleontology (2) Wert ausschließen Art and art history (2) Wert ausschließen Economics (1) Wert ausschließen Show more show less
> Creator Skip to next facet Henson, Martin C. (19) Wert ausschließen Henson, Michael A. (11) Wert ausschließen Henson, Dru A. (10) Wert ausschließen Nieman, David C. (10) Wert ausschließen Marks, Michael (9) Wert ausschließen Carmichael, Martin D. (8) Wert ausschließen Carr, L. (8) Wert ausschließen Dumke, Charles L. (8) Wert ausschließen McAnulty, Lisa S. (8) Wert ausschließen McAnulty, Steven R. (8) Wert ausschließen Moore, William Henson (8) Wert ausschließen Quindry, John C. (8) Wert ausschließen Utter, Alan C. (8) Wert ausschließen Ahmad, S. (7) Wert ausschließen Archer, William Reynolds (7) Wert ausschließen Conable, Barber Benjamin (7) Wert ausschließen Davis, J. Mark (7) Wert ausschließen Gross, Sarah J. (7) Wert ausschließen Johnson, C. (7) Wert ausschließen Jones, H. (7) Wert ausschließen Jones, L. (7) Wert ausschließen Martin, James Grubbs (7) Wert ausschließen Murphy, E. Angela (7) Wert ausschließen Patel, B. (7) Wert ausschließen Raman, Betty (7) Wert ausschließen Ullman, Albert Conrad (7) Wert ausschließen Wilson, D. (7) Wert ausschließen Ali, M. (6) Wert ausschließen Burns, G. (6) Wert ausschließen Clark, C. (6) Wert ausschließen Davies, K. (6) Wert ausschließen Deutsch, Moshe (6) Wert ausschließen Duncan, John James (6) Wert ausschließen Elneima, Omer (6) Wert ausschließen Evans, R. (6) Wert ausschließen Frenzel, William Eldridge (6) Wert ausschließen George, J. (6) Wert ausschließen Goland, Robin (6) Wert ausschließen Gradison, Willis David (6) Wert ausschließen Ho, Ling-Pei (6) Wert ausschließen Jones, S. (6) Wert ausschließen Kelly, S. (6) Wert ausschließen King, C. (6) Wert ausschließen Knight, S. (6) Wert ausschließen Li, X. (6) Wert ausschließen Manley, R. (6) Wert ausschließen Martin, Adrian P. (6) Wert ausschließen Mayer, Eugene P. (6) Wert ausschließen Patel, M. (6) Wert ausschließen Patel, S. (6) Wert ausschließen Reddy, R. (6) Wert ausschließen Reed, A. (6) Wert ausschließen Reeves, Steve (6) Wert ausschließen Richardson, M. (6) Wert ausschließen Schulze, Richard Taylor (6) Wert ausschließen Shah, A. (6) Wert ausschließen Sharma, M. (6) Wert ausschließen Singapuri, Amisha (6) Wert ausschließen Singh, S. (6) Wert ausschließen Smith, D. (6) Wert ausschließen Smith, L. (6) Wert ausschließen United States Congress House Committee on Ways and Means (6) Wert ausschließen Vander Jagt, Guy Adrian (6) Wert ausschließen Vickers, C. (6) Wert ausschließen Walker, S. (6) Wert ausschließen Watson, E. (6) Wert ausschließen Wilkinson, D. (6) Wert ausschließen Williams, J. (6) Wert ausschließen Abbondondolo, Michael (5) Wert ausschließen Abel, K. (5) Wert ausschließen Adamali, H. (5) Wert ausschließen Adams, Timothy (5) Wert ausschließen Aljaroof, M. (5) Wert ausschließen Amado, Darlene (5) Wert ausschließen Arnold, H. (5) Wert ausschließen Ashish, A. (5) Wert ausschließen Ashworth, M. (5) Wert ausschließen Asif, Ilma (5) Wert ausschließen Ayoub, A. (5) Wert ausschließen Bafalis, Louis Arthur (5) Wert ausschließen Bagshaw, J. (5) Wert ausschließen Bailey, L. (5) Wert ausschließen Bakau, M. (5) Wert ausschließen Baldry, E. (5) Wert ausschließen Bates, A. (5) Wert ausschließen Batterham, R. (5) Wert ausschließen Beadsworth, M. (5) Wert ausschließen Beggs, M. (5) Wert ausschließen Begum, M. (5) Wert ausschließen Birchall, K. (5) Wert ausschließen Bonnington, J. (5) Wert ausschließen Boonstra, Matthew (5) Wert ausschließen Botkai, A. (5) Wert ausschließen Bourcier, Katarzyna (5) Wert ausschließen Breen, G. (5) Wert ausschließen Bright, E. (5) Wert ausschließen Brindle, K. (5) Wert ausschließen Brown, A. (5) Wert ausschließen Brown, J. (5) Wert ausschließen Brown, M. (5) Wert ausschließen Show more show less
> Collection Skip to next facet Wiley (CrossRef) (21) Wert ausschließen Elsevier BV (CrossRef) (20) Wert ausschließen Springer Science and Business Media LLC (CrossRef) (18) Wert ausschließen Ovid Technologies (Wolters Kluwer Health) (CrossRef) (11) Wert ausschließen U.S. Congressional Serial Set (9) Wert ausschließen Springer Berlin Heidelberg (CrossRef) (8) Wert ausschließen Association for Computing Machinery (ACM) (CrossRef) (7) Wert ausschließen Oxford University Press (OUP) (CrossRef) (7) Wert ausschließen Verbunddaten SWB (7) Wert ausschließen American Geophysical Union (AGU) (CrossRef) (6) Wert ausschließen American Diabetes Association (CrossRef) (5) Wert ausschließen MDPI AG (CrossRef) (5) Wert ausschließen American Medical Association (AMA) (CrossRef) (3) Wert ausschließen BMJ (CrossRef) (3) Wert ausschließen Informa UK Limited (CrossRef) (3) Wert ausschließen Public Library of Science (PLoS) (CrossRef) (3) Wert ausschließen American Association for Cancer Research (AACR) (CrossRef) (2) Wert ausschließen American Chemical Society (ACS) (CrossRef) (2) Wert ausschließen American Physiological Society (CrossRef) (2) Wert ausschließen Frontiers Media SA (CrossRef) (2) Wert ausschließen SAGE Publications (CrossRef) (2) Wert ausschließen The Endocrine Society (CrossRef) (2) Wert ausschließen AIP Publishing (CrossRef) (1) Wert ausschließen American Association for the Advancement of Science (AAAS) (CrossRef) (1) Wert ausschließen American Meteorological Society (CrossRef) (1) Wert ausschließen American Society for Clinical Investigation (CrossRef) (1) Wert ausschließen American Society for Microbiology (CrossRef) (1) Wert ausschließen American Society of Clinical Oncology (ASCO) (CrossRef) (1) Wert ausschließen American Society of Hematology (CrossRef) (1) Wert ausschließen American Society of Sugarbeet Technologist (CrossRef) (1) Wert ausschließen American Thoracic Society (CrossRef) (1) Wert ausschließen Cambridge University Press (CUP) (CrossRef) (1) Wert ausschließen IOP Publishing (CrossRef) (1) Wert ausschließen JMIR Publications Inc. (CrossRef) (1) Wert ausschließen Lizenzfreie Online-Ressourcen (1) Wert ausschließen Mary Ann Liebert Inc (CrossRef) (1) Wert ausschließen Radiological Society of North America (RSNA) (CrossRef) (1) Wert ausschließen Royal College of General Practitioners (CrossRef) (1) Wert ausschließen Scientific Research Publishing, Inc. (CrossRef) (1) Wert ausschließen Society for Neuroscience (CrossRef) (1) Wert ausschließen The American Association of Immunologists (CrossRef) (1) Wert ausschließen The Electrochemical Society (CrossRef) (1) Wert ausschließen Walter de Gruyter GmbH (CrossRef) (1) Wert ausschließen West Virginia Academy of Science (CrossRef) (1) Wert ausschließen Show more show less