default search action
Fundamenta Informaticae, Volume 130
Volume 130, Number 1, 2014
- Berndt Müller
, Melvin Fitting:
Preface. - Christel Baier
Synthesis of Reo Connectors for Strategies and Controllers. 1-20 - Gianluigi Bellin, Alessandro Menti
On the π-calculus and Co-intuitionistic Logic. Notes on Logic for Concurrency and λP Systems. 21-65 - Iliano Cervesato
Substructural Meta-Theory of a Type-Safe Language for Web Programming. 67-97 - Michael Köhler-Bußmeier:
A Survey of Decidability Results for Elementary Object Systems. 99-123 - Michael Mendler, Stephan Scheele:
On the Computational Interpretation of CKn for Contextual Information Processing. 125-162
Volume 130, Number 2, 2014
- Chi Mai Luong, Vincenzo Piuri, Hung Son Nguyen
Preface. - Nguyen Dinh Han, Ho Ngoc Vinh, Dang Quyet Thang, Phan Trung Huy:
Quadratic Algorithms for Testing of Codes and ◊-Codes. 163-177 - Cuong Hoang, Anh-Cuong Le
An Efficient Framework for Extracting Parallel Sentences from Non-Parallel Corpora. 179-199 - Hien Phuong Lai, Muriel Visani, Alain Boucher, Jean-Marc Ogier:
Unsupervised and Interactive Semi-supervised Clustering for Large Image Database Indexing and Retrieval. 201-218 - Ngoc-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. 219-229 - San Pham, Viviane Gascon, Tien Ba Dinh:
Heuristics to Solve a Real-world Asymmetric Vehicle Routing Problem with Side Constraints. 231-246 - Tran Thang Thanh, Fan Chen, Kazunori Kotani, Bac Le:
Extraction of Discriminative Patterns from Skeleton Sequences for Accurate Action Recognition. 247-261
Volume 130, Number 3, 2014
- Grzegorz Madejski
Infinite Hierarchy of Permutation Languages. 263-274 - Hassan Motallebi, Mohammad Abdollahi Azgomi
Translation from Multisingular Hybrid Petri Nets to Multisingular Hybrid Automata. 275-315 - Sankar K. Pal, Suman Kundu
Centrality Measures, Upper Bound, and Influence Maximization in Large Scale Directed Social Networks. 317-342 - Hiroshi Sakai
Apriori-Based Rule Generation in Incomplete Information Databases and Non-Deterministic Information Systems. 343-376
Volume 130, Number 4, 2014
- S. Akshay, Benedikt Bollig, Paul Gastin, Madhavan Mukund, K. Narayan Kumar:
Distributed Timed Automata with Independently Evolving Clocks. 377-407 - Khaled M. Elbassioni
A Lower Bound for the HBC Transversal Hypergraph Generation. 409-414 - Marcin Krzywkowski:
An Algorithm for Listing all Minimal Double Dominating Sets of a Tree. 415-421 - Yongyuth Permpoontanalarp, Panupong Sornkhom:
On-the-fly Trace Generation Approach to the Security Analysis of Cryptographic Protocols: Coloured Petri Nets-based Method. 423-466 - Xiangyang Wang, Pan-Pan Niu, Hong-Ying Yang, Yan Zhang, Tianxiao Ma:
A Robust Audio Watermarking Scheme using Higher-order Statistics in Empirical Mode Decomposition Domain. 467-490
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-11-14 20:50 CET 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: