Journal: Int. J. Found. Comput. Sci.

Volume 21, Issue 3

257 -- 276Andreas Maletti, Catalin Ionut Tîrnauca. Properties of Quasi-Relabeling Tree Bimorphisms
277 -- 287Oliver Friedmann. The Stevens-Stirling-Algorithm for Solving Parity Games Locally Requires Exponential Time
289 -- 309Henning Schnoor. The Complexity of Model Checking for Boolean Formulas
311 -- 319Aysun Ozan Aytaç, Zeynep Nihan Odabas. Computing the rupture Degree in Composite Graphs
321 -- 327Yen-Wu Ti, Ching-Lueh Chang, Yuh-Dauh Lyuu, Alexander Shen. Sets of k-Independent Strings
329 -- 344Mihaela Paun, Nichamon Naksinehaboon, Raja Nassar, Chokchai Leangsuksun, Stephen L. Scott, Narate Taerat. Incremental Checkpoint Schemes for Weibull Failure Distribution
345 -- 356Andrzej Ehrenfeucht, Michael G. Main, Grzegorz Rozenberg. Combinatorics of Life and Death for Reaction Systems
357 -- 383Hans Kellerer, Vitaly A. Strusevich. Minimizing Total Weighted earliness-tardiness on a Single Machine around a Small Common due date: an FPTAS Using Quadratic Knapsack
385 -- 386Jacir Luiz Bordim, Akihiro Fujiwara, Koji Nakano. Preface
387 -- 404Martti Forsell. On the Performance and Cost of Some PRAM Models on CMP Hardware
405 -- 425Yasuaki Ito, Koji Nakano. Low-Latency Connected Component Labeling Using an FPGA
427 -- 440Ei Ando, Hirotaka Ono, Kunihiko Sadakane, Masafumi Yamashita. The Space Complexity of Leader Election in Anonymous Networks
441 -- 457Stefan D. Bruda, Yuanqiao Zhang. Collapsing the Hierarchy of Parallel Computational Models
459 -- 476Sayaka Kamei, Hirotsugu Kakugawa. A Self-Stabilizing Distributed Approximation Algorithm for the Minimum Connected Dominating Set