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
• 
  Marc Geilen, Twan Basten, Bart D. Theelen, Ralph Otten: An Algebra of Pareto Points. 35-74
• 
  Kyller Costa Gorgônio, Jordi Cortadella, Fei Xia, Alexandre Yakovlev: Automating Synthesis of Asynchronous Communication Mechanisms. 75-100
• 
  Mark B. Josephs, Hemangee K. Kapoor: Controllable Delay-Insensitive Processes. 101-130
• 
  Dumitru Potop-Butucaru, Benoît Caillaud: Correct-by-Construction Asynchronous Implementation of Modular Synchronous Specifications. 131-159
• 
  Walter Vogler, Ben Kangsah: Improved Decomposition of Signal Transition Graphs. 161-197

Volume 78, Number 2, 2007

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

Volume 78, Number 3, 2007

Special issue on DLT'04

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

Volume 78, Number 4, 2007

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