Contents of Fundamenta Informaticae Volume 92


Number 1-2,  2009

Number 3,  2009

Number 4,  2009


Contents of Volume 92, Number 1-2, 2009

Click on title for abstract


Undecidability Results for Timed Automata with Silent Transitions
Patricia Bouyer, Serge Haddad, Pierre-Alain Reynier

Preventing Cheating in Computational Visual Cryptography
Chin-Chen Chang,Tzung-Her Chen, Li-Jen Liu

Evolutionary Approach to Data Discretization for Rough Sets Theory
Jacek Czerniak

Simple Random Access Compression
Kimmo Fredriksson, Fedor Nikitin

On Inferences of Weak Multivalued Dependencies
Sven Hartmann, Sebastian Link

Bisimulation Minimisation of Weighted Automata on Unranked Trees
Johanna Högberg, Andreas Maletti, Heiko Vogler

Feature Based Affine Invariant Watermarking Robust to Geometric Distortions
Kuo Lung Hung, Shin-Wei He

Complexity of Normal Form Properties and Reductions for Term Rewriting Problems
Rakesh Verma

On Domain Theory over Girard Quantales
Paweł Waszkiewicz


Contents of Volume 92, Number 3, 2009

Click on title for abstract


The Monadic Second-order Logic Evaluation Problem on Finite Colored Trees: a Database-theoretic Approach
Eugénie Foustoucos,  Labrini Kalantzi

Autonomous Units to Model Interacting Sequential and Parallel Processes
Karsten Hölscher,  Hans-Jörg Kreowski,  Sabine Kuske

Greedy Algorithm for Construction of Partial Association Rules
Mikhail Ju. Moshkov,  Marcin Piliszczuk,  Beata Zielosko

Towards a Formal Semantics for the Process Model of the Taverna Workbench. Part I
Jacek Sroka,  Jan Hidders

A Proof of Plotkin's Conjecture
Lei Yinbin Luo Maokang


Contents of Volume 92, Number 4, 2009

Click on title for abstract


Algorithmic Correspondence and Completeness in Modal Logic. Part III. Extensions of the Algorithm SQEMA with Substitutions
Willem Conradie,  Valentin Goranko,  Dimiter Vakarelov

Aggregation Pheromone Density Based Pattern Classification
Anindya Halder,  Ashish Ghosh,  Susmita Ghosh

Comparing Trade-off Based Models of the Internet
Anthony Spatharis,  Ilias Foudalis, Martha Sideri,  Christos Papadimitriou

Towards a Formal Semantics for the Process Model of the Taverna Workbench. Part II
Jacek Sroka,  Jan Hidders

Codebook-linked Watermarking Scheme for Digital Images
Cheng-Hsing Yang,  Chi-Yao Weng,  Shiuh-Jeng Wang,  Hung-Min Sun

On Distributed k-Anonymization
Sheng Zhong