• 1080 Citations
  • 18 h-Index
1987 …2021
If you made any changes in Pure these will be visible here soon.

Fingerprint Dive into the research topics where Annabelle McIver is active. These topic labels come from the works of this person. Together they form a unique fingerprint.

Mathematics

Refinement
Information Flow
Kleene Algebra
μ-calculus
Reasoning
Nondeterminism
Algebra
Leakage
Event Structures
Model Checking
Logic
Correctness
Noninterference
Specification
Formal Analysis
Game
Compositionality
Wireless Mesh Networks
Wireless Networks
Protocol Verification
Model
Probabilistic Algorithms
Routing Protocol
Logic Programs
Formal Methods
Stochastic Games
Calculus
Temporal Logic
Concurrent
Invariant
Privacy
Markov Model
Transformer
Predicate
Distributed Algorithms
Scheduler
Counterexample
Distributed Systems
Process Algebra
Partial
Computer Science
Programming
Confidentiality
Algebraic Approach
Text Processing
Obfuscation
Safety
Network Protocols
Termination
Transition Systems

Engineering & Materials Science

Algebra
Semantics
Model checking
Network protocols
Specifications
Formal methods
Wireless mesh networks (WMN)
Model structures
Computer programming
Temporal logic
Computer programming languages
Wireless networks
Computer science
Hidden Markov models
Routing protocols
Regain
Computer systems
Markov processes
Text processing
Substitution reactions
Parallel algorithms
Scheduling
Explosions
Data structures
Mechanization
Security of data
Systems analysis
Entropy
Learning systems
Acoustic waves
Sanders
Probability distributions
Surface mount technology
Channel capacity
Information theory
Costs
Chemical analysis
Stochastic models
Computer networks
Cast iron
Transparency
Wireless sensor networks
Software engineering
Conservation
Energy conservation
Syntactics
Positive ions
Hardness
Bibliographies