21. CS&P 2012: Berlin, Germany
Louchka Popova-Zeugmann (Ed.): Proceedings of the 21th International Workshop on Concurrency, Specification and Programming, Berlin, Germany, September 26-28, 2012. CEUR-WS.org 2012 CEUR Workshop Proceedings 928- Talha Amin, Igor Chikalov, Mikhail Moshkov, Beata Zielosko: Relationships Between Length and Coverage of Exact Decision Rules. 1-12
- Mohammad Azad, Igor Chikalov, Mikhail Moshkov, Beata Zielosko: Greedy Algorithm for Construction of Decision Trees for Tables with Many-Valued Decisions. 13-24
- Vladimir A. Bashkin: One-counter Circuits. 25-36
- Marek A. Bednarczyk, Piotr Józwiak, Wieslaw Pawlowski: A Class of Hypernets with Token Creation and Decidable Reachability Problem. 37-48
- Marco Bellia, M. Eugenia Occhiuto: Inference, Targeting and Compatibility in a Type System for Java with SAM Typed Closures. 49-60
- Ludwik Czaja: Equations for Asynchronous Message Passing. 61-72
- Marta Czyzewska, Jaroslaw Szkola, Krzysztof Pancerz: Self-Organizing Feature Maps in Correlating Groups of Time Series: Experiments with Indicators Describing Entrepreneurship. 73-78
- Robert Dabrowski, Krzysztof Stencel, Grzegorz Timoszuk: One Graph to Rule Them All - Software Measurment and Management. 79-90
- Adam Grabowski: Computer-Driven Searching for Axiomatization of Rough Sets. 115-122
- Damas P. Gruska: Information Flow and Concurrent Imperative Languages. 123-134
- Damas P. Gruska: Test Based Security. 135-146
- Mostafa Herajy, Monika Heiner: Towards a Computational Steering and Petri Nets Framework for the Modelling of Biochemical Reaction Networks. 147-159
- Igor Chikalov, Shahid Hussain, Mikhail Moshkov: Average Depth and Number of Misclassifications for Decision Trees. 160-169
- Grzegorz Jaskiewicz: Prolog-Based Reasoning Layer for Counter-Strike Agents. 170-181
- Olga Siedlecka-Lamch, Miroslaw Kurkowski, Henryk Piech: A New Effective Approach for Modelling and Verification of Security Protocols. 191-202
- Michael Köhler-Bußmeier: On the Complexity of Safe, Elementary Hornets. 203-214
- Michael Köhler-Bußmeier: Negotiating Inter-Organisational Processes. 215-226
- Matthias Niemann, Danilo Schmidt, Gabriela Lindemann von Trzebiatowski, Carl Hinrichs: First Steps towards a Frequent Pattern Mining with Nephrology Data in the Medical Domain. 261-268
- Krzysztof Pancerz, Arkadiusz Lewicki, Ryszard Tadeusiewicz, Jan Warchol: Rough Set Flow Graphs and Ant Based Clustering in Classification of Disturbed Periodic Biosignals. 269-279
- Krzysztof Pancerz, Wieslaw Paja, Mariusz Wrzesien, Jan Warchol: Classification of Voice Signals through Mining Unique Episodes in Temporal Information Systems: A Rough Set Approach. 280-291
- James F. Peters, Andrzej Skowron, Jaroslaw Stepaniuk: Nearness of Objects. Approximation Space Model Revisited. 292-302
- Lukasz Pulawski: Automatic Forecasting of Design Anti-patterns in Software Source Code. 312-323
- Roman R. Redziejowski: From EBNF to PEG. 324-335
- Martin C. Schneider, Hans-Dieter Burkhard: Creating driving behavior for artificial agents in a social augmented micro-world. 336-342
- Martin Schwarick: Symbolic Model Checking of Stochastic Reward Nets. 343-357
- Andrzej Skowron, Andrzej Jankowski, Piotr Wasilewski: Interactive Computational Systems: Rough Granular Approach. 358-369
- Zbigniew Suraj: Generalised Fuzzy Petri Nets for Approximate Reasoning in Decision Support Systems. 370-381
- Marcin Wolski, Anna Gomolinska: Elements of Representation Theory for Pawlak Information Systems. 404-415
- Olena Yaskorska, Magdalena Kacprzak, Katarzyna Budzynska: Rules for Formal and Natural Dialogues in Agent Communication. 416-427
- Olena Yatsenko: On Parameter-Driven Generation of Algorithm Schemes. 428-438
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-10-16T203152 by the dblp team