# 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.

- Sort by
- Weight
- Alphabetically

### Mathematics

Refinement

Information Flow

Kleene Algebra

μ-calculus

Reasoning

Nondeterminism

Algebra

Leakage

Event Structures

Model Checking

Logic

Correctness

Noninterference

Specification

Formal Analysis

Game

Compositionality

Model

Wireless Mesh Networks

Wireless Networks

Protocol Verification

Probabilistic Algorithms

Transformer

Routing Protocol

Privacy

Logic Programs

Formal Methods

Stochastic Games

Calculus

Temporal Logic

Concurrent

Invariant

Markov Model

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

Semantics

Algebra

Model checking

Network protocols

Specifications

Formal methods

Computer programming languages

Wireless mesh networks (WMN)

Model structures

Computer programming

Temporal logic

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