![](https://dblp.org/img/logo.ua.320x120.png)
![](https://dblp.org/img/dropdown.dark.16x16.png)
![](https://dblp.org/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.org/img/search.dark.16x16.png)
![search dblp](https://dblp.org/img/search.dark.16x16.png)
default search action
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
![](https://dblp.org/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.