Contents of Fundamenta Informaticae Volume 101


Number 1-2,  2010

Number 3,  2010

Number 4,  2010


Contents of Volume 101, Number 1-2, 2010

Click on title for abstract


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


Contents of Volume 101, Number 3, 2010

Click on title for abstract


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


Contents of Volume 101, Number 4, 2010

Click on title for abstract


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