Social Sciences
election
100%
voter
82%
audit
64%
voting
52%
certification
31%
confidence
30%
party system
23%
quality control
23%
transparency
22%
Philippines
20%
election result
15%
electronics
15%
abuse
13%
Internet
13%
resident
12%
integrity
12%
event
10%
Legal framework
10%
extortion
10%
compromise
9%
Norway
9%
parliament
9%
economy
8%
ritual
7%
regional development
7%
functionality
6%
software
6%
ministry
6%
formalization
6%
evaluation
5%
pragmatics
5%
control process
5%
Law
5%
Engineering & Materials Science
Semantics
54%
Network protocols
43%
Bulletin boards
31%
Decision making
31%
Formal verification
25%
Model checking
22%
Seats
22%
Communication
21%
Substitution reactions
21%
Deposits
21%
Security of data
20%
Statistical methods
18%
Data structures
17%
Specifications
16%
Electronic voting
15%
Vending machines
11%
Boring
9%
High level languages
8%
Recycling
7%
Containers
6%
Computer programming languages
6%
Mathematics
Choreography
37%
Proof Search
29%
Voting
27%
Abstraction
23%
First-order Logic
23%
Specification
19%
Intuitionistic Logic
16%
Proof Theory
13%
Text
13%
Language
12%
Distributed Systems
12%
Direct Search
10%
Reasoning
10%
Programming
10%
Vote
9%
Semantics
9%
Linear Logic
8%
Sequent Calculus
8%
Classical Logic
8%
Disprove
8%
Projection
7%
Interaction
7%
Programming Languages
7%
Electronics
7%
Truth
7%
Fragment
7%
Continue
6%
Term
5%
Logic
5%