Mciver, Annabelle
McIver, Annabelle, 1964-
Annabelle McIver computer security researcher
VIAF ID: 27345812 (Personal)
Permalink: http://viaf.org/viaf/27345812
Preferred Forms
- 100 0 _ ‡a Annabelle McIver ‡c computer security researcher
- 200 _ | ‡a McIver ‡b Annabelle
- 100 1 _ ‡a McIver, Annabelle
- 100 1 _ ‡a McIver, Annabelle
-
-
- 100 1 _ ‡a McIver, Annabelle ‡d 1964-
-
-
- 100 1 _ ‡a Mciver, Annabelle
4xx's: Alternate Name Forms (11)
5xx's: Related Names (1)
Works
Title | Sources |
---|---|
Abstraction, refinement, and proof for probabilistic systems | |
Differential privacy for metric spaces : information-theoretic models for privacy and utility with new applications to metric domains. | |
Formal Methods - The Next 30 Years : Third World Congress, FM 2019, Porto, Portugal, October 7-11, 2019, Proceedings | |
Logic for Programming, Artificial Intelligence, and Reasoning : 20th International Conference, LPAR-20 2015, Suva, Fiji, November 24-28, 2015, Proceedings | |
Programming methodology | |
Quantitative Evaluation of Systems : 15th International Conference, QEST 2018, Beijing, China, September 4-7, 2018, Proceedings | |
The Science of Quantitative Information Flow |