Engineering & Materials Science
Semantics
100%
Specifications
74%
Data storage equipment
61%
Data structures
49%
Computer hardware description languages
35%
Computer hardware
30%
Specification languages
22%
Model checking
22%
Network protocols
19%
Model predictive control
19%
Experiments
18%
Control systems
17%
Modeling languages
16%
Positive ions
16%
Global positioning system
15%
Embedded systems
14%
Application programming interfaces (API)
14%
Chemical analysis
13%
Object oriented programming
13%
Statistical Models
13%
Testing
12%
Refining
12%
Navigation
12%
Real time systems
12%
Static analysis
11%
Water treatment
11%
Web services
10%
Binary codes
10%
Flow graphs
10%
Leak detection
10%
Formal specification
10%
Application programs
9%
Malware
9%
Algebra
8%
Phase transitions
8%
Industry
8%
Data Science
8%
Fences
8%
Concurrency control
8%
Markov chains
8%
Smartphones
8%
Robots
8%
Cyber Physical System
8%
Difference equations
8%
Communication
7%
Office buildings
7%
Simulation platform
7%
Data Analytics
7%
Temporal logic
6%
Mathematics
Separation Logic
24%
Denotational Semantics
20%
Semantics
18%
Learning
17%
Operational Semantics
14%
Symbolic Execution
12%
Heap
12%
Reasoning
12%
Malware
10%
Language
9%
Safety
9%
Static Analysis
8%
Algebraic Semantics
8%
Hardware
7%
Probabilistic Model
7%
Communication
7%
Memory Model
7%
Specification
7%
Linking
6%
Encoding
6%
Co-design
6%
Programming
6%
Model
5%
Type Inference
5%
Java
5%
Synthesis
5%
Software
5%
Modeling Language
5%
Trace
5%
Program Analysis
5%
Experiment
5%
Soundness
5%
Programming Model
5%
