Fundamenta Informaticae, Volume 78

Volume 78, Number 1, 2007

The Fourth Special Issue on Applications of Concurrency to System Design (ACSD05)

Robert Clarisó, Jordi Cortadella:
Verification of Concurrent Systems with Parametric Delays Using Octahedra. 1-33
Electronic Edition (link) BibTeX
Marc Geilen, Twan Basten, Bart D. Theelen, Ralph Otten:
An Algebra of Pareto Points. 35-74
Electronic Edition (link) BibTeX
Kyller Costa Gorgônio, Jordi Cortadella, Fei Xia, Alexandre Yakovlev:
Automating Synthesis of Asynchronous Communication Mechanisms. 75-100
Electronic Edition (link) BibTeX
Mark B. Josephs, Hemangee K. Kapoor:
Controllable Delay-Insensitive Processes. 101-130
Electronic Edition (link) BibTeX
Dumitru Potop-Butucaru, Benoît Caillaud:
Correct-by-Construction Asynchronous Implementation of Modular Synchronous Specifications. 131-159
Electronic Edition (link) BibTeX
Walter Vogler, Ben Kangsah:
Improved Decomposition of Signal Transition Graphs. 161-197
Electronic Edition (link) BibTeX

Lukasz Bolikowski, Anna Gambin:
New Metrics for Phylogenies. 199-216
Electronic Edition (link) BibTeX
Olivia Breysse, Michel De Glas:
A New Approach to the Concepts of Boundary and Contact: Toward an Alternative to Mereotopology. 217-238
Electronic Edition (link) BibTeX
Yu-Chen Hu:
Predictive Grayscale Image Coding Scheme Using VQ and BTC. 239-255
Electronic Edition (link) BibTeX
Yu-Chen Hu, Chia-Chen Lin, Kang-Liang Chi:
Block Prediction Vector Quantization for Grayscale Image Compression. 257-270
Electronic Edition (link) BibTeX
Van-Nam Huynh, Yoshiteru Nakamori, Tetsuya Murai:
An Algebraic Foundation for Linguistic Reasoning. 271-294
Electronic Edition (link) BibTeX
Ewa Palka:
An Infinitary Sequent System for the Equational Theory of *-continuous Action Lattices. 295-309
Electronic Edition (link) BibTeX

Special issue on DLT'04

Rudolf Freund, Fritz Tafill:
Cellular Automata and Parallel Array Systems. 311-327
Electronic Edition (link) BibTeX
Henryk Fuks:
Remarks on the Critical Behavior of Second Order Additive Invariants in Elementary Cellular Automata. 329-341
Electronic Edition (link) BibTeX
Andreas Klein, Martin Kutrib:
Cellular Devices and Unary Languages. 343-368
Electronic Edition (link) BibTeX
Pradipta Maji, Parimal Pal Chaudhuri:
RBFFCA: A Hybrid Pattern Classifier Using Radial Basis Function and Fuzzy Cellular Automata. 369-396
Electronic Edition (link) BibTeX
Hidenosuke Nishio, Maurice Margenstern, Friedrich von Haeseler:
On Algebraic Structure of Neighborhoods of Cellular AutomataHorse Power Problem. 397-416
Electronic Edition (link) BibTeX
Marcus Pivato:
Spectral Domain Boundaries in Cellular Automata. 417-447
Electronic Edition (link) BibTeX

Special issue ISMIS'05

Liying Jiang, Jitender S. Deogun:
SPICE: A New Framework for Data Mining based on Probability Logic and Formal Concept Analysis. 467-485
Electronic Edition (link) BibTeX
Ugo Galassi, Marco Botta, Attilio Giordana:
Hierarchical Hidden Markov Models for User/Process Profile Learning. 487-505
Electronic Edition (link) BibTeX
Seunghyun Im:
Privacy Aware Data Management and Chase. 507-524
Electronic Edition (link) BibTeX
Minkoo Seo, Sanghyun Park, Jung-Im Won:
Towards Efficient Searching on the Secondary Structure of Protein Sequences. 525-542
Electronic Edition (link) BibTeX
Marie Agier, Jean-Marc Petit, Einoshin Suzuki:
Unifying Framework for Rule Semantics: Application to Gene Expression Data. 543-559
Electronic Edition (link) BibTeX
Shusaku Tsumoto, Shoji Hirano:
Visualization of Differences between Rules' Syntactic and Semantic Similarities using Multidimensional Scaling. 561-573
Electronic Edition (link) BibTeX
Ansaf Salleb-Aouissi, Christel Vrain:
A Contribution to the Use of Decision Diagrams for Loading and Mining Transaction Databases. 575-594
Electronic Edition (link) BibTeX
Xintao Wu, Yongge Wang, Songtao Guo, Yuliang Zheng:
Privacy Preserving Database Generation for Database Application Testing. 595-612
Electronic Edition (link) BibTeX
Xin Zhang, Zbigniew W. Ras:
Sound Isolation by Harmonic Peak Partition For Music Instrument Recognition. 613-628
Electronic Edition (link) BibTeX