@article{Thomas/95,
AUTHOR = {Thomas, Stephen},
TITLE = {Garbage collection in shared-environment closure reducers: Space-effficient depth first copying using a tailored approach},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {56},
PAGES = {1-7},
YEAR = {1995},
PUBLISHER = {North-Holland Publishing Company},
ADDRESS = {Amsterdam-New York-Oxford-Tokyo},
}
@article{Estivill-Castro-ORourke-Urrutia-Xu/95,
AUTHOR = {Estivill-Castro, Vladimir and O'Rourke, Joseph and Urrutia, Jorge and Xu, Dianna},
TITLE = {Illumination of polygons with vertex lights},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {56},
PAGES = {9-13},
YEAR = {1995},
PUBLISHER = {North-Holland Publishing Company},
ADDRESS = {Amsterdam-New York-Oxford-Tokyo},
}
@article{Bertoni-Cesa-Bianchi-Fiorino/95,
AUTHOR = {Bertoni, Alberto and Cesa-Bianchi, Nicol{\`{o}} and Fiorino, Guido},
TITLE = {Efficient learning with equivalence queries of conjunctions of modulo functions},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {56},
PAGES = {15-17},
YEAR = {1995},
PUBLISHER = {North-Holland Publishing Company},
ADDRESS = {Amsterdam-New York-Oxford-Tokyo},
}
@article{Greenwood/95,
AUTHOR = {Greenwood, Garrison W.},
TITLE = {On the equity of mutual exclusion algorithms in distributed systems},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {56},
PAGES = {19-22},
YEAR = {1995},
PUBLISHER = {North-Holland Publishing Company},
ADDRESS = {Amsterdam-New York-Oxford-Tokyo},
}
@article{Parberry/95,
AUTHOR = {Parberry, Ian},
TITLE = {A real-time algorithm for the $(n^2-1)$-puzzle},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {56},
PAGES = {23-28},
YEAR = {1995},
PUBLISHER = {North-Holland Publishing Company},
ADDRESS = {Amsterdam-New York-Oxford-Tokyo},
}
@article{Gu-Peng/95a,
AUTHOR = {Gu, Qian-Ping and Peng, Shietung},
TITLE = {Node-to-node cluster fault tolerant routing in star graphs},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {56},
PAGES = {29-35},
YEAR = {1995},
PUBLISHER = {North-Holland Publishing Company},
ADDRESS = {Amsterdam-New York-Oxford-Tokyo},
}
@article{Saxena-Rao/95,
AUTHOR = {Saxena, Sanjeev and Rao, N. Malahal},
TITLE = {Parallel algorithms for connectivity problems on interval graphs},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {56},
PAGES = {37-44},
YEAR = {1995},
PUBLISHER = {North-Holland Publishing Company},
ADDRESS = {Amsterdam-New York-Oxford-Tokyo},
}
@article{Mitchell-Rote-Sundaram-Woeginger/95,
AUTHOR = {Mitchell, Joseph S.B. and Rote, G{\"u}nter and Sundaram, Gopalakrishnan and Woeginger, Gerhard},
TITLE = {Counting convex polygons in planar point sets},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {56},
PAGES = {45-49},
YEAR = {1995},
PUBLISHER = {North-Holland Publishing Company},
ADDRESS = {Amsterdam-New York-Oxford-Tokyo},
}
@article{Leung-Wei/95,
AUTHOR = {Leung, Joseph Y.-T. and Wei, W.-D.},
TITLE = {Tighter bounds on a heuristic for a partition problem},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {56},
PAGES = {51-57},
YEAR = {1995},
PUBLISHER = {North-Holland Publishing Company},
ADDRESS = {Amsterdam-New York-Oxford-Tokyo},
}
@article{Hagerup/95,
AUTHOR = {Hagerup, Torben},
TITLE = {The parallel complexity of integer prefix summation},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {56},
PAGES = {59-64},
YEAR = {1995},
PUBLISHER = {North-Holland Publishing Company},
ADDRESS = {Amsterdam-New York-Oxford-Tokyo},
}
@article{Krumke/95,
AUTHOR = {Krumke, S.O.},
TITLE = {On a generalization of the $p$-Center Problem},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {56},
PAGES = {67-71},
YEAR = {1995},
PUBLISHER = {North-Holland Publishing Company},
ADDRESS = {Amsterdam-New York-Oxford-Tokyo},
}
@article{Cusick/95,
AUTHOR = {Cusick, Thomas W.},
TITLE = {Cryptanalysis of a public key system based on Diophantine equations},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {56},
PAGES = {73-75},
YEAR = {1995},
PUBLISHER = {North-Holland Publishing Company},
ADDRESS = {Amsterdam-New York-Oxford-Tokyo},
}
@article{Chakraborty/95,
AUTHOR = {Chakraborty, Uday Kumar},
TITLE = {A simpler derivation of schema hazard in genetic algorithms},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {56},
PAGES = {77-78},
YEAR = {1995},
PUBLISHER = {North-Holland Publishing Company},
ADDRESS = {Amsterdam-New York-Oxford-Tokyo},
}
@article{Broder-Dyer-Frieze-Raghavan-Upfal/95,
AUTHOR = {Broder, Andrei Z. and Dyer, Martin E. and Frieze, Alan M. and Raghavan, Prabhakar and Upfal, Eli},
TITLE = {The worst-case running time of the random simplex algorithm is exponential in the height},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {56},
PAGES = {79-81},
YEAR = {1995},
PUBLISHER = {North-Holland Publishing Company},
ADDRESS = {Amsterdam-New York-Oxford-Tokyo},
}
@article{Wang-Chen-Lee/95,
AUTHOR = {Wang, Yue-Li and Chen, Hon-Chan and Lee, Chen-Yu},
TITLE = {An $O(\log n)$ parallel algorithm for constructing a spanning tree on permutation graphs},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {56},
PAGES = {83-87},
YEAR = {1995},
PUBLISHER = {North-Holland Publishing Company},
ADDRESS = {Amsterdam-New York-Oxford-Tokyo},
}
@article{Lawler-Sarkissian/95,
AUTHOR = {Lawler, Eugene L. and Sarkissian, Sergei},
TITLE = {An algorithm for "Ulam's Game" and its application to error correcting codes},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {56},
PAGES = {89-93},
YEAR = {1995},
PUBLISHER = {North-Holland Publishing Company},
ADDRESS = {Amsterdam-New York-Oxford-Tokyo},
}
@article{Devroye-Kruszewski/95,
AUTHOR = {Devroye, Luc and Kruszewski, Paul},
TITLE = {A note on the Horton-Strahler number for random trees},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {56},
PAGES = {95-99},
YEAR = {1995},
PUBLISHER = {North-Holland Publishing Company},
ADDRESS = {Amsterdam-New York-Oxford-Tokyo},
}
@article{Liang/95a,
AUTHOR = {Liang, Y. Daniel},
TITLE = {Steiner set and connected domination in trapezoid graphs},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {56},
PAGES = {101-108},
YEAR = {1995},
PUBLISHER = {North-Holland Publishing Company},
ADDRESS = {Amsterdam-New York-Oxford-Tokyo},
}
@article{Arvind-Kobler-Mundhenk/95,
AUTHOR = {Arvind, V. and K{\"o}bler, J. and Mundhenk, M.},
TITLE = {On reductions to sets that avoid EXPSPACE},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {56},
PAGES = {109-114},
YEAR = {1995},
PUBLISHER = {North-Holland Publishing Company},
ADDRESS = {Amsterdam-New York-Oxford-Tokyo},
}
@article{Aspvall/95,
AUTHOR = {Aspvall, Bengt},
TITLE = {Minimizing elimination tree height can increase fill more than linearly},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {56},
PAGES = {115-120},
YEAR = {1995},
PUBLISHER = {North-Holland Publishing Company},
ADDRESS = {Amsterdam-New York-Oxford-Tokyo},
}
@article{Prodinger/95,
AUTHOR = {Prodinger, Helmut},
TITLE = {Multiple Quickselect-Hoare's find algorithm for several elements},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {56},
PAGES = {123-129},
YEAR = {1995},
PUBLISHER = {North-Holland Publishing Company},
ADDRESS = {Amsterdam-New York-Oxford-Tokyo},
}
@article{Lowe/95,
AUTHOR = {Lowe, Gavin},
TITLE = {An attack on the Needham-Schroeder public-key authentication protocol},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {56},
PAGES = {131-133},
YEAR = {1995},
PUBLISHER = {North-Holland Publishing Company},
ADDRESS = {Amsterdam-New York-Oxford-Tokyo},
}
@article{Albers-Stengel-Werchner/95,
AUTHOR = {Albers, Susanne and Stengel, Bernhard von and Werchner, Ralph},
TITLE = {A combined BIT and TIMESTAMP algorithm for the list update problem},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {56},
PAGES = {135-139},
YEAR = {1995},
PUBLISHER = {North-Holland Publishing Company},
ADDRESS = {Amsterdam-New York-Oxford-Tokyo},
}
@article{Volpano-Smith/95,
AUTHOR = {Volpano, Dennis and Smith, Geoffrey},
TITLE = {A type soundness proof for variables in LCF ML},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {56},
PAGES = {141-146},
YEAR = {1995},
PUBLISHER = {North-Holland Publishing Company},
ADDRESS = {Amsterdam-New York-Oxford-Tokyo},
}
@article{Jukna/95,
AUTHOR = {Jukna, Stasys},
TITLE = {Computing threshold functions by depth-3 threshold circuits with smaller thresholds of their gates},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {56},
PAGES = {147-150},
YEAR = {1995},
PUBLISHER = {North-Holland Publishing Company},
ADDRESS = {Amsterdam-New York-Oxford-Tokyo},
}
@article{Clark-Jacob/95,
AUTHOR = {Clark, John and Jacob, Jeremy},
TITLE = {On the security of recent protocols},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {56},
PAGES = {151-155},
YEAR = {1995},
PUBLISHER = {North-Holland Publishing Company},
ADDRESS = {Amsterdam-New York-Oxford-Tokyo},
}
@article{Devillers-Golin/95,
AUTHOR = {Devillers, Olivier and Golin, Mordecai J.},
TITLE = {Incremental algorithms for finding the convex hulls of circles and the lower envelopes of parabolas},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {56},
PAGES = {157-164},
YEAR = {1995},
PUBLISHER = {North-Holland Publishing Company},
ADDRESS = {Amsterdam-New York-Oxford-Tokyo},
}
@article{Srinivasan-Madhukar-Nagavamsi-Rangan-Chang/95,
AUTHOR = {Srinivasan, Anand and Madhukar, K. and Nagavamsi, P. and Rangan, C. Pandu and Chang, Maw-Shang},
TITLE = {Edge domination on bipartite permutation graphs and cotriangulated graphs},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {56},
PAGES = {165-171},
YEAR = {1995},
PUBLISHER = {North-Holland Publishing Company},
ADDRESS = {Amsterdam-New York-Oxford-Tokyo},
}
@article{Tomkins/95,
AUTHOR = {Tomkins, Andrew},
TITLE = {Lower bounds for two call control problems},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {56},
PAGES = {173-178},
YEAR = {1995},
PUBLISHER = {North-Holland Publishing Company},
ADDRESS = {Amsterdam-New York-Oxford-Tokyo},
}
@article{Herrera_de_Figueiredo-Meidanis-Picinin_de_Mello/95,
AUTHOR = {Herrera de Figueiredo, Celina M. and Meidanis, Jo{\~a}o and Picinin de Mello, C{\'{e}}lia},
TITLE = {A linear-time algorithm for proper interval graph recognition},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {56},
PAGES = {179-184},
YEAR = {1995},
PUBLISHER = {North-Holland Publishing Company},
ADDRESS = {Amsterdam-New York-Oxford-Tokyo},
}
@article{Rubinstein-Shutt/95,
AUTHOR = {Rubinstein, Roy S. and Shutt, John N.},
TITLE = {Self-modifying finite automata: An introduction},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {56},
PAGES = {185-190},
YEAR = {1995},
PUBLISHER = {North-Holland Publishing Company},
ADDRESS = {Amsterdam-New York-Oxford-Tokyo},
}
@article{Codenotti-Manzini-Margara/95,
AUTHOR = {Codenotti, Bruno and Manzini, Giovanni and Margara, Luciano},
TITLE = {Algebraic techniques in communication complexity},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {56},
PAGES = {191-195},
YEAR = {1995},
PUBLISHER = {North-Holland Publishing Company},
ADDRESS = {Amsterdam-New York-Oxford-Tokyo},
}
@article{Pin/95,
AUTHOR = {Pin, Jean-Eric},
TITLE = {A negative answer to a question of Wilke on varieties of $\omega$-languages},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {56},
PAGES = {197-200},
YEAR = {1995},
PUBLISHER = {North-Holland Publishing Company},
ADDRESS = {Amsterdam-New York-Oxford-Tokyo},
}
@article{Sempere-Lopez/95,
AUTHOR = {Sempere, Jose M. and L{\'{o}}pez, Dami{\'{a}}n},
TITLE = {A McCulloch-Pitts neural net to characterize even linear languages},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {56},
PAGES = {201-208},
YEAR = {1995},
PUBLISHER = {North-Holland Publishing Company},
ADDRESS = {Amsterdam-New York-Oxford-Tokyo},
}
@article{Libkin-Wong/95,
AUTHOR = {Libkin, Leonid and Wong, Limsoon},
TITLE = {On representation and querying incomplete information in databases with bags},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {56},
PAGES = {209-214},
YEAR = {1995},
PUBLISHER = {North-Holland Publishing Company},
ADDRESS = {Amsterdam-New York-Oxford-Tokyo},
}
@article{Liang-Blum/95,
AUTHOR = {Liang, Y. Daniel and Blum, Norbert},
TITLE = {Circular convex bipartite graphs: Maximum matching and Hamiltonian circuits},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {56},
PAGES = {215-219},
YEAR = {1995},
PUBLISHER = {North-Holland Publishing Company},
ADDRESS = {Amsterdam-New York-Oxford-Tokyo},
}
@article{Utard-Hains/95,
AUTHOR = {Utard, Gil and Hains, Ga{\'{e}}tan},
TITLE = {Deadlock-free absorption of barrier synchronisations},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {56},
PAGES = {221-227},
YEAR = {1995},
PUBLISHER = {North-Holland Publishing Company},
ADDRESS = {Amsterdam-New York-Oxford-Tokyo},
}
@article{Mereghetti-Pighizzini/95,
AUTHOR = {Mereghetti, Carlo and Pighizzini, Giovanni},
TITLE = {A remark on middle space bounded alternating Turing machines},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {56},
PAGES = {229-232},
YEAR = {1995},
PUBLISHER = {North-Holland Publishing Company},
ADDRESS = {Amsterdam-New York-Oxford-Tokyo},
}
@article{Damaschke/95,
AUTHOR = {Damaschke, Peter},
TITLE = {A parallel algorithm for nearly optimal edge search},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {56},
PAGES = {233-236},
YEAR = {1995},
PUBLISHER = {North-Holland Publishing Company},
ADDRESS = {Amsterdam-New York-Oxford-Tokyo},
}
@article{Yen/95,
AUTHOR = {Yen, Hsu-Chun},
TITLE = {A note on fine covers and iterable factors of VAS languages},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {56},
PAGES = {237-243},
YEAR = {1995},
PUBLISHER = {North-Holland Publishing Company},
ADDRESS = {Amsterdam-New York-Oxford-Tokyo},
}
@article{Uehara/95,
AUTHOR = {Uehara, Ryuhei},
TITLE = {Efficient simulations by a biased coin},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {56},
PAGES = {245-248},
YEAR = {1995},
PUBLISHER = {North-Holland Publishing Company},
ADDRESS = {Amsterdam-New York-Oxford-Tokyo},
}
@article{Youssef-Tavares/95,
AUTHOR = {Youssef, A.M. and Tavares, S.E.},
TITLE = {Resistance of balanced s-boxes to linear and differential cryptanalysis},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {56},
PAGES = {249-252},
YEAR = {1995},
PUBLISHER = {North-Holland Publishing Company},
ADDRESS = {Amsterdam-New York-Oxford-Tokyo},
}
@article{Yao/95a,
AUTHOR = {Yao, Xin},
TITLE = {A note on neural sorting networks with $O(1)$ time complexity},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {56},
PAGES = {253-254},
YEAR = {1995},
PUBLISHER = {North-Holland Publishing Company},
ADDRESS = {Amsterdam-New York-Oxford-Tokyo},
}
@article{Yang/95a,
AUTHOR = {Yang, Bo-Ting},
TITLE = {A better subgraph of the minimum weight triangulation},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {56},
PAGES = {255-258},
YEAR = {1995},
PUBLISHER = {North-Holland Publishing Company},
ADDRESS = {Amsterdam-New York-Oxford-Tokyo},
}
@article{Chiang-Chen/95,
AUTHOR = {Chiang, Wei-Kuo and Chen, Rong-Jaye},
TITLE = {The $(n,k)$-star graph: A generalized star graph},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {56},
PAGES = {259-264},
YEAR = {1995},
PUBLISHER = {North-Holland Publishing Company},
ADDRESS = {Amsterdam-New York-Oxford-Tokyo},
}
@article{Vilar/95,
AUTHOR = {Vilar, Juan Miguel},
TITLE = {Reducing the overhead of the AESA metric-space nearest neighbour searching algorithm},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {56},
PAGES = {265-271},
YEAR = {1995},
PUBLISHER = {North-Holland Publishing Company},
ADDRESS = {Amsterdam-New York-Oxford-Tokyo},
}
@article{Bokka-Gurla-Olariu-Schwing/95b,
AUTHOR = {Bokka, V. and Gurla, H. and Olariu, S. and Schwing, J.L.},
TITLE = {Time- and VLSI-optimal convex hull computation on meshes with multiple broadcasting},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {56},
PAGES = {273-280},
YEAR = {1995},
PUBLISHER = {North-Holland Publishing Company},
ADDRESS = {Amsterdam-New York-Oxford-Tokyo},
}
@article{Chakraborty/95a,
AUTHOR = {Chakraborty, Uday Kumar},
TITLE = {A branching process model for genetic algorithms},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {56},
PAGES = {281-292},
YEAR = {1995},
PUBLISHER = {North-Holland Publishing Company},
ADDRESS = {Amsterdam-New York-Oxford-Tokyo},
}
@article{Kuich/95,
AUTHOR = {Kuich, Werner},
TITLE = {Representations and complete semiring morphisms},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {56},
PAGES = {293-298},
YEAR = {1995},
PUBLISHER = {North-Holland Publishing Company},
ADDRESS = {Amsterdam-New York-Oxford-Tokyo},
}
@article{Raychaudhuri/95,
AUTHOR = {Raychaudhuri, Arundhati},
TITLE = {The total interval number of a tree and the Hamiltonian completion number of its line graph},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {56},
PAGES = {299-306},
YEAR = {1995},
PUBLISHER = {North-Holland Publishing Company},
ADDRESS = {Amsterdam-New York-Oxford-Tokyo},
}
@article{Danicic-Harman-Sivagurunathan/95,
AUTHOR = {Danicic, Sebastian and Harman, Mark and Sivagurunathan, Yoga},
TITLE = {A parallel algorithm for static program slicing},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {56},
PAGES = {307-313},
YEAR = {1995},
PUBLISHER = {North-Holland Publishing Company},
ADDRESS = {Amsterdam-New York-Oxford-Tokyo},
}
@article{Mazzanti/95,
AUTHOR = {Mazzanti, S.},
TITLE = {Succinct iterative characterizations of primitive computable unary functions},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {56},
PAGES = {315-319},
YEAR = {1995},
PUBLISHER = {North-Holland Publishing Company},
ADDRESS = {Amsterdam-New York-Oxford-Tokyo},
}
@article{Zhou-Nagai-Nishizeki/95,
AUTHOR = {Zhou, Xiao and Nagai, Nobuaki and Nishizeki, Takao},
TITLE = {Generalized vertex-rankings of trees},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {56},
PAGES = {321-328},
YEAR = {1995},
PUBLISHER = {North-Holland Publishing Company},
ADDRESS = {Amsterdam-New York-Oxford-Tokyo},
}
@article{Bshouty/95,
AUTHOR = {Bshouty, Nader H.},
TITLE = {On the additive complexity of 2x2 matrix multiplication},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {56},
PAGES = {329-335},
YEAR = {1995},
PUBLISHER = {North-Holland Publishing Company},
ADDRESS = {Amsterdam-New York-Oxford-Tokyo},
}
@article{Pritchard/95,
AUTHOR = {Pritchard, Paul},
TITLE = {A simple sub-quadratic algorithm for computing the subset partial order},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {56},
PAGES = {337-341},
YEAR = {1995},
PUBLISHER = {North-Holland Publishing Company},
ADDRESS = {Amsterdam-New York-Oxford-Tokyo},
}
@article{Han/95,
AUTHOR = {Han, Yijie},
TITLE = {An improvement on parallel computation of a maximal matching},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {56},
PAGES = {343-348},
YEAR = {1995},
PUBLISHER = {North-Holland Publishing Company},
ADDRESS = {Amsterdam-New York-Oxford-Tokyo},
}
@article{Huang-Hsu-Lee/95,
AUTHOR = {Huang, Chung-Ming and Hsu, Jenq-Muh and Lee, Shiun-Wei},
TITLE = {ECFSM-based probabilistic protocol verification},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {55},
PAGES = {1-9},
YEAR = {1995},
PUBLISHER = {North-Holland Publishing Company},
ADDRESS = {Amsterdam-New York-Oxford-Tokyo},
}
@article{Kloks-Kratsch/95,
AUTHOR = {Kloks, T. and Kratsch, D.},
TITLE = {Computing a perfect edge without vertex elimination ordering of a chordal biparite graph},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {55},
PAGES = {11-16},
YEAR = {1995},
PUBLISHER = {North-Holland Publishing Company},
ADDRESS = {Amsterdam-New York-Oxford-Tokyo},
}
@article{Hong-Leung/95,
AUTHOR = {Hong, Dawei and Leung, Joseph Y-T.},
TITLE = {Probabilistic analysis of $k$-dimensional packing algorithms},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {55},
PAGES = {17-24},
YEAR = {1995},
PUBLISHER = {North-Holland Publishing Company},
ADDRESS = {Amsterdam-New York-Oxford-Tokyo},
}
@article{Barsi-Perotti/95,
AUTHOR = {Barsi, Ferrucio and Perotti, M. Cristina},
TITLE = {Addendum to "A fully parallel algorithm for residue to binary conversion"},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {55},
PAGES = {25-26},
YEAR = {1995},
PUBLISHER = {North-Holland Publishing Company},
ADDRESS = {Amsterdam-New York-Oxford-Tokyo},
}
@article{Mahajan-Vinodchandran/95,
AUTHOR = {Mahajan, Meena and Vinodchandran, N.V.},
TITLE = {A note on $Mod$ and generalised $Mod$ classes},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {55},
PAGES = {27-31},
YEAR = {1995},
PUBLISHER = {North-Holland Publishing Company},
ADDRESS = {Amsterdam-New York-Oxford-Tokyo},
}
@article{Vogler/95,
AUTHOR = {Vogler, Walter},
TITLE = {Fairness and partial order semantics},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {55},
PAGES = {33-39},
YEAR = {1995},
PUBLISHER = {North-Holland Publishing Company},
ADDRESS = {Amsterdam-New York-Oxford-Tokyo},
}
@article{Datta-Sen/95,
AUTHOR = {Datta, Alak K. and Sen, Ranjan K.},
TITLE = {1-Approximation algorithm for bottleneck disjoint path matching},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {55},
PAGES = {41-44},
YEAR = {1995},
PUBLISHER = {North-Holland Publishing Company},
ADDRESS = {Amsterdam-New York-Oxford-Tokyo},
}
@article{Lin-Harn/95,
AUTHOR = {Lin, Hung-Yu and Harn, Lein},
TITLE = {Fair reconstruction of a secret},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {55},
PAGES = {45-47},
YEAR = {1995},
PUBLISHER = {North-Holland Publishing Company},
ADDRESS = {Amsterdam-New York-Oxford-Tokyo},
}
@article{Chedid/95,
AUTHOR = {Chedid, Fouad B.},
TITLE = {On the generalized twisted cube},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {55},
PAGES = {49-52},
YEAR = {1995},
PUBLISHER = {North-Holland Publishing Company},
ADDRESS = {Amsterdam-New York-Oxford-Tokyo},
}
@article{Cull-Larson/95,
AUTHOR = {Cull, Paul and Larson, Shawn M.},
TITLE = {On generalized twisted cubes},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {55},
PAGES = {53-55},
YEAR = {1995},
PUBLISHER = {North-Holland Publishing Company},
ADDRESS = {Amsterdam-New York-Oxford-Tokyo},
}
@article{Butler/95,
AUTHOR = {Butler, Greg},
TITLE = {Easy verification of behavioural subtyping in common cases},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {55},
PAGES = {57-58},
YEAR = {1995},
PUBLISHER = {North-Holland Publishing Company},
ADDRESS = {Amsterdam-New York-Oxford-Tokyo},
}
@article{Westbrook-Yan/95,
AUTHOR = {Westbrook, Jeffery and Yan, Dicky},
TITLE = {Linear bounds for on-line Steiner problems},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {55},
PAGES = {59-63},
YEAR = {1995},
PUBLISHER = {North-Holland Publishing Company},
ADDRESS = {Amsterdam-New York-Oxford-Tokyo},
}
@article{Hill/95,
AUTHOR = {Hill, Steve},
TITLE = {The lazy z-buffer},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {55},
PAGES = {65-70},
YEAR = {1995},
PUBLISHER = {North-Holland Publishing Company},
ADDRESS = {Amsterdam-New York-Oxford-Tokyo},
}
@article{Swaminathan-Giriraj-Bhatia/95,
AUTHOR = {Swaminathan, R.P. and Giriraj, D. and Bhatia, D.K.},
TITLE = {The pagenumber of the class of bandwidth-$k$ graphs is $k-1$},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {55},
PAGES = {71-74},
YEAR = {1995},
PUBLISHER = {North-Holland Publishing Company},
ADDRESS = {Amsterdam-New York-Oxford-Tokyo},
}
@article{Alsuwaiyel-Lee/95,
AUTHOR = {Alsuwaiyel, Muhammad H. and Lee, D.T.},
TITLE = {Finding an approximate minimum-link visibility path inside a simple polygon},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {55},
PAGES = {75-79},
YEAR = {1995},
PUBLISHER = {North-Holland Publishing Company},
ADDRESS = {Amsterdam-New York-Oxford-Tokyo},
}
@article{Wang/95a,
AUTHOR = {Wang, Jie},
TITLE = {Some results on selectivity and self-reducibility},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {55},
PAGES = {81-87},
YEAR = {1995},
PUBLISHER = {North-Holland Publishing Company},
ADDRESS = {Amsterdam-New York-Oxford-Tokyo},
}
@article{Valois/95,
AUTHOR = {Valois, John D.},
TITLE = {A 3-valued wakeup protocol},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {55},
PAGES = {89-93},
YEAR = {1995},
PUBLISHER = {North-Holland Publishing Company},
ADDRESS = {Amsterdam-New York-Oxford-Tokyo},
}
@article{Saab/95,
AUTHOR = {Saab, Youssef},
TITLE = {Iterative improvement of vertex covers},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {55},
PAGES = {95-98},
YEAR = {1995},
PUBLISHER = {North-Holland Publishing Company},
ADDRESS = {Amsterdam-New York-Oxford-Tokyo},
}
@article{Corneil-Kim-Natarajan-Olariu-Sprague/95,
AUTHOR = {Corneil, Derek G. and Kim, Hiryoung and Natarajan, Sridhar and Olariu, Stephan and Sprague, Alan P.},
TITLE = {Simple linear time recognition of unit interval graphs},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {55},
PAGES = {99-104},
YEAR = {1995},
PUBLISHER = {North-Holland Publishing Company},
ADDRESS = {Amsterdam-New York-Oxford-Tokyo},
}
@article{Dermouche/95,
AUTHOR = {Dermouche, A.},
TITLE = {A fast algorithm for string matching with mismatches},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {55},
PAGES = {105-110},
YEAR = {1995},
PUBLISHER = {North-Holland Publishing Company},
ADDRESS = {Amsterdam-New York-Oxford-Tokyo},
}
@article{Huynh-Marriott/95,
AUTHOR = {Huynh, Tien and Marriott, Kim},
TITLE = {Incremental constraint deletion in systems of linear constraints},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {55},
PAGES = {111-115},
YEAR = {1995},
PUBLISHER = {North-Holland Publishing Company},
ADDRESS = {Amsterdam-New York-Oxford-Tokyo},
}
@article{Singhal-Mattern/95,
AUTHOR = {Singhal, Mukesh and Mattern, Friedemann},
TITLE = {An optimality proof for asynchronous recovery algorithms in distributed systems},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {55},
PAGES = {117-121},
YEAR = {1995},
PUBLISHER = {North-Holland Publishing Company},
ADDRESS = {Amsterdam-New York-Oxford-Tokyo},
}
@article{Jha-Slutzki/95,
AUTHOR = {Jha, Pranava K. and Slutzki, Giora},
TITLE = {A scheme to construct distance-three codes using latin squares, with applications to the $n$-cube},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {55},
PAGES = {123-127},
YEAR = {1995},
PUBLISHER = {North-Holland Publishing Company},
ADDRESS = {Amsterdam-New York-Oxford-Tokyo},
}
@article{Berard/95,
AUTHOR = {Berard, B{\'{e}}atrice},
TITLE = {Untiming timed languages},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {55},
PAGES = {129-135},
YEAR = {1995},
PUBLISHER = {North-Holland Publishing Company},
ADDRESS = {Amsterdam-New York-Oxford-Tokyo},
}
@article{Shi-Ritter-Wilson/95,
AUTHOR = {Shi, Hongchi and Ritter, Gerhard X. and Wilson, Joseph N.},
TITLE = {Simulations between two reconfigurable mesh models},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {55},
PAGES = {137-142},
YEAR = {1995},
PUBLISHER = {North-Holland Publishing Company},
ADDRESS = {Amsterdam-New York-Oxford-Tokyo},
}
@article{Nikolik/95,
AUTHOR = {Nikolik, Borislav},
TITLE = {Constraint preservation through loops},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {55},
PAGES = {143-148},
YEAR = {1995},
PUBLISHER = {North-Holland Publishing Company},
ADDRESS = {Amsterdam-New York-Oxford-Tokyo},
}
@article{Oellermann-Spinrad/95,
AUTHOR = {Oellermann, Ortrud and Spinrad, Jeremy P.},
TITLE = {A polynomial algorithm for testing whether a graph is 3-Steiner distance hereditary},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {55},
PAGES = {149-154},
YEAR = {1995},
PUBLISHER = {North-Holland Publishing Company},
ADDRESS = {Amsterdam-New York-Oxford-Tokyo},
}
@article{Chang-Yap/95,
AUTHOR = {Chang, Ee-Chien and Yap, Chee},
TITLE = {A note on improved deterministic time simulation of nondeterministic space for small space},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {55},
PAGES = {155-157},
YEAR = {1995},
PUBLISHER = {North-Holland Publishing Company},
ADDRESS = {Amsterdam-New York-Oxford-Tokyo},
}
@article{Kavraki-Kolountzakis/95,
AUTHOR = {Kavraki, Lydia E. and Kolountzakis, Mihail N.},
TITLE = {Partitioning a planar assembly into two connected parts is $NP$-complete},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {55},
PAGES = {159-165},
YEAR = {1995},
PUBLISHER = {North-Holland Publishing Company},
ADDRESS = {Amsterdam-New York-Oxford-Tokyo},
}
@article{Gong/95,
AUTHOR = {Gong, Li},
TITLE = {Collisionful keyed hash functions with selectable collisions},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {55},
PAGES = {167-170},
YEAR = {1995},
PUBLISHER = {North-Holland Publishing Company},
ADDRESS = {Amsterdam-New York-Oxford-Tokyo},
}
@article{Hower/95,
AUTHOR = {Hower, Walter},
TITLE = {Constraint satisfaction --- Algorithms and complexity analysis},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {55},
PAGES = {171-178},
YEAR = {1995},
PUBLISHER = {North-Holland Publishing Company},
ADDRESS = {Amsterdam-New York-Oxford-Tokyo},
}
@article{Schuler/95,
AUTHOR = {Schuler, Rainer},
TITLE = {Some properties of sets tractable under every polynomial-time computable distribution},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {55},
PAGES = {179-184},
YEAR = {1995},
PUBLISHER = {North-Holland Publishing Company},
ADDRESS = {Amsterdam-New York-Oxford-Tokyo},
}
@article{Lam/95,
AUTHOR = {Lam, Nguyen Huong},
TITLE = {A note on codes having no finite completions},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {55},
PAGES = {185-188},
YEAR = {1995},
PUBLISHER = {North-Holland Publishing Company},
ADDRESS = {Amsterdam-New York-Oxford-Tokyo},
}
@article{Blundo/95,
AUTHOR = {Blundo, Carlo},
TITLE = {A note on dynamic threshold schemes},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {55},
PAGES = {189-193},
YEAR = {1995},
PUBLISHER = {North-Holland Publishing Company},
ADDRESS = {Amsterdam-New York-Oxford-Tokyo},
}
@article{Keller-Walle/95,
AUTHOR = {Keller, J{\"o}rg and Walle, Thomas},
TITLE = {A note on implementing combining networks},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {55},
PAGES = {195-200},
YEAR = {1995},
PUBLISHER = {North-Holland Publishing Company},
ADDRESS = {Amsterdam-New York-Oxford-Tokyo},
}
@article{Atkinson-Scholefield/95,
AUTHOR = {Atkinson, Simon and Scholefield, David},
TITLE = {Transformational vs reactive refinement in real-time systems},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {55},
PAGES = {201-210},
YEAR = {1995},
PUBLISHER = {North-Holland Publishing Company},
ADDRESS = {Amsterdam-New York-Oxford-Tokyo},
}
@article{Thirusangu-Rangarajan/95,
AUTHOR = {Thirusangu, K. and Rangarajan, K.},
TITLE = {A note on the construction of marked graphs},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {55},
PAGES = {211-215},
YEAR = {1995},
PUBLISHER = {North-Holland Publishing Company},
ADDRESS = {Amsterdam-New York-Oxford-Tokyo},
}
@article{Droubay/95,
AUTHOR = {Droubay, Xavier},
TITLE = {Palindromes in the Fibonacci word},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {55},
PAGES = {217-221},
YEAR = {1995},
PUBLISHER = {North-Holland Publishing Company},
ADDRESS = {Amsterdam-New York-Oxford-Tokyo},
}
@article{Tan-Song/95,
AUTHOR = {Tan, Xuehou and Song, Xiaoyu},
TITLE = {Hexagonal three-layer channel routing},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {55},
PAGES = {223-228},
YEAR = {1995},
PUBLISHER = {North-Holland Publishing Company},
ADDRESS = {Amsterdam-New York-Oxford-Tokyo},
}
@article{Park-Goldberg/95,
AUTHOR = {Park, Young and Goldberg, Benjamin},
TITLE = {Static analysis for optimizing reference counting},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {55},
PAGES = {229-234},
YEAR = {1995},
PUBLISHER = {North-Holland Publishing Company},
ADDRESS = {Amsterdam-New York-Oxford-Tokyo},
}
@article{Akutsu/95,
AUTHOR = {Akutsu, Tatsuya},
TITLE = {Approximate string matching with don't care characters},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {55},
PAGES = {235-239},
YEAR = {1995},
PUBLISHER = {North-Holland Publishing Company},
ADDRESS = {Amsterdam-New York-Oxford-Tokyo},
}
@article{Ramachandran/95,
AUTHOR = {Ramachandran, J.},
TITLE = {Modulo classes and logarithmic advice},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {55},
PAGES = {241-245},
YEAR = {1995},
PUBLISHER = {North-Holland Publishing Company},
ADDRESS = {Amsterdam-New York-Oxford-Tokyo},
}
@article{Horng/95,
AUTHOR = {Horng, Gwoboa},
TITLE = {Password authentication without using a password table},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {55},
PAGES = {247-250},
YEAR = {1995},
PUBLISHER = {North-Holland Publishing Company},
ADDRESS = {Amsterdam-New York-Oxford-Tokyo},
}
@article{Tan-Lu/95,
AUTHOR = {Tan, Kian-Lee and Lu, Hongjun},
TITLE = {Workload scheduling for multiple query processing},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {55},
PAGES = {251-257},
YEAR = {1995},
PUBLISHER = {North-Holland Publishing Company},
ADDRESS = {Amsterdam-New York-Oxford-Tokyo},
}
@article{Chen/95,
AUTHOR = {Chen, Lin},
TITLE = {Solving the shortest-paths problem on bipartite permutation graphs efficiently},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {55},
PAGES = {259-264},
YEAR = {1995},
PUBLISHER = {North-Holland Publishing Company},
ADDRESS = {Amsterdam-New York-Oxford-Tokyo},
}
@article{Lee-Kim/95,
AUTHOR = {Lee, Soojung and Kim, Junguk L.},
TITLE = {Resolving all deadlocks in distributed systems},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {55},
PAGES = {265-271},
YEAR = {1995},
PUBLISHER = {North-Holland Publishing Company},
ADDRESS = {Amsterdam-New York-Oxford-Tokyo},
}
@article{Chen/95a,
AUTHOR = {Chen, Tung-Shou},
TITLE = {SIMPLE: An optimal disk system with two restricted heads},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {55},
PAGES = {273-277},
YEAR = {1995},
PUBLISHER = {North-Holland Publishing Company},
ADDRESS = {Amsterdam-New York-Oxford-Tokyo},
}
@article{Leung-Ranjan-Hernandez-Tang-Gonzalez/95,
AUTHOR = {Leung, H. and Ranjan, D. and Hern{\'{a}}ndez, H.J. and Tang, D. and Gonz{\'{a}}lez, A.},
TITLE = {A simple proof on the dicidability of equivalence between recursive and nonrecursive Datalog programs},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {55},
PAGES = {279-282},
YEAR = {1995},
PUBLISHER = {North-Holland Publishing Company},
ADDRESS = {Amsterdam-New York-Oxford-Tokyo},
}
@article{Park-Choi-Kim/95,
AUTHOR = {Park, Ung Kyu and Choi, Hwang Kyu and Kim, Tag Gon},
TITLE = {Uniform partitioning of relations using histogram equalization framework: An efficient parallel hash-based join},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {55},
PAGES = {283-289},
YEAR = {1995},
PUBLISHER = {North-Holland Publishing Company},
ADDRESS = {Amsterdam-New York-Oxford-Tokyo},
}
@article{Boztas/95,
AUTHOR = {Bozta{\c{s}}, Serdar},
TITLE = {A robust multi-priority topology-independent transmission schedule for packet radio networks},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {55},
PAGES = {297-301},
YEAR = {1995},
PUBLISHER = {North-Holland Publishing Company},
ADDRESS = {Amsterdam-New York-Oxford-Tokyo},
}
@article{Chen/95b,
AUTHOR = {Chen, Zhi-Zhong},
TITLE = {A fast and efficient NC algorithm for maximal matching},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {55},
PAGES = {303-307},
YEAR = {1995},
PUBLISHER = {North-Holland Publishing Company},
ADDRESS = {Amsterdam-New York-Oxford-Tokyo},
}
@article{Nievergelt-Deo/95,
AUTHOR = {Nievergelt, J. and Deo, Narsingh},
TITLE = {Metric graphs elastically embeddable in the plane},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {55},
PAGES = {309-315},
YEAR = {1995},
PUBLISHER = {North-Holland Publishing Company},
ADDRESS = {Amsterdam-New York-Oxford-Tokyo},
}
@article{Dasgupta-Chakrabarti-DeSarkar/95,
AUTHOR = {Dasgupta, Pallab and Chakrabarti, P.P. and DeSarkar, S.C.},
TITLE = {Utility of pathmax in partial order heuristic search},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {55},
PAGES = {317-322},
YEAR = {1995},
PUBLISHER = {North-Holland Publishing Company},
ADDRESS = {Amsterdam-New York-Oxford-Tokyo},
}
@article{Vasconcelos/95,
AUTHOR = {Vasconcelos, Vasco Thudichum},
TITLE = {Unification of kinded infinite trees},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {55},
PAGES = {323-328},
YEAR = {1995},
PUBLISHER = {North-Holland Publishing Company},
ADDRESS = {Amsterdam-New York-Oxford-Tokyo},
}
@article{Broder-Frieze-Lund-Phillips-Reingold/95,
AUTHOR = {Broder, Andrei Z. and Frieze, Alan and Lund, Carsten and Phillips, Steven and Reingold, Nick},
TITLE = {Balanced allocations for tree-like inputs},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {55},
PAGES = {329-332},
YEAR = {1995},
PUBLISHER = {North-Holland Publishing Company},
ADDRESS = {Amsterdam-New York-Oxford-Tokyo},
}
@article{Liang/95,
AUTHOR = {Liang, Weifa},
TITLE = {Fast parallel algorithms for the approximate edge-coloring problem},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {55},
PAGES = {333-338},
YEAR = {1995},
PUBLISHER = {North-Holland Publishing Company},
ADDRESS = {Amsterdam-New York-Oxford-Tokyo},
}
@article{Nayak-Accia-Gissi/95,
AUTHOR = {Nayak, Amiya and Accia, Vincenzo and Gissi, Paolo},
TITLE = {A note on isomorphic chordal rings},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {55},
PAGES = {339-341},
YEAR = {1995},
PUBLISHER = {North-Holland Publishing Company},
ADDRESS = {Amsterdam-New York-Oxford-Tokyo},
}
@article{Park-Goldberg/95a,
AUTHOR = {Park, Young G. and Goldberg, Benjamin},
TITLE = {Order-of-demand analysis for lazy languages},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {55},
PAGES = {343-348},
YEAR = {1995},
PUBLISHER = {North-Holland Publishing Company},
ADDRESS = {Amsterdam-New York-Oxford-Tokyo},
}
@article{Pitsch/95,
AUTHOR = {Pitsch, Gisela},
TITLE = {LR$(k)$-coupled-context-free grammars},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {55},
PAGES = {349-358},
YEAR = {1995},
PUBLISHER = {North-Holland Publishing Company},
ADDRESS = {Amsterdam-New York-Oxford-Tokyo},
}
@article{Nikolopoulos/95,
AUTHOR = {Nikolopoulos, Stavros D.},
TITLE = {Constant-time parallel recognition of split graphs},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {54},
PAGES = {1-8},
YEAR = {1995},
PUBLISHER = {North-Holland Publishing Company},
ADDRESS = {Amsterdam-New York-Oxford-Tokyo},
}
@article{Petersen/95,
AUTHOR = {Petersen, H.},
TITLE = {On space functions fully constructed by two-dimensional Turing machines},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {54},
PAGES = {9-10},
YEAR = {1995},
PUBLISHER = {North-Holland Publishing Company},
ADDRESS = {Amsterdam-New York-Oxford-Tokyo},
}
@article{Nassar/95,
AUTHOR = {Nassar, Hamed},
TITLE = {A Markov model for multibus multiprocessor systems under asynchronous operation},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {54},
PAGES = {11-16},
YEAR = {1995},
PUBLISHER = {North-Holland Publishing Company},
ADDRESS = {Amsterdam-New York-Oxford-Tokyo},
}
@article{Kaivola/95,
AUTHOR = {Kaivola, Roope},
TITLE = {On modal mu-calculus and B{\"u}chi tree automata},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {54},
PAGES = {17-22},
YEAR = {1995},
PUBLISHER = {North-Holland Publishing Company},
ADDRESS = {Amsterdam-New York-Oxford-Tokyo},
}
@article{Dunne-Gittings-Leng/95,
AUTHOR = {Dunne, Paul E. and Gittings, Chris J. and Leng, Paul H.},
TITLE = {Multiprocessor simulation strategies with optimal speed-up},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {54},
PAGES = {23-33},
YEAR = {1995},
PUBLISHER = {North-Holland Publishing Company},
ADDRESS = {Amsterdam-New York-Oxford-Tokyo},
}
@article{Rusu/95,
AUTHOR = {Rusu, Irena},
TITLE = {Quasi-parity and perfect graphs},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {54},
PAGES = {35-39},
YEAR = {1995},
PUBLISHER = {North-Holland Publishing Company},
ADDRESS = {Amsterdam-New York-Oxford-Tokyo},
}
@article{Ogihara/95,
AUTHOR = {Ogihara, Mitsunori},
TITLE = {On helping by parity-like languages},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {54},
PAGES = {41-43},
YEAR = {1995},
PUBLISHER = {North-Holland Publishing Company},
ADDRESS = {Amsterdam-New York-Oxford-Tokyo},
}
@article{Oberoi/95,
AUTHOR = {Oberoi, Sundeep},
TITLE = {$\lambda_{\beta'}$ --- A $\lambda$-calculus with a generalized $\beta$-reduction rule},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {54},
PAGES = {45-53},
YEAR = {1995},
PUBLISHER = {North-Holland Publishing Company},
ADDRESS = {Amsterdam-New York-Oxford-Tokyo},
}
@article{Chickering-Geiger-Heckerman/95,
AUTHOR = {Chickering, David M. and Geiger, Dan and Heckerman, David},
TITLE = {On finding a cycle basis with a shortest maximal cycle},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {54},
PAGES = {55-58},
YEAR = {1995},
PUBLISHER = {North-Holland Publishing Company},
ADDRESS = {Amsterdam-New York-Oxford-Tokyo},
}
@article{Kao/95,
AUTHOR = {Kao, Ming-Yang},
TITLE = {Linear-time optimal augmentation for componentwise bipartite-completeness of graphs},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {54},
PAGES = {59-63},
YEAR = {1995},
PUBLISHER = {North-Holland Publishing Company},
ADDRESS = {Amsterdam-New York-Oxford-Tokyo},
}
@article{Jones/95,
AUTHOR = {Jones, C.B.},
TITLE = {Partial functions and logics: A warning},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {54},
PAGES = {65-67},
YEAR = {1995},
PUBLISHER = {North-Holland Publishing Company},
ADDRESS = {Amsterdam-New York-Oxford-Tokyo},
}
@article{Chen-Chen/95,
AUTHOR = {Chen, Chui-Cheng and Chen, Rong-Jaye},
TITLE = {Compact embedding of binary trees into hypercubes},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {54},
PAGES = {69-72},
YEAR = {1995},
PUBLISHER = {North-Holland Publishing Company},
ADDRESS = {Amsterdam-New York-Oxford-Tokyo},
}
@article{Ausiello-Protasi/95,
AUTHOR = {Ausiello, Giorgio and Protasi, Marco},
TITLE = {Local search, reducibility and approximability of NP-optimization problems},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {54},
PAGES = {73-79},
YEAR = {1995},
PUBLISHER = {North-Holland Publishing Company},
ADDRESS = {Amsterdam-New York-Oxford-Tokyo},
}
@article{Barriga-Ayani/95,
AUTHOR = {Barriga, Luis and Ayani, Rassul},
TITLE = {Lazy update: An efficient implementation of LRU stacks},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {54},
PAGES = {81-84},
YEAR = {1995},
PUBLISHER = {North-Holland Publishing Company},
ADDRESS = {Amsterdam-New York-Oxford-Tokyo},
}
@article{Myers/95,
AUTHOR = {Myers, Gene},
TITLE = {Approximately matching context-free languages},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {54},
PAGES = {85-92},
YEAR = {1995},
PUBLISHER = {North-Holland Publishing Company},
ADDRESS = {Amsterdam-New York-Oxford-Tokyo},
}
@article{Bunke-Csirik/95,
AUTHOR = {Bunke, H. and Csirik, J.},
TITLE = {An improved algorithm for computing the edit distance of run-length coded strings},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {54},
PAGES = {93-96},
YEAR = {1995},
PUBLISHER = {North-Holland Publishing Company},
ADDRESS = {Amsterdam-New York-Oxford-Tokyo},
}
@article{Agarwala-Fernandez-Baca/95,
AUTHOR = {Agarwala, Richa and Fern{\'{a}}ndez-Baca, David},
TITLE = {Weighted search in the plane},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {54},
PAGES = {97-100},
YEAR = {1995},
PUBLISHER = {North-Holland Publishing Company},
ADDRESS = {Amsterdam-New York-Oxford-Tokyo},
}
@article{Moore-Smyth/95,
AUTHOR = {Moore, Dennis and Smyth, W.F.},
TITLE = {A correction to ``An optimal algorithm to compute all the covers of a string''},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {54},
PAGES = {101-103},
YEAR = {1995},
PUBLISHER = {North-Holland Publishing Company},
ADDRESS = {Amsterdam-New York-Oxford-Tokyo},
}
@article{Dong/95,
AUTHOR = {Dong, Guozhu},
TITLE = {On the index of positive programmed formal languages},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {54},
PAGES = {105-110},
YEAR = {1995},
PUBLISHER = {North-Holland Publishing Company},
ADDRESS = {Amsterdam-New York-Oxford-Tokyo},
}
@article{Cidon-Shavitt/95,
AUTHOR = {Cidon, Israel and Shavitt, Yuval},
TITLE = {Message terminating algorithms for anonymous rings of unknown size},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {54},
PAGES = {111-119},
YEAR = {1995},
PUBLISHER = {North-Holland Publishing Company},
ADDRESS = {Amsterdam-New York-Oxford-Tokyo},
}
@article{Varghese-Chamberlain-Weihl/95,
AUTHOR = {Varghese, George and Chamberlain, Roger and Weihl, William E.},
TITLE = {Deriving global virtual time algorithms from conservative simulation protocols},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {54},
PAGES = {121-126},
YEAR = {1995},
PUBLISHER = {North-Holland Publishing Company},
ADDRESS = {Amsterdam-New York-Oxford-Tokyo},
}
@article{Weiss/95,
AUTHOR = {Weiss, M.A.},
TITLE = {A note on consruction of treaps and Cartesian trees},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {54},
PAGES = {127-127},
YEAR = {1995},
PUBLISHER = {North-Holland Publishing Company},
ADDRESS = {Amsterdam-New York-Oxford-Tokyo},
}
@article{Gonzalez/95,
AUTHOR = {Gonzalez, Teofilo F.},
TITLE = {A simple LP-free approximation algorithm for the minimum weight vertex cover problem},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {54},
PAGES = {129-131},
YEAR = {1995},
PUBLISHER = {North-Holland Publishing Company},
ADDRESS = {Amsterdam-New York-Oxford-Tokyo},
}
@article{Schlipf-Annexstein-Franco-Swaminathan/95,
AUTHOR = {Schlipf, John S. and Annexstein, Fred S. and Franco, John V. and Swaminathan, R.P.},
TITLE = {On finding solutions for extended Horn formulas},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {54},
PAGES = {133-137},
YEAR = {1995},
PUBLISHER = {North-Holland Publishing Company},
ADDRESS = {Amsterdam-New York-Oxford-Tokyo},
}
@article{Alvarez-Fernandez/95,
AUTHOR = {Alvarez, Guillermo A. and Fern{\'{a}}ndez, Marcelo O.},
TITLE = {Efficient management of multiple outstanding timeouts},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {54},
PAGES = {139-145},
YEAR = {1995},
PUBLISHER = {North-Holland Publishing Company},
ADDRESS = {Amsterdam-New York-Oxford-Tokyo},
}
@article{Snelick-Jaja-Kacker-Lyon/95,
AUTHOR = {Snelick, Robert and J{\'{a}}j{\'{a}}, Joseph and Kacker, Raghu and Lyon, Gordon},
TITLE = {Using synthetic perturbations and statistical screening to assay shared-memory programs},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {54},
PAGES = {147-153},
YEAR = {1995},
PUBLISHER = {North-Holland Publishing Company},
ADDRESS = {Amsterdam-New York-Oxford-Tokyo},
}
@article{Woeginger/95,
AUTHOR = {Woeginger, Gerhard J.},
TITLE = {Scheduling with time-dependent execution times},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {54},
PAGES = {155-156},
YEAR = {1995},
PUBLISHER = {North-Holland Publishing Company},
ADDRESS = {Amsterdam-New York-Oxford-Tokyo},
}
@article{Sloan/95,
AUTHOR = {Sloan, Robert H.},
TITLE = {Four types of noise in data for PAC learning},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {54},
PAGES = {157-162},
YEAR = {1995},
PUBLISHER = {North-Holland Publishing Company},
ADDRESS = {Amsterdam-New York-Oxford-Tokyo},
}
@article{Jain-Werth/95,
AUTHOR = {Jain, Ravi and Werth, John},
TITLE = {Analysis of approximate algorithms for edge-coloring bipartite graphs},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {54},
PAGES = {163-168},
YEAR = {1995},
PUBLISHER = {North-Holland Publishing Company},
ADDRESS = {Amsterdam-New York-Oxford-Tokyo},
}
@article{Jenner/95,
AUTHOR = {Jenner, Birgit},
TITLE = {Knapsack problems for NL},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {54},
PAGES = {169-174},
YEAR = {1995},
PUBLISHER = {North-Holland Publishing Company},
ADDRESS = {Amsterdam-New York-Oxford-Tokyo},
}
@article{Gawiejnowicz-Pankowska/95,
AUTHOR = {Gawiejnowicz, Stanislaw and Pankowska, Lidia},
TITLE = {Scheduling jobs with varying processing times},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {54},
PAGES = {175-178},
YEAR = {1995},
PUBLISHER = {North-Holland Publishing Company},
ADDRESS = {Amsterdam-New York-Oxford-Tokyo},
}
@article{Rao/95b,
AUTHOR = {Rao, Rajesh P.N.},
TITLE = {A note on $P$-selective sets and closeness},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {54},
PAGES = {179-185},
YEAR = {1995},
PUBLISHER = {North-Holland Publishing Company},
ADDRESS = {Amsterdam-New York-Oxford-Tokyo},
}
@article{Yu/95,
AUTHOR = {Yu, Xiaokang},
TITLE = {A new solution for Thue's problem},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {54},
PAGES = {187-191},
YEAR = {1995},
PUBLISHER = {North-Holland Publishing Company},
ADDRESS = {Amsterdam-New York-Oxford-Tokyo},
}
@article{Petreschim-Sterbini/95,
AUTHOR = {Petreschim, Rossella and Sterbini, Andrea},
TITLE = {Recognizing strict 2-threshold graphs in $O(m)$ time},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {54},
PAGES = {193-198},
YEAR = {1995},
PUBLISHER = {North-Holland Publishing Company},
ADDRESS = {Amsterdam-New York-Oxford-Tokyo},
}
@article{Fernau/95,
AUTHOR = {Fernau, Henning},
TITLE = {A note on uniformly limited ET0L systems with unique interpretation},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {54},
PAGES = {199-204},
YEAR = {1995},
PUBLISHER = {North-Holland Publishing Company},
ADDRESS = {Amsterdam-New York-Oxford-Tokyo},
}
@article{Kummer/95,
AUTHOR = {Kummer, Martin},
TITLE = {A learning-theorectic characterization of classes of recursive functions},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {54},
PAGES = {205-211},
YEAR = {1995},
PUBLISHER = {North-Holland Publishing Company},
ADDRESS = {Amsterdam-New York-Oxford-Tokyo},
}
@article{Barsi/95,
AUTHOR = {Barsi, Ferruccio},
TITLE = {Decoding residue codes},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {54},
PAGES = {213-222},
YEAR = {1995},
PUBLISHER = {North-Holland Publishing Company},
ADDRESS = {Amsterdam-New York-Oxford-Tokyo},
}
@article{Fujita/95,
AUTHOR = {Fujita, Satoshi},
TITLE = {A note on the size of a multicast tree in hypercubes},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {54},
PAGES = {223-227},
YEAR = {1995},
PUBLISHER = {North-Holland Publishing Company},
ADDRESS = {Amsterdam-New York-Oxford-Tokyo},
}
@article{Goldwurm/95,
AUTHOR = {Goldwurm, Massimiliano},
TITLE = {Random generation of words in an algebraic language in linear binary space},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {54},
PAGES = {229-233},
YEAR = {1995},
PUBLISHER = {North-Holland Publishing Company},
ADDRESS = {Amsterdam-New York-Oxford-Tokyo},
}
@article{Hebrard/95,
AUTHOR = {H{\'{e}}brard, Jean-Jaques},
TITLE = {Unique Horn renaming and unique 2-satisfiability},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {54},
PAGES = {235-239},
YEAR = {1995},
PUBLISHER = {North-Holland Publishing Company},
ADDRESS = {Amsterdam-New York-Oxford-Tokyo},
}
@article{Chrobak-Payne/95,
AUTHOR = {Chrobak, M. and Payne, T.H.},
TITLE = {A linear-time algorithm for drawing a planar graph on a grid},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {54},
PAGES = {241-246},
YEAR = {1995},
PUBLISHER = {North-Holland Publishing Company},
ADDRESS = {Amsterdam-New York-Oxford-Tokyo},
}
@article{Simon/95,
AUTHOR = {Simon, Klaus},
TITLE = {A note on lexicographic breadth first search for chordal graphs},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {54},
PAGES = {249-251},
YEAR = {1995},
PUBLISHER = {North-Holland Publishing Company},
ADDRESS = {Amsterdam-New York-Oxford-Tokyo},
}
@article{Corneil-Stewart/95,
AUTHOR = {Corneil, Derek G. Stephan Olariu and Stewart, Lorna},
TITLE = {A linear time algorithm to compute a dominating path in an AT-free graph},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {54},
PAGES = {253-257},
YEAR = {1995},
PUBLISHER = {North-Holland Publishing Company},
ADDRESS = {Amsterdam-New York-Oxford-Tokyo},
}
@article{Herman-Ghosh/95,
AUTHOR = {Herman, Ted and Ghosh, Sukumar},
TITLE = {Stabilizing phase-clocks},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {54},
PAGES = {259-265},
YEAR = {1995},
PUBLISHER = {North-Holland Publishing Company},
ADDRESS = {Amsterdam-New York-Oxford-Tokyo},
}
@article{Fromentin-Jard-Jourdan-Raynal/95,
AUTHOR = {Fromentin, Eddy and Jard, Claude and Jourdan, Guy-Vincent and Raynal, Michel},
TITLE = {On-the-fly analysis of distributed computations},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {54},
PAGES = {267-274},
YEAR = {1995},
PUBLISHER = {North-Holland Publishing Company},
ADDRESS = {Amsterdam-New York-Oxford-Tokyo},
}
@article{Sugihara-Inagaki/95,
AUTHOR = {Sugihara, Kokichi and Inagaki, Hiroshi},
TITLE = {Why is the 3D Delaunay triangulation difficult to construct?},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {54},
PAGES = {275-280},
YEAR = {1995},
PUBLISHER = {North-Holland Publishing Company},
ADDRESS = {Amsterdam-New York-Oxford-Tokyo},
}
@article{Demri/95,
AUTHOR = {Demri, St{\'{e}}phane},
TITLE = {3-SAT=SAT for a class of normal modal logics},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {54},
PAGES = {281-287},
YEAR = {1995},
PUBLISHER = {North-Holland Publishing Company},
ADDRESS = {Amsterdam-New York-Oxford-Tokyo},
}
@article{Iwama-Pitassi/95,
AUTHOR = {Iwama, Kazuo and Pitassi, Toniann},
TITLE = {Exponential lower bounds for the tree-like Haj{\'o}s calculus},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {54},
PAGES = {289-294},
YEAR = {1995},
PUBLISHER = {North-Holland Publishing Company},
ADDRESS = {Amsterdam-New York-Oxford-Tokyo},
}
@article{Fujiwara-Masuzawa-Fujiwara/95,
AUTHOR = {Fujiwara, Akihiro and Masuzawa, Toshimitsu and Fujiwara, Hideo},
TITLE = {An optimal parallel algorithm for the Euclidean distance maps of 2-D binary images},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {54},
PAGES = {295-300},
YEAR = {1995},
PUBLISHER = {North-Holland Publishing Company},
ADDRESS = {Amsterdam-New York-Oxford-Tokyo},
}
@article{Blokhuis-Kloks/95,
AUTHOR = {Blokhuis, A. and Kloks, T.},
TITLE = {On the equivalence covering number of splitgraphs},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {54},
PAGES = {301-304},
YEAR = {1995},
PUBLISHER = {North-Holland Publishing Company},
ADDRESS = {Amsterdam-New York-Oxford-Tokyo},
}
@article{de_Luca/95,
AUTHOR = {de Luca, Aldo},
TITLE = {A division property of the Fibonacci word},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {54},
PAGES = {307-312},
YEAR = {1995},
PUBLISHER = {North-Holland Publishing Company},
ADDRESS = {Amsterdam-New York-Oxford-Tokyo},
}
@article{Tromp-Shallit/95,
AUTHOR = {Tromp, John and Shallit, Jeffrey},
TITLE = {Subword complexity of a generalized Thue-Morse word},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {54},
PAGES = {313-316},
YEAR = {1995},
PUBLISHER = {North-Holland Publishing Company},
ADDRESS = {Amsterdam-New York-Oxford-Tokyo},
}
@article{Zissimopoulos/95,
AUTHOR = {Zissimopoulos, V.},
TITLE = {On the performance guarantee of neural networks for NP-hard optimization problems},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {54},
PAGES = {317-322},
YEAR = {1995},
PUBLISHER = {North-Holland Publishing Company},
ADDRESS = {Amsterdam-New York-Oxford-Tokyo},
}
@article{Schmeiser-Barnard/95,
AUTHOR = {Schmeiser, James P. and Barnard, David T.},
TITLE = {Producing a top-down parse order with bottom-up parsing},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {54},
PAGES = {323-326},
YEAR = {1995},
PUBLISHER = {North-Holland Publishing Company},
ADDRESS = {Amsterdam-New York-Oxford-Tokyo},
}
@article{Desel-Kindler-Vesper-Walter/95,
AUTHOR = {Desel, J{\"o}rg and Kindler, Ekkart and Vesper, Tobias and Walter, Rolf},
TITLE = {A simplified proof for a self-stabilizing protocol: A game of cards},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {54},
PAGES = {327-328},
YEAR = {1995},
PUBLISHER = {North-Holland Publishing Company},
ADDRESS = {Amsterdam-New York-Oxford-Tokyo},
}
@article{Vadapalli-Srimani/95,
AUTHOR = {Vadapalli, Premkumar and Srimani, Pradip K.},
TITLE = {Trivalent Cayley graphs for interconnection networks},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {54},
PAGES = {329-335},
YEAR = {1995},
PUBLISHER = {North-Holland Publishing Company},
ADDRESS = {Amsterdam-New York-Oxford-Tokyo},
}
@article{Alon-Mansour/95,
AUTHOR = {Alon, Noga and Mansour, Yishay},
TITLE = {$\varepsilon$-discrepancy sets and their application for interpolation of sparse polynomials},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {54},
PAGES = {337-342},
YEAR = {1995},
PUBLISHER = {North-Holland Publishing Company},
ADDRESS = {Amsterdam-New York-Oxford-Tokyo},
}
@article{Laroussinie/95,
AUTHOR = {Laroussinie, F.},
TITLE = {About the expressive power of $CTL$ combinators},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {54},
PAGES = {343-345},
YEAR = {1995},
PUBLISHER = {North-Holland Publishing Company},
ADDRESS = {Amsterdam-New York-Oxford-Tokyo},
}
@article{Litow/95,
AUTHOR = {Litow, B.},
TITLE = {The influence of graph structure on generalized dimension exchange},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {54},
PAGES = {347-353},
YEAR = {1995},
PUBLISHER = {North-Holland Publishing Company},
ADDRESS = {Amsterdam-New York-Oxford-Tokyo},
}
@article{Oyang/95,
AUTHOR = {Oyang, Yen-Jen},
TITLE = {A tight upper bound of the lumped disk seek time for the Scan disk scheduling policy},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {54},
PAGES = {355-358},
YEAR = {1995},
PUBLISHER = {North-Holland Publishing Company},
ADDRESS = {Amsterdam-New York-Oxford-Tokyo},
}
@article{Jain/95,
AUTHOR = {Jain, Sanjay},
TITLE = {On a question about learning nearly minimal programs},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {53},
PAGES = {1-4},
YEAR = {1995},
PUBLISHER = {North-Holland Publishing Company},
ADDRESS = {Amsterdam-New York-Oxford-Tokyo},
}
@article{Franzle-Stengel-Wittmuss/95,
AUTHOR = {Fr{\"a}nzle, Martin and Stengel, Bernhard von and Wittm{\"u}ss, Arne},
TITLE = {A generalized notion of semantic independence},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {53},
PAGES = {5-9},
YEAR = {1995},
PUBLISHER = {North-Holland Publishing Company},
ADDRESS = {Amsterdam-New York-Oxford-Tokyo},
}
@article{Monti-Roncato/95,
AUTHOR = {Monti, Angelo and Roncato, Alessandro},
TITLE = {Completeness results concerning systolic tree automata and E0L languages},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {53},
PAGES = {11-16},
YEAR = {1995},
PUBLISHER = {North-Holland Publishing Company},
ADDRESS = {Amsterdam-New York-Oxford-Tokyo},
}
@article{Canetti-Even-Goldreich/95,
AUTHOR = {Canetti, Ran and Even, Guy and Goldreich, Oded},
TITLE = {Lower bounds for sampling algorithms for estimating the average},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {53},
PAGES = {17-25},
YEAR = {1995},
PUBLISHER = {North-Holland Publishing Company},
ADDRESS = {Amsterdam-New York-Oxford-Tokyo},
}
@article{Clementi-Impagliazzo/95,
AUTHOR = {Clementi, Andrea and Impagliazzo, Russell},
TITLE = {The reachability problem for finite cellular automata},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {53},
PAGES = {27-31},
YEAR = {1995},
PUBLISHER = {North-Holland Publishing Company},
ADDRESS = {Amsterdam-New York-Oxford-Tokyo},
}
@article{Kulasinghe-Bettayeb/95,
AUTHOR = {Kulasinghe, Priyalal and Bettayeb, Said},
TITLE = {Multiply-twisted hypercube with five or more dimensions is not vertex-transitive},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {53},
PAGES = {33-36},
YEAR = {1995},
PUBLISHER = {North-Holland Publishing Company},
ADDRESS = {Amsterdam-New York-Oxford-Tokyo},
}
@article{Aggarwal-Jain-Gupta/95,
AUTHOR = {Aggarwal, C.C. and Jain, N. and Gupta, P.},
TITLE = {An efficient selection algorithm on the pyramid},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {53},
PAGES = {37-47},
YEAR = {1995},
PUBLISHER = {North-Holland Publishing Company},
ADDRESS = {Amsterdam-New York-Oxford-Tokyo},
}
@article{Zheng/95a,
AUTHOR = {Zheng, Yuliang},
TITLE = {On key agreement protocols based on tamper-proof hardware},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {53},
PAGES = {49-54},
YEAR = {1995},
PUBLISHER = {North-Holland Publishing Company},
ADDRESS = {Amsterdam-New York-Oxford-Tokyo},
}
@article{Chang-Hsu/95,
AUTHOR = {Chang, Yung-Cheng and Hsu, Lih-Hsing},
TITLE = {Element perturbation problems of optimum spanning trees with two-parameter objectives},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {53},
PAGES = {55-59},
YEAR = {1995},
PUBLISHER = {North-Holland Publishing Company},
ADDRESS = {Amsterdam-New York-Oxford-Tokyo},
}
@article{Russell-Sundaram/95,
AUTHOR = {Russell, Alexander and Sundaram, Ravi},
TITLE = {The relativized relationship between probabilistically checkable debate systems, IP and PSPACE},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {53},
PAGES = {61-68},
YEAR = {1995},
PUBLISHER = {North-Holland Publishing Company},
ADDRESS = {Amsterdam-New York-Oxford-Tokyo},
}
@article{Fischer/95,
AUTHOR = {Fischer, S.T.},
TITLE = {A note on the complexity of local search problems},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {53},
PAGES = {69-75},
YEAR = {1995},
PUBLISHER = {North-Holland Publishing Company},
ADDRESS = {Amsterdam-New York-Oxford-Tokyo},
}
@article{Kurosawa-Okada-Tsujii/95,
AUTHOR = {Kurosawa, Kaoru and Okada, Koji and Tsujii, Shigeo},
TITLE = {Low exponent attack against elliptic curve RSA},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {53},
PAGES = {77-83},
YEAR = {1995},
PUBLISHER = {North-Holland Publishing Company},
ADDRESS = {Amsterdam-New York-Oxford-Tokyo},
}
@article{Ang-Tan/95,
AUTHOR = {Ang, Chuan-Heng and Tan, Kok-Phuang},
TITLE = {The interval $B$-tree},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {53},
PAGES = {85-89},
YEAR = {1995},
PUBLISHER = {North-Holland Publishing Company},
ADDRESS = {Amsterdam-New York-Oxford-Tokyo},
}
@article{Lim-Lee/95,
AUTHOR = {Lim, Chae Hoon and Lee, Pil Joong},
TITLE = {Several practical protocols for authentication and key exchange},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {53},
PAGES = {91-96},
YEAR = {1995},
PUBLISHER = {North-Holland Publishing Company},
ADDRESS = {Amsterdam-New York-Oxford-Tokyo},
}
@article{Hwang-Chen/95,
AUTHOR = {Hwang, Tzonelih and Chen, Yung-Hsiang},
TITLE = {On the security of SPLICE/AS --- The authentication system in WIDE Internet},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {53},
PAGES = {97-101},
YEAR = {1995},
PUBLISHER = {North-Holland Publishing Company},
ADDRESS = {Amsterdam-New York-Oxford-Tokyo},
}
@article{Hwang-Lee-Li-Ko-Chen/95,
AUTHOR = {Hwang, Tzonelih and Lee, Narn-Yih and Li, Chuan-Ming and Ko, Ming-Yung and Chen, Yung-Hsiang},
TITLE = {Two attacks on Neuman-Stubblebine authentication protocols},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {53},
PAGES = {103-107},
YEAR = {1995},
PUBLISHER = {North-Holland Publishing Company},
ADDRESS = {Amsterdam-New York-Oxford-Tokyo},
}
@article{Hassin-Tamir/95,
AUTHOR = {Hassin, Refael and Tamir, Arie},
TITLE = {On the minimum diameter spanning tree problem},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {53},
PAGES = {109-111},
YEAR = {1995},
PUBLISHER = {North-Holland Publishing Company},
ADDRESS = {Amsterdam-New York-Oxford-Tokyo},
}
@article{Wolfson-Jajodia/95,
AUTHOR = {Wolfson, Ouri and Jajodia, Sushil},
TITLE = {An algorithm for dynamic data allocation in distributed systems},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {53},
PAGES = {113-119},
YEAR = {1995},
PUBLISHER = {North-Holland Publishing Company},
ADDRESS = {Amsterdam-New York-Oxford-Tokyo},
}
@article{von_Karger-Hoare/95,
AUTHOR = {von Karger, Burghard and Hoare, C.A.R.},
TITLE = {Sequential calculus},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {53},
PAGES = {123-130},
YEAR = {1995},
PUBLISHER = {North-Holland Publishing Company},
ADDRESS = {Amsterdam-New York-Oxford-Tokyo},
}
@article{Group/95,
AUTHOR = {Group, Mathematics of Program Construction},
TITLE = {Fixed-point calculus},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {53},
PAGES = {131-136},
YEAR = {1995},
PUBLISHER = {North-Holland Publishing Company},
ADDRESS = {Amsterdam-New York-Oxford-Tokyo},
}
@article{Club/95,
AUTHOR = {Club, The Eindhoven Tuesday Afternoon},
TITLE = {Constructing the Galois adjoint},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {53},
PAGES = {137-139},
YEAR = {1995},
PUBLISHER = {North-Holland Publishing Company},
ADDRESS = {Amsterdam-New York-Oxford-Tokyo},
}
@article{Dijkstra/95,
AUTHOR = {Dijkstra, Edsger W.},
TITLE = {Heuristics for a calculational proof},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {53},
PAGES = {141-143},
YEAR = {1995},
PUBLISHER = {North-Holland Publishing Company},
ADDRESS = {Amsterdam-New York-Oxford-Tokyo},
}
@article{Gries-Schneider/95,
AUTHOR = {Gries, David and Schneider, Fred B.},
TITLE = {Equational propositional logic},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {53},
PAGES = {145-152},
YEAR = {1995},
PUBLISHER = {North-Holland Publishing Company},
ADDRESS = {Amsterdam-New York-Oxford-Tokyo},
}
@article{Kornerup/95,
AUTHOR = {Kornerup, Jacob},
TITLE = {Mapping a functional notation for parallel programs onto hypercubes},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {53},
PAGES = {153-158},
YEAR = {1995},
PUBLISHER = {North-Holland Publishing Company},
ADDRESS = {Amsterdam-New York-Oxford-Tokyo},
}
@article{Leino/95,
AUTHOR = {Leino, K.R.M.},
TITLE = {Constructing a program with exceptions},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {53},
PAGES = {159-163},
YEAR = {1995},
PUBLISHER = {North-Holland Publishing Company},
ADDRESS = {Amsterdam-New York-Oxford-Tokyo},
}
@article{Back-Wright/95,
AUTHOR = {Back, R.J.R. and Wright, J. von},
TITLE = {Games and winning strategies},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {53},
PAGES = {165-172},
YEAR = {1995},
PUBLISHER = {North-Holland Publishing Company},
ADDRESS = {Amsterdam-New York-Oxford-Tokyo},
}
@article{Subramanian/95a,
AUTHOR = {Subramanian, Ashok},
TITLE = {A polynomial bound on the number of light cycles in an undirected graph},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {53},
PAGES = {173-176},
YEAR = {1995},
PUBLISHER = {North-Holland Publishing Company},
ADDRESS = {Amsterdam-New York-Oxford-Tokyo},
}
@article{Boland-Urrutia/95,
AUTHOR = {Boland, Ralph P. and Urrutia, Jorge},
TITLE = {Separating collections of points in Euclidean spaces},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {53},
PAGES = {177-183},
YEAR = {1995},
PUBLISHER = {North-Holland Publishing Company},
ADDRESS = {Amsterdam-New York-Oxford-Tokyo},
NOTE = {see Corrigendum in Inf.~Process.~Lett.\ 54, 359},
}
@article{Tu-Smith/95,
AUTHOR = {Tu, Hsieh-Chang and Smith, Carl H.},
TITLE = {Training digraphs},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {53},
PAGES = {185-192},
YEAR = {1995},
PUBLISHER = {North-Holland Publishing Company},
ADDRESS = {Amsterdam-New York-Oxford-Tokyo},
}
@article{Gupta/95,
AUTHOR = {Gupta, Rajiv},
TITLE = {Generalized dominators},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {53},
PAGES = {193-200},
YEAR = {1995},
PUBLISHER = {North-Holland Publishing Company},
ADDRESS = {Amsterdam-New York-Oxford-Tokyo},
}
@article{De_Prisco-Persiano/95,
AUTHOR = {De Prisco, Roberto and Persiano, Giuseppe},
TITLE = {Characteristic inequalities for binary trees},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {53},
PAGES = {201-207},
YEAR = {1995},
PUBLISHER = {North-Holland Publishing Company},
ADDRESS = {Amsterdam-New York-Oxford-Tokyo},
}
@article{Kucherov-Rusinowitch/95,
AUTHOR = {Kucherov, Gregory and Rusinowitch, Micha{\"e}l},
TITLE = {Undecidability of ground reducibility for word rewriting systems with variables},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {53},
PAGES = {209-215},
YEAR = {1995},
PUBLISHER = {North-Holland Publishing Company},
ADDRESS = {Amsterdam-New York-Oxford-Tokyo},
}
@article{Matousek/95,
AUTHOR = {Matou{\v{s}}ek, Ji{\v{r}}{\'{i}}},
TITLE = {On enclosing $k$ points by a circle},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {53},
PAGES = {217-221},
YEAR = {1995},
PUBLISHER = {North-Holland Publishing Company},
ADDRESS = {Amsterdam-New York-Oxford-Tokyo},
}
@article{Ohlebusch/95,
AUTHOR = {Ohlebusch, Enno},
TITLE = {Termination is not modular for confluent variable-preserving term rewriting systems},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {53},
PAGES = {223-228},
YEAR = {1995},
PUBLISHER = {North-Holland Publishing Company},
ADDRESS = {Amsterdam-New York-Oxford-Tokyo},
}
@article{Likas-Stafylopatis/95,
AUTHOR = {Likas, Aristidis and Stafylopatis, Andreas},
TITLE = {A parallel algorithm for the minimum weighted vertex cover problem},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {53},
PAGES = {229-234},
YEAR = {1995},
PUBLISHER = {North-Holland Publishing Company},
ADDRESS = {Amsterdam-New York-Oxford-Tokyo},
}
@article{Otto/95,
AUTHOR = {Otto, Friedrich},
TITLE = {Solvability of word equations modulo finite special and confluent string-rewriting systems is undecidable in general},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {53},
PAGES = {237-242},
YEAR = {1995},
PUBLISHER = {North-Holland Publishing Company},
ADDRESS = {Amsterdam-New York-Oxford-Tokyo},
}
@article{Laih-Tu-Tai/95,
AUTHOR = {Laih, Chi-Sung and Tu, Fu-Kuan and Tai, Wen-Chung},
TITLE = {On the security of the Lucas function},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {53},
PAGES = {243-247},
YEAR = {1995},
PUBLISHER = {North-Holland Publishing Company},
ADDRESS = {Amsterdam-New York-Oxford-Tokyo},
}
@article{Davis-Burns/95,
AUTHOR = {Davis, Robert and Burns, Alan},
TITLE = {Optimal priority assignment for aperiodic tasks with firm deadlines in fixed priority pre-emptive systems},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {53},
PAGES = {249-254},
YEAR = {1995},
PUBLISHER = {North-Holland Publishing Company},
ADDRESS = {Amsterdam-New York-Oxford-Tokyo},
}
@article{Heydemann-Sotteau/95,
AUTHOR = {Heydemann, M.C. and Sotteau, D.},
TITLE = {A note on recursive properties of the de Bruijn, Kautz and FFT digraphs},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {53},
PAGES = {255-259},
YEAR = {1995},
PUBLISHER = {North-Holland Publishing Company},
ADDRESS = {Amsterdam-New York-Oxford-Tokyo},
}
@article{Barbosa-Porto/95,
AUTHOR = {Barbosa, Valmir C. and Porto, Stella C.S.},
TITLE = {An algorithm for FIFO message delivery among migrating tasks},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {53},
PAGES = {261-267},
YEAR = {1995},
PUBLISHER = {North-Holland Publishing Company},
ADDRESS = {Amsterdam-New York-Oxford-Tokyo},
}
@article{Tokuda-Watanabe/95,
AUTHOR = {Tokuda, Takehiro and Watanabe, Yoshimichi},
TITLE = {An efficient semantic evaluator for warped LC(1) attributed grammars},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {53},
PAGES = {269-276},
YEAR = {1995},
PUBLISHER = {North-Holland Publishing Company},
ADDRESS = {Amsterdam-New York-Oxford-Tokyo},
}
@article{Hamdi/95a,
AUTHOR = {Hamdi, Mounir},
TITLE = {Topological properties of the directional hypercube},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {53},
PAGES = {277-286},
YEAR = {1995},
PUBLISHER = {North-Holland Publishing Company},
ADDRESS = {Amsterdam-New York-Oxford-Tokyo},
}
@article{Veloso-Maibaum/95,
AUTHOR = {Veloso, Paulo A.S. and Maibaum, Thomas S.E.},
TITLE = {On the modularization theorem for logical specifications},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {53},
PAGES = {287-293},
YEAR = {1995},
PUBLISHER = {North-Holland Publishing Company},
ADDRESS = {Amsterdam-New York-Oxford-Tokyo},
}
@article{Steiger-Streinu/95,
AUTHOR = {Steiger, William and Streinu, Ileana},
TITLE = {A pseudo-algorithmic separation of lines from pseudo-lines},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {53},
PAGES = {295-299},
YEAR = {1995},
PUBLISHER = {North-Holland Publishing Company},
ADDRESS = {Amsterdam-New York-Oxford-Tokyo},
}
@article{Spiliopoulou-Cotronis-Hatzopoulos/95,
AUTHOR = {Spiliopoulou, Myra and Cotronis, Yannis and Hatzopoulos, Michael},
TITLE = {Query processing for multimedia applications on optical media},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {53},
PAGES = {301-306},
YEAR = {1995},
PUBLISHER = {North-Holland Publishing Company},
ADDRESS = {Amsterdam-New York-Oxford-Tokyo},
}
@article{May-Lunn/95,
AUTHOR = {May, J.H.R. and Lunn, A.D.},
TITLE = {New statistics for demand-based software testing},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {53},
PAGES = {307-314},
YEAR = {1995},
PUBLISHER = {North-Holland Publishing Company},
ADDRESS = {Amsterdam-New York-Oxford-Tokyo},
}
@article{Macarie/95,
AUTHOR = {Macarie, Ioan I.},
TITLE = {Decreasing the bandwidth of a transition matrix},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {53},
PAGES = {315-320},
YEAR = {1995},
PUBLISHER = {North-Holland Publishing Company},
ADDRESS = {Amsterdam-New York-Oxford-Tokyo},
}
@article{Goldmann/95,
AUTHOR = {Goldmann, Mikael},
TITLE = {A note on the power of majority gates and modular gates},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {53},
PAGES = {321-327},
YEAR = {1995},
PUBLISHER = {North-Holland Publishing Company},
ADDRESS = {Amsterdam-New York-Oxford-Tokyo},
}
@article{Dijkstra/95a,
AUTHOR = {Dijkstra, Rutger M.},
TITLE = {An experiment with the use of predicate transformers in UNITY},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {53},
PAGES = {329-332},
YEAR = {1995},
PUBLISHER = {North-Holland Publishing Company},
ADDRESS = {Amsterdam-New York-Oxford-Tokyo},
}
@article{Natu-Fang/95,
AUTHOR = {Natu, Madan and Fang, Shu-Cheng},
TITLE = {On the point-to-point connection problem},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {53},
PAGES = {333-336},
YEAR = {1995},
PUBLISHER = {North-Holland Publishing Company},
ADDRESS = {Amsterdam-New York-Oxford-Tokyo},
}
@article{Otto/95a,
AUTHOR = {Otto, Martin},
TITLE = {A note on the number of monadic quantifiers in monadic $\Sigma^1_1$},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {53},
PAGES = {337-339},
YEAR = {1995},
PUBLISHER = {North-Holland Publishing Company},
ADDRESS = {Amsterdam-New York-Oxford-Tokyo},
}
@article{Valmari/95,
AUTHOR = {Valmari, Antti},
TITLE = {The weakest deadlock-preserving congruence},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {53},
PAGES = {341-346},
YEAR = {1995},
PUBLISHER = {North-Holland Publishing Company},
ADDRESS = {Amsterdam-New York-Oxford-Tokyo},
}
@article{OConnor/95,
AUTHOR = {O'Connor, Luke},
TITLE = {A new lower bound on the expected size of irredundant forms for Boolean functions},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {53},
PAGES = {347-353},
YEAR = {1995},
PUBLISHER = {North-Holland Publishing Company},
ADDRESS = {Amsterdam-New York-Oxford-Tokyo},
}
@article{El-Yaniv-Kleinberg/95,
AUTHOR = {El-Yaniv, Ran and Kleinberg, Jon},
TITLE = {Geometric two-server algorithms},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {53},
PAGES = {355-358},
YEAR = {1995},
PUBLISHER = {North-Holland Publishing Company},
ADDRESS = {Amsterdam-New York-Oxford-Tokyo},
}
@article{Kim-Park-Choi-Shin-Chwa/95,
AUTHOR = {Kim, Sung-Ho and Park, Jung-Heum and Choi, Seung-Hak and Shin, Sung Yong and Chwa, Kyung-Yong},
TITLE = {An optimal algorithm for finding the edge visibility polygon under limited visibility},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {53},
PAGES = {359-365},
YEAR = {1995},
PUBLISHER = {North-Holland Publishing Company},
ADDRESS = {Amsterdam-New York-Oxford-Tokyo},
}