| 0 | -- | 0 | Ludwik Czaja. Preface |
| 233 | -- | 248 | Talha Amin, Igor Chikalov, Mikhail Moshkov, Beata Zielosko. Dynamic Programming Approach for Partial Decision Rule Optimization |
| 249 | -- | 264 | Marco Bellia, M. Eugenia Occhiuto. The Equivalence of Reduction and Translation Semantics of Java Simple Closures |
| 265 | -- | 280 | Ludwik Czaja. Exclusive Access to Resources in Distributed Shared Memory Architecture |
| 281 | -- | 300 | Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti, Valerio Senni. Improving Reachability Analysis of Infinite State Systems by Specialization |
| 301 | -- | 317 | Anna Gomolinska, Marcin Wolski. On Graded Nearness of Sets |
| 319 | -- | 336 | Andrzej Janusz, Dominik Slezak, Hung Son Nguyen. Unsupervised Similarity Learning from Textual Data |
| 337 | -- | 355 | Pawel Leszczynski, Krzysztof Stencel. Update Propagator for Joint Scalable Storage |
| 357 | -- | 372 | Elena S. Oshevskaya, Irina Virbitskaite, Eike Best. Unifying Equivalences for Higher Dimensional Automata |
| 373 | -- | 392 | Wojciech Penczek, Bozena Wozna-Szczesniak, Andrzej Zbrzezny. Towards SAT-based BMC for LTLK over Interleaved Interpreted Systems |
| 393 | -- | 406 | Roman R. Redziejowski. An Improved Construction of Deterministic Omega-automaton Using Derivatives |
| 407 | -- | 420 | Jaroslaw Rzeszótko, Sinh Hoa Nguyen. Machine Learning for Traffic Prediction |
| 421 | -- | 437 | Andrzej Skowron, Jaroslaw Stepaniuk, Andrzej Jankowski, Jan G. Bazan, Roman W. Swiniarski. Rough Set Based Reasoning About Changes |