Contents of Fundamenta Informaticae Volume 82


Number 1-2,  2008

Number 3,  2008

Number 4,  2008


Contents of Volume 82, Number 1-2, 2008

Click on title for abstract


Three-Phase Lossless Data Hiding Method for the VQ Index Table
Chin-Chen Chang, Chih-Yang Lin, Yi-Pei Hsieh

Codebook Partition Based Steganography without Member Restriction
Yung-Kuei Chiang, Piyu Tsai, Feng-Long Huang

Editing Configurations of P Systems
Erzsébet Csuhaj-Varjú, Antonio Di Nola, Gheorghe Paun, Mario J.Pérez-Jiménez, György Vaszil

Path Languages of Random Permitting Context Tree Grammars are Regular
Frank Drewes, Brink van der Merwe

Products of Tree Automata with an Application to Temporal Logic
Zoltán Ésik, Szabolcs Iván

Some Varieties of Finite Tree Automata Related to Restricted Temporal Logics
Zoltán Ésik, Szabolcs Iván

Image Search using Dominant Colors
Grzegorz Galiński,  Władysław Skarbek

Impact of Asynchrony on the Behavior of Rational Selfish Agents
David Ilcinkas, Andrzej Pelc

Invariance Under Stuttering in a Temporal Logic without the "Until" Operator
Michael Kaminski

On the Controller Synthesis for Finite-State Markov Decision Processes
Antonín Kucera, Oldrich Strazovský

High-Performance Reversible Data Hiding
Ching-Chiuan Lin, Nien-Lin Hsueh, Wen-Hsiang Shen

Classes of Timed Automata and the Undecidability of Universality
Arnaldo V. Moura, Guilherme A. Pinto

Information in a Two-Stage Decision Process. General Idea and Classification
Tomasz Terlikowski


Contents of Volume 82, Number 3, 2008

Click on title for abstract


Rules and Rule Markup Languages for the Semantic Web - Preface 

On the Relationship between Description Logic-based and F-Logic-based Ontologies
Jos de Bruijn, Stijn Heymans

Embedding Event Algebras and Process Algebras in a Framework for ECA Rules for the Semantic Web
Erik Behrends, Oliver Fritzen, Wolfgang May, Franz Schenk

Representing Uncertainty in RuleML
Carlos Viegas Damásio, Jeff Z. Pan, Giorgos Stoilos, Umberto Straccia

Fuzzy Description Logic Programs under the Answer Set Semantics for the Semantic Web
Thomas Lukasiewicz


Contents of Volume 82, Number 4, 2008

Click on title for abstract


Behavior of Composed Concurrent Systems: Logic and Reasoning - Preface i-i

Compositionality for Tightly Coupled Systems: A New Application of the Propositions-as-Types Interpretation
Mark-Oliver Stehr

Validating Behavioral Component Interfaces in Rewriting Logic
Einar Broch Johnsen, Olaf Owe, and Arild B. Torjusen

A Basic Logic for Reasoning about Connector Reconfiguration
Dave Clarke

A Deductive Proof System for Multithreaded Java with Exceptions
Erika Ábrahám, Frank S. de Boer, Willem-Paul de Roever, Martin Steffen

Interface Automata with Complex Actions: Limiting Interleaving in Interface Automata
Shahram Esmaeilsabzali, Nancy A. Day, Farhad Mavaddat