Fundamenta Informaticae, Volume 101

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 update Fri May 24 20:20:39 2013 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page