22. CS&P 2013: Warsaw, Poland
Marcin S. Szczuka, Ludwik Czaja, Magdalena Kacprzak (Eds.): Proceedings of the 22nd International Workshop on Concurrency, Specification and Programming, Warsaw, Poland. CEUR-WS.org 2013 CEUR Workshop Proceedings 1032- Jack Betts, Berndt Müller: Engineering MAS - A Device Integration Framework for Smart Home Environments. 15-26
- Kamil Bak, Adam Krasuski, Marcin S. Szczuka: Searching for Concepts in Natural Language Part of Fire Service Reports. 39-48
- Valentina Castiglioni, Ruggero Lanotte, Simone Tini: A Rule Format for Rooted Branching Bisimulation. 49-60
- Piotr Chrzastowski-Wachtel, Pawel Golab, Bartosz Lewinski: Sound Recoveries of Structural Workflows with Synchronization. 73-87
- Ludwik Czaja: Floating Channels Between Communicating Nets. 88-98
- Iwona Dolinska, Antoni Masiukiewicz, Grzegorz Rzadkowski: The Mathematical Model for Interference Simulation and Optimization in 802.11n Networks. 99-110
- Roman S. Dubtsov, Elena S. Oshevskaya, Irina Virbitskaite: A Domain View of Timed Behaviors. 111-121
- Natalia Garanina, Elena Sidorova, Evgeny Bodin: A Multi-agent Approach to Unstructured Data Analysis Based on Domain-specific Onthology. 122-132
- Jens Gerlach: An Explicit Formula for Sorting and its Application to Sorting in Lattices. 133-144
- Adam Grabowski: Efficient Rough Set Theory Merging. 157-168
- Damas P. Gruska: Opacity Testing. 169-180
- Frank Heitmann, Michael Köhler-Bußmeier: Structural and Dynamic Restrictions of Elementary Object Systems. 181-192
- Ryszard Janicki, Jetty Kleijn, Maciej Koutny, Lukasz Mikulski: Causal Structures for General Concurrent Behaviours. 193-205
- Anna Kalenkova, Irina A. Lomazova: Discovery of Cancellation Regions within Process Mining Techniques. 232-244
- Joanna Karbowska-Chilinska, Pawel Zabielski: Genetic Algorithm with Path Relinking for the Orienteering Problem with Time Windows. 245-258
- Heinrich Mellmann, Steffen Kaden, Marcus Scheunemann, Hans-Dieter Burkhard: Voronoi Based Strategic Positioning for Robot Soccer. 271-282
- Heinrich Mellmann, Marcus Scheunemann, Oliver Stadie: Adaptive Grasping for a Small Humanoid Robot Utilizing Force- and Electric Current Sensors. 283-293
- Dejan Mitrovic, Mirjana Ivanovic, Hans-Dieter Burkhard: Towards a Jason Infrastructure for Soccer Playing Agents. 294-295
- Linh Anh Nguyen, Joanna Golinska-Pilarek: An ExpTime Tableau Method for Dealing with Nominals and Quantified Number Restrictions in Deciding the Description Logic SHOQ. 296-308
- Artur Niewiadomski, Wojciech Penczek, Jaroslaw Skaruz: SMT vs Genetic Algorithms: Concrete Planning in PlanICS Framework. 309-321
- Agata Pólrola, Piotr Cybula, Artur Meski: SMT-Based Reachability Checking for Bounded Time Petri Nets. 332-341
- Piotr Przymus, Krzysztof Kaczmarski, Krzysztof Stencel: A Bi-objective Optimization Framework for Heterogeneous CPU/GPU Query Plans. 342-354
- Stanislaw Placzek, Bijaya Adhikari: Analysis of Multilayer Neural Networks with Direct and Cross-Forward Connection. 355-370
- Artur Rataj: Fractional Genetic Programming for a More Gradual Evolution. 371-382
- Roman R. Redziejowski: From EBNF to PEG. 383-388
- Andrew Schumann, Krzysztof Pancerz: Towards an Object-Oriented Programming Language for Physarum Polycephalum Computing. 389-397
- Marcin Szpyrka, Piotr Matyasik, Michal Wypych: Generation of Labelled Transition Systems for Alvis Models using Haskell Model Representation. 409-420
- Thanh-Luong Tran, Quang-Thuy Ha, Thi-Lan-Giao Hoang, Linh Anh Nguyen, Hung Son Nguyen: Bisimulation-Based Concept Learning in Description Logics. 421-433
- Annegret Katrin Wagler, Jan-Thierry Wegener: Preprocessing for Network Reconstruction: Feasibility Test and Handling Infeasibility. 434-447
- Matthias Werner, Louchka Popova-Zeugmann, Mario Haustein, Elisabeth Pelz: A Holistic State Equation for Timed Petri Nets. 448-456
- Bozena Wozna-Szczesniak, Andrzej Zbrzezny: Checking MTL Properties of Discrete Timed Automata via Bounded Model Checking. 469-477
- Andrzej Zbrzezny: On Boolean Encodings of Transition Relation for Parallel Compositions of Transition Systems. 478-489
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