Number 1-2, 2010Number 1-2, 2010
Number
3, 2010
Number
4, 2010
Concurrency Specification and Programming (CS&P). Preface i-i
Synthesis and Analysis of Net Structures and
Transition Graphs with Inhibitor Relations
Ludwik Czaja, Manfred Kudlek
Bounded Parametric Verification for Distributed Time Petri Nets
with Discrete-Time Semantics
Michał Knapik, Wojciech Penczek, Maciej Szreter, Agata Półrola
Safeness for Object Nets
Michael Köhler-Bußmeier and Frank Heitmann
Minimal Regions of ENL-Transition Systems
Maciej Koutny, Marta Pietkiewicz-Koutny
Interacting Workflow Nets for Workflow Process Re-Engineering
Irina A. Lomazova
Partial Order Reductions for Model Checking Temporal-epistemic
Logics over Interleaved Multi-agent Systems
Alessio Lomuscio, Wojciech Penczek, Hongyang Qu
On Computing Extensions and Restrictions of Information Systems Noting Some Order Properties
Marek Pałasiński, Krzysztof Pancerz
Infinite Product of Traces Represented by Projections
Roman R. Redziejowski
Toward Intelligent Searching the Rough Set Database System (RSDS): an Ontological Approach
Zbigniew Suraj, Piotr Grochowalski
Multi-Agent Decision Taking System
Alicja Wakulicz-Deja, Małgorzata Przybyła-Kasperek
Perception and Classification. A Note on Near Sets and Rough Sets
Marcin Wolski
Approximating Tree Edit Distance through String Edit
Distance for Binary Tree Codes
Taku Aratsu, Kouichi Hirata, Tetsuji Kuboyama
Finding Patterns in Given Intervals
Maxime Crochemore, Costas S. Iliopoulos, Marcin Kubica,
M. Sohel Rahman,
Tomasz Waleń
Similarity-Based Classification in Relational Databases
Piotr Hońko
An Improved Bound for an Extension of Fine and Wilf's Theorem and Its Optimality
Lila Kari and Shinnosuke Seki
Level Mapping Induced Loop Formulas
for Weight Constraint and Aggregate Logic Programs
Guohua Liu and Jia-Huai You
Computing Maximal Error-detecting Capabilities and Distances of Regular Languages
Stavros Konstantinidis, Pedro V. Silva
Boruta - A System for Feature Selection
Miron B. Kursa, Aleksander Jankowski, Witold R. Rudnicki
A Robust Multiple Classifier System for Pixel Classification of Remote Sensing Images
Ujjwal Maulik, Debasis Chakraborty
Enhancement of Multispectral Ikonos Satellite Image Using Quantum
Information Processing
N.R. Shanker, S.S. Ramakrishnan
Another Constructed Chaotic Image Encryption Scheme Based
on Toeplitz Matrix and Hankel Matrix
Guodong Ye