| 0 | -- | 0 | Wojciech Penczek. Preface |
| 205 | -- | 229 | Emanuele De Angelis, Alberto Pettorossi, Maurizio Proietti. Synthesizing Concurrent Programs Using Answer Set Programming |
| 231 | -- | 242 | Mohammad Azad, Igor Chikalov, Mikhail Moshkov, Beata Zielosko. Greedy Algorithms for Construction of Approximate Tests for Decision Tables with Many-Valued Decisions |
| 243 | -- | 257 | Vladimir A. Bashkin, Irina A. Lomazova. Cellular Resource-Driven Automata |
| 259 | -- | 274 | Peter Drábik, Andrea Maggiolo-Schettini, Paolo Milazzo. On Conditions for Modular Verification in Systems of Synchronising Components |
| 275 | -- | 293 | Leonid W. Dworzanski, Irina A. Lomazova. On Compositionality of Boundedness and Liveness for Nested Petri Nets |
| 295 | -- | 309 | Damas P. Gruska. Informational Analysis of Security and Integrity |
| 311 | -- | 324 | Damas P. Gruska. Quantification of Positive and Negative Attacker's Information |
| 325 | -- | 339 | Michael Köhler-Bußmeier, Frank Heitmann. Conservative Elementary Object Systems |
| 341 | -- | 357 | Louchka Popova-Zeugmann, Elisabeth Pelz. Algebraical Characterisation of Interval-Timed Petri Nets with Discrete Delays |
| 359 | -- | 374 | Piotr Wisniewski, Marta Burzanska, Krzysztof Stencel. The Impedance Mismatch in Light of the Unified State Model |
| 375 | -- | 395 | Andrzej Zbrzezny. A New Translation from ECTL* to SAT |