External Links

    Journal: Fundamenta Informaticae

    Volume 109, Issue 4

    369 -- 381Zoltán Ésik, Klaus Sutner. Stephen L. Bloom 1940-2010
    383 -- 403Thomas Locher, Stefan Schmid, Roger Wattenhofer. eDonkey & eMule's Kad: Measurements & Attacks
    405 -- 424Xiaoxue Piao, Kai Salomaa. Transformations Between Different Models of Unranked Bottom-Up Tree Automata
    425 -- 462Daniel Simson. Mesh Algorithms for Solving Principal Diophantine Equations, Sand-glass Tubes and Tori of Roots
    463 -- 480Ping Zhu. An Axiomatic Approach to the Roughness Measure of Rough Sets
    481 -- 0. Erratum to the paper: "A Logic-Based System for e-Tourism"

    Volume 109, Issue 3

    0 -- 0Ludwik Czaja. Preface
    223 -- 236Vladimir A. Bashkin, Irina A. Lomazova. Resource Driven Automata Nets
    237 -- 253Marco Bellia, M. Eugenia Occhiuto. Properties of Java Simple Closures
    255 -- 264Ludwik Czaja. On Deadlock and Fairness Decision Problems for Computations on Client-server Systems
    265 -- 279Anna Gomolinska. A Logic-Algebraic Approach to Graded Inclusion
    281 -- 295Damas P. Gruska. Gained and Excluded Private Actions by Process Observations
    297 -- 304Manfred Kudlek. A Relation between Modal Logic and Language Closure Operators
    305 -- 321Artur Meski, Wojciech Penczek, Agata Pólrola. BDD-based Bounded Model Checking for Temporal Properties of 1-Safe Petri Nets
    323 -- 337Roman R. Redziejowski. BITES Instead of FIRST for Parsing Expression Grammar
    339 -- 354Marcin S. Szczuka, Andrzej Skowron, Jaroslaw Stepaniuk. Function Approximation and Quality Measures in Rough-Granular Systems
    355 -- 368Marcin Wolski. Incomplete and Nondeterministic Information Systems: Object-Directed Semantics for Descriptor Languages

    Volume 109, Issue 2

    121 -- 134Chin-Chen Chang, Chih-Yang Lin, Yi-Hsuan Fan. Reversible Steganography for BTC-compressed Images
    135 -- 160Roberto Gorrieri, Cristian Versari. 2CCS
    161 -- 178Galina Jirásková, Alexander Okhotin. On the State Complexity of Star of Union and Star of Intersection
    179 -- 188Yunyun Niu, Linqiang Pan, Mario J. Pérez-Jiménez, Miquel Rius-Font. A Tissue P Systems Based Uniform Solution to Tripartite Matching Problem
    189 -- 200Xu an Wang, Xiaoyuan Yang 0002, Minqing Zhang. Cryptanalysis of Two Efficient HIBE Schemes in the Standard Model
    201 -- 222Józef Winkowski. Multiplicative Transition Systems

    Volume 109, Issue 1

    1 -- 25Pascal Caron, Marianne Flouret. From Glushkov WFAs to K-Expressions
    27 -- 81Oliver Kullmann. Constraint Satisfaction Problems in Clausal Form I: Autarkies and Deficiency
    83 -- 119Oliver Kullmann. Constraint Satisfaction Problems in Clausal Form II: Minimal Unsatisfiability and Conflict Structure
    runs on