Information Processing Letters, Volume 53

Volume 53, Number 1, 13 January 1995

• Sanjay Jain:
  On a Question About Learning Nearly Minimal Programs. 1-4
  Electronic Edition (link) BibTeX
• Martin Fränzle, Bernhard von Stengel, Arne Wittmüss:
  A Generalized Notion of Semantic Independence. 5-9
  Electronic Edition (link) BibTeX
• Angelo Monti, Alessandro Roncato:
  Completeness Results Concerning Systolic Tree Automata and EOL Languages. 11-16
  Electronic Edition (link) BibTeX
• Ran Canetti, Guy Even, Oded Goldreich:
  Lower Bounds for Sampling Algorithms for Estimating the Average. 17-25
  Electronic Edition (link) BibTeX
• Andrea E. F. Clementi, Russell Impagliazzo:
  The Reachability Problem for Finite Cellular Automata. 27-31
  Electronic Edition (link) BibTeX
• Priyalal Kulasinghe, Saïd Bettayeb:
  Multiply-Twisted Hypercube with Five or More Dimensions is not Vertex-Transitive. 33-36
  Electronic Edition (link) BibTeX
• Charu C. Aggarwal, N. Jain, P. Gupta:
  An Efficient Selection Algorithm on the Pyramid. 37-47
  Electronic Edition (link) BibTeX
• Yuliang Zheng:
  On Key Agreement Protocols Based on Tamper-Proof Hardware. 49-54
  Electronic Edition (link) BibTeX
• Yung-Cheng Chang, Lih-Hsing Hsu:
  Element Perturbation Problems of Optimum Spanning Trees with Two-Parameter Objectives. 55-59
  Electronic Edition (link) BibTeX

Volume 53, Number 2, 27 January 1995

• Alexander Russell, Ravi Sundaram:
  The Relativized Relationship Between Probabilistically Chackable Debate Systems, IP and PSPACE. 61-68
  Electronic Edition (link) BibTeX
• S. T. Fischer:
  A Note on the Complexity of Local Search Problems. 69-75
  Electronic Edition (link) BibTeX
• Kaoru Kurosawa, Koji Okada, Shigeo Tsujii:
  Low Exponent Attack Against Elliptic Curve RSA. 77-83
  Electronic Edition (link) BibTeX
• Chuan-Heng Ang, Kok-Phuang Tan:
  The Interval B-Tree. 85-89
  Electronic Edition (link) BibTeX
• Chae Hoon Lim, Pil Joong Lee:
  Several Practical Protocols for Authentication and Key Exchange. 91-96 BibTeX
• Tzonelih Hwang, Yung-Hsiang Chen:
  On the Security of SPLICE/AS - The Authentication System in WIDE Internet. 91-101
  Electronic Edition (link) BibTeX
• Tzonelih Hwang, Narn-Yih Lee, Chuan-Ming Li, Ming-Yung Ko, Yung-Hsiang Chen:
  Two Attacks on Neuman-Stubblebine Authentication Protocols. 103-107
  Electronic Edition (link) BibTeX
• Refael Hassin, Arie Tamir:
  On the Minimum Diameter Spanning Tree Problem. 109-111
  Electronic Edition (link) BibTeX
• Ouri Wolfson, Sushil Jajodia:
  An Algorithm for Dynamic Data Allocation in Distributed Systems. 113-119
  Electronic Edition (link) BibTeX

Volume 53, Number 3, 10 February 1995

• Burghard von Karger, C. A. R. Hoare:
  Sequential Calculus. 123-130
  Electronic Edition (link) BibTeX
• Chritiene Aarts, Roland Carl Backhouse, Eerke A. Boiten, Henk Doornbos, Netty van Gasteren, Rik van Geldrop, Paul F. Hoogendijk, Ed Voermans, Jaap van der Woude:
  Fixed-Point Calculus. 131-136
  Electronic Edition (link) BibTeX
• The Eindhoven Tuesday Afternoon Club:
  Constructing the Galois Adjoint. 137-139
  Electronic Edition (link) BibTeX
• Edsger W. Dijkstra:
  Heuristics for a Calculational Proof. 141-143
  Electronic Edition (link) BibTeX
• David Gries, Fred B. Schneider:
  Equational Propositional Logic. 145-152
  Electronic Edition (link) BibTeX
• Jacob Kornerup:
  Mapping a Functional Notation for Parallel Programs Onto Hypercubes. 153-158
  Electronic Edition (link) BibTeX
• K. Rustan M. Leino:
  Constructing a Program with Exceptions. 159-163
  Electronic Edition (link) BibTeX
• Ralph-Johan Back, Joakim von Wright:
  Games and Winning Strategies. 165-172
  Electronic Edition (link) BibTeX

Volume 53, Number 4, 24 February 1995

• Ashok Subramanian:
  A Polynomial Bound on the Number of Light Cycles in an Undirected Graph. 173-176
  Electronic Edition (link) BibTeX
• Ralph P. Boland, Jorge Urrutia:
  Separating Collections of Points in Euclidean Spaces. 177-183
  Electronic Edition (link) BibTeX , Corrigendum: Inf. Process. Lett. 54(6): 359(1995) BibTeX
• Hsieh-Chang Tu, Carl H. Smith:
  Training Digraphs. 185-192
  Electronic Edition (link) BibTeX
• Rajiv Gupta:
  Generalized Dominators. 193-200
  Electronic Edition (link) BibTeX
• Roberto De Prisco, Giuseppe Persiano:
  Characteristic Inequalities for Binary Trees. 201-207
  Electronic Edition (link) BibTeX
• Gregory Kucherov, Michaël Rusinowitch:
  Undecidability of Ground Reducibility for Word Rewriting Systems with Variables. 209-215
  Electronic Edition (link) BibTeX
• Jirí Matousek:
  On Enclosing k Points by a Circle. 217-221
  Electronic Edition (link) BibTeX
• Enno Ohlebusch:
  Termination is not Modular for Confluent Variable-Preserving Term Rewriting Systems. 223-228
  Electronic Edition (link) BibTeX
• Aristidis Likas, Andreas Stafylopatis:
  A Parallel Algorithm for the Minimum Weighted Vertex Cover Problem. 229-234
  Electronic Edition (link) BibTeX
• Mikael Rittri:
  Corrigendum: Semi-Unification of Two Terms in Abelian Groups. 235
  Electronic Edition (link) BibTeX , ->Inf. Process. Lett. 52(2): 61-68(1994) BibTeX

Volume 53, Number 5, 10 March 1995

• Friedrich Otto:
  Solvability of Word Equations Modulo Finite Special and Confluent String-Rewriting Systems is Undecidable in General. 237-242
  Electronic Edition (link) BibTeX
• Chi-Sung Laih, Fu-Kuan Tu, Wen-Chung Tai:
  On the Security of the Lucas Function. 243-247
  Electronic Edition (link) BibTeX
• Robert I. Davis, Alan Burns:
  Optimal Priority Assignment for Aperiodic Tasks with Firm Deadlines in Fixed Priority Pre-Emptive Systems. 249-254
  Electronic Edition (link) BibTeX
• Marie-Claude Heydemann, Dominique Sotteau:
  A Note on Recursive Properties of the de Bruijn, Kautz and FFT Digraphs. 255-259
  Electronic Edition (link) BibTeX
• Valmir C. Barbosa, Stella C. S. Porto:
  An Algorithm for FIFO Message Delivery Among Migrating Tasks. 261-267
  Electronic Edition (link) BibTeX
• Takehiro Tokuda, Yoshimichi Watanabe:
  An Efficient Semantic Evaluator for Warped LC(1) Attributed Grammars. 269-276
  Electronic Edition (link) BibTeX
• Mounir Hamdi:
  Topological Properties of the Directional Hypercube. 277-286
  Electronic Edition (link) BibTeX
• Paulo A. S. Veloso, T. S. E. Maibaum:
  On the Modularization Theorem for Logical Specifications. 287-293
  Electronic Edition (link) BibTeX
• William L. Steiger, Ileana Streinu:
  A Pseudo-Algorithmic Separation of Lines from Pseudo-Lines. 295-299
  Electronic Edition (link) BibTeX

Volume 53, Number 6, 24 March 1995

• Myra Spiliopoulou, Yannis Cotronis, Michael Hatzopoulos:
  Query Processing for Multimedia Applications on Optical Media. 301-306
  Electronic Edition (link) BibTeX
• John H. R. May, A. D. Lunn:
  New Statistics for Demand-Based Software Testing. 307-314
  Electronic Edition (link) BibTeX
• Ioan I. Macarie:
  Decreasing the Bandwidth of a Transition Matrix. 315-320
  Electronic Edition (link) BibTeX
• Mikael Goldmann:
  A Note on the Power of Majority Gates and Modular Gates. 321-327
  Electronic Edition (link) BibTeX
• Rutger M. Dijkstra:
  An Experiment With the Use of Predicate Transformers in UNITY. 329-332
  Electronic Edition (link) BibTeX
• Madan Natu, Shu-Cherng Fang:
  On the Point-to-Point Connection Problem. 333-336
  Electronic Edition (link) BibTeX
• Martin Otto:
  An Note on the Number of Monadic Quantifiers in Monadic Sigma^1_1. 337-339
  Electronic Edition (link) BibTeX
• Antti Valmari:
  The Weakest Deadlock-Preserving Congruence. 341-346
  Electronic Edition (link) BibTeX
• Luke O'Connor:
  A New Lower Bound on the Expected Size of Irredundant Forms for Boolean Functions. 347-353
  Electronic Edition (link) BibTeX
• Ran El-Yaniv, Jon M. Kleinberg:
  Geometric Two-Server Algorithms. 355-358
  Electronic Edition (link) BibTeX
• Sung-Ho Kim, Jung-Heum Park, Seung-Hak Choi, Sung Yong Shin, Kyung-Yong Chwa:
  An Optimal Algorithm for Finding the Edge Visibility Polygon under Limited Visibility. 359-365
  Electronic Edition (link) BibTeX