default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDFundamenta Informaticae, Volume 82
Volume 82, Numbers 1-2, 2008
- Chin-Chen Chang, Chih-Yang Lin, Yi-Pei Hsieh:
Three-Phase Lossless Data Hiding Method for the VQ Index Table. 1-13 - Yung-Kuei Chiang, Piyu Tsai, Feng-Long Huang:
Codebook Partition Based Steganography without Member Restriction. 15-27 - Erzsébet Csuhaj-Varjú, Antonio Di Nola, Gheorghe Paun, Mario J. Pérez-Jiménez, György Vaszil:
Editing Configurations of P Systems. 29-46 - Frank Drewes, Brink van der Merwe:
Path Languages of Random Permitting Context Tree Grammars are Regular. 47-60 - Zoltán Ésik, Szabolcs Iván:
Products of Tree Automata with an Application to Temporal Logic. 61-78 - Zoltán Ésik, Szabolcs Iván:
Some Varieties of Finite Tree Automata Related to Restricted Temporal Logics. 79-103 - Grzegorz Galinski, Wladyslaw Skarbek:
Image Search using Dominant Colors. 105-112 - David Ilcinkas, Andrzej Pelc:
Impact of Asynchrony on the Behavior of Rational Selfish Agents. 113-125 - Michael Kaminski:
Invariance Under Stuttering in a Temporal Logic without the "Until" Operator. 127-140 - Antonín Kucera, Oldrich Strazovský:
On the Controller Synthesis for Finite-State Markov Decision Processes. 141-153 - Ching-Chiuan Lin, Nien-Lin Hsueh, Wen-Hsiang Shen:
High-Performance Reversible Data Hiding. 155-169 - Arnaldo V. Moura, Guilherme A. Pinto:
Classes of Timed Automata and the Undecidability of Universality. 171-184 - Tomasz Terlikowski:
Information in a Two-Stage Decision Process. General Idea and Classification. 185-212
Volume 82, Number 3, 2008
- Jos de Bruijn, Stijn Heymans:
On the Relationship between Description Logic-based and F-Logic-based Ontologies. 213-236 - Erik Behrends, Oliver Fritzen, Wolfgang May, Franz Schenk:
Embedding Event Algebras and Process for ECA Rules for the Semantic Web. 237-263 - Carlos Viegas Damásio, Jeff Z. Pan, Giorgos Stoilos, Umberto Straccia:
Representing Uncertainty in RuleML. 265-288 - Thomas Lukasiewicz:
Fuzzy Description Logic Programs under the Answer Set Semantics for the Semantic Web. 289-310
Volume 82, Number 4, 2008
- Mark-Oliver Stehr:
Compositionality for Tightly Coupled Systems: A New Application of the Propositions-as-Types Interpretation. 311-340 - Einar Broch Johnsen, Olaf Owe, Arild B. Torjusen:
Validating Behavioral Component Interfaces in Rewriting Logic. 341-359 - Dave Clarke:
A Basic Logic for Reasoning about Connector Reconfiguration. 361-390 - Erika Ábrahám, Frank S. de Boer, Willem P. de Roever, Martin Steffen:
A Deductive Proof System for Multithreaded Java with Exceptions. 391-463 - Shahram Esmaeilsabzali, Nancy A. Day, Farhad Mavaddat:
Interface Automata with Complex Actions: Limiting Interleaving in Interface Automata. 465-512
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-02-03 20:15 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
