Mathematics
Temporal Logic
55%
Automata
49%
Regular Languages
45%
Model Checking
35%
Language
30%
Regular Expressions
29%
Learning
26%
Semantics
23%
Query
22%
Hardware Design
16%
Reasoning
15%
Specification
14%
Infinite Words
13%
Safety
12%
Specification Languages
10%
Hierarchical Structure
10%
Polynomial time
10%
Congruence
10%
Distributed Protocol
9%
Hardware
9%
Grammar
9%
Path
8%
Equivalence
8%
Topological Relations
8%
Temporal Reasoning
8%
Exception
8%
Data Streams
7%
Finite Automata
7%
Liveness
7%
Fault Tolerance
7%
Characterization
7%
Canonical Representation
7%
Standards
7%
Model
7%
Assertion
7%
Design
7%
Complexity Measure
7%
Switched Systems
7%
Expressiveness
6%
Syntax
6%
Class
6%
Regular Sets
6%
Fault
6%
Logic
6%
Parity
6%
Synthesis
6%
Operator
5%
Context-free Grammar
5%
Multiplicity
5%
Family
5%
Engineering & Materials Science
Formal languages
100%
Temporal logic
75%
Model checking
48%
Polynomials
43%
Semantics
28%
Specifications
23%
Specification languages
19%
Computer hardware
18%
Learning algorithms
18%
Finite automata
16%
Context free grammars
15%
Syntactics
12%
Clocks
11%
IEEE Standards
11%
Systems Biology
9%
Transducers
8%
Formal methods
7%
Formal verification
6%
Topology
6%
Monitoring
6%
Set theory
6%
Cyber Physical System
5%
Computability and decidability
5%
Data streams
5%
Fault tolerance
5%
Refining
5%
Multi agent systems
5%
Costs
5%