@incollection{Miyano/95, AUTHOR = {Miyano, Satoru}, TITLE = {Algorithmic problems arising from genome informatics}, BOOKTITLE = {Proceedings of the 6th International Symposium on Algorithms and Computation, ISAAC'95 (Cairns, Australia, December 4-6, 1995)}, SERIES = {LNCS}, VOLUME = {1004}, PAGES = {1-1}, YEAR = {1995}, EDITOR = {Staples, John and Eades, Peter and Katho, Naoki and Moffat, Alistair}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Santa Clara-Singapore-Tokyo}, } @incollection{Shimozono/95, AUTHOR = {Shimozono, Shinichi}, TITLE = {An approximation algorithm for alphabet indexing problem}, BOOKTITLE = {Proceedings of the 6th International Symposium on Algorithms and Computation, ISAAC'95 (Cairns, Australia, December 4-6, 1995)}, SERIES = {LNCS}, VOLUME = {1004}, PAGES = {2-11}, YEAR = {1995}, EDITOR = {Staples, John and Eades, Peter and Katho, Naoki and Moffat, Alistair}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Santa Clara-Singapore-Tokyo}, } @incollection{Katajainen-Moffat-Turpin/95, AUTHOR = {Katajainen, Jyrki and Moffat, Alistair and Turpin, Andrew}, TITLE = {A fast and space-economical algorithm for length-limited coding}, BOOKTITLE = {Proceedings of the 6th International Symposium on Algorithms and Computation, ISAAC'95 (Cairns, Australia, December 4-6, 1995)}, SERIES = {LNCS}, VOLUME = {1004}, PAGES = {12-21}, YEAR = {1995}, EDITOR = {Staples, John and Eades, Peter and Katho, Naoki and Moffat, Alistair}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Santa Clara-Singapore-Tokyo}, } @incollection{Bhattacharya-Mukhopadhyay/95, AUTHOR = {Bhattacharya, Binay K. and Mukhopadhyay, Asish}, TITLE = {Computing in linear time a chord from which a simple polygon is weakly internally visible}, BOOKTITLE = {Proceedings of the 6th International Symposium on Algorithms and Computation, ISAAC'95 (Cairns, Australia, December 4-6, 1995)}, SERIES = {LNCS}, VOLUME = {1004}, PAGES = {22-31}, YEAR = {1995}, EDITOR = {Staples, John and Eades, Peter and Katho, Naoki and Moffat, Alistair}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Santa Clara-Singapore-Tokyo}, } @incollection{Datta-Hipke-Schuierer/95, AUTHOR = {Datta, Amitava and Hipke, Christoph A. and Schuierer, Sven}, TITLE = {Competitive searching in polygons --- Beyond generalised streets}, BOOKTITLE = {Proceedings of the 6th International Symposium on Algorithms and Computation, ISAAC'95 (Cairns, Australia, December 4-6, 1995)}, SERIES = {LNCS}, VOLUME = {1004}, PAGES = {32-41}, YEAR = {1995}, EDITOR = {Staples, John and Eades, Peter and Katho, Naoki and Moffat, Alistair}, URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=1004&spage=32}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Santa Clara-Singapore-Tokyo}, } @incollection{Kusakari-Suzuki-Nishizeki/95, AUTHOR = {Kusakari, Yoshiyuki and Suzuki, Hitoshi and Nishizeki, Takao}, TITLE = {Finding a shortest pair of paths on the plane with obstacles and crossing areas}, BOOKTITLE = {Proceedings of the 6th International Symposium on Algorithms and Computation, ISAAC'95 (Cairns, Australia, December 4-6, 1995)}, SERIES = {LNCS}, VOLUME = {1004}, PAGES = {42-51}, YEAR = {1995}, EDITOR = {Staples, John and Eades, Peter and Katho, Naoki and Moffat, Alistair}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Santa Clara-Singapore-Tokyo}, } @incollection{Lokam-Mahajan-Vinay/95, AUTHOR = {Lokam, Satyanarayana V. and Mahajan, Meena and Vinay, V.}, TITLE = {Logspace verifiers, $NC$, and $NP$}, BOOKTITLE = {Proceedings of the 6th International Symposium on Algorithms and Computation, ISAAC'95 (Cairns, Australia, December 4-6, 1995)}, SERIES = {LNCS}, VOLUME = {1004}, PAGES = {52-61}, YEAR = {1995}, EDITOR = {Staples, John and Eades, Peter and Katho, Naoki and Moffat, Alistair}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Santa Clara-Singapore-Tokyo}, } @incollection{Karg-Schuler/95, AUTHOR = {Karg, Christoph and Schuler, Rainer}, TITLE = {Structure in average case complexity}, BOOKTITLE = {Proceedings of the 6th International Symposium on Algorithms and Computation, ISAAC'95 (Cairns, Australia, December 4-6, 1995)}, SERIES = {LNCS}, VOLUME = {1004}, PAGES = {62-71}, YEAR = {1995}, EDITOR = {Staples, John and Eades, Peter and Katho, Naoki and Moffat, Alistair}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Santa Clara-Singapore-Tokyo}, } @incollection{Chien-Steiger/95, AUTHOR = {Chien, Hank and Steiger, William}, TITLE = {Some geometric lower bounds}, BOOKTITLE = {Proceedings of the 6th International Symposium on Algorithms and Computation, ISAAC'95 (Cairns, Australia, December 4-6, 1995)}, SERIES = {LNCS}, VOLUME = {1004}, PAGES = {72-81}, YEAR = {1995}, EDITOR = {Staples, John and Eades, Peter and Katho, Naoki and Moffat, Alistair}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Santa Clara-Singapore-Tokyo}, } @incollection{Arge/95a, AUTHOR = {Arge, Lars}, TITLE = {The I/O-complexity of ordered binary-decision diagram manipulation}, BOOKTITLE = {Proceedings of the 6th International Symposium on Algorithms and Computation, ISAAC'95 (Cairns, Australia, December 4-6, 1995)}, SERIES = {LNCS}, VOLUME = {1004}, PAGES = {82-91}, YEAR = {1995}, EDITOR = {Staples, John and Eades, Peter and Katho, Naoki and Moffat, Alistair}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Santa Clara-Singapore-Tokyo}, } @incollection{Frank-Ibaraki-Nagamochi/95, AUTHOR = {Frank, Andr{\'{a}}s and Ibaraki, Toshihide and Nagamochi, Hiroshi}, TITLE = {Two arc disjoint paths in Eulerian digraphs}, BOOKTITLE = {Proceedings of the 6th International Symposium on Algorithms and Computation, ISAAC'95 (Cairns, Australia, December 4-6, 1995)}, SERIES = {LNCS}, VOLUME = {1004}, PAGES = {92-101}, YEAR = {1995}, EDITOR = {Staples, John and Eades, Peter and Katho, Naoki and Moffat, Alistair}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Santa Clara-Singapore-Tokyo}, } @incollection{Asahiro-Iwama/95, AUTHOR = {Asahiro, Yuichi and Iwama, Kazuo}, TITLE = {Finding dense subgraphs}, BOOKTITLE = {Proceedings of the 6th International Symposium on Algorithms and Computation, ISAAC'95 (Cairns, Australia, December 4-6, 1995)}, SERIES = {LNCS}, VOLUME = {1004}, PAGES = {102-111}, YEAR = {1995}, EDITOR = {Staples, John and Eades, Peter and Katho, Naoki and Moffat, Alistair}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Santa Clara-Singapore-Tokyo}, } @incollection{Gupta-Nishimura/95b, AUTHOR = {Gupta, Arvind and Nishimura, Naomi}, TITLE = {Finding smallest supertrees}, BOOKTITLE = {Proceedings of the 6th International Symposium on Algorithms and Computation, ISAAC'95 (Cairns, Australia, December 4-6, 1995)}, SERIES = {LNCS}, VOLUME = {1004}, PAGES = {112-121}, YEAR = {1995}, EDITOR = {Staples, John and Eades, Peter and Katho, Naoki and Moffat, Alistair}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Santa Clara-Singapore-Tokyo}, } @incollection{Chang/95, AUTHOR = {Chang, Maw-Shang}, TITLE = {Weighted domination on cocomparability graphs}, BOOKTITLE = {Proceedings of the 6th International Symposium on Algorithms and Computation, ISAAC'95 (Cairns, Australia, December 4-6, 1995)}, SERIES = {LNCS}, VOLUME = {1004}, PAGES = {122-131}, YEAR = {1995}, EDITOR = {Staples, John and Eades, Peter and Katho, Naoki and Moffat, Alistair}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Santa Clara-Singapore-Tokyo}, } @incollection{Andreev-Clementi-Crescenzi-Dahlhaus-Agostino-Rolim/95, AUTHOR = {Andreev, A.E. and Clementi, A. and Crescenzi, P. and Dahlhaus, E. and Agostino, S. de and Rolim, J.D.P.}, TITLE = {The parallel complexity of approximatiing the high degree subgraph problem}, BOOKTITLE = {Proceedings of the 6th International Symposium on Algorithms and Computation, ISAAC'95 (Cairns, Australia, December 4-6, 1995)}, SERIES = {LNCS}, VOLUME = {1004}, PAGES = {132-141}, YEAR = {1995}, EDITOR = {Staples, John and Eades, Peter and Katho, Naoki and Moffat, Alistair}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Santa Clara-Singapore-Tokyo}, } @incollection{Bafna-Berman-Fujito/95, AUTHOR = {Bafna, Vineet and Berman, Piotr and Fujito, Toshihiro}, TITLE = {Constant ratio approximations of the weighted feedback vertex set problem for undirected graphs}, BOOKTITLE = {Proceedings of the 6th International Symposium on Algorithms and Computation, ISAAC'95 (Cairns, Australia, December 4-6, 1995)}, SERIES = {LNCS}, VOLUME = {1004}, PAGES = {142-151}, YEAR = {1995}, EDITOR = {Staples, John and Eades, Peter and Katho, Naoki and Moffat, Alistair}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Santa Clara-Singapore-Tokyo}, } @incollection{Halldorsson-Yoshihara/95, AUTHOR = {Halld{\'{o}}rsson, Magn{\'{u}}s M. and Yoshihara, Kiyohito}, TITLE = {Greedy approximations of independent sets in low degree graphs}, BOOKTITLE = {Proceedings of the 6th International Symposium on Algorithms and Computation, ISAAC'95 (Cairns, Australia, December 4-6, 1995)}, SERIES = {LNCS}, VOLUME = {1004}, PAGES = {152-161}, YEAR = {1995}, EDITOR = {Staples, John and Eades, Peter and Katho, Naoki and Moffat, Alistair}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Santa Clara-Singapore-Tokyo}, } @incollection{Crossley/95, AUTHOR = {Crossley, John N.}, TITLE = {Practical logic}, BOOKTITLE = {Proceedings of the 6th International Symposium on Algorithms and Computation, ISAAC'95 (Cairns, Australia, December 4-6, 1995)}, SERIES = {LNCS}, VOLUME = {1004}, PAGES = {162-162}, YEAR = {1995}, EDITOR = {Staples, John and Eades, Peter and Katho, Naoki and Moffat, Alistair}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Santa Clara-Singapore-Tokyo}, } @incollection{Ono-Hirata-Asano/95, AUTHOR = {Ono, Takao and Hirata, Tomio and Asano, Takao}, TITLE = {An approximation algorithm for MAX 3-SAT}, BOOKTITLE = {Proceedings of the 6th International Symposium on Algorithms and Computation, ISAAC'95 (Cairns, Australia, December 4-6, 1995)}, SERIES = {LNCS}, VOLUME = {1004}, PAGES = {163-170}, YEAR = {1995}, EDITOR = {Staples, John and Eades, Peter and Katho, Naoki and Moffat, Alistair}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Santa Clara-Singapore-Tokyo}, } @incollection{Tani-Yamazaki/95, AUTHOR = {Tani, Sei'ichi and Yamazaki, Koichi}, TITLE = {Learning of restricted RNLC graph languages}, BOOKTITLE = {Proceedings of the 6th International Symposium on Algorithms and Computation, ISAAC'95 (Cairns, Australia, December 4-6, 1995)}, SERIES = {LNCS}, VOLUME = {1004}, PAGES = {171-180}, YEAR = {1995}, EDITOR = {Staples, John and Eades, Peter and Katho, Naoki and Moffat, Alistair}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Santa Clara-Singapore-Tokyo}, } @incollection{Papadimitriou-Ramanathan-Rangan/95, AUTHOR = {Papadimitriou, Christos H. and Ramanathan, Srinivas and Rangan, P. Venkat}, TITLE = {Optimal information delivery}, BOOKTITLE = {Proceedings of the 6th International Symposium on Algorithms and Computation, ISAAC'95 (Cairns, Australia, December 4-6, 1995)}, SERIES = {LNCS}, VOLUME = {1004}, PAGES = {181-187}, YEAR = {1995}, EDITOR = {Staples, John and Eades, Peter and Katho, Naoki and Moffat, Alistair}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Santa Clara-Singapore-Tokyo}, } @incollection{Santoro-Ren-Nayak/95, AUTHOR = {Santoro, N. and Ren, J. and Nayak, A.}, TITLE = {On the complexity of testing for catastrophic faults}, BOOKTITLE = {Proceedings of the 6th International Symposium on Algorithms and Computation, ISAAC'95 (Cairns, Australia, December 4-6, 1995)}, SERIES = {LNCS}, VOLUME = {1004}, PAGES = {188-197}, YEAR = {1995}, EDITOR = {Staples, John and Eades, Peter and Katho, Naoki and Moffat, Alistair}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Santa Clara-Singapore-Tokyo}, } @incollection{Kwon-Chwa/95, AUTHOR = {Kwon, Oh-Heum and Chwa, Kyung-Yong}, TITLE = {Scheduling parallel tasks with individual deadlines}, BOOKTITLE = {Proceedings of the 6th International Symposium on Algorithms and Computation, ISAAC'95 (Cairns, Australia, December 4-6, 1995)}, SERIES = {LNCS}, VOLUME = {1004}, PAGES = {198-207}, YEAR = {1995}, EDITOR = {Staples, John and Eades, Peter and Katho, Naoki and Moffat, Alistair}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Santa Clara-Singapore-Tokyo}, } @incollection{von_zur_Gathen-Shparlinski/95a, AUTHOR = {von zur Gathen, Joachim and Shparlinski, Igor}, TITLE = {Orders of Gauss periods in finite fields}, BOOKTITLE = {Proceedings of the 6th International Symposium on Algorithms and Computation, ISAAC'95 (Cairns, Australia, December 4-6, 1995)}, SERIES = {LNCS}, VOLUME = {1004}, PAGES = {208-215}, YEAR = {1995}, EDITOR = {Staples, John and Eades, Peter and Katho, Naoki and Moffat, Alistair}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Santa Clara-Singapore-Tokyo}, } @incollection{Havas-Majewski/95, AUTHOR = {Havas, George and Majewski, B.S.}, TITLE = {A hard problem that is almost always easy}, BOOKTITLE = {Proceedings of the 6th International Symposium on Algorithms and Computation, ISAAC'95 (Cairns, Australia, December 4-6, 1995)}, SERIES = {LNCS}, VOLUME = {1004}, PAGES = {216-223}, YEAR = {1995}, EDITOR = {Staples, John and Eades, Peter and Katho, Naoki and Moffat, Alistair}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Santa Clara-Singapore-Tokyo}, } @incollection{Sekine-Imai-Tani/95, AUTHOR = {Sekine, Kyoko and Imai, Hiroshi and Tani, Seiichiro}, TITLE = {Computing the Tutte polynomial of a graph of moderate size}, BOOKTITLE = {Proceedings of the 6th International Symposium on Algorithms and Computation, ISAAC'95 (Cairns, Australia, December 4-6, 1995)}, SERIES = {LNCS}, VOLUME = {1004}, PAGES = {224-233}, YEAR = {1995}, EDITOR = {Staples, John and Eades, Peter and Katho, Naoki and Moffat, Alistair}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Santa Clara-Singapore-Tokyo}, } @incollection{Dedorath-Gergov-Hagerup/95, AUTHOR = {Dedorath, J{\"u}rgen and Gergov, Jordan and Hagerup, Torben}, TITLE = {More efficient parallel flow algorithms}, BOOKTITLE = {Proceedings of the 6th International Symposium on Algorithms and Computation, ISAAC'95 (Cairns, Australia, December 4-6, 1995)}, SERIES = {LNCS}, VOLUME = {1004}, PAGES = {234-243}, YEAR = {1995}, EDITOR = {Staples, John and Eades, Peter and Katho, Naoki and Moffat, Alistair}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Santa Clara-Singapore-Tokyo}, } @incollection{Carlsson-Sundstrom/95, AUTHOR = {Carlsson, Svante and Sundstr{\"o}m, Mikael}, TITLE = {Linear-time in-place selection in less than $3n$ comparisons}, BOOKTITLE = {Proceedings of the 6th International Symposium on Algorithms and Computation, ISAAC'95 (Cairns, Australia, December 4-6, 1995)}, SERIES = {LNCS}, VOLUME = {1004}, PAGES = {244-253}, YEAR = {1995}, EDITOR = {Staples, John and Eades, Peter and Katho, Naoki and Moffat, Alistair}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Santa Clara-Singapore-Tokyo}, } @incollection{Carlsson-Chen/95a, AUTHOR = {Carlsson, Svante and Chen, Jingsen}, TITLE = {Heap construction: Optimal in both worst and average cases?}, BOOKTITLE = {Proceedings of the 6th International Symposium on Algorithms and Computation, ISAAC'95 (Cairns, Australia, December 4-6, 1995)}, SERIES = {LNCS}, VOLUME = {1004}, PAGES = {254-263}, YEAR = {1995}, EDITOR = {Staples, John and Eades, Peter and Katho, Naoki and Moffat, Alistair}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Santa Clara-Singapore-Tokyo}, } @incollection{Shi/95, AUTHOR = {Shi, Fei}, TITLE = {Fast approximate dictionary matching}, BOOKTITLE = {Proceedings of the 6th International Symposium on Algorithms and Computation, ISAAC'95 (Cairns, Australia, December 4-6, 1995)}, SERIES = {LNCS}, VOLUME = {1004}, PAGES = {264-273}, YEAR = {1995}, EDITOR = {Staples, John and Eades, Peter and Katho, Naoki and Moffat, Alistair}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Santa Clara-Singapore-Tokyo}, } @incollection{Hsu/95b, AUTHOR = {Hsu, Tsan-sheng}, TITLE = {Undirected vertex-connectivity structure and smallest four-vertex-connectivity augmentation}, BOOKTITLE = {Proceedings of the 6th International Symposium on Algorithms and Computation, ISAAC'95 (Cairns, Australia, December 4-6, 1995)}, SERIES = {LNCS}, VOLUME = {1004}, PAGES = {274-283}, YEAR = {1995}, EDITOR = {Staples, John and Eades, Peter and Katho, Naoki and Moffat, Alistair}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Santa Clara-Singapore-Tokyo}, } @incollection{Damaschke/95c, AUTHOR = {Damaschke, Peter}, TITLE = {Searching for a monotone function by independent treshold queries}, BOOKTITLE = {Proceedings of the 6th International Symposium on Algorithms and Computation, ISAAC'95 (Cairns, Australia, December 4-6, 1995)}, SERIES = {LNCS}, VOLUME = {1004}, PAGES = {284-290}, YEAR = {1995}, EDITOR = {Staples, John and Eades, Peter and Katho, Naoki and Moffat, Alistair}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Santa Clara-Singapore-Tokyo}, } @incollection{Makino-Ibaraki/95, AUTHOR = {Makino, Kazuhisa and Ibaraki, Toshihide}, TITLE = {A fast and simple algorithm for identifying 2-monotonic positive Boolean functions}, BOOKTITLE = {Proceedings of the 6th International Symposium on Algorithms and Computation, ISAAC'95 (Cairns, Australia, December 4-6, 1995)}, SERIES = {LNCS}, VOLUME = {1004}, PAGES = {291-300}, YEAR = {1995}, EDITOR = {Staples, John and Eades, Peter and Katho, Naoki and Moffat, Alistair}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Santa Clara-Singapore-Tokyo}, } @incollection{Yen-Jian-Lao/95, AUTHOR = {Yen, Hsu-Chun and Jian, Shi-Tsuen and Lao, Ta-Pang}, TITLE = {Deciding bisimulation and trace equivalences for systems with many identical processes}, BOOKTITLE = {Proceedings of the 6th International Symposium on Algorithms and Computation, ISAAC'95 (Cairns, Australia, December 4-6, 1995)}, SERIES = {LNCS}, VOLUME = {1004}, PAGES = {301-310}, YEAR = {1995}, EDITOR = {Staples, John and Eades, Peter and Katho, Naoki and Moffat, Alistair}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Santa Clara-Singapore-Tokyo}, } @incollection{Preparata/95, AUTHOR = {Preparata, Franco P.}, TITLE = {Should Amdahl's law be repealed?}, BOOKTITLE = {Proceedings of the 6th International Symposium on Algorithms and Computation, ISAAC'95 (Cairns, Australia, December 4-6, 1995)}, SERIES = {LNCS}, VOLUME = {1004}, PAGES = {311-311}, YEAR = {1995}, EDITOR = {Staples, John and Eades, Peter and Katho, Naoki and Moffat, Alistair}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Santa Clara-Singapore-Tokyo}, } @incollection{Hamada-Mei-Nishitani-Igarashi/95, AUTHOR = {Hamada, Yukihiro and Mei, Aohan and Nishitani, Yasuaki and Igarashi, Yoshihide}, TITLE = {Embeddings of hyper-rings in hypercubes}, BOOKTITLE = {Proceedings of the 6th International Symposium on Algorithms and Computation, ISAAC'95 (Cairns, Australia, December 4-6, 1995)}, SERIES = {LNCS}, VOLUME = {1004}, PAGES = {312-321}, YEAR = {1995}, EDITOR = {Staples, John and Eades, Peter and Katho, Naoki and Moffat, Alistair}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Santa Clara-Singapore-Tokyo}, } @incollection{Cheng-Tang/95, AUTHOR = {Cheng, Siu-Wing and Tang, Chi-Keung}, TITLE = {A fast algorithm for computing optimal rectilinear Steiner trees for extremal point sets}, BOOKTITLE = {Proceedings of the 6th International Symposium on Algorithms and Computation, ISAAC'95 (Cairns, Australia, December 4-6, 1995)}, SERIES = {LNCS}, VOLUME = {1004}, PAGES = {322-331}, YEAR = {1995}, EDITOR = {Staples, John and Eades, Peter and Katho, Naoki and Moffat, Alistair}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Santa Clara-Singapore-Tokyo}, } @incollection{Zhou-Nishizeki/95a, AUTHOR = {Zhou, Xiao and Nishizeki, Takao}, TITLE = {Algorithms for finding $f$-colorings of partial $k$-trees}, BOOKTITLE = {Proceedings of the 6th International Symposium on Algorithms and Computation, ISAAC'95 (Cairns, Australia, December 4-6, 1995)}, SERIES = {LNCS}, VOLUME = {1004}, PAGES = {332-341}, YEAR = {1995}, EDITOR = {Staples, John and Eades, Peter and Katho, Naoki and Moffat, Alistair}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Santa Clara-Singapore-Tokyo}, } @incollection{Cho-Zelikovsky/95, AUTHOR = {Cho, Hwan-Gue and Zelikovsky, Alexander}, TITLE = {Spanning closed trail and Hamiltonian cycle in grid graphs}, BOOKTITLE = {Proceedings of the 6th International Symposium on Algorithms and Computation, ISAAC'95 (Cairns, Australia, December 4-6, 1995)}, SERIES = {LNCS}, VOLUME = {1004}, PAGES = {342-351}, YEAR = {1995}, EDITOR = {Staples, John and Eades, Peter and Katho, Naoki and Moffat, Alistair}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Santa Clara-Singapore-Tokyo}, } @incollection{Hsu/95c, AUTHOR = {Hsu, Wen-Lian}, TITLE = {A linear time algorithm for finding maximal planar subgraphs}, BOOKTITLE = {Proceedings of the 6th International Symposium on Algorithms and Computation, ISAAC'95 (Cairns, Australia, December 4-6, 1995)}, SERIES = {LNCS}, VOLUME = {1004}, PAGES = {352-361}, YEAR = {1995}, EDITOR = {Staples, John and Eades, Peter and Katho, Naoki and Moffat, Alistair}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Santa Clara-Singapore-Tokyo}, } @incollection{Abello-Estivill-Castro-Shermer-Urrutia/95, AUTHOR = {Abello, James and Estivill-Castro, Vladimir and Shermer, Thomas and Urrutia, Jorge}, TITLE = {Illumination with orthogonal floodlights}, BOOKTITLE = {Proceedings of the 6th International Symposium on Algorithms and Computation, ISAAC'95 (Cairns, Australia, December 4-6, 1995)}, SERIES = {LNCS}, VOLUME = {1004}, PAGES = {362-371}, YEAR = {1995}, EDITOR = {Staples, John and Eades, Peter and Katho, Naoki and Moffat, Alistair}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Santa Clara-Singapore-Tokyo}, } @incollection{Bose-Toussaint/95a, AUTHOR = {Bose, Prosenjit and Toussaint, Godfried}, TITLE = {No quadrangulation is extremely odd}, BOOKTITLE = {Proceedings of the 6th International Symposium on Algorithms and Computation, ISAAC'95 (Cairns, Australia, December 4-6, 1995)}, SERIES = {LNCS}, VOLUME = {1004}, PAGES = {372-381}, YEAR = {1995}, EDITOR = {Staples, John and Eades, Peter and Katho, Naoki and Moffat, Alistair}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Santa Clara-Singapore-Tokyo}, } @incollection{Chin-Snoeyink-Wang/95, AUTHOR = {Chin, Francis and Snoeyink, Jack and Wang, Cao An}, TITLE = {Finding the medial axis of a simple polygon in linear time}, BOOKTITLE = {Proceedings of the 6th International Symposium on Algorithms and Computation, ISAAC'95 (Cairns, Australia, December 4-6, 1995)}, SERIES = {LNCS}, VOLUME = {1004}, PAGES = {382-391}, YEAR = {1995}, EDITOR = {Staples, John and Eades, Peter and Katho, Naoki and Moffat, Alistair}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Santa Clara-Singapore-Tokyo}, } @incollection{Krznaric-Levcopoulos/95, AUTHOR = {Krznaric, Drago and Levcopoulos, Christos}, TITLE = {The first subquadratic algoritym for complete linkage clustering}, BOOKTITLE = {Proceedings of the 6th International Symposium on Algorithms and Computation, ISAAC'95 (Cairns, Australia, December 4-6, 1995)}, SERIES = {LNCS}, VOLUME = {1004}, PAGES = {392-401}, YEAR = {1995}, EDITOR = {Staples, John and Eades, Peter and Katho, Naoki and Moffat, Alistair}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Santa Clara-Singapore-Tokyo}, } @incollection{Bradford-Fleischer/95, AUTHOR = {Bradford, Phillip G. and Fleischer, Rudolf}, TITLE = {Matching nuts and bolts faster}, BOOKTITLE = {Proceedings of the 6th International Symposium on Algorithms and Computation, ISAAC'95 (Cairns, Australia, December 4-6, 1995)}, SERIES = {LNCS}, VOLUME = {1004}, PAGES = {402-408}, YEAR = {1995}, EDITOR = {Staples, John and Eades, Peter and Katho, Naoki and Moffat, Alistair}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Santa Clara-Singapore-Tokyo}, } @incollection{Fu/95b, AUTHOR = {Fu, James Jianghai}, TITLE = {Linear matching-time algorithm for the directed graph isomorphism problem}, BOOKTITLE = {Proceedings of the 6th International Symposium on Algorithms and Computation, ISAAC'95 (Cairns, Australia, December 4-6, 1995)}, SERIES = {LNCS}, VOLUME = {1004}, PAGES = {409-417}, YEAR = {1995}, EDITOR = {Staples, John and Eades, Peter and Katho, Naoki and Moffat, Alistair}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Santa Clara-Singapore-Tokyo}, } @incollection{Fujita-Kameda-Yamashita/95, AUTHOR = {Fujita, Satoshi and Kameda, Tiko and Yamashita, Masafumi}, TITLE = {A resource assignment problem on graphs}, BOOKTITLE = {Proceedings of the 6th International Symposium on Algorithms and Computation, ISAAC'95 (Cairns, Australia, December 4-6, 1995)}, SERIES = {LNCS}, VOLUME = {1004}, PAGES = {418-427}, YEAR = {1995}, EDITOR = {Staples, John and Eades, Peter and Katho, Naoki and Moffat, Alistair}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Santa Clara-Singapore-Tokyo}, } @incollection{Chen/95i, AUTHOR = {Chen, Zhi-Zhong}, TITLE = {$NC$-Algorithms for partitioning sparse graphs into induced forests with an application}, BOOKTITLE = {Proceedings of the 6th International Symposium on Algorithms and Computation, ISAAC'95 (Cairns, Australia, December 4-6, 1995)}, SERIES = {LNCS}, VOLUME = {1004}, PAGES = {428-437}, YEAR = {1995}, EDITOR = {Staples, John and Eades, Peter and Katho, Naoki and Moffat, Alistair}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Santa Clara-Singapore-Tokyo}, }