Mathematics
Information Flow
97%
Safety
84%
Refinement
62%
Recursion
46%
Horn clause
44%
Termination
40%
Calculus
39%
Liveness
39%
Determinism
36%
Program Verification
35%
Temporal Reasoning
35%
Leakage
35%
Formal Analysis
33%
Buffer
31%
Abstraction
31%
Type Systems
29%
Confluence
29%
Concurrency
28%
Fixpoint
28%
Counterexample
28%
Timing
28%
Higher Order
26%
Concurrent
26%
Reasoning
26%
Stratification
26%
Constraint Solving
25%
Fractional
25%
Synthesis
25%
Linear programming
24%
Partial
22%
Hardness
21%
Noninterference
21%
Static Analysis
21%
Reachability
21%
Heuristics
20%
Prototype
19%
Language
19%
Logic
18%
Undecidability
18%
Intersection
17%
Cell
17%
Oracle
17%
Reachability Analysis
17%
Ranking Function
17%
Dependent
15%
Casting
15%
Attack
15%
Polynomial time
12%
Engineering & Materials Science
Chemical analysis
100%
Acoustic waves
88%
Linear programming
77%
Hardness
75%
Side channel attack
68%
Adaptive systems
65%
Polynomials
64%
Linux
62%
Entropy
60%
Semantics
54%
Static analysis
54%
Channel capacity
53%
Recursive functions
44%
Context free languages
35%
Decomposition
34%
Turing machines
33%
Model checking
31%
Augmented reality
24%
Specifications
23%
Data storage equipment
21%
User interfaces
21%
Casting
20%
Repair
19%
Automation
18%
Experiments
17%
Sampling
16%
Joining
15%
Polymorphism
15%
Temporal logic
14%
Constraint satisfaction problems
12%
Synchronization
12%
Communication
12%
Computer programming languages
10%
Surface mount technology
9%
Denial-of-service attack
9%
User experience
7%
Testbeds
7%
Interpolation
6%
Display devices
6%
Engines
5%