CS&P 2016 Author Index
Author Index
Abdullahi, Ismaila Jihad 9
Akhundov, Jafar 12
Alasgarov, Emin 3
Barylska, Kamila 8
Chrzastowski-Wachtel, Piotr 25
Copik, Marcin 19
Czaja, Ludwik 26
Erofeev, Evgeny 8
Garanina, Natalia 10
Gomolinska, Anna 11
Grochowalski, Piotr 7
Gruska, Damas 14, 20
Haakma, Reinder 3
Jankowski, Andrzej 5
Kacprzak, Magdalena 24
Koutny, Maciej 8
Kozlova, Darya 22
Lanotte, Ruggero 13
Mikulski, Lukasz 8
Müller, Berndt 9
Nguyen, Linh Anh 23
Niewiadomski, Artur 16
Pancerz, Krzysztof 7
Pataky, Mikulas 14
Pelz, Elisabeth 2
Penczek, Wojciech 16
Piatkowski, Marcin 8
Placzek, Stanislaw 21
Polkowski, Lech 6
Rataj, Artur 18, 19
Redziejowski, Roman 1
Rykaczewski, Krzysztof 17
1
CS&P 2016 Author Index
Sawicka, Anna 24
Sidorova, Elena 10
Sidorova, Natalia 3
Skowron, Andrzej 5
Stencel, Krzysztof 17
Szreter, Maciej 15
Szul, Tomasz 7
Tax, Niek 3
Tini, Simone 13
Tröger, Peter 12
Wasilewski, Piotr 5
Werner, Matthias 12
Wisniewski, Piotr 17
Wolski, Marcin 11
Wozna-Szczesniak, Bozena 18, 19
Zakharov, Vladimir 22
Zbrzezny, Agnieszka 4
Zbrzezny, Andrzej 4, 24
2
CS&P 2016 Keyword Index
Keyword Index
abstract planning 15
adaptive rough set 5
aerospace 12
ambiguity resolution 10
approximation 7
Argumentation 14
argumentative dialogue games 24
Artificial Neural Network (ANN) 21
automated composition of web services 15
axiomatization of semantics 2
bisimilarity 23
bisimulation 23
bisimulation-based comparison 23
boundary 6
bounded model checking 4
circular statistics 3
composition 12
computational complexity 9
concrete planning 16
concurrency 25
coordination 21
coordination principle 21
coordinator structure 21
data analysis 17
decomposition 21
directed similarity 23
Discrete Timed Automata 4
Distributed computer systems 26
Distributed mutual exclusion 26
Distributed shared memory 26
dominance relation 11
Elementary Reference-net System 9
extrapolation 18
finite state automaton 22
formal concept 11
Formal Concept Analysis 10
Formal grammars 1
formal model 24
Future state prognostic 14
1
CS&P 2016 Keyword Index
GA 16
GEO 16
GPGPU 19
graph database 15
hierarchy 21
Hybrid Automata 13
hybrid automata 12
hybrid systems 12
information flow 20
information retrieval 10
information system 11
instability 25
interleaving 25
Intrusion detection system 14
isomorphic property 9
KDD99 Cup 14
label refinements 3
lexical ambiguity 10
Limited backtracking 1
model checking 22, 24
Monte-Carlo simulation 19
MTL 4
Multi-agent systems 14
Multi-agent temporal logic 14
multiagent systems 10
nets-within-nets 9
non–determinism 18
ontology 7
ontology population 10
opacity 20
optimal policy 18
Over-Approximation 13
OWL 2 7
Parsing Expression Grammar 1
Petri net 8
Petri nets 9
planning tool 16
Prism 19
probabilistic logics 19
2
CS&P 2016 Keyword Index
probabilistic model checking 18, 19
process algebras 20
process discovery 3
process semantics 2
Reachability 13
reactive system 22
regular language 22
reversibility 8
reversible computation 8
rough mereology 6
rough set 11
rough set based classifier 5
rough set theory 6
rough sets 7
SA 16
SAT 4
Scott information systems 10
security 20
semigroup 22
sFlow 14
simplicial complex 17
simularity 23
simulation 23
SMT 16
sorites paradox 5
state graphs 25
statistical model checking 18, 19
superposition 12
syntactic ambiguity 10
temporal logics 22
Timed Petri Nets 2
Top-down parsing 1
topology 17
transducer 22
trips and travels 16
true concurrency 2
truly rough inclusion 6
unsupervised learning 3
vague concept 5
vagueness 5
web service composition 16
3