|
Vol-1032 urn:nbn:de:0074-1032-7Copyright ©
2013 for the individual papers
by the papers' authors. Copying permitted only for private and academic purposes.
This volume is published and copyrighted by its editors.
|
CS&P 2013
Concurrency, Specification and Programming
Proceedings of the 22nd International Workshop on Concurrency, Specification and Programming
Warsaw, Poland, September 25-27, 2013.
Edited by
Marcin Szczuka, The University of Warsaw, Poland
Ludwik Czaja, The University of Warsaw and Vistula University, Poland
Magdalena Kacprzak, Białystok University of Technology, Poland
Table of Contents
- DNA Tiles, Wang Tiles and Combinators1-14
Marco Bellia, Maria Eugenia Occhiuto
- Engineering MAS – A Device Integration Framework for Smart Home Environments15-26
Jack Betts, Berndt Müller
- Experiments with Simulated Humanoid Robots27-38
Hans-Dieter Burkhard, Monika Domańska
- Searching for Concepts in Natural Language Part of Fire Service Reports39-48
Kamil Bąk, Adam Krasuski, Marcin Szczuka
- A Rule Format for Rooted Branching Bisimulation49-60
Valentina Castiglioni, Ruggero Lanotte, Simone Tini
- A Rewriting Based Monitoring Algorithm for TPTL61-72
Ming Chai, Holger Schlingloff
- Sound Recoveries of Structural Workflows with Synchronization73-87
Piotr Chrząstowski-Wachtel, Paweł Gołąb, Bartosz Lewiński
- Floating Channels Between Communicating Nets88-98
Ludwik Czaja
- The Mathematical Model for Interference Simulation and Optimization in 802.11n Networks99-110
Iwona Dolińska, Antoni Masiukiewicz, Grzegorz Rządkowski
- A Domain View of Timed Behaviors111-121
Roman Dubtsov, Elena Oshevskaya, Irina Virbitskaite
- A Multi-agent Approach to Unstructured Data Analysis Based on Domain-specific Onthology122-132
Natalia Garanina, Elena Sidorova, Evgeny Bodin
- An Explicit Formula for Sorting and its Application to Sorting in Lattices133-144
Jens Gerlach
- Rough Inclusion Functions and Similarity Indices145-156
Anna Gomolińska, Marcin Wolski
- Efficient Rough Set Theory Merging157-168
Adam Grabowski
- Opacity Testing 169-180
Damas Gruska
- Structural and Dynamic Restrictions of Elementary Object Systems181-192
Frank Heitmann, Michael Köhler-Bußmeier
- Causal Structures for General Concurrent Behaviours193-205
Ryszard Janicki, Jetty Kleijn, Maciej Koutny, Łukasz Mikulski
- Interactive Complex Granules206-218
Andrzej Jankowski, Andrzej Skowron, Roman Swiniarski
- Identification of Formal Fallacies in a Natural Dialogue219-231
Magdalena Kacprzak, Anna Sawicka
- Discovery of Cancellation Regions within Process Mining Techniques232-244
Anna Kalenkova, Irina A. Lomazova
- Genetic Algorithm with Path Relinking for the Orienteering Problem with Time Windows245-258
Joanna Karbowska-Chilinska, Paweł Zabielski
- Parameter Synthesis for Timed Kripke Structures259-270
Michał Knapik, Wojciech Penczek
- Voronoi Based Strategic Positioning for Robot Soccer271-282
Heinrich Mellmann, Steffen Kaden, Marcus Scheunemann, Hans-Dieter Burkhard
- Adaptive Grasping for a Small Humanoid Robot Utilizing Force- and Electric Current
Sensors283-293
Heinrich Mellmann, Marcus Scheunemann, Oliver Stadie
- Towards a Jason Infrastructure for Soccer Playing Agents294-295
Dejan Mitrović, Mirjana Ivanović, Hans-Dieter Burkhard
- An ExpTime Tableau Method for Dealing with Nominals and Quantified Number Restrictions
in Deciding the Description Logic SHOQ296-308
Linh Anh Nguyen, Joanna Golińska-Pilarek
- SMT vs Genetic Algorithms: Concrete Planning in PlanICS Framework309-321
Artur Niewiadomski, Wojciech Penczek, Jarosław Skaruz
- Granular Mereotopology:A First Sketch322-331
Lech Polkowski, Maria Semeniuk-Polkowska
- SMT-Based Reachability Checking for Bounded Time Petri Nets332-341
Agata Półrola, Piotr Cybula, Artur Męski
- A Bi-objective Optimization Framework for Heterogeneous CPU/GPU Query Plans342-354
Piotr Przymus, Krzysztof Stencel, Krzysztof Kaczmarski
- Analysis of Multilayer Neural Networks with Direct and Cross-Forward Connection355-370
Stanisław Płaczek, Bijaya Adhikari
- Fractional Genetic Programming for a More Gradual Evolution371-382
Artur Rataj
- From EBNF to PEG383-388
Roman Redziejowski
- Towards an Object-Oriented Programming Language for Physarum Polycephalum Computing389-397
Andrew Schumann, Krzysztof Pancerz
- About New Version of RSDS System398-408
Zbigniew Suraj, Piotr Grochowalski
- Generation of Labelled Transition Systems for Alvis Models using Haskell Model Representation409-420
Marcin Szpyrka, Piotr Matyasik, Michał Wypych
- Bisimulation-Based Concept Learning in Description Logics421-433
Thanh-Luong Tran, Quang-Thuy Ha, Thi-Lan-Giao Hoang, Linh Anh Nguyen, Hung Son Nguyen
- Preprocessing for Network Reconstruction: Feasibility Test and Handling Infeasibility434-447
Annegret K. Wagler, Jan-Thierry Wegener
- A Holistic State Equation for Timed Petri Nets448-456
Matthias Werner, Louchka Popova-Zeugmann, Mario Haustein, Elisabeth Pelz
- Query Rewriting Based on Meta-Granular Aggregation457-468
Piotr Wiśniewski, Krzysztof Stencel
- Checking MTL Properties of Discrete Timed Automata via Bounded Model Checking469-477
Bozena Woźna-Szcześniak, Andrzej Zbrzezny
- On Boolean Encodings of Transition Relation for Parallel Compositions of Transition
Systems478-489
Andrzej Zbrzezny
The whole proceedings can also be downloaded as a single file (PDF, including title pages, preface, and table of contents).
We offer a BibTeX file for citing papers of this workshop from LaTeX.
2013-09-07: submitted by Marcin Szczuka
2013-09-07: published on CEUR-WS.org