Volume 85, Numbers 1-4, 2008
Concurrency Specification and Programming (CS&P)
- Grazyna Mirkowska, Andrzej Salwicki, Oskar Swida:
Algorithmic Logic + SpecVer = the Methodology for High Integrity Programming - Invited Paper.
1-17

- Marek A. Bednarczyk, Wieslaw Pawlowski, Luca Bernardinello, Lucia Pomello, Tomasz Borzyszkowski:
A Multi-facet Approach to Dynamic Agent Systems.
19-33

- Marco Bellia, M. Eugenia Occhiuto:
Methods as Parameters: A Preprocessing Approach to Higher Order in Java.
35-50

- Katarzyna Budzynska, Magdalena Kacprzak:
A Logic for Reasoning about Persuasion.
51-65

- Piotr Chrzastowski-Wachtel, Pawel Findeisen, Grzegorz Wolny:
Time Distribution in Structural Workflow Nets.
67-87

- Ludwik Czaja:
Boolean Algebra of Nets, their Synthesis and Analysis.
89-95

- Pawel Delimata, Zbigniew Suraj:
Feature Selection Algorithm for Multiple Classifier Systems: A Hybrid Approach.
97-110

- Berndt Farwer, Matthias Jantzen, Manfred Kudlek, Heiko Rölke, Georg Zetzsche:
Petri Net Controlled Finite Automata.
111-121

- Daniel Göhring, Heinrich Mellmann, Kataryna Gerasymova, Hans-Dieter Burkhard:
Constraint BasedWorld Modeling.
123-137

- Anna Gomolinska:
Satisfiability of Formulas from the Standpoint of Object Classification: The RST Approach.
139-153

- 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.
155-172

- Damas P. Gruska:
Probabilistic Information Flow Security.
173-187

- Damas P. Gruska, Andrea Maggiolo-Schettini, Paolo Milazzo:
Security in a Model for Long-running Transactions.
189-203

- Jerzy W. Grzymala-Busse, Wojciech Rzasa:
Approximation Space and LEM2-like Algorithms for Computing Local Coverings.
205-217

- Kees M. van Hee, Alexander Serebrenik, Natalia Sidorova:
Token History Petri Nets.
219-234

- Agata Janowska, Pawel Janowski, Dobieslaw Wróblewski:
Translation of Intermediate Language to Timed Automata with Discrete Data.
235-248

- Andrzej Jankowski, James F. Peters, Andrzej Skowron, Jaroslaw Stepaniuk:
Optimization in Discovery of Compound Granules.
249-265

- Matthias Jantzen, Manfred Kudlek, Georg Zetzsche:
Language Classes Defined by Concurrent Finite Automata.
267-280

- Joanna Jólkowska, Edward Ochmanski:
On Trace-Expressible Behaviour of Petri Nets.
281-295

- Matthias Jüngel, Heinrich Mellmann:
Memory-Based State-Estimation.
297-311

- 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.
313-328

- Michael Köhler-Bußmeier, Manfred Kudlek:
Linear Properties of Zero-Safe Nets with Debit Tokens.
329-342

- Hans Langmaack, Andrzej Salwicki, Marek Warpechowski:
A Deterministic Algorithm for Identifying Direct Superclasses in Java.
343-357

- Alessio Lomuscio, Wojciech Penczek:
LDYIS: a Framework for Model Checking Security Protocols.
359-375

- Ronald Middelkoop, Cornelis Huizing, Ruurd Kuiper, Erik J. Luit:
Specification and Verification of Invariants by Exploiting Layers in OO Designs.
377-398

- Lukasz Mikulski:
Projection Representation of Mazurkiewicz Traces.
399-408

- Wojciech Nabialek, Agata Janowska, Pawel Janowski:
Translation of Timed Promela to Timed Automata with Discrete Data.
409-424

- Wojciech Penczek, Maciej Szreter:
SAT-based Unbounded Model Checking of Timed Automata.
425-440

- Roman R. Redziejowski:
Some Aspects of Parsing Expression Grammar.
441-451

- Dominik Strzalka, Franciszek Grabowski:
Processes in Systems with Limited Resources in the Context of Non-extensive Thermodynamics.
455-464

- Kimmo Varpaaniemi, Leo Ojala:
Modelling and Simulation of Quantum Teleportation and Dense Coding Using Predicate/Transition-Nets.
465-479

- Józef Winkowski:
An Algebraic Framework for Defining Random Concurrent Behaviours.
481-496

- Marcin Wolski:
Distance Measures Induced by Finite Approximation Spaces and Approximation Operators.
497-512

- Andrzej Zbrzezny:
Improving the Translation from ECTL to SAT.
513-531

- Andrzej Zbrzezny, Bozena Wozna:
Towards Verification of Java Programs in perICS.
533-548

- Beata Zielosko, Marcin Piliszczuk:
Greedy Algorithm for Attribute Reduction.
549-561

Last update Thu May 23 14:49:37 2013
CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page