default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDFundamenta 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 D. 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
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-01-28 22:21 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:
