Computer Science
Abstract Machine
20%
And-States
13%
Annotation
11%
Application Domain
10%
Approximation (Algorithm)
22%
Approximation Algorithms
11%
Arithmetic Circuit
13%
Augmented Reality
21%
Blockchain
18%
Boolean Circuit
10%
Building-Blocks
13%
Case Study
44%
Ciphertext
11%
Colored Petri Net
22%
Communication Complexity
33%
Communication Cost
13%
Computational Complexity
14%
Computer Science
21%
Concurrency
30%
Concurrent Program
10%
Control Flow
12%
Cryptocurrency
10%
Cryptographic Primitive
15%
Cryptographic Protocol
17%
Cryptography
11%
Data Structure
100%
Data Type
13%
Decryption
12%
Denotational Semantics
11%
Design Patterns
10%
Efficient Algorithm
22%
Encryption Scheme
15%
Experimental Result
10%
External Memory
24%
Formalization
14%
Function Evaluation
10%
Hash Function
12%
Homomorphic Encryption
13%
Human Computer Interaction
12%
Human-Computer Interaction
22%
Hypermedia
35%
Input/Output
28%
Instantiation
18%
Interaction Design
11%
Interaction Techniques
14%
Interpreter
15%
Knowledge Proof
27%
Knowledge Protocol
14%
lambda-calculus
16%
Logic Programming
20%
Logical Relation
17%
Machine Learning
31%
Memory Model
14%
Mobile Device
24%
Model Checking
12%
Object Orientation
16%
Object Oriented Programming
22%
Object-Oriented Languages
15%
Open Source
10%
Operational Semantics
13%
Partial Evaluation
28%
Participatory Design
33%
Pervasive Computing
30%
Petri Net
17%
Polynomial Time
14%
Preprocessing Phase
12%
Privacy Preserving
12%
Program Analysis
12%
Programming Language
41%
Proof System
13%
public key
18%
random oracle model
11%
Research Project
10%
Secret Sharing
28%
secret sharing scheme
15%
secure multiparty computation
45%
Secure Protocol
23%
Security Parameter
13%
Sensitive Informations
9%
Signature Scheme
19%
Smart Contract
10%
Social Network
10%
Software Architecture
21%
Software Development
12%
Soundness
33%
Speed-up
11%
State Space
10%
Static Program Analysis
26%
Subclasses
14%
Syntactics
21%
Time Complexity
11%
Type Checking
13%
Type Systems
27%
Ubiquitous Computing
13%
Use Case
18%
User Interfaces
21%
Virtual Reality
13%
Visual Analytics
14%
Web Application
15%
Web Service
16%
Mathematics
Approximates
18%
Black Box
5%
Boolean Function
7%
Calculus
10%
Convex Hull
6%
Data Structure
48%
Dependent Type
7%
Edge
11%
Fast Algorithm
7%
Integer
17%
Linear Space
5%
Linear Time
9%
Lower and upper bounds
9%
Main Result
7%
Matrix (Mathematics)
7%
Median
6%
Minimizes
9%
Multiplicative
5%
Nash Equilibrium
6%
Open Problem
9%
Permutation
6%
Polynomial
26%
Polynomial Time
15%
Probability Theory
18%
Programming Language
5%
Running Time
21%
Searching Range
6%
Threshold Function
5%
Type System
5%
Type Theory
15%
Upper Bound
18%
Variance
6%
Worst Case
28%