External Links

    Journal: Fundamenta Informaticae

    Volume 130, Issue 4

    377 -- 407S. Akshay, Benedikt Bollig, Paul Gastin, Madhavan Mukund, K. Narayan Kumar. Distributed Timed Automata with Independently Evolving Clocks
    409 -- 414Khaled M. Elbassioni, Matthias Hagen, Imran Rauf. A Lower Bound for the HBC Transversal Hypergraph Generation
    415 -- 421Marcin Krzywkowski. An Algorithm for Listing all Minimal Double Dominating Sets of a Tree
    423 -- 466Yongyuth Permpoontanalarp, Panupong Sornkhom. On-the-fly Trace Generation Approach to the Security Analysis of Cryptographic Protocols: Coloured Petri Nets-based Method
    467 -- 490Xiangyang Wang, Pan-Pan Niu, Hong-Ying Yang, Yan Zhang, Tian-Xiao Ma. A Robust Audio Watermarking Scheme using Higher-order Statistics in Empirical Mode Decomposition Domain

    Volume 130, Issue 3

    263 -- 274Grzegorz Madejski. Infinite Hierarchy of Permutation Languages
    275 -- 315Hassan Motallebi, Mohammad Abdollahi Azgomi. Translation from Multisingular Hybrid Petri Nets to Multisingular Hybrid Automata
    317 -- 342Sankar K. Pal, Suman K. Kundu, C. A. Murthy. Centrality Measures, Upper Bound, and Influence Maximization in Large Scale Directed Social Networks
    343 -- 376Hiroshi Sakai, Mao Wu, Michinori Nakata. Apriori-Based Rule Generation in Incomplete Information Databases and Non-Deterministic Information Systems

    Volume 130, Issue 2

    0 -- 0Chi Mai Luong, Vincenzo Piuri, Hung Son Nguyen. Preface
    163 -- 177Nguyen Dinh Han, Ho Ngoc Vinh, Dang Quyet Thang, Phan Trung Huy. Quadratic Algorithms for Testing of Codes and ◊-Codes
    179 -- 199Cuong Hoang, Anh-Cuong Le, Phuong Thai Nguyen, Son Bao Pham, Tu Bao Ho. An Efficient Framework for Extracting Parallel Sentences from Non-Parallel Corpora
    201 -- 218Hien Phuong Lai, Muriel Visani, Alain Boucher, Jean-Marc Ogier. Unsupervised and Interactive Semi-supervised Clustering for Large Image Database Indexing and Retrieval
    219 -- 229Ngoc-Trung Nguyen, Anh Duc Duong. A Better Heuristic Algorithm for Finding the Closest Trio of 3-colored Points from a Given Set of 3-colored Points on a Plane
    231 -- 246San Pham, Viviane Gascon, Tien Ba Dinh. Heuristics to Solve a Real-world Asymmetric Vehicle Routing Problem with Side Constraints
    247 -- 261Tran Thang Thanh, Fan Chen, Kazunori Kotani, Bac Le. Extraction of Discriminative Patterns from Skeleton Sequences for Accurate Action Recognition

    Volume 130, Issue 1

    0 -- 0Berndt Müller, Melvin Fitting. Preface
    1 -- 20Christel Baier, Joachim Klein, Sascha Klüppelholz. Synthesis of Reo Connectors for Strategies and Controllers
    21 -- 65Gianluigi Bellin, Alessandro Menti. On the π-calculus and Co-intuitionistic Logic. Notes on Logic for Concurrency and λP Systems
    67 -- 97Iliano Cervesato, Thierry Sans. Substructural Meta-Theory of a Type-Safe Language for Web Programming
    99 -- 123Michael Köhler-Bußmeier. A Survey of Decidability Results for Elementary Object Systems
    125 -- 162Michael Mendler, Stephan Scheele. n for Contextual Information Processing
    runs on