Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDFundamenta 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
a service of 
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.
last updated on 2024-04-18 20:20 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
