Annabelle McIver

Annabelle K. McIver is a computer scientist whose research involves the use of formal methods and information flow in computer security and the verification of probabilistic systems. Educated in mathematics in the UK, she works in Australia as professor in the School of Computing at Macquarie University, and as one of the founding leaders of Macquarie's Future Communications Research Centre. Provided by Wikipedia
Showing 1 - 8 results of 8 for search 'McIver, Annabelle', query time: 0.03s Refine Results
  1. 1
    Abstraction, refinement and proof for probabilistic systems /

    Abstraction, refinement and proof for probabilistic systems / by McIver, Annabelle

    Published 2005
    Full Text (via Springer)
    eBook
    Save to List
    Saved in:
  2. 2
    Abstraction, refinement and proof for probabilistic systems /

    Abstraction, refinement and proof for probabilistic systems / by McIver, Annabelle

    Published 2005
    Book
    Save to List
    Saved in:
  3. 3
    The science of quantitative information flow /

    The science of quantitative information flow / by Alvim, Mário S., 1982-, Chatzikokolakis, Konstantinos, 1980-, McIver, Annabelle, Morgan, Carroll, 1952-, Palamidessi, Catuscia, Smith, Geoffrey

    Published 2020
    Full Text (via Springer)
    eBook
    Save to List
    Saved in:
  4. 4
    Programming methodology /

    Programming methodology /

    Published 2003
    Other Authors: “…McIver, Annabelle…”
    Book
    Save to List
    Saved in:
  5. 5
    Quantitative evaluation of systems : 15th International Conference, QEST 2018, Beijing, China, September 4-7, 2018, Proceedings /

    Quantitative evaluation of systems : 15th International Conference, QEST 2018, Beijing, China, September 4-7, 2018, Proceedings /

    Published 2018
    Other Authors: “…McIver, Annabelle…”
    Full Text (via Springer)
    Conference Proceeding eBook
    Save to List
    Saved in:
  6. 6
    Programming methodology

    Programming methodology

    Published 2003
    Other Authors: “…McIver, Annabelle…”
    Full Text (via Springer)
    Electronic eBook
    Save to List
    Saved in:
  7. 7
    Logic for programming, artificial intelligence, and reasoning : 20th International Conference, LPAR-20 2015, Suva, Fiji, November 24-28, 2015 : proceedings /

    Logic for programming, artificial intelligence, and reasoning : 20th International Conference, LPAR-20 2015, Suva, Fiji, November 24-28, 2015 : proceedings /

    Published 2015
    Other Authors:
    Full Text (via Springer)
    Conference Proceeding eBook
    Save to List
    Saved in:
  8. 8
    Formal methods -- the next 30 years : third World Congress, FM 2019, Porto, Portugal, October 7-11, 2019, Proceedings /

    Formal methods -- the next 30 years : third World Congress, FM 2019, Porto, Portugal, October 7-11, 2019, Proceedings /

    Published 2019
    Other Authors:
    Full Text (via Springer)
    Conference Proceeding eBook
    Save to List
    Saved in:
Search Tools: RSS Feed – Save Search