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
Abstraction, refinement and proof for probabilistic systems / by McIver, Annabelle
Published 2005Call Number: Loading…Full Text (via Springer)
Located: Loading…
eBook -
2
Abstraction, refinement and proof for probabilistic systems / by McIver, Annabelle
Published 2005Call Number: Loading…
Located: Loading…Book Loading… -
3
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 2020Call Number: Loading…Full Text (via Springer)
Located: Loading…
eBook -
4
Programming methodology /
Published 2003Other Authors: “…McIver, Annabelle…”
Call Number: Loading…
Located: Loading…Book Loading… -
5
Quantitative evaluation of systems : 15th International Conference, QEST 2018, Beijing, China, September 4-7, 2018, Proceedings /
Published 2018Other Authors: “…McIver, Annabelle…”
Call Number: Loading…Full Text (via Springer)
Located: Loading…
Conference Proceeding eBook -
6
Programming methodology
Published 2003Other Authors: “…McIver, Annabelle…”
Call Number: Loading…Full Text (via Springer)
Located: Loading…
Electronic eBook -
7
Logic for programming, artificial intelligence, and reasoning : 20th International Conference, LPAR-20 2015, Suva, Fiji, November 24-28, 2015 : proceedings /
Published 2015Other Authors:Call Number: Loading…Full Text (via Springer)
Located: Loading…
Conference Proceeding eBook -
8
Formal methods -- the next 30 years : third World Congress, FM 2019, Porto, Portugal, October 7-11, 2019, Proceedings /
Published 2019Other Authors:Call Number: Loading…Full Text (via Springer)
Located: Loading…
Conference Proceeding eBook
Search Tools:
RSS Feed
–
Save Search
Related Subjects
Computer programming
Engineering mathematics
Probabilities
Systems engineering
Artificial intelligence
Computer logic
Computer networks
Computer science
Computer systems
Data protection
Evaluation
Formal methods (Computer science)
Logic, Symbolic and mathematical
Programming languages (Electronic computers)
Reliability (Engineering)
Software engineering