Spring til hovednavigation
Spring til søgning
Spring til hovedindhold
IT-Universitetet i København Forside
Support til ITU faculty
!!Link opens in a new tab
Dansk
English
Søg efter indhold i IT-Universitetet i København
Forside
Enheder
Forskere
Projekter
Publikationer
Forskningsdatasæt
Presse/medier
Aktiviteter
Priser
Applied Formal Methods for Elections
Jian Wang
Programming Logic and Semantics
Publikation
:
Afhandlinger
›
Ph.d.-afhandling
Oversigt
Fingeraftryk
Fingeraftryk
Dyk ned i forskningsemnerne om 'Applied Formal Methods for Elections'. Sammen danner de et unikt fingeraftryk.
Sorter
Vægt
Alfabetisk
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%