Author of the publication

The Object-Z Specification Language: Version 1

, , , and . Technical Report, 91-1. Department of Computer Science, University of Queensland, St.\ Lucia 4072, Australia, (April 1991)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

A Logical Formalism for Head-Driven Phrase Structure Grammar. University of Manchester$\dag$, (1989)Cited in Carpenter (1992)).The Object-Z Specification Language: Version 1, , , and . Technical Report, 91-1. Department of Computer Science, University of Queensland, St.\ Lucia 4072, Australia, (April 1991)Observation of a kilogram-scale oscillator near its quantum ground state, , , , , , , , , and 434 other author(s). New Journal of Physics, 11 (7): 073032+ (Jul 1, 2009)Is perfect information perfectly useless?. Economics Letters, 39 (4): 415--418 (August 1992)Einstein@Home all-sky search for periodic gravitational waves in LIGO S5 data, , , , , , , , , and 789 other author(s). Phys. Rev. D, 87 (4): 042001 (February 2013)1,3-Dipolar Cycloaddition for the Generation of Nanostructured Semiconductors by Heated Probe Tips, , , , , and . Macromolecules, 39 (20): 6793--6795 (October 2006)Fitting distribution-like data to exponential sums with genetic algorithms., and . Appl. Math. Comput., 169 (1): 82-95 (2005)High-resolution dynamic MR imaging of the thorax for respiratory motion correction of PET using groupwise manifold alignment., , , , , , and . Medical Image Anal., 18 (7): 939-952 (2014)The Mind-Body-Spirit Learning Model Transformative Learning Connections to Holistic Perspectives: Seizing Control of Your Healthcare - The Relationship among Self-Agency, Transformative Learning, and Wellness.. Int. J. Adult Vocat. Educ. Technol., 3 (3): 37-51 (2012)Navigating the Academic Developmental Maze: New Possibilities for Mentoring International Graduate and Doctoral Students through the USA., , and . Int. J. Adult Vocat. Educ. Technol., 6 (1): 1-17 (2015)