INIS
computer codes
100%
modeling
88%
humans
78%
learning
68%
data
50%
computers
48%
communities
39%
interactions
37%
algebra
37%
verification
33%
tools
33%
environment
31%
information
29%
mining
28%
applications
22%
simulation
19%
education
19%
design
16%
specifications
15%
levels
15%
psychology
15%
management
15%
control
14%
performance
13%
engineering
13%
stochastic processes
12%
e-learning
12%
psychological behavior
12%
dynamics
11%
constraints
11%
certification
10%
cancer
10%
processing
9%
teaching
9%
symposia
9%
business
9%
security
9%
universities
8%
developers
8%
sustainability
8%
reviews
8%
interfaces
8%
classification
8%
detection
8%
mutations
8%
mathematical models
8%
emergencies
8%
errors
7%
comparative evaluations
7%
sustainable development
7%
Computer Science
Interactive System
24%
Process Algebra
20%
Model Checking
19%
Rewriting Logic
16%
Human Computer Interaction
14%
Case Study
12%
Silico Experiment
12%
open source software project
10%
formal modeling
10%
Open Source Software
9%
Memory Model
8%
Process Mining Technique
8%
Computer Scientist
8%
Social Scientists
8%
Concurrent System
8%
Sensor Networks
8%
Cognitive Architecture
8%
Social Network
8%
Computer Science
8%
Data Structure
6%
Conceptual Model
6%
Behavioral Pattern
6%
And-States
5%
Decision-Making
5%
Alternative Model
5%
Temporal Logic
5%
Process Model
5%
Keyphrases
Free Software
12%
Process Algebra
10%
Open Source Software Projects
8%
Open Source Community
8%
Rewriting Logic
6%
Real-Time Maude
6%
Motivation
6%
Interactive Systems
6%
Concurrent Systems
6%
Human-computer Interaction
5%
Software Quality
5%
