Computer Science
Case Study
100%
Axiomatization
86%
Graphical User Interface
85%
Computer Science
84%
Automaton
79%
Programming Language
62%
Artificial Intelligence
60%
Bayesian Networks
51%
Operational Semantics
47%
Model Checking
44%
Concurrency
42%
model checker
41%
Design Patterns
41%
Temporal Logic
39%
Communication Protocol
38%
Software Testing
37%
Decision-Making
36%
Distributed Systems
35%
Communication Skill
34%
Machine Learning
33%
Learning System
33%
Multi Agent Systems
33%
Deadlock Freedom
31%
Belief Revision
30%
Attribute-Based Encryption
30%
Expert Knowledge
30%
Differential Privacy
30%
Computer Hardware
30%
Software Engineering
29%
Deep Learning Method
28%
Formal Verification
28%
multi agent
28%
Logic Programming
28%
Experimental Result
28%
Refactoring
27%
Theorem Prover
26%
Partial Order
25%
Reinforcement Learning
25%
Open Source
25%
Support Student
23%
Formalization
23%
Intelligent Tutoring System
23%
Source Codes
23%
Technical Report
23%
Satisfiability Problem
23%
Shared Memories
23%
Software Systems
23%
Tutoring System
23%
Software Development
22%
Domain-specific languages
22%
Serious Game
21%
Test Automation
21%
Complex Task
21%
Hypothesis Test
20%
Gamification
20%
Argumentation
20%
Annotation
20%
Indoor Location
20%
Sequent Calculus
20%
Computational Complexity
19%
Convolutional Neural Network
19%
Starting Point
19%
Energy Consumption
18%
Structured Query Language
18%
Web Application
18%
Control Flow
18%
modeling language
18%
Message Passing
17%
Soundness
17%
Computational Resource
17%
Software Quality
17%
Learning Network
17%
Generative Adversarial Networks
16%
Transition System
16%
Design for Assembly
15%
Informed Learning
15%
Concurrent Language
15%
Formal Specification
15%
Location Data
15%
Data Structure
15%
Approximation (Algorithm)
15%
Deadlock
15%
agent architecture
15%
System Architectures
15%
Sorting Algorithm
15%
Computational Thinking
15%
Smart Contract
15%
Proportionality
15%
Natural Language Processing
14%
Novice Programmer
14%
User Behavior
14%
Mobile App
13%
And-States
13%
Dynamic Bayesian Network
13%
Compact Representation
13%
Postcondition
13%
Authentication
13%
Industrial Case
13%
Android
13%
Semistructured Interview
12%
Keyphrases
Java
52%
Graphical User Interface
51%
Bayesian Network
51%
Learning Environment
51%
Multiparty Session Types
48%
Automated Testing
43%
Scripted Testing
42%
Popular
41%
Netherlands
40%
Computational Thinking
38%
TESTAR
36%
Reasoner
35%
Software Engineering
34%
Design Patterns
33%
Automated Feedback
33%
Agent Programming Languages
30%
Programming Languages
30%
Programmer
30%
Operational Semantics
29%
Graphical User Interface Testing
29%
Belief Revision
29%
Pomsets
28%
Computer Science
28%
Multi-agent Systems
28%
Formal Verification
28%
Dutch
28%
Axiomatization
27%
Software Testing
27%
OpenJDK
25%
Constraint Automata
25%
Attribute-based Encryption
25%
Code Quality
25%
Computer Science Education
25%
Virtual Characters
25%
Communication Protocol
24%
Resource-bounded Agents
24%
Eye Movements
24%
Higher Education
23%
Structured Interview
23%
Programming Exercises
23%
Modal Logic
22%
Automata
22%
Reinforcement Learning
22%
Complete Axiomatization
22%
Rule-based Agent
22%
Intelligent Tutoring Systems
22%
Secondary Education
21%
Bounded Resources
20%
Decidable Logic
20%
Mashup
20%
Local Differential Privacy
20%
Continuous Time Bayesian Networks
20%
Indoor Location
20%
Multiparty Sessions
20%
Concurrency
20%
Distributed Systems
20%
Artificial Intelligence
19%
Deep Learning
19%
Hypothesis Testing
19%
Communication Skills
19%
Systematic Literature Review
19%
Refactoring
19%
Nonmonotonic Reasoning
19%
Epistemic Logic
19%
Expert Knowledge
19%
Non-deterministic
18%
Testing Method
18%
Deadlock Freedom
18%
Compiler
18%
Coalition Logic
18%
Shared Memory
18%
Pedagogical Content Knowledge
18%
Computer Science Students
18%
Programming Concepts
18%
API Generation
17%
GUI Testing
17%
Teacher Practices
17%
Procedural Guidance
17%
Social Media Manipulation
17%
Scala
17%
Logic-based
17%
Serious Games
17%
AgentSpeak
17%
Open Text
17%
Energy Consumption
17%
Hidden Markov Model
17%
Tutoring System
17%
Gamification
17%
Bayesian Network Model
16%
Blockchain
16%
Clojure
16%
Interface Level
16%
Biosimilarity
16%
Sequent Calculus
16%
Communication Scenarios
16%
Distance Education
16%
Formative Assessment
16%
Software System
16%
Service Employees
16%
Expressiveness
15%