External Links

    Journal: Fundamenta Informaticae

    Volume 92, Issue 4

    307 -- 343Willem Conradie, Valentin Goranko, Dimiter Vakarelov. Algorithmic Correspondence and Completeness in Modal Logic. III. Extensions of the Algorithm SQEMA with Substitutions
    345 -- 362Anindya Halder, Ashish Ghosh, Susmita Ghosh. Aggregation Pheromone Density Based Pattern Classification
    363 -- 372Anthony Spatharis, Ilias Foudalis, Martha Sideri, Christos H. Papadimitriou. Comparing Trade-off Based Models of the Internet
    373 -- 396Jacek Sroka, Jan Hidders. Towards a Formal Semantics for the Process Model of the Taverna Workbench. Part II
    397 -- 409Cheng-Hsing Yang, Chi-Yao Weng, Shiuh-Jeng Wang, Hung-Min Sun. Codebook-linked Watermarking Scheme for Digital Images
    411 -- 431Sheng Zhong. On Distributed k-Anonymization

    Volume 92, Issue 3

    193 -- 231Eugénie Foustoucos, Labrini Kalantzi. The Monadic Second-order Logic Evaluation Problem on Finite Colored Trees: a Database-theoretic Approach
    233 -- 257Karsten Hölscher, Hans-Jörg Kreowski, Sabine Kuske. Autonomous Units to Model Interacting Sequential and Parallel Processes
    259 -- 277Mikhail Ju. Moshkov, Marcin Piliszczuk, Beata Zielosko. Greedy Algorithm for Construction of Partial Association Rules
    279 -- 299Jacek Sroka, Jan Hidders. Towards a Formal Semantics for the Process Model of the Taverna Workbench. Part I
    301 -- 306Yinbin Lei, Maokang Luo. A Proof of Plotkin s Conjecture

    Volume 92, Issue 1-2

    1 -- 25Patricia Bouyer, Serge Haddad, Pierre-Alain Reynier. Undecidability Results for Timed Automata with Silent Transitions
    27 -- 42Chin-Chen Chang, Tzungher Chen, Li-Jen Liu. Preventing Cheating in Computational Visual Cryptography
    43 -- 61Jacek Czerniak. Evolutionary Approach to Data Discretization for Rough Sets Theory
    63 -- 81Kimmo Fredriksson, Fedor Nikitin. Simple Random Access Compression
    83 -- 102Sven Hartmann, Sebastian Link. On Inferences ofWeak Multivalued Dependencies
    103 -- 130Johanna Högberg, Andreas Maletti, Heiko Vogler. Bisimulation Minimisation of Weighted Automata on Unranked Trees
    131 -- 143Kuo-Lung Hung, Shin-Wei He. Feature Based Affine Invariant Watermarking Robust to Geometric Distortions
    145 -- 168Rakesh Verma. Complexity of Normal Form Properties and Reductions for Term Rewriting Problems Complexity of Normal Form Properties and Reductions for Term Rewriting Problems
    169 -- 192Pawel Waszkiewicz. On Domain Theory over Girard Quantales
    runs on