Skip to main navigation
Skip to search
Skip to main content
IT-University of Copenhagen Home
Support to ITU faculty
Link opens in a new tab
Dansk
English
Search content at IT-University of Copenhagen
Home
Organisation
Researchers
Projects
Publications
Datasets
Press/Media
Activities
Prizes
Applied Formal Methods for Elections
Jian Wang
Programming Logic and Semantics
Research output
:
Theses
›
PhD thesis
Overview
Fingerprint
Fingerprint
Dive into the research topics of 'Applied Formal Methods for Elections'. Together they form a unique fingerprint.
Sort by
Weight
Alphabetically
Keyphrases
Verifiability
100%
Applied Formal Methods
100%
E-voting System
75%
Voter Experience
75%
Election Technologies
50%
Electoral Process
50%
Voting System
50%
Single Transferable Vote
50%
Linear Temporal Logic
50%
Polling Stations
50%
Source Code
25%
Information Technology
25%
Democratic Principles
25%
Decision Maker
25%
System Developers
25%
Statistical Model
25%
Compliance Checking
25%
Automata
25%
Lines of Code
25%
Error-prone
25%
Formal Methods
25%
Model Checker
25%
Waiting Time
25%
First-past-the-post
25%
First-order Logic
25%
Development Time
25%
Administrators
25%
Data Collection Methods
25%
Voter Behavior
25%
Automated Data Collection
25%
Satisfiability Modulo Theories
25%
D'Hondt
25%
Algorithm Experience
25%
Static Analyzer
25%
Policy Compliance
25%
Bounded Model Checking
25%
Semantic Criteria
25%
Technical Problems
25%
Forensic Analysis
25%
Social Choice
25%
Advances in Technology
25%
Modern Code
25%
Array Theory
25%
Making Decisions
25%
Scanning Tools
25%
Computer Science
Decision Maker
100%
System Developer
100%
Automaton
100%
Case Study
100%
Lines of Code
100%
model checker
100%
Model Checking
100%
Automated Data
100%
Time Development
100%
Intended Meaning
100%
Semantic Criterion
100%
Policy Compliance
100%
Linear Temporal Logic
100%
Information Technology
100%
Voting Behavior
100%