Today:
Accepted Papers

49: Pei Shi Hui, Zhao Yong Zhe and Zhao Hong Wei.
Construct Public Key Encryption Scheme Using Ergodic Matrices over GF(2)

 

56: Sun-Yuan Hsieh, Huang-Ming Gao and Shih-Cheng Yang.
On the Internal Steiner Tree Problem

 

60: Yufeng Wang, Yoshiaki Hori and Kouichi SAKURAI.
Studying on economic-inspired mechanism for routing and forwarding in wireless Ad hoc network

 

64: Pan Li, Zhao Weidong, Wang Zhicheng and Wei Gang.
The Concurrently Enabled Transition Set Problem for Petri Nets is NP-complete

 

98: Wenbo Zhao.
Approximation to the Minimum Rooted Star Cover Problem

 

109: Boting Yang and Yi Cao.
Directed Searching Digraphs: Monotonicity and Complexity

 

114: Indranil Saha and Debapriyay Mukhopadhyay.
A Distributed Algorithm of Fault Recovery For Stateful Failover

 

131: Yingchao Zhao and Shanghua Teng.
Combinatorial and Spectral Aspects of Nearest Neighbor Graphs in Doubling Dimensional and Nearly-Euclidean Spaces

 

134: Feng Liu and Keqin Feng.
Efficient Computation of Algebraic Immunity of Symmetric Boolean Functions

 

141: Mariya Ivanova Soskova and S. Barry Cooper.
The Strongest Nonsplitting Theorem

 

148: Sun-Yuan Hsieh.
Path Embedding on Folded Hypercubes

 

151: Chuzo Iwamoto, Harumasa Yoneda, Kenichi Morita and Katsunobu Imai.
A Time Hierarchy Theorem for Nondeterministic Cellular Automata

 

163: Peng Zhang.
An Approximation Algorithm to the k-Steiner Forest Problem

 

172: Zhimin Li and Xiang Li.
Learnable Algorithm on the Continuum

 

173: Shin-ishi Nakano, Ryuhei Uehara and Takeaki Uno.
A New Approach to Graph Recognition and Applications to Distance Hereditary Graphs

 

176: Wangsen Feng, Li'ang Zhang, Wanling Qu and Hanpin Wang.
Approximation algorithms for maximum edge coloring problem

 

179: Shin-ishi Nakano, Ryuhei Uehara and Takeaki Uno.
Efficient Algorithms for Airline Problem

 

181: Angsheng Li.
Elementary Differences Among Jump Hierarchies

 

183: Rongquan Feng and Hongfeng Wu.
Encapsulated scalar multiplications and line functions in the computation of Tate pairings

 

184: Yatao Xu and Tanja Grubba.
Computability on Subsets of Locally Compact Spaces

 

191: Hiroki Morizumi and Jun Tarui.
Linear-Size Log-Depth Negation-Limited Inverter for $k$-tonic Binary Sequences

 

197: Marc Thurley.
Kernelizations for Parameterized Counting Problems

 

200: Sushmita Gupta.
Feedback Arc Set Problem in Bipartite Tournaments

 

204: Takaaki Mizuki, Yoshinori Kugimoto and Hideaki Sone.
Secure Multiparty Computations Using a Dial Lock

 

210: Florian Diedrich, Rolf Harren, Klaus Jansen, Ralf Thoele and Henning Thomas.
Approximation Algorithms for 3D Orthogonal Knapsack

 

236: Jin Yi and Wenhui Zhang.
Enhancing Simulation for Checking Language Containment

 

255: Hong Ryoo and Kwangsoo Kim.
Separation of Data via Concurrently Determined Discriminant Functions

 

259: Cristina Tirnauca and Satoshi Kobayashi.
A Characterization of the Language Classes Learnable with Correction Queries

 

264: MV Panduranga Rao.
Bounding run-times of local adiabatic algorithms

 

280: Xiaoming hu and Shangteng huang.
A Provably Secure Blind Signature Scheme

 

283: S. Q. Zheng, Bing Yang and Enyue Lu.
A Comparative Study of Efficient Algorithms for Partitioning Sequences into Subsequences

 

285: Qi Cheng and Elizabeth Murray.
On Deciding Deep Holes of Reed-Solomon Codes

 

287: He Sun and Chung Keung Poon.
Two Improved Range-Efficient Estimating Algorithms

 

310: Michael Dom, Jiong Guo and Rolf Niedermeier.
Approximability and Parameterized Complexity of Consecutive Ones Submatrix Problems

 

312: QingShun Zhang and DaoYun Xu.
The Existence of Unsatisfiable Formulas in k-LCNF for k not less than 3

 

320: Minming Li, Ze Feng, Ronald L. Graham and Frances Yao.
Approximately Optimal Trees for Group Key Management with Batch Updates

 

327: Markus Hinkelmann, Andreas Jakoby and Peer Stechert.
t-Private and Secure Auctions

 

331: Decheng Ding, Klaus Weihrauch and Yongcheng wu.
Absolutely Non-Effective Predicates and Functions in Computable Analysis

 

332: Akifumi Kawaguchi and Hiroshi Nagamochi.
Orthogonal Drawings for Plane Graphs with Specified Face Areas

 

336: Joseph Wun-Tat Chan, Tak-Wah Lam, Kin-Sum Mak and Prudence W.H. Wong.
Online Deadline Scheduling with Bounded Energy Efficiency

 

337: Andreas Jakoby, Maciej Liskiewicz, Ruediger Reischuk and Christian Schindelhauer.
Improving the  Average Delay of Sorting

 

345: Conghua Zhou, Zhenyu Chen and Zhihong Tao.
QBF-based Symbolic Model Checking  for Knowledge and Time

 

348: Xuehou Tan.
Searching a polygonal region by two guards

 

349: Xingwu Liu, Zhiwei Xu and Juhua Pu.
Revisiting the Impossibility for Boosting Service Resilience

355: Fan Yun .
There is an sw-cuppable strongly c.e. real

 

377: Zhenhua Duan and Cong Tian.
Decidability of Propositional Projection Temporal Logic with Infinite Models

 

384: Trahtman A.N.
Synchronization of some DFA

 

392: Mingji Xia.
Maximum Edge-Disjoint Paths Problem in Planar Graphs

 

394: Andrew C. C. Yao, Frances F. Yao and Yunlei Zhao.
A Note on Universal Composable Zero-Knowledge in the Common Reference String Model

 

403: Iordanis Kerenidis.
Quantum multiparty communication complexity and circuit lower bounds

 

425: Ehab Morsy and Hiroshi Nagamochi.
Approximating Capacitated Tree-Routings in Networks

 

434: Andrew C. C. Yao, Frances Yao and Yunlei Zhao.
A Note on the Feasibility of Generalized Universal Composability

 

435: Wang Jiexun, Zhao Liang, Hiroshi Nagamochi and Akutsu Tatsuya.
An Efficient Algorithm for Generating Colored Outerplanar Graphs

 

444: Yong Li and Jun-Hai Yong.
Efficient exact arithmetic over constructive reals

 

452: Xin Li, Tian Liu, Han Peng, Hongtao Sun, Jin Xu, Ke Xu and Jiaqi Zhu.
Improved Exponential Time Lower Bound of Knapsack Problem under BT Model

 

463: Jin Wang, Daxing Li and Xi Bai.
Protecting Against Key Escrow and Key Exposure in Identity-Based Cryptosystem

 

464: Fanyu Kong, Jia Yu, Zhun Cai and Daxing Li.
New Left-to-right Radix-r Signed-digit Recoding Algorithm for Pairing-based Cryptosystems

 

466: Sheng-Lung Peng and Yi-Chuan Yang.
On the treewidth and pathwidth of biconvex bipartite graphs

 

473: Andrzej Lingas and Martin Wahlen.
On Exact Complexity of Subgraph Homeomorphism

 

474: Haiyang Hou and Guochuan Zhang.
The Hardness of Selective Network Design for Bottleneck Routing Games

 

478: Hitoshi Yamasaki and Takayoshi Shoudai.
A Polynomial Time Algorithm for Finding Linear Interval Graph Patterns

 

480: Stuart Kurtz and Janos Simon.
The Undecidability of the Generalized Collatz Problem

 

483: Jianxin Wang, Xiaoshuang Xu and Jianer Chen.
An Approximation Algorithm based on Chain Implication for Constrained Minimum Vertex Cover in Bipartite Graphs

 

489: Yunlong Liu, Jianer Chen and Jianxin Wang.
On Efficient FPT Algorithms for Weighted Matching and Packing Problems

 

493: Giordano Fusco and Eric Bach.
Phase Transition of Multivariate Polynomial Systems

 

497: Jun Tarui.
Finding a Duplicate and a Missing Item in a Stream

 

519: George Barmpalias, Andrew Lewis and Mariya Ivanova Soskova.
Working with the LR Degrees

 
 
 
 
 
 
TAMC 2007 © Last Updated: March 27, 2007