| 265 | -- | 282 | Antoni Mazurkiewicz. Compositional Systems over Reducible Networks |
| 283 | -- | 293 | Ludwik Czaja. Interpreted Nets |
| 295 | -- | 302 | Roxana Dietze, Manfred Kudlek, Olaf Kummer. Decidability Problems of a Basic Class of Object Nets |
| 303 | -- | 317 | Berndt Farwer, Manfred Kudlek, Heiko Rölke. Concurrent Turing Machines |
| 319 | -- | 333 | Anna Gomolinska. Approximation Spaces Based on Relations of Similarity and Dissimilarity of Objects |
| 335 | -- | 346 | Damas P. Gruska. Observation Based System Security |
| 347 | -- | 362 | Kees M. van Hee, Olivia Oanea, Alexander Serebrenik, Natalia Sidorova, Marc Voorhoeve, Irina A. Lomazova. Checking Properties of Adaptive Workflow Nets |
| 363 | -- | 378 | Gizela Jakubowska, Wojciech Penczek. Modelling and Checking Timed Authentication of Security Protocols |
| 379 | -- | 399 | Agata Janowska, Wojciech Penczek. Path Compression in Timed Automata |
| 401 | -- | 413 | Michael Köhler. The Reachability Problem for Object Nets |
| 415 | -- | 430 | Michael Köhler. A Formal Model of Multi-Agent Organisations |
| 431 | -- | 445 | Sergiy Kryvyy, Lyudmila Matvyeyeva. Algorithm of Translation of MSC-specified System into Petri Net |
| 447 | -- | 452 | Manfred Kudlek. On Semilinear Sets over Commutative Semirings |
| 453 | -- | 471 | Miroslaw Kurkowski, Wojciech Penczek. Verifying Security Protocols Modelled by Networks of Automata |
| 473 | -- | 486 | Alessio Lomuscio, Franco Raimondi, Bozena Wozna. Verification of the TESLA protocol in MCMAS-X |
| 487 | -- | 495 | Antoni Mazurkiewicz. Local Properties of Triangular Graphs |
| 497 | -- | 512 | James F. Peters, Andrzej Skowron, Jaroslaw Stepaniuk. Nearness of Objects: Extension of Approximation Space Model |
| 513 | -- | 524 | Roman R. Redziejowski. Parsing Expression Grammar as a Primitive Recursive-Descent Parser with Backtracking |
| 525 | -- | 539 | Jaroslaw Stepaniuk. Relational Data and Rough Sets |
| 541 | -- | 551 | Zbigniew Suraj, Barbara Fryc. Analysis of Approximate Petri Nets by Means of Occurrence Graphs |
| 553 | -- | 566 | Zbigniew Suraj, Krzysztof Pancerz. Towards Efficient Computing Consistent and Partially Consistent Extensions of Information Systems |
| 567 | -- | 577 | Marcin Wolski. Approximation Spaces and Nearness Type Structures |
| 579 | -- | 593 | Andrzej Zbrzezny, Agata Pólrola. SAT-Based Reachability Checking for Timed Automata with Discrete Data |