IRUS-ANZ has moved. From January 2022, new monthly statistics will only be added to the IRUS R5 service. This site is archived. All statistics up to December 2021 will remain available on this site.
| Author | Identifier | Number of Items | Total Downloads |
|---|---|---|---|
| Hayes, I |  https://orcid.org/0000-0003-3649-392X |
38 | 1277 |
| Title | Author(s) | IrusType | Repository | Item URL | Total Downloads |
|---|---|---|---|---|---|
| A Declarative Semantics for Logic Program Refinement | Hayes, Ian; Nickson, Ray; Strooper, Paul; Colvin, Robert | Report | University of Queensland [UQ eSpace] | https://espace.library.uq.edu.au/view/UQ:10587 | 9 |
| A semantics for behavior trees | Colvin, Robert; Hayes, Ian J. | Report | University of Queensland [UQ eSpace] | https://espace.library.uq.edu.au/view/UQ:204809 | 310 |
| A semantics for Behavior Trees using CSP with specification commands | Colvin, Robert J.; Hayes, Ian J. | Article | University of Queensland [UQ eSpace] | https://espace.library.uq.edu.au/view/UQ:238936 | 1 |
| A sequential real-time refinement calculus | Hayes, I. J.; Utting, M. | Article | University of Queensland [UQ eSpace] | https://espace.library.uq.edu.au/view/UQ:1755 | 66 |
| A Theory for Execution Time Derivation in Real-time Programs | Lermer, Karl; Fidge, Colin; Hayes, Ian | Report | University of Queensland [UQ eSpace] | https://espace.library.uq.edu.au/view/UQ:10547 | 40 |
| A Tool for Developing Correct Programs by Refinement | Carrington, D.; Hayes, I.; Nickson, R.; Watson, G. N.; Welsh, J. | Report | University of Queensland [UQ eSpace] | https://espace.library.uq.edu.au/view/UQ:10768 | 44 |
| Algebraic Reasoning for Probabilistic Action Systems and While-Loops | Meinicke, Larissa; Hayes, Ian J. | Report | University of Queensland [UQ eSpace] | https://espace.library.uq.edu.au/view/UQ:7961 | 50 |
| An algebra of synchronous atomic steps | Hayes, Ian J.; Colvin, Robert J.; Meinicke, Larissa A.; Winter, Kirsten; Velykis, Andrius | Conference Papers/Posters | University of Queensland [UQ eSpace] | https://espace.library.uq.edu.au/view/UQ:416706 | 2 |
| Approximating idealised real-time specifications using time bands | Dongol, Brijesh; Hayes, Ian J. | Conference Papers/Posters | University of Queensland [UQ eSpace] | https://espace.library.uq.edu.au/view/UQ:294229 | 3 |
| Building a Flexible Incremental Compiler Back-End | Cook, Phil; Welsh, Jim; Hayes, Ian J. | Report | University of Queensland [UQ eSpace] | https://espace.library.uq.edu.au/view/UQ:9539 | 195 |
| Comparing degrees of non-Determinism in expression evaluation | Hayes, Ian J.; Burns, Alan; Dongol, Brijesh; Jones, Cliff B. | Article | University of Queensland [UQ eSpace] | https://espace.library.uq.edu.au/view/UQ:305101 | 1 |
| Convolution as a unifying concept: applications in separation logic, interval calculi, and concurrency | Dongol, Brijesh; Hayes, Ian J.; Struth, Georg | Article | University of Queensland [UQ eSpace] | https://espace.library.uq.edu.au/view/UQ:382095 | 1 |
| Deadlines are termination | Hayes, Ian J.; Utting, Mark | Report | University of Queensland [UQ eSpace] | https://espace.library.uq.edu.au/view/UQ:286760 | 34 |
| Defining Differentiation and Integration in Z | Fidge, Colin. J.; Hayes, Ian. J.; Mahony, B. P. | Report | University of Queensland [UQ eSpace] | https://espace.library.uq.edu.au/view/UQ:286767 | 1 |
| Determining the specification of a control system from that of its environment | Hayes, I. J.; Jackson, M. A.; Jones, C. B. | Conference Papers/Posters | University of Queensland [UQ eSpace] | https://espace.library.uq.edu.au/view/UQ:98688 | 6 |
| Developing logic programs from specifications using stepwise refinement | Colvin, Robert; Groves, Lindsay; Hayes, Ian J.; Hemer, David; Nickson, Ray; Strooper, Paul | Book Section | University of Queensland [UQ eSpace] | https://espace.library.uq.edu.au/view/UQ:70479 | 58 |
| Formal Semantics for Program Paths | Lermer, Karl; Fidge, Colin; Hayes, Ian | Report | University of Queensland [UQ eSpace] | https://espace.library.uq.edu.au/view/UQ:10565 | 35 |
| Fractional permissions and non-deterministic evaluators in interval temporal logic | Dongol, Brijesh; Derrick, John; Hayes, Ian J. | Conference Papers/Posters | University of Queensland [UQ eSpace] | https://espace.library.uq.edu.au/view/UQ:294230 | 9 |
| Generalised rely-guarantee concurrency: an algebraic foundation | Hayes, Ian J. | Article | University of Queensland [UQ eSpace] | https://espace.library.uq.edu.au/view/UQ:406517 | 3 |
| Incremental Context-Sensitive Evaluation in Context | Cook, Phil; Welsh, Jim; Hayes, Ian J. | Report | University of Queensland [UQ eSpace] | https://espace.library.uq.edu.au/view/UQ:9799 | 5 |
| Incremental Semantic Evaluation for Interactive Systems: Inertia, Pre-emption, and Relations | Cook, Phil; Welsh, Jim; Hayes, Ian J. | Report | University of Queensland [UQ eSpace] | https://espace.library.uq.edu.au/view/UQ:9542 | 18 |
| Invariants, well-founded statements and real-time program algebra | Hayes, Ian J.; Meinicke, Larissa | Conference Papers/Posters | University of Queensland [UQ eSpace] | https://espace.library.uq.edu.au/view/UQ:331193 | 3 |
| Linear Approximation of Execution Time Constraints | Lermer, Karl; Fidge, Colin; Hayes, Ian | Report | University of Queensland [UQ eSpace] | https://espace.library.uq.edu.au/view/UQ:10540 | 69 |
| Path-sensitive data flow analysis simplified | Winter, Kirsten; Zhang, Chenyi; Hayes, Ian J.; Keynes, Nathan; Cifuentes, Cristina; Li, Lisa | Conference Papers/Posters | University of Queensland [UQ eSpace] | https://espace.library.uq.edu.au/view/UQ:319997 | 1 |
| Prolog | Dongol, Brijesh M.S.; Hayes, Ian J.; Robinson, Peter J. | Dataset | University of Queensland [UQ eSpace] | https://espace.library.uq.edu.au/view/UQ:278467 | 24 |
| Reasoning about real-time repetitions: terminating and nonterminating | Hayes, Ian | Article | University of Queensland [UQ eSpace] | https://espace.library.uq.edu.au/view/UQ:61433 | 33 |
| Reasoning about real-time teleo-reactive programs | Dongol, Brijesh; Hayes, Ian J.; Robinson, Peter J. | Report | University of Queensland [UQ eSpace] | https://espace.library.uq.edu.au/view/UQ:196197 | 8 |
| Reasoning about teleo-reactive programs under parallel composition | Dongol, Brijesh; Hayes, Ian J. | Report | University of Queensland [UQ eSpace] | https://espace.library.uq.edu.au/view/UQ:240430 | 4 |
| Reasoning Algebraically about Probabilistic Loops | Hayes, Ian J.; Meinicke, Larissa | Report | University of Queensland [UQ eSpace] | https://espace.library.uq.edu.au/view/UQ:8218 | 48 |
| Refinement of higher-order logic programs | Colvin, Robert; Hayes, Ian J.; Hemer, David G.; Strooper, Paul A. | Conference Papers/Posters | University of Queensland [UQ eSpace] | https://espace.library.uq.edu.au/view/UQ:98873 | 76 |
| Semantic characterisation of dead control-flow paths | Hayes, I. J.; Fidge, C. J.; Lermer, K. R. C. | Article | University of Queensland [UQ eSpace] | https://espace.library.uq.edu.au/view/UQ:1844 | 40 |
| Structural operational semantics through context-dependent behaviour | Colvin, Robert; Hayes, Ian J. | Report | University of Queensland [UQ eSpace] | https://espace.library.uq.edu.au/view/UQ:196371 | 35 |
| Termination of real-time programs: Definitely, definitely not, or maybe | Hayes, I. J. | Conference Papers/Posters | University of Queensland [UQ eSpace] | https://espace.library.uq.edu.au/view/UQ:103561 | 1 |
| Timing Analysis of Concurrent Real-Time Programs With Deadlines | Peuker, Sibylle; Hayes, Ian | Report | University of Queensland [UQ eSpace] | https://espace.library.uq.edu.au/view/UQ:10537 | 7 |
| Towards reasoning about teleo-reactive programs for robust real-time systems | Hayes, I.J. | Conference Papers/Posters | University of Queensland [UQ eSpace] | https://espace.library.uq.edu.au/view/UQ:176605 | 1 |
| Trace Semantics for the Owicki-Gries Theory Integrated with the Progress Logic from UNITY | Brijesh Dongol; Ian J. Hayes | Report | University of Queensland [UQ eSpace] | https://espace.library.uq.edu.au/view/UQ:13614 | 11 |
| Translating Refined Logic Programs to Mercury | Colvin, Robert; Hemer, David; Hayes, Ian; Strooper, Paul | Report | University of Queensland [UQ eSpace] | https://espace.library.uq.edu.au/view/UQ:10572 | 24 |
| Visuocode: A software development environment that supports spatial navigation and composition | Bradley, Daniel R.; Hayes, Ian J. | Conference Papers/Posters | University of Queensland [UQ eSpace] | https://espace.library.uq.edu.au/view/UQ:321681 | 1 |
