| [1] | R. Colvin and I.J. Hayes. A semantics for behavior trees. ACCS Technical Report ACCS-TR-07-01, ARC Centre for Complex Systems (ACCS), April 2007. [ bib | http ] |
| [2] | A. Burns, I. J. Hayes, G. Baxter, and C. J. Fidge. Modelling temporal behaviour in complex socio-technical systems. Technical Report YCS 390, University of York, 2005. [ bib ] |
| [3] | Ian J. Hayes. Block-structured (attribute) grammars. Technical Report 02-47, Software Verification Reseach Centre, The University of Queensland, December 2002. [ bib | Abstract ] |
| [4] | I. J. Hayes, R. Nickson, P. Strooper, and R. Colvin. A declarative semantics for logic program refinement. Technical Report 00-30, Software Verification Research Centre, The University of Queensland, Brisbane 4072, Australia, November 2000. [ bib | Abstract ] |
| [5] | Report of the Computer Science Action Learning Group. Improving the quality of tutorial classes in computer science. Technical Report UQ-CS-322, Department of Computer Science, University of Queensland, 1995. [ bib ] |
| [6] | I. J. Hayes, C. B. Jones, and J. E. Nicholls. Understanding the differences between VDM and Z. Technical report UMCS-93-8-1, Department of Computer Science, University of Manchester, August 1993. [ bib | .ps ] |
| [7] | I. J. Hayes. Specifying physical limitations: A case study of an oscilloscope. Technical report 167, Department of Computer Science, University of Queensland, July 1990. [ bib | .ps ] |
| [8] | R. Duke, I. J. Hayes, and G. A. Rose. Verification of a cyclic retransmission protocol. Technical Report UQ-CS-92, Department of Computer Science, The University of Queensland, July 1988. [ bib ] |
| [9] | I. J. Hayes, R. Neucom, and J. Welsh. An editor for Z specifications. Technical report, 1988. [ bib ] |
| [10] | I. J. Hayes and K. A. Robinson. A Modula-2-based translator generator. Technical report 84, Department of Computer Science, University of Queensland, Brisbane, Australia, 1987. [ bib ] |
| [11] | I. J. Hayes and K. A. Robinson. A tutorial on Llama: A Pascal-based translator generator. Technical report, Department of Computer Science, University of New South Wales, Sydney, Australia, 1982. [ bib ] |
This file has been generated by bibtex2html 1.88.
Last updated: