Fundamenta Informaticae, Volume 70

Volume 70, Number 1-2, 2006

• Ryszard Janicki:
  Special Issueon Application of Concurrency to System Design.
  
• Dag Björklund, Johan Lilius:
  Rialto to B: An Exercise in Formal Development of a Language for Multiple Models of Computation. 1-20
  
• Hemangee K. Kapoor, Mark B. Josephs, Dennis P. Furey:
  Verification and Implementation of Delay-Insensitive Processes in Restrictive Environments. 21-48
  
• Victor Khomenko, Maciej Koutny, Alexandre Yakovlev:
  Logic Synthesis for Asynchronous Circuits Based on STG Unfoldings and Incremental SAT. 49-73
  
• Mark Lawford, Vera Pantelic, Hong Zhang:
  Towards Integrated Verification of Timed Transition Models. 75-110
  
• Kevin D. Seppi, Michael Jones, Peter Lamborn:
  Guided Model Checking with a Bayesian Meta-heuristic. 111-126
  
• Heikki Tauriainen:
  Nested Emptiness Search for Generalized Büchi Automata. 127-154
  
• Fei Xia, Fei Hao, Ian G. Clark, Alexandre Yakovlev, E. Graeme Chester:
  Buffered Asynchronous Communication Mechanisms. 155-170
  

Volume 70, Number 3, 2006

• Chin-Chen Chang, Jun-Chou Chuang, Yu-Chen Hu:
  Spatial Domain Image Hiding Scheme Using Pixel-Values Differencing. 171-184
  
• Chin-Chen Chang, Chih-Yang Lin, Henry Chou:
  Perfect Hashing Schemes for Mining Traversal Patterns. 185-202
  
• Raymond R. Devillers, Hanna Klaudel, Maciej Koutny:
  Petri Net Semantics of the Finite pi-calculus Terms. 203-226
  
• Olivier Gasquet:
  On the Influence of Confluence in Modal Logics. 227-250
  
• Yu-Chen Hu, Chin-Chen Chang:
  An Improved Tree-Structured Codebook Search Algorithm for Grayscale Image Compression. 251-260
  
• Wojciech Jaworski:
  Bounds for Validation. 261-275
  
• Attila Sali, Klaus-Dieter Schewe:
  Counter-Free Keys and Functional Dependencies in Higher-Order Datamodels. 277-301
  

Volume 70, Number 4, 2006

• Rudolf Berghammer, Alexander Fronk:
  Exact Computation of Minimum Feedback Vertex Sets with Relational Algebra. 301-316
  
• Yu-Chen Hu, Min-Hui Lin, Ji-Han Jiang:
  A Novel Color Image Hiding Scheme Using Block Truncation Coding. 317-331
  
• A. Mani:
  Di-Algebraic Semantics of Logics. 333-350
  
• Linh Anh Nguyen:
  Negative Ordered Hyper-Resolution as a Proof Procedure for Disjunctive Logic Programming. 351-366
  
• Vladimir Pestov, Aleksandar Stojmirovic:
  Indexing Schemes for Similarity Search: an Illustrated Paradigm. 367-385
  
• Hsu-Chun Yen, Lien-Po Yu:
  Decidability Analysis of Self-Stabilization for Infinite-State Systems. 387-402