Journal: Inf. Process. Lett.

Volume 54, Issue 6

307 -- 312Aldo de Luca. A Division Property of the Fibonacci Word
313 -- 316John Tromp, Jeffrey Shallit. Subword Complexity of a Generalized Thue-Morse Word
317 -- 322Vassilis Zissimopoulos. On the Performance Guarantee of Neural Networks for NP-Hard Optimization Problems
323 -- 326James P. Schmeiser, David T. Barnard. Producing a Top-Down Parse Order with Bottom-up Parsing
327 -- 328Jörg Desel, Ekkart Kindler, Tobias Vesper, Rolf Walter. A Simplified Proof for a Self-Stabilizing Protocol: A Game of Cards
329 -- 335Premkumar Vadapalli, Pradip K. Srimani. Trivalent Cayley Graphs for Interconnection Networks
337 -- 342Noga Alon, Yishay Mansour. epsilon-Discrepancy Sets and Their Application for Interpolation of Sparse Polynomials
343 -- 345François Laroussinie. About the Expressive Power of CTL Combinators
347 -- 353Bruce E. Litow. The Influence of Graph Structure on Generalized Dimension Exchange
355 -- 358Yen-Jen Oyang. A Tight Upper Bound of the Lumped Disk Seek Time for the Scan Disk Scheduling Policy
359 -- 0Ralph P. Boland, Jorge Urrutia. Corrigendum: Separating Collections of Points in Euclidean Spaces

Volume 54, Issue 5

249 -- 251Klaus Simon. A Note on Lexicographic Breadt First Search for Chordal Graphs
253 -- 257Derek G. Corneil, Stephan Olariu, Lorna Stewart. A Linear Time Algorithm to Compute a Dominating Path in an AT-Free Graph
259 -- 265Ted Herman, Sukumar Ghosh. Stabilizing Phase-Clocks
267 -- 274Eddy Fromentin, Claude Jard, Guy-Vincent Jourdan, Michel Raynal. On-The-Fly Analysis of Distributed Computations
275 -- 280Kokichi Sugihara, Hiroshi Inagaki. Why is the 3D Delaunay Triangulation Difficult to Construct
281 -- 287Stéphane Demri. 3-SAT=SAT for a Class of Normal Modal Logics
289 -- 294Kazuo Iwama, Toniann Pitassi. Exponential Lower Bounds for the Tree-Like Hajós Calculus
295 -- 300Akihiro Fujiwara, Toshimitsu Masuzawa, Hideo Fujiwara. An Optimal Parallel Algorithm for the Euclidean Distance Maps of 2-D Binary Images
301 -- 304Aart Blokhuis, Ton Kloks. On the Equivalence Covering Number of Splitgraphs
305 -- 0G. Sajith, Sanjeev Saxena. Corrigendum: Optimal Parallel Algorithms for Coloring Bounded Degree Graphs and Finding Maximal Independent Sets in Rooted Trees

Volume 54, Issue 4

187 -- 191Xiaokang Yu. A New Solution for Thue s Problem
193 -- 198Rossella Petreschi, Andrea Sterbini. Recognizing Strict 2-Threshold Graphs in O(m) Time
199 -- 204Henning Fernau. A Note on Uniformly Limited ETOL Systems with Unique Interpretation
205 -- 211Martin Kummer. A Learning-Theoretic Characterization of Classes of Recursive Functions
213 -- 222Ferruccio Barsi. Decoding Residue Codes
223 -- 227Satoshi Fujita. A Note on the Size of a Multicast Tree in Hypercubes
229 -- 233Massimiliano Goldwurm. Random Generation of Words in an Algebraic Language in Linear Binary Space
235 -- 239Jean-Jacques Hébrard. Unique Horn Renaming an Unique 2-Satisfiability
241 -- 246Marek Chrobak, T. H. Payne. A Linear-Time Algorithm for Drawing a Planar Graph on a Grid
247 -- 0Ashok Subramanian. Erratum: A Polynomial Bound on the Number of Light Cycles in an Undirected Graph

Volume 54, Issue 3

129 -- 131Teofilo F. Gonzalez. A Simple LP-Free Approximation Algorithm for the Minimum Weight Vertex Cover Problem
133 -- 137John S. Schlipf, Fred S. Annexstein, John V. Franco, Ramjee P. Swaminathan. On Finding Solutions for Extended Horn Formulas
139 -- 145Guillermo A. Alvarez, Marcelo O. Fernández. Efficient Management of Multiple Outstanding Timeouts
147 -- 153Robert Snelick, Joseph JáJá, Raghu Kacker, Gordon Lyon. Using Synthetic Perturbations and Statistical Screening to Assay Shared-Memory Programs
155 -- 156Gerhard J. Woeginger. Scheduling with Time-Dependent Execution Times
157 -- 162Robert H. Sloan. Four Types of Noise in Data for PAC Learning
163 -- 168Ravi Jain, John Werth. Analysis of Approximate Algorithms for Edge-Coloring Bipartite Graphs
169 -- 174Birgit Jenner. Knapsack Problems for NL
175 -- 178Stanislaw Gawiejnowicz, Lidia Pankowska. Scheduling Jobs with Varying Processing Times
179 -- 185Rajesh P. N. Rao. A Note on P-Selective Sets and Closeness

Volume 54, Issue 2

65 -- 67Cliff B. Jones. Partial Functions and Logics: A Warning
69 -- 72Chui-Cheng Chen, Rong-Jaye Chen. Compact Embedding of Binary Trees Into Hyperacubes
73 -- 79Giorgio Ausiello, Marco Protasi. Local Search, Reducibility and Approximability of NP-Optimization Problems
81 -- 84Luis Barriga, Rassul Ayani. Lazy Update: An Efficient Implementation of LRU Stacks
85 -- 92Gene Myers. Approximately Matching Context-Free Languages
93 -- 96Horst Bunke, János Csirik. An Improved Algorithm for Computing the Edit Distance of Run-Length Coded Strings
97 -- 100Richa Agarwala, David Fernández-Baca. Weighted Search in the Plane
101 -- 103Dennis Moore, William F. Smyth. A Correction to An Optimal Algorithm to Compute all the Covers of a String
105 -- 110Guozhu Dong. On the Index of Positive Programmed Formal Languages
111 -- 119Israel Cidon, Yuval Shavitt. Message Terminating Algorithms for Anonymous Rings of Unknown Size
121 -- 126George Varghese, Roger D. Chamberlain, William E. Weihl. Deriving Global Virtual Time Algorithms from Conservative Simulation Protocols
127 -- 0Mark Allen Weiss. A Note on Construction of Treaps and Cartesian Trees

Volume 54, Issue 1

1 -- 8Stavros D. Nikolopoulos. Constant-Time Parallel Recognition of Split Graphs
9 -- 10H. Petersen. On Space Functions Fully Constructed by Two-Dimensional Turing Machines
11 -- 16Hamed Nassar. A Markov Model for Multibus Multiprocessor Systems Under Asynchronous Operation
17 -- 22Roope Kaivola. On Modal mu-Calculus and Büchi Tree Automata
23 -- 33Paul E. Dunne, Chris J. Gittings, Paul H. Leng. Multiprocessor Simulation Strategies with Optimal Speed-up
35 -- 39Irena Rusu. Quasi-Parity and Perfect Graphs
41 -- 43Mitsunori Ogihara. On Helping by Parity-Like Languages
45 -- 53Sundeep Oberoi. lambda_beta - A - lambda-Calculus with a Generalized beta-Reduction Rule
55 -- 58David Maxwell Chickering, Dan Geiger, David Heckerman. On Finding a Cycle Basis with a Shortest Maximal Cycle
59 -- 63Ming-Yang Kao. Linear-Time Optimal Augmentation for Componentwise Bipartite-Completeness of Graphs