Teknik og materialevidenskab
Semantics
100%
Clocks
40%
Computer programming languages
39%
Network protocols
35%
Specifications
31%
Computability and decidability
24%
Productivity
23%
Acoustic waves
19%
Formal verification
18%
Communication
18%
Industry
17%
Modeling languages
15%
Message passing
14%
Chemical analysis
13%
Diamonds
12%
Binders
11%
Syntactics
11%
Temporal logic
10%
Formal methods
9%
Data Analytics
9%
Decision making
9%
Mechanization
9%
WSDL
8%
Model checking
6%
Service oriented architecture (SOA)
6%
Global system for mobile communications
6%
Project management
6%
Flow control
6%
Internet of things
6%
Hazards and race conditions
6%
Information systems
5%
Expert systems
5%
Labels
5%
Web services
5%
Big data
5%
Concretes
5%
User interfaces
5%
Agglomeration
5%
Electronic voting
5%
Substitution reactions
5%
Visualization
5%
Social sciences
5%
Cryptography
5%
Synchronization
5%
Matematik
Type Theory
53%
Recursion
28%
Semantics
28%
Calculus
24%
Denotational Semantics
19%
Dependent
17%
Model
16%
Undecidability
14%
Intuitionistic Logic
13%
Abstraction
13%
Syntax
11%
Reasoning
11%
Clock Synchronization
11%
Process Calculi
11%
Choreography
10%
Fragment
9%
Type Systems
9%
Graph Rewriting
9%
Work Flow
9%
Decidability
8%
Modeling
8%
Proof Search
8%
Liveness
8%
Term Rewriting
8%
Programming Languages
8%
Sound
8%
Rewriting Systems
8%
Voting
7%
Cut-elimination
7%
Healthcare
7%
Concurrency
7%
Sequent Calculus
7%
Normalization
7%
Language
7%
Programming
7%
Countable
6%
Graph in graph theory
6%
Communication Protocol
6%
First-order Logic
6%
Distributed Systems
6%
Standards
6%
Communication
6%
Family
6%
Context
5%
Process Model
5%
Productivity
5%
Specification
5%
Independence
5%
Refinement
5%
Software Components
5%
Concurrent
5%
Term
5%