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 |
|---|---|---|---|
| MEINICKE, L |  https://orcid.org/0000-0002-5272-820X |
12 | 199 |
| Title | Author(s) | IrusType | Repository | Item URL | Total Downloads |
|---|---|---|---|---|---|
| A kantorovich-monadic powerdomain for information hiding, with probability and nondeterminism | McIver, Annabelle; Meinicke, Larissa; Morgan, Carroll | Conference Papers/Posters | University of Queensland [UQ eSpace] | https://espace.library.uq.edu.au/view/UQ:317253 | 1 |
| Abstract channels and their robust information-leakage ordering | McIver, Annabelle; Morgan, Carroll; Smith, Geoffrey; Espinoza, Barbara; Meinicke, Larissa | Conference Papers/Posters | University of Queensland [UQ eSpace] | https://espace.library.uq.edu.au/view/UQ:331716 | 1 |
| 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 |
| Designing for visually impaired developers | Epifani, Andrea; Boden, Marie; Meinicke, Larissa; Matthews, Ben; Viller, Stephen | Conference Papers/Posters | University of Queensland [UQ eSpace] | https://espace.library.uq.edu.au/view/UQ:378413 | 3 |
| 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-invariant generation for probabilistic programs: Automated support for proof-based methods | Katoen, Joost-Pieter; McIver, Annabelle; Meinicke, Larissa; Morgan, Carroll C. | Conference Papers/Posters | University of Queensland [UQ eSpace] | https://espace.library.uq.edu.au/view/UQ:261370 | 1 |
| Probabilistic Action System Trace Semantics | Meinicke, Larissa | Report | University of Queensland [UQ eSpace] | https://espace.library.uq.edu.au/view/UQ:13630 | 25 |
| Probabilistic Demonic Refinement Algebra | Meinicke, Larissa; Solin, Kim | Report | University of Queensland [UQ eSpace] | https://espace.library.uq.edu.au/view/UQ:7978 | 8 |
| 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 algebra for probabilistic programs | Meinicke, Larissa; Solin, Kim | Article | University of Queensland [UQ eSpace] | https://espace.library.uq.edu.au/view/UQ:261367 | 47 |
| Transformation Rules for Probabilistic Progams: An Algebraic Approach | Meinicke, Larissa A. | Thesis or Dissertation | University of Queensland [UQ eSpace] | https://espace.library.uq.edu.au/view/UQ:151322 | 10 |
