Volume 101, Numbers 1-2, 2010

• 
  Ludwik Czaja: Preface.
• 
  Ludwik Czaja, Manfred Kudlek: Synthesis and Analysis of Net Structures and Transition Graphs with Inhibitor Relations. 1-7
• 
  Michal Knapik, Wojciech Penczek, Maciej Szreter, Agata Pólrola: Bounded Parametric Verification for Distributed Time Petri Nets with Discrete-Time Semantics. 9-27
• 
  Michael Köhler-Bußmeier, Frank Heitmann: Safeness for Object Nets. 29-43
• 
  Maciej Koutny, Marta Pietkiewicz-Koutny: Minimal Regions of ENL-Transition Systems. 45-58
• 
  Irina A. Lomazova: Interacting Workflow Nets for Workflow Process Re-Engineering. 59-70
• 
  Alessio Lomuscio, Wojciech Penczek, Hongyang Qu: Partial Order Reductions for Model Checking Temporal-epistemic Logics over Interleaved Multi-agent Systems. 71-90
• 
  Marek Palasinski, Krzysztof Pancerz: On Computing Extensions and Restrictions of Information Systems Noting Some Order Properties. 91-103
• 
  Roman R. Redziejowski: Infinite Product of Traces Represented by Projections. 105-113
• 
  Zbigniew Suraj, Piotr Grochowalski: Toward Intelligent Searching the Rough Set Database System (RSDS): an Ontological Approach. 115-123
• 
  Alicja Wakulicz-Deja, Malgorzata Przybyla-Kasperek: Multi-Agent Decision Taking System. 125-141
• 
  Marcin Wolski: Perception and Classification. A Note on Near Sets and Rough Sets. 143-155

Volume 101, Number 3, 2010

• 
  Taku Aratsu, Kouichi Hirata, Tetsuji Kuboyama: Approximating Tree Edit Distance through String Edit Distance for Binary Tree Codes. 157-171
• 
  Maxime Crochemore, Marcin Kubica, Tomasz Walen, Costas S. Iliopoulos, M. Sohel Rahman: Finding Patterns In Given Intervals. 173-186
• 
  Piotr Honko: Similarity-Based Classification in Relational Databases. 187-213
• 
  Lila Kari, Shinnosuke Seki: An Improved Bound for an Extension of Fine and Wilf's Theorem and Its Optimality. 215-236
• 
  Guohua Liu, Jia-Huai You: Level Mapping Induced Loop Formulas for Weight Constraint and Aggregate Logic Programs. 237-255

Volume 101, Number 4, 2010

• 
  Stavros Konstantinidis, Pedro V. Silva: Computing Maximal Error-detecting Capabilities and Distances of Regular Languages. 257-270
• 
  Miron B. Kursa, Aleksander Jankowski, Witold R. Rudnicki: Boruta - A System for Feature Selection. 271-285
• 
  Ujjwal Maulik, Debasis Chakraborty: A Robust Multiple Classifier System for Pixel Classification of Remote Sensing Images. 286-304
• 
  N. R. Shanker, S. S. Ramakrishnan: Enhancement of Multispectral Ikonos Satellite Image Using Quantum Information Processing. 305-320
• 
  Guodong Ye: Another Constructed Chaotic Image Encryption Scheme Based on Toeplitz Matrix and Hankel Matrix. 321-333

last updated on Sat May 25 06:10:15 2013 by the dblp team
data released under the ODC-BY 1.0 license
see also our legal information page