Contents of Fundamenta Informaticae Volume 70


Number 1-2, January 2006

Number 3, January 2006

Number 4, January 2006


Contents of Volume 70, Number 1-2, January 2006

Click on title for abstract


Preface

Rialto to B: An Exercise in Formal Development of a Language for Multiple Models of Computation
Dag Björklund and Johan Lilius

Verification and Implementation of Delay-Insensitive Processes in Restrictive Environments
Hemangee K. Kapoor, Mark B. Josephs and Dennis P. Furey

Logic Synthesis for Asynchronous Circuits Based on STG Unfoldings and Incremental SAT
Victor Khomenko, Maciej Koutny and Alex Yakovlev

Towards Integrated Verification of Timed Transition Models
Mark Lawford, Vera Pantelic and Hong Zhang

Guided Model Checking with a Bayesian Meta-heuristic
Kevin Seppi, Michael Jones and Peter Lamborn

Nested Emptiness Search for Generalized Büchi Automata
Heikki Tauriainen

Buffered Asynchronous Communication Mechanisms
Fei Xia, Fei Hao, Ian Clark, Alex Yakovlev, and E. Graeme Chester


Contents of Volume 70, Number 3, January 2006

Click on title for abstract


Spatial Domain Image Hiding Scheme Using Pixel-Values Differencing
Chin-Chen Chang, Jun-Chou Chuang and Yu-Chen Hu

Perfect Hashing Schemes for Mining Traversal Patterns
Chin-Chen Chang, Chih-Yang Lin and Henry Chou

Petri Net Semantics of the Finite p-calculus Terms
Raymond Devillers, Hanna Klaudel and Maciej Koutny

On the Influence of Confluence in Modal Logics
Olivier Gasquet

An Improved Tree-Structured Codebook Search Algorithm for Grayscale Image Compression
Yu-Chen Hu and Chin-Chen Chang

Bounds for Validation
Wojciech Jaworski

Counter-Free Keys and Functional Dependencies in Higher-Order Datamodels
Attila Sali and Klaus-Dieter Schewe


Contents of Volume 70, Number 4, January 2006

Click on title for abstract


Exact Computation of Minimum Feedback Vertex Sets with Relational Algebra
Rudolf Berghammer and Alexander Fronk 3

A Novel Color Image Hiding Scheme Using Block Truncation Coding
Yu-Chen Hu, Min-Hui Lin and Ji-Han Jiang

Di-Algebraic Semantics of Logics
A. Mani

Negative Ordered Hyper-Resolution as a Proof Procedure for Disjunctive Logic Programming
Linh Anh Nguyen

Indexing Schemes for Similarity Search: an Illustrated Paradigm
Vladimir Pestov and Aleksandar Stojmirovič

Decidability Analysis of Self-Stabilization for Infinite-State Systems
Hsu-Chun Yen and Lien-Po Yu