Fundamenta Informaticae, Volume 78

Volume 78, Number 1, 2007

• 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

• 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

• 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
  

Last update Tue Feb 14 04:18:01 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page