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