Journal: Fundamenta Informaticae

Volume 82, Issue 4

311 -- 340Mark-Oliver Stehr. Compositionality for Tightly Coupled Systems: A New Application of the Propositions-as-Types Interpretation
341 -- 359Einar Broch Johnsen, Olaf Owe, Arild B. Torjusen. Validating Behavioral Component Interfaces in Rewriting Logic
361 -- 390Dave Clarke. A Basic Logic for Reasoning about Connector Reconfiguration
391 -- 463Erika Ábrahám, Frank S. de Boer, Willem P. de Roever, Martin Steffen. A Deductive Proof System for Multithreaded Java with Exceptions
465 -- 512Shahram Esmaeilsabzali, Nancy A. Day, Farhad Mavaddat. Interface Automata with Complex Actions: Limiting Interleaving in Interface Automata

Volume 82, Issue 3

213 -- 236Jos de Bruijn, Stijn Heymans. On the Relationship between Description Logic-based and F-Logic-based Ontologies
237 -- 263Erik Behrends, Oliver Fritzen, Wolfgang May, Franz Schenk. Embedding Event Algebras and Process for ECA Rules for the Semantic Web
265 -- 288Carlos Viegas Damásio, Jeff Z. Pan, Giorgos Stoilos, Umberto Straccia. Representing Uncertainty in RuleML
289 -- 310Thomas Lukasiewicz. Fuzzy Description Logic Programs under the Answer Set Semantics for the Semantic Web

Volume 82, Issue 1-2

1 -- 13Chin-Chen Chang, Chih-Yang Lin, Yi-Pei Hsieh. Three-Phase Lossless Data Hiding Method for the VQ Index Table
15 -- 27Yung-Kuei Chiang, Piyu Tsai, Feng-Long Huang. Codebook Partition Based Steganography without Member Restriction
29 -- 46Erzsébet Csuhaj-Varjú, Antonio di Nola, Gheorghe Paun, Mario J. Pérez-Jiménez, György Vaszil. Editing Configurations of P Systems
47 -- 60Frank Drewes, Brink van der Merwe. Path Languages of Random Permitting Context Tree Grammars are Regular
61 -- 78Zoltán Ésik, Szabolcs Iván. Products of Tree Automata with an Application to Temporal Logic
79 -- 103Zoltán Ésik, Szabolcs Iván. Some Varieties of Finite Tree Automata Related to Restricted Temporal Logics
105 -- 112Grzegorz Galinski, Wladyslaw Skarbek. Image Search using Dominant Colors
113 -- 125David Ilcinkas, Andrzej Pelc. Impact of Asynchrony on the Behavior of Rational Selfish Agents
127 -- 140Michael Kaminski. Invariance Under Stuttering in a Temporal Logic without the Until Operator
141 -- 153Antonín Kucera, Oldrich Strazovský. On the Controller Synthesis for Finite-State Markov Decision Processes
155 -- 169Ching-Chiuan Lin, Nien-Lin Hsueh, Wen-Hsiang Shen. High-Performance Reversible Data Hiding
171 -- 184Arnaldo V. Moura, Guilherme A. Pinto. Classes of Timed Automata and the Undecidability of Universality
185 -- 212Tomasz Terlikowski. Information in a Two-Stage Decision Process. General Idea and Classification