Engineering & Materials Science
Opacity
100%
Security systems
99%
Formal languages
80%
Observability
71%
Algebra
67%
Flow control
62%
Specification languages
62%
Multi agent systems
61%
Cache memory
41%
Communication
40%
Chemical analysis
40%
Markov chains
38%
Specifications
35%
Temporal logic
34%
Virtual machine
33%
Stochastic models
21%
Entropy
18%
Application programs
14%
Chemical reactions
14%
Telecommunication networks
14%
Transparency
13%
Software engineering
13%
Communication systems
12%
Costs
12%
Systems analysis
12%
Network protocols
11%
Semantics
11%
Set theory
10%
Control systems
10%
Decision making
9%
Monitoring
9%
Statistical Models
5%
Experiments
5%
Concretes
5%
Molecules
5%
Mathematics
Predicate Logic
42%
Temporal Logic
38%
First-order Logic
35%
Fragment
32%
Time Operator
29%
Asymptotic Behavior
23%
Equivalence
22%
Bounded Operator
22%
Entropy
17%
Tend
16%
Linear Temporal Logic
15%
Timed Automata
14%
Approximability
12%
Connected Components
10%
Discrete-time
8%
Computing
6%
Operator
5%
