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
