Annabelle McIver - Concepedia

Author

Annabelle McIver

Also Known As

A K McIver, A. K. McIver, A. McIver, A.K. McIver, ANNABELLE MCIVER, Annabelle K. McIver, Annabelle McIver, Annabelle Mciver, McIver, A., McIver, Annabelle

184

Publications

Citations

H-Index

Concepts

All Affiliations

Macquarie University UNSW Sydney University of Oxford RWTH Aachen University Data61

About

Annabelle McIver is an author at Macquarie University specializing in engineering, computer science, and formal methods.

Top Concepts

#	Concept	H-Index	Publications	Citations
1	Engineering	17	25	1.3K
2	Business	2	2	71
3	Management	2	2	75
4	Education	1	1	47
5	Communication	1	1	45

Annabelle McIver

Publications

1.6K

Citations

H-Index

Page 1

	Year	Citations
Probabilistic predicate transformers Carroll Morgan, Annabelle McIver, Karen Seidel ACM Transactions on Programming Languages and Systems Bayesian Decision TheoryEngineeringProbabilistic LearningProbabilistic ComputationState Space	1996	301
Probabilistic models for the guarded command language He Jifeng, Karen Seidel, Annabelle McIver Science of Computer Programming EngineeringProgram AnalysisAutomated ReasoningGuarded Command LanguageVerification	1997	162
A new proof rule for almost-sure termination Annabelle McIver, Carroll Morgan, Benjamin Lucien Kaminski, Proceedings of the ACM on Programming Languages Source CodeEngineeringAutomated ReasoningProof ComplexityVerification	2017	95
Refinement-oriented probability for CSP Carroll Morgan, Annabelle McIver, Karen Seidel, Formal Aspects of Computing	1996	87
Additive and Multiplicative Notions of Leakage, and Their Capacities Mário S. Alvim, Konstantinos Chatzikokolakis, Annabelle McIver, EngineeringInformation SecurityInformation LeakageMultiplicative NotionsComputational Complexity	2014	85
Operational versus weakest pre-expectation semantics for the probabilistic guarded command language Friedrich Gretz, Joost-Pieter Katoen, Annabelle McIver Performance Evaluation Programming Language TheoryFormal SpecificationEngineeringOperational SemanticsAutomated Reasoning	2013	78
Probabilistic guarded commands mechanized in HOL Joe Hurd, Annabelle McIver, Carroll Morgan Theoretical Computer Science EngineeringCommand And ControlProbabilistic VerificationAutomationVerification	2005	71
Results on the quantitative μ-calculus <i>qM</i> μ Annabelle McIver, Carroll Morgan ACM Transactions on Computational Logic Measure TheoryQm μTransition SystemsEngineeringStochastic Game	2007	61
Conditioning in Probabilistic Programming Federico Olmedo, Friedrich Gretz, Nils Jansen, ACM Transactions on Programming Languages and Systems Mathematical ProgrammingEngineeringProbabilistic ComputationSoftware AnalysisOperational Semantics	2018	57
Partial correctness for probabilistic demonic programs Annabelle McIver, Carroll Morgan Theoretical Computer Science Partial CorrectnessEngineeringAutomated ReasoningProbabilistic VerificationVerification	2001	55

Page 1