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 |
|---|---|---|---|
| Colvin, R |  https://orcid.org/0000-0002-2149-675X |
18 | 674 |
| 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 scalable lock-free stack algorithm and its verification | Colvin, R.; Groves, L. | Conference Papers/Posters | University of Queensland [UQ eSpace] | https://espace.library.uq.edu.au/view/UQ:137486 | 1 |
| 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 |
| 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 |
| Contextual and data refinement for the refinement calculus for logic programs | Colvin, Robert John. | Thesis or Dissertation | University of Queensland [UQ eSpace] | https://espace.library.uq.edu.au/view/UQ:106036 | 2 |
| 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 |
| Dynamic relational behaviour for large-scale systems | Winter, Kirsten; Colvin, Robert; Dromey, R, Geoff | Conference Papers/Posters | University of Queensland [UQ eSpace] | https://espace.library.uq.edu.au/view/UQ:187711 | 4 |
| Formal verification of a lazy concurrent list-based set algorithm | Colvin, Robert; Groves, Lindsay; Luchangco, Victor; Moir, Mark | Conference Papers/Posters | University of Queensland [UQ eSpace] | https://espace.library.uq.edu.au/view/UQ:103837 | 1 |
| Formal verification of an array-based nonblocking queue | Colvin, Robert; Groves, Lindsay | Conference Papers/Posters | University of Queensland [UQ eSpace] | https://espace.library.uq.edu.au/view/UQ:2239 | 2 |
| Model-checking tool support for quantitative risk analysis and design for safety | Lindsay, Peter A.; Winter, Kirsten; Colvin, Robert | Report | University of Queensland [UQ eSpace] | https://espace.library.uq.edu.au/view/UQ:216139 | 22 |
| Modeling and analysing neural networks using a hybrid process algebra | Colvin, Robert J. | Article | University of Queensland [UQ eSpace] | https://espace.library.uq.edu.au/view/UQ:384006 | 87 |
| Modeling neural networks using process algebras | Colvin, Robert | Working Paper | University of Queensland [UQ eSpace] | https://espace.library.uq.edu.au/view/UQ:314161 | 37 |
| 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 |
| 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 |
| Timed behavior trees and their application to verifying real-time systems | Grunske, Lars; Winter, Kirsten; Colvin, Robert | Conference Papers/Posters | University of Queensland [UQ eSpace] | https://espace.library.uq.edu.au/view/UQ:135702 | 1 |
| Trace-based derivation of a scalable lock-free stack algorithm | Groves, Lindsay; Colvin, Robert | Article | University of Queensland [UQ eSpace] | https://espace.library.uq.edu.au/view/UQ:187707 | 2 |
| 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 |
