0 | -- | 0 | Wojciech Penczek. Preface |
1 | -- | 17 | Roberto Barbuti, Francesca Levi, Paolo Milazzo, Guido Scatena. Maximally Parallel Probabilistic Semantics for Multiset Rewriting |
19 | -- | 37 | Francesco Belardinelli, Andrew V. Jones, Alessio Lomuscio. Model Checking Temporal-Epistemic Logic Using Alternating Tree Automata |
39 | -- | 45 | Ludwik Czaja, Manfred Kudlek. On Synthesis and Analysis of Generalized Work Flow Net Structures and Transition Graphs |
47 | -- | 71 | Dariusz Doliwa, Wojciech Horzelski, Mariusz Jarocki, Artur Niewiadomski, Wojciech Penczek, Agata Pólrola, Maciej Szreter, Andrzej Zbrzezny. PlanICS - a Web Service Composition Toolset |
73 | -- | 87 | Michael Köhler-Bußmeier, Frank Heitmann. Liveness of Safe Object Nets |
89 | -- | 101 | Heinrich Mellmann, Giuseppe Cotugno. Dynamic Motion Control: Adaptive Bimanual Grasping for a Humanoid Robot |
103 | -- | 117 | Wojciech Turek, Krzysztof Cetnarowicz, Wojciech Zaborowski. Software Agent Systems for Improving Performance of Multi-Robot Groups |