Computer Science
Models
100%
Contexts
54%
Process Algebra
50%
Cache Coherence
45%
Temporal Logic
45%
Synthesis
36%
Circadian Clock
36%
Oscillator
36%
Networks
36%
Memory Model
36%
Concurrent System
36%
Specifications
27%
Model Checking
27%
Formal Verification
18%
Case Study
18%
Software
18%
Distributed Protocol
18%
Memory Consistency
18%
Weak Simulation
18%
Operational Model
18%
Algorithms
18%
Complexity
18%
Temporal Behavior
18%
Simulation Relation
18%
Continuous Time
9%
Continuous Process
9%
Dynamic Programming
9%
Process Model
9%
Transitions
9%
Interconnect
9%
Language Modeling
9%
Model Checking Problem
9%
Model Checking Algorithm
9%
Race Condition
9%
State Space
9%
Optimization
9%
Semantics
9%
Stochastic Simulation
7%
Biochemistry, Genetics and Molecular Biology
Movement (Physiology)
36%
Transcription
36%
Transcription Factor
36%
Species
36%
Nested Gene
29%
Binding Site
14%
RNA Sequencing
14%
Sheep
10%
Bovine
10%
DNA Binding
7%
Genetic Transcription
7%
Time
7%
Promoter Region
7%
Regulatory Mechanism
7%
Immunology and Microbiology
Escherichia Coli O157:H7
36%
Bovine
36%
Human
36%
Health
36%
Lineages
16%
Association
8%
Host
8%
Genome Sequencing
5%
Infection Rate
5%
