![](https://dblp.org/img/logo.ua.320x120.png)
![](https://dblp.org/img/dropdown.dark.16x16.png)
![](https://dblp.org/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.org/img/search.dark.16x16.png)
![search dblp](https://dblp.org/img/search.dark.16x16.png)
default search action
22. CS&P 2013: Warsaw, Poland
- Marcin S. Szczuka, Ludwik Czaja, Magdalena Kacprzak:
Proceedings of the 22nd International Workshop on Concurrency, Specification and Programming, Warsaw, Poland. CEUR Workshop Proceedings 1032, CEUR-WS.org 2013 - Marco Bellia, M. Eugenia Occhiuto:
DNA Tiles, Wang Tiles and Combinators. 1-14 - Jack Betts, Berndt Müller:
Engineering MAS - A Device Integration Framework for Smart Home Environments. 15-26 - Hans-Dieter Burkhard, Monika Domanska:
Experiments with Simulated Humanoid Robots. 27-38 - 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 - Ming Chai, Holger Schlingloff:
A Rewriting Based Monitoring Algorithm for TPTL. 61-72 - 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 B. Virbitskaite:
A Domain View of Timed Behaviors. 111-121 - Natalia Olegovna Garanina, Elena A. Sidorova, Evgeny V. 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 - Anna Gomolinska, Marcin Wolski:
Rough Inclusion Functions and Similarity Indices. 145-156 - 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 - Andrzej Jankowski, Andrzej Skowron, Roman W. Swiniarski:
Interactive Complex Granules. 206-218 - Magdalena Kacprzak, Anna Sawicka:
Identification of Formal Fallacies in a Natural Dialogue. 219-231 - Anna A. 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 - Michal Knapik
, Wojciech Penczek:
Parameter Synthesis for Timed Kripke Structures. 259-270 - 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 - Lech Polkowski, Maria Semeniuk-Polkowska:
Granular Mereotopology: A First Sketch. 322-331 - 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 - Zbigniew Suraj, Piotr Grochowalski:
About New Version of RSDS System. 398-408 - 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 - Piotr Wisniewski, Krzysztof Stencel:
Query Rewriting Based on Meta-Granular Aggregation. 457-468 - 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
![](https://dblp.org/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.