| 1 | -- | 17 | Grazyna Mirkowska, Andrzej Salwicki, Oskar Swida. Algorithmic Logic + SpecVer = the Methodology for High Integrity Programming - Invited Paper |
| 19 | -- | 33 | Marek A. Bednarczyk, Wieslaw Pawlowski, Luca Bernardinello, Lucia Pomello, Tomasz Borzyszkowski. A Multi-facet Approach to Dynamic Agent Systems |
| 35 | -- | 50 | Marco Bellia, M. Eugenia Occhiuto. Methods as Parameters: A Preprocessing Approach to Higher Order in Java |
| 51 | -- | 65 | Katarzyna Budzynska, Magdalena Kacprzak. A Logic for Reasoning about Persuasion |
| 67 | -- | 87 | Piotr Chrzastowski-Wachtel, Pawel Findeisen, Grzegorz Wolny. Time Distribution in Structural Workflow Nets |
| 89 | -- | 95 | Ludwik Czaja. Boolean Algebra of Nets, their Synthesis and Analysis |
| 97 | -- | 110 | Pawel Delimata, Zbigniew Suraj. Feature Selection Algorithm for Multiple Classifier Systems: A Hybrid Approach |
| 111 | -- | 121 | Berndt Farwer, Matthias Jantzen, Manfred Kudlek, Heiko Rölke, Georg Zetzsche. Petri Net Controlled Finite Automata |
| 123 | -- | 137 | Daniel Göhring, Heinrich Mellmann, Kataryna Gerasymova, Hans-Dieter Burkhard. Constraint BasedWorld Modeling |
| 139 | -- | 153 | Anna Gomolinska. Satisfiability of Formulas from the Standpoint of Object Classification: The RST Approach |
| 155 | -- | 172 | Grzegorz Góra, Piotr Kruczek, Andrzej Skowron, Jan G. Bazan, Stanislawa Bazan-Socha, Jacek J. Pietrzyk. Case-based Planning of Treatment of Infants with Respiratory Failure |
| 173 | -- | 187 | Damas P. Gruska. Probabilistic Information Flow Security |
| 189 | -- | 203 | Damas P. Gruska, Andrea Maggiolo-Schettini, Paolo Milazzo. Security in a Model for Long-running Transactions |
| 205 | -- | 217 | Jerzy W. Grzymala-Busse, Wojciech Rzasa. Approximation Space and LEM2-like Algorithms for Computing Local Coverings |
| 219 | -- | 234 | . Token History Petri Nets |
| 235 | -- | 248 | Agata Janowska, Pawel Janowski, Dobieslaw Wróblewski. Translation of Intermediate Language to Timed Automata with Discrete Data |
| 249 | -- | 265 | Andrzej Jankowski, James F. Peters, Andrzej Skowron, Jaroslaw Stepaniuk. Optimization in Discovery of Compound Granules |
| 267 | -- | 280 | Matthias Jantzen, Manfred Kudlek, Georg Zetzsche. Language Classes Defined by Concurrent Finite Automata |
| 281 | -- | 295 | Joanna Jólkowska, Edward Ochmanski. On Trace-Expressible Behaviour of Petri Nets |
| 297 | -- | 311 | Matthias Jüngel, Heinrich Mellmann. Memory-Based State-Estimation |
| 313 | -- | 328 | Magdalena Kacprzak, Wojciech Nabialek, Artur Niewiadomski, Wojciech Penczek, Agata Pólrola, Maciej Szreter, Bozena Wozna, Andrzej Zbrzezny. VerICS 2007 - a Model Checker for Knowledge and Real-Time |
| 329 | -- | 342 | Michael Köhler-Bußmeier, Manfred Kudlek. Linear Properties of Zero-Safe Nets with Debit Tokens |
| 343 | -- | 357 | Hans Langmaack, Andrzej Salwicki, Marek Warpechowski. A Deterministic Algorithm for Identifying Direct Superclasses in Java |
| 359 | -- | 375 | Alessio Lomuscio, Wojciech Penczek. LDYIS: a Framework for Model Checking Security Protocols |
| 377 | -- | 398 | Ronald Middelkoop, Cornelis Huizing, Ruurd Kuiper, Erik J. Luit. Specification and Verification of Invariants by Exploiting Layers in OO Designs |
| 399 | -- | 408 | Lukasz Mikulski. Projection Representation of Mazurkiewicz Traces |
| 409 | -- | 424 | Wojciech Nabialek, Agata Janowska, Pawel Janowski. Translation of Timed Promela to Timed Automata with Discrete Data |
| 425 | -- | 440 | Wojciech Penczek, Maciej Szreter. SAT-based Unbounded Model Checking of Timed Automata |
| 441 | -- | 451 | Roman R. Redziejowski. Some Aspects of Parsing Expression Grammar |
| 455 | -- | 464 | Dominik Strzalka, Franciszek Grabowski. Processes in Systems with Limited Resources in the Context of Non-extensive Thermodynamics |
| 465 | -- | 479 | Kimmo Varpaaniemi, Leo Ojala. Modelling and Simulation of Quantum Teleportation and Dense Coding Using Predicate/Transition-Nets |
| 481 | -- | 496 | Józef Winkowski. An Algebraic Framework for Defining Random Concurrent Behaviours |
| 497 | -- | 512 | Marcin Wolski. Distance Measures Induced by Finite Approximation Spaces and Approximation Operators |
| 513 | -- | 531 | Andrzej Zbrzezny. Improving the Translation from ECTL to SAT |
| 533 | -- | 548 | Andrzej Zbrzezny, Bozena Wozna. Towards Verification of Java Programs in perICS |
| 549 | -- | 561 | Beata Zielosko, Marcin Piliszczuk. Greedy Algorithm for Attribute Reduction |