@incollection{Dam/92a,
AUTHOR = {Dam, Mads},
TITLE = {Fixed points of B{\"u}chi automata},
BOOKTITLE = {Proceedings of the 12th Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'92 (New Delhi, India, December 18-20, 1992)},
SERIES = {LNCS},
VOLUME = {652},
PAGES = {39-50},
YEAR = {1992},
EDITOR = {Shyamasundar, R.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=652&spage=39},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Granger/92,
AUTHOR = {Granger, Philippe},
TITLE = {Improving the results of static analyses of programs by local decreasing iterations},
BOOKTITLE = {Proceedings of the 12th Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'92 (New Delhi, India, December 18-20, 1992)},
SERIES = {LNCS},
VOLUME = {652},
PAGES = {68-79},
YEAR = {1992},
EDITOR = {Shyamasundar, R.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=652&spage=68},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Agarwal-Kreveld/92,
AUTHOR = {Agarwal, Pankaj K. and Kreveld, Marc van},
TITLE = {Implicit point location in arrangements of line segments, with an application to motion planning},
BOOKTITLE = {Proceedings of the 12th Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'92 (New Delhi, India, December 18-20, 1992)},
SERIES = {LNCS},
VOLUME = {652},
PAGES = {80-91},
YEAR = {1992},
EDITOR = {Shyamasundar, R.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=652&spage=80},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Buhrman-Homer/92,
AUTHOR = {Buhrman, Harry and Homer, Steven},
TITLE = {Superpolynomial circuits, almost sparse oracles and the exponential hierarchy},
BOOKTITLE = {Proceedings of the 12th Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'92 (New Delhi, India, December 18-20, 1992)},
SERIES = {LNCS},
VOLUME = {652},
PAGES = {116-127},
YEAR = {1992},
EDITOR = {Shyamasundar, R.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=652&spage=116},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Arvind-Kobler-Mundhenk/92,
AUTHOR = {Arvind, V. and K{\"o}bler, J. and Mundhenk, M.},
TITLE = {On bounded truth-table, conjunctive, and randomized reductions to sparse sets},
BOOKTITLE = {Proceedings of the 12th Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'92 (New Delhi, India, December 18-20, 1992)},
SERIES = {LNCS},
VOLUME = {652},
PAGES = {140-151},
YEAR = {1992},
EDITOR = {Shyamasundar, R.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=652&spage=140},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Ganesan/92,
AUTHOR = {Ganesan, K.},
TITLE = {One-way functions and isomorphism conjecture},
BOOKTITLE = {Proceedings of the 12th Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'92 (New Delhi, India, December 18-20, 1992)},
SERIES = {LNCS},
VOLUME = {652},
PAGES = {152-163},
YEAR = {1992},
EDITOR = {Shyamasundar, R.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=652&spage=152},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Agarwala-Fernandez-Baca/92,
AUTHOR = {Agarwala, Richa and Fern{\'a}ndez-Baca, David},
TITLE = {Solving the Lagrangian dual when the number of constraints is fixed},
BOOKTITLE = {Proceedings of the 12th Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'92 (New Delhi, India, December 18-20, 1992)},
SERIES = {LNCS},
VOLUME = {652},
PAGES = {164-175},
YEAR = {1992},
EDITOR = {Shyamasundar, R.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=652&spage=164},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Huet/92,
AUTHOR = {Huet, G{\'e}rard},
TITLE = {The Gallina specification language: A case study},
BOOKTITLE = {Proceedings of the 12th Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'92 (New Delhi, India, December 18-20, 1992)},
SERIES = {LNCS},
VOLUME = {652},
PAGES = {229-240},
YEAR = {1992},
EDITOR = {Shyamasundar, R.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=652&spage=229},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Garg-Waldecker/92,
AUTHOR = {Garg, Vijay K. and Waldecker, Brian},
TITLE = {Detection of unstable predicates in distributed programs},
BOOKTITLE = {Proceedings of the 12th Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'92 (New Delhi, India, December 18-20, 1992)},
SERIES = {LNCS},
VOLUME = {652},
PAGES = {253-264},
YEAR = {1992},
EDITOR = {Shyamasundar, R.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=652&spage=253},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Abramsky-Jagadeesan/92,
AUTHOR = {Abramsky, Samson and Jagadeesan, Radha},
TITLE = {Games and full completeness for multiplicative linear logic},
BOOKTITLE = {Proceedings of the 12th Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'92 (New Delhi, India, December 18-20, 1992)},
SERIES = {LNCS},
VOLUME = {652},
PAGES = {291-301},
YEAR = {1992},
EDITOR = {Shyamasundar, R.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=652&spage=291},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Godskesen-Larsen/92,
AUTHOR = {Godskesen, Jens C. and Larsen, Kim G.},
TITLE = {Real-time calculi and expansion theorems},
BOOKTITLE = {Proceedings of the 12th Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'92 (New Delhi, India, December 18-20, 1992)},
SERIES = {LNCS},
VOLUME = {652},
PAGES = {302-315},
YEAR = {1992},
EDITOR = {Shyamasundar, R.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=652&spage=302},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Caucal/92,
AUTHOR = {Caucal, Didier},
TITLE = {Branching bisimulation for context-free processes},
BOOKTITLE = {Proceedings of the 12th Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'92 (New Delhi, India, December 18-20, 1992)},
SERIES = {LNCS},
VOLUME = {652},
PAGES = {316-327},
YEAR = {1992},
EDITOR = {Shyamasundar, R.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=652&spage=316},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Christoff-Christoff/92,
AUTHOR = {Christoff, Linda and Christoff, Ivan},
TITLE = {Reasoning about safety and liveness properties for probabilistic processes},
BOOKTITLE = {Proceedings of the 12th Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'92 (New Delhi, India, December 18-20, 1992)},
SERIES = {LNCS},
VOLUME = {652},
PAGES = {342-355},
YEAR = {1992},
EDITOR = {Shyamasundar, R.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=652&spage=342},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Chen-Lee/92,
AUTHOR = {Chen, Maw-Hwa and Lee, Sing-Ling},
TITLE = {Linear time algorithms for $k$-cutwidth problem},
BOOKTITLE = {Proceedings of the 3rd International Symposium on Algorithms and Computation, ISAAC'92 (Nagoya, Japan, December 16-18, 1992)},
SERIES = {LNCS},
VOLUME = {650},
PAGES = {21-30},
YEAR = {1992},
EDITOR = {Ibaraki, T. and Inagaki, Y. and Iwama, K. and Nishizeki, T. and Yamashita, M.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=650&spage=21},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Hwang-Lee/92,
AUTHOR = {Hwang, R.Z. and Lee, R.C.T.},
TITLE = {The application of the searching over separators strategy to solve some NP-complete problems on planar graphs},
BOOKTITLE = {Proceedings of the 3rd International Symposium on Algorithms and Computation, ISAAC'92 (Nagoya, Japan, December 16-18, 1992)},
SERIES = {LNCS},
VOLUME = {650},
PAGES = {51-60},
YEAR = {1992},
EDITOR = {Ibaraki, T. and Inagaki, Y. and Iwama, K. and Nishizeki, T. and Yamashita, M.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=650&spage=51},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Halldorsson/92,
AUTHOR = {Halld{\'o}rsson, Magn{\'u}s M.},
TITLE = {Parallel and on-line graph coloring algorithms},
BOOKTITLE = {Proceedings of the 3rd International Symposium on Algorithms and Computation, ISAAC'92 (Nagoya, Japan, December 16-18, 1992)},
SERIES = {LNCS},
VOLUME = {650},
PAGES = {61-70},
YEAR = {1992},
EDITOR = {Ibaraki, T. and Inagaki, Y. and Iwama, K. and Nishizeki, T. and Yamashita, M.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=650&spage=61},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Chien-Chen-Yang/92,
AUTHOR = {Chien, Been-Chian and Chen, Rong-Jaye and Yang, Wei-Pang},
TITLE = {Competitive analysis of the on-line algorithms for multiple stacks systems},
BOOKTITLE = {Proceedings of the 3rd International Symposium on Algorithms and Computation, ISAAC'92 (Nagoya, Japan, December 16-18, 1992)},
SERIES = {LNCS},
VOLUME = {650},
PAGES = {78-87},
YEAR = {1992},
EDITOR = {Ibaraki, T. and Inagaki, Y. and Iwama, K. and Nishizeki, T. and Yamashita, M.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=650&spage=78},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Gonzalez-Murayama/92,
AUTHOR = {Gonzalez, Teofilo F. and Murayama, Toshio},
TITLE = {Algorithms for a class of min-cut and max-cut problem},
BOOKTITLE = {Proceedings of the 3rd International Symposium on Algorithms and Computation, ISAAC'92 (Nagoya, Japan, December 16-18, 1992)},
SERIES = {LNCS},
VOLUME = {650},
PAGES = {97-105},
YEAR = {1992},
EDITOR = {Ibaraki, T. and Inagaki, Y. and Iwama, K. and Nishizeki, T. and Yamashita, M.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=650&spage=97},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Ho-Ko-Ma-Sung/92,
AUTHOR = {Ho, Jan-Ming and Ko, M.T. and Ma, Tze-Heng and Sung, Ting-Yi},
TITLE = {Algorithms for rectilinear optimal multicast tree problem},
BOOKTITLE = {Proceedings of the 3rd International Symposium on Algorithms and Computation, ISAAC'92 (Nagoya, Japan, December 16-18, 1992)},
SERIES = {LNCS},
VOLUME = {650},
PAGES = {106-115},
YEAR = {1992},
EDITOR = {Ibaraki, T. and Inagaki, Y. and Iwama, K. and Nishizeki, T. and Yamashita, M.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=650&spage=106},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Berkman-Matias-Vishkin/92,
AUTHOR = {Berkman, Omer and Matias, Yossi and Vishkin, Uzi},
TITLE = {Randomized range-maxima in nearly-constant parallel time},
BOOKTITLE = {Proceedings of the 3rd International Symposium on Algorithms and Computation, ISAAC'92 (Nagoya, Japan, December 16-18, 1992)},
SERIES = {LNCS},
VOLUME = {650},
PAGES = {135-144},
YEAR = {1992},
EDITOR = {Ibaraki, T. and Inagaki, Y. and Iwama, K. and Nishizeki, T. and Yamashita, M.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=650&spage=135},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Han-Igarashi-Kanai-Miura/92,
AUTHOR = {Han, Yijie and Igarashi, Yoshihide and Kanai, Kumiko and Miura, Kinya},
TITLE = {Fault-tolerant broadcasting in binary jumping networks},
BOOKTITLE = {Proceedings of the 3rd International Symposium on Algorithms and Computation, ISAAC'92 (Nagoya, Japan, December 16-18, 1992)},
SERIES = {LNCS},
VOLUME = {650},
PAGES = {145-154},
YEAR = {1992},
EDITOR = {Ibaraki, T. and Inagaki, Y. and Iwama, K. and Nishizeki, T. and Yamashita, M.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=650&spage=145},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Book/92a,
AUTHOR = {Book, Ronald V.},
TITLE = {Relativizations of the $P=?NP$ and other problems: Some developments in structural complexity theory},
BOOKTITLE = {Proceedings of the 3rd International Symposium on Algorithms and Computation, ISAAC'92 (Nagoya, Japan, December 16-18, 1992)},
SERIES = {LNCS},
VOLUME = {650},
PAGES = {175-186},
YEAR = {1992},
EDITOR = {Ibaraki, T. and Inagaki, Y. and Iwama, K. and Nishizeki, T. and Yamashita, M.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=650&spage=175},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Dendris-Kalafatis-Kirousis/92,
AUTHOR = {Dendris, Nick D. and Kalafatis, Iannis A. and Kirousis, Lefteris M.},
TITLE = {An efficient parallel algorithm for geometrically characterizing drawings of a class of 3-D objects},
BOOKTITLE = {Proceedings of the 3rd International Symposium on Algorithms and Computation, ISAAC'92 (Nagoya, Japan, December 16-18, 1992)},
SERIES = {LNCS},
VOLUME = {650},
PAGES = {198-208},
YEAR = {1992},
EDITOR = {Ibaraki, T. and Inagaki, Y. and Iwama, K. and Nishizeki, T. and Yamashita, M.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=650&spage=198},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Choi-Shin-Chwa/92,
AUTHOR = {Choi, Seung-Hak and Shin, Sung Yong and Chwa, Kyung-Yong},
TITLE = {Characterizing and recognizing visibility graphs of funnel-shaped polygons},
BOOKTITLE = {Proceedings of the 3rd International Symposium on Algorithms and Computation, ISAAC'92 (Nagoya, Japan, December 16-18, 1992)},
SERIES = {LNCS},
VOLUME = {650},
PAGES = {219-228},
YEAR = {1992},
EDITOR = {Ibaraki, T. and Inagaki, Y. and Iwama, K. and Nishizeki, T. and Yamashita, M.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=650&spage=219},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Arvind-Kobler-Mundhenk/92a,
AUTHOR = {Arvind, V. and K{\"o}bler, J. and Mundhenk, M.},
TITLE = {Lowness and the complexity of sparse and tally descriptions},
BOOKTITLE = {Proceedings of the 3rd International Symposium on Algorithms and Computation, ISAAC'92 (Nagoya, Japan, December 16-18, 1992)},
SERIES = {LNCS},
VOLUME = {650},
PAGES = {249-258},
YEAR = {1992},
EDITOR = {Ibaraki, T. and Inagaki, Y. and Iwama, K. and Nishizeki, T. and Yamashita, M.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=650&spage=249},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Akutsu/92,
AUTHOR = {Akutsu, Tatsuya},
TITLE = {Algorithms for determining the geometrical congruity in two and three dimensions},
BOOKTITLE = {Proceedings of the 3rd International Symposium on Algorithms and Computation, ISAAC'92 (Nagoya, Japan, December 16-18, 1992)},
SERIES = {LNCS},
VOLUME = {650},
PAGES = {279-288},
YEAR = {1992},
EDITOR = {Ibaraki, T. and Inagaki, Y. and Iwama, K. and Nishizeki, T. and Yamashita, M.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=650&spage=279},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Bolignano-Debabi/92,
AUTHOR = {Bolignano, Dominique and Debabi, Mourad},
TITLE = {Higher order communicating processes with value-passing, assignment and return of results},
BOOKTITLE = {Proceedings of the 3rd International Symposium on Algorithms and Computation, ISAAC'92 (Nagoya, Japan, December 16-18, 1992)},
SERIES = {LNCS},
VOLUME = {650},
PAGES = {319-331},
YEAR = {1992},
EDITOR = {Ibaraki, T. and Inagaki, Y. and Iwama, K. and Nishizeki, T. and Yamashita, M.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=650&spage=319},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Guevremont-Snoeyink/92,
AUTHOR = {Gu{\'e}vremont, Eric and Snoeyink, Jack},
TITLE = {Recognizing an envelope of lines in linear time},
BOOKTITLE = {Proceedings of the 3rd International Symposium on Algorithms and Computation, ISAAC'92 (Nagoya, Japan, December 16-18, 1992)},
SERIES = {LNCS},
VOLUME = {650},
PAGES = {370-377},
YEAR = {1992},
EDITOR = {Ibaraki, T. and Inagaki, Y. and Iwama, K. and Nishizeki, T. and Yamashita, M.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=650&spage=370},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Chan-Chin/92,
AUTHOR = {Chan, W.S. and Chin, F.},
TITLE = {Approximation of polygonal curves with minimum number of line segments},
BOOKTITLE = {Proceedings of the 3rd International Symposium on Algorithms and Computation, ISAAC'92 (Nagoya, Japan, December 16-18, 1992)},
SERIES = {LNCS},
VOLUME = {650},
PAGES = {378-387},
YEAR = {1992},
EDITOR = {Ibaraki, T. and Inagaki, Y. and Iwama, K. and Nishizeki, T. and Yamashita, M.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=650&spage=378},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Beigel-Tarui-Toda/92,
AUTHOR = {Beigel, Richard and Tarui, Jun and Toda, Seinosuke},
TITLE = {On probabilistic ACC circuits with an exact-threshold output gate},
BOOKTITLE = {Proceedings of the 3rd International Symposium on Algorithms and Computation, ISAAC'92 (Nagoya, Japan, December 16-18, 1992)},
SERIES = {LNCS},
VOLUME = {650},
PAGES = {420-429},
YEAR = {1992},
EDITOR = {Ibaraki, T. and Inagaki, Y. and Iwama, K. and Nishizeki, T. and Yamashita, M.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=650&spage=420},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Fu-Li/92a,
AUTHOR = {Fu, Bin and Li, Hong-zhou},
TITLE = {On symmetric differences of NP-hard sets with weakly-P-selective sets},
BOOKTITLE = {Proceedings of the 3rd International Symposium on Algorithms and Computation, ISAAC'92 (Nagoya, Japan, December 16-18, 1992)},
SERIES = {LNCS},
VOLUME = {650},
PAGES = {439-448},
YEAR = {1992},
EDITOR = {Ibaraki, T. and Inagaki, Y. and Iwama, K. and Nishizeki, T. and Yamashita, M.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=650&spage=439},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Hsu/92a,
AUTHOR = {Hsu, Wen-Lian},
TITLE = {A simple test for the consecutive ones property},
BOOKTITLE = {Proceedings of the 3rd International Symposium on Algorithms and Computation, ISAAC'92 (Nagoya, Japan, December 16-18, 1992)},
SERIES = {LNCS},
VOLUME = {650},
PAGES = {459-468},
YEAR = {1992},
EDITOR = {Ibaraki, T. and Inagaki, Y. and Iwama, K. and Nishizeki, T. and Yamashita, M.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=650&spage=459},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Hakata-Imai/92,
AUTHOR = {Hakata, Koji and Imai, Hiroshi},
TITLE = {The longest common subsequence problem for small alphabet size between many strings},
BOOKTITLE = {Proceedings of the 3rd International Symposium on Algorithms and Computation, ISAAC'92 (Nagoya, Japan, December 16-18, 1992)},
SERIES = {LNCS},
VOLUME = {650},
PAGES = {469-478},
YEAR = {1992},
EDITOR = {Ibaraki, T. and Inagaki, Y. and Iwama, K. and Nishizeki, T. and Yamashita, M.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=650&spage=469},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Bhatt-Chung-Leighton-Rosenberg/92a,
AUTHOR = {Bhatt, Sandeep N. and Chung, Fan R.K. and Leighton, F. Thomson and Rosenberg, Arnold L.},
TITLE = {Tolerating faults in synchronization networks},
BOOKTITLE = {Proceedings of the Second Joint International Conference on Vector and Parallel Processing. Parallel Processing: VAPP V, CONPAR'92 (Lyon, France, September 1992)},
SERIES = {LNCS},
VOLUME = {634},
PAGES = {1-12},
YEAR = {1992},
EDITOR = {Boug{\'e}, L. and Cosnard, M. and Robert, Y. and Trystram, D.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=634&spage=1},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Hamanaka-Nakagoshi-Tanaka/92,
AUTHOR = {Hamanaka, Naoki and Nakagoshi, Junji and Tanaka, Teruo},
TITLE = {Reducing network hardware quantity by employing multi-processor cluster structure in distributed memory parallel processors},
BOOKTITLE = {Proceedings of the Second Joint International Conference on Vector and Parallel Processing. Parallel Processing: VAPP V, CONPAR'92 (Lyon, France, September 1992)},
SERIES = {LNCS},
VOLUME = {634},
PAGES = {25-30},
YEAR = {1992},
EDITOR = {Boug{\'e}, L. and Cosnard, M. and Robert, Y. and Trystram, D.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=634&spage=25},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Hatz/92,
AUTHOR = {Hatz, Volker},
TITLE = {Interconnection networks based on block designs},
BOOKTITLE = {Proceedings of the Second Joint International Conference on Vector and Parallel Processing. Parallel Processing: VAPP V, CONPAR'92 (Lyon, France, September 1992)},
SERIES = {LNCS},
VOLUME = {634},
PAGES = {37-42},
YEAR = {1992},
EDITOR = {Boug{\'e}, L. and Cosnard, M. and Robert, Y. and Trystram, D.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=634&spage=37},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{David-Fraboul-Rousselot-Siron/92,
AUTHOR = {David, V. and Fraboul, Ch. and Rousselot, J.Y. and Siron, P.},
TITLE = {Partitioning and mapping communication graphs on a modular reconfigurable parallel architecture},
BOOKTITLE = {Proceedings of the Second Joint International Conference on Vector and Parallel Processing. Parallel Processing: VAPP V, CONPAR'92 (Lyon, France, September 1992)},
SERIES = {LNCS},
VOLUME = {634},
PAGES = {43-48},
YEAR = {1992},
EDITOR = {Boug{\'e}, L. and Cosnard, M. and Robert, Y. and Trystram, D.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=634&spage=43},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Bauch-Kosch-Maehle-Obeloer/92,
AUTHOR = {Bauch, Andreas and Kosch, Thomas and Maehle, Erik and Obel{\"o}er, Wolfgang},
TITLE = {The software-monitor DELTA-T and its use for performance measurement of some farming variants on the multi-transputer system DAMP},
BOOKTITLE = {Proceedings of the Second Joint International Conference on Vector and Parallel Processing. Parallel Processing: VAPP V, CONPAR'92 (Lyon, France, September 1992)},
SERIES = {LNCS},
VOLUME = {634},
PAGES = {67-78},
YEAR = {1992},
EDITOR = {Boug{\'e}, L. and Cosnard, M. and Robert, Y. and Trystram, D.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=634&spage=67},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Bemmerl-Braun/92,
AUTHOR = {Bemmerl, Thomas and Braun, Peter},
TITLE = {Visualization of message passing parallel programs},
BOOKTITLE = {Proceedings of the Second Joint International Conference on Vector and Parallel Processing. Parallel Processing: VAPP V, CONPAR'92 (Lyon, France, September 1992)},
SERIES = {LNCS},
VOLUME = {634},
PAGES = {79-90},
YEAR = {1992},
EDITOR = {Boug{\'e}, L. and Cosnard, M. and Robert, Y. and Trystram, D.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=634&spage=79},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Becher-Beck/92,
AUTHOR = {Becher, Jonathan D. and Beck, Kent L.},
TITLE = {Profiling on a massively parallel computer},
BOOKTITLE = {Proceedings of the Second Joint International Conference on Vector and Parallel Processing. Parallel Processing: VAPP V, CONPAR'92 (Lyon, France, September 1992)},
SERIES = {LNCS},
VOLUME = {634},
PAGES = {97-102},
YEAR = {1992},
EDITOR = {Boug{\'e}, L. and Cosnard, M. and Robert, Y. and Trystram, D.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=634&spage=97},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Hersch-Tonelli-Krummenacher/92,
AUTHOR = {Hersch, R.D. and Tonelli, B. and Krummenacher, B.},
TITLE = {A multiprocessor multiwindow visualization subsystem},
BOOKTITLE = {Proceedings of the Second Joint International Conference on Vector and Parallel Processing. Parallel Processing: VAPP V, CONPAR'92 (Lyon, France, September 1992)},
SERIES = {LNCS},
VOLUME = {634},
PAGES = {103-108},
YEAR = {1992},
EDITOR = {Boug{\'e}, L. and Cosnard, M. and Robert, Y. and Trystram, D.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=634&spage=103},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Beranek/92,
AUTHOR = {Beranek, Anton},
TITLE = {Data race detection based on execution replay for parallel applications},
BOOKTITLE = {Proceedings of the Second Joint International Conference on Vector and Parallel Processing. Parallel Processing: VAPP V, CONPAR'92 (Lyon, France, September 1992)},
SERIES = {LNCS},
VOLUME = {634},
PAGES = {109-114},
YEAR = {1992},
EDITOR = {Boug{\'e}, L. and Cosnard, M. and Robert, Y. and Trystram, D.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=634&spage=109},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Adamo-Bonello-Trejo/92a,
AUTHOR = {Adamo, J.M. and Bonello, C. and Trejo, L.},
TITLE = {The C\_NET programming environment: An overview},
BOOKTITLE = {Proceedings of the Second Joint International Conference on Vector and Parallel Processing. Parallel Processing: VAPP V, CONPAR'92 (Lyon, France, September 1992)},
SERIES = {LNCS},
VOLUME = {634},
PAGES = {115-120},
YEAR = {1992},
EDITOR = {Boug{\'e}, L. and Cosnard, M. and Robert, Y. and Trystram, D.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=634&spage=115},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Arvind-Knight/92,
AUTHOR = {Arvind, D.K. and Knight, J.},
TITLE = {Detection of concurrency-related errors in Joyce},
BOOKTITLE = {Proceedings of the Second Joint International Conference on Vector and Parallel Processing. Parallel Processing: VAPP V, CONPAR'92 (Lyon, France, September 1992)},
SERIES = {LNCS},
VOLUME = {634},
PAGES = {127-132},
YEAR = {1992},
EDITOR = {Boug{\'e}, L. and Cosnard, M. and Robert, Y. and Trystram, D.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=634&spage=127},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Horton-Knirsch-Vollath/92,
AUTHOR = {Horton, Graham and Knirsch, Ralf and Vollath, Hermann},
TITLE = {The time-parallel solution of parabolic partial differential equations using the frequency-filtering method},
BOOKTITLE = {Proceedings of the Second Joint International Conference on Vector and Parallel Processing. Parallel Processing: VAPP V, CONPAR'92 (Lyon, France, September 1992)},
SERIES = {LNCS},
VOLUME = {634},
PAGES = {205-216},
YEAR = {1992},
EDITOR = {Boug{\'e}, L. and Cosnard, M. and Robert, Y. and Trystram, D.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=634&spage=205},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Griebel-Huber-Rude-Stortkuhl/92,
AUTHOR = {Griebel, M. and Huber, W. and R{\"u}de, U. and St{\"o}rtkuhl, T.},
TITLE = {The combination technique for parallel sparse-grid-preconditioning or -solution of PDEs on workstation networks},
BOOKTITLE = {Proceedings of the Second Joint International Conference on Vector and Parallel Processing. Parallel Processing: VAPP V, CONPAR'92 (Lyon, France, September 1992)},
SERIES = {LNCS},
VOLUME = {634},
PAGES = {217-228},
YEAR = {1992},
EDITOR = {Boug{\'e}, L. and Cosnard, M. and Robert, Y. and Trystram, D.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=634&spage=217},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Andonov-Quinton/92,
AUTHOR = {Andonov, Rumen and Quinton, Patrice},
TITLE = {Efficient linear systolic array for the knapsack problem},
BOOKTITLE = {Proceedings of the Second Joint International Conference on Vector and Parallel Processing. Parallel Processing: VAPP V, CONPAR'92 (Lyon, France, September 1992)},
SERIES = {LNCS},
VOLUME = {634},
PAGES = {247-258},
YEAR = {1992},
EDITOR = {Boug{\'e}, L. and Cosnard, M. and Robert, Y. and Trystram, D.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=634&spage=247},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Charrier-Roman/92,
AUTHOR = {Charrier, Pierre and Roman, Jean},
TITLE = {Partitioning and mapping for parallel nested dissection on distributed memory architectures},
BOOKTITLE = {Proceedings of the Second Joint International Conference on Vector and Parallel Processing. Parallel Processing: VAPP V, CONPAR'92 (Lyon, France, September 1992)},
SERIES = {LNCS},
VOLUME = {634},
PAGES = {295-306},
YEAR = {1992},
EDITOR = {Boug{\'e}, L. and Cosnard, M. and Robert, Y. and Trystram, D.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=634&spage=295},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Amestoy-Dayde-Duff-Morere/92,
AUTHOR = {Amestoy, Patrick R. and Dayd{\'e}, Michel J. and Duff, Iain S. and Mor{\`e}re, Pierre},
TITLE = {Linear algebra calculations on the BBN TC2000},
BOOKTITLE = {Proceedings of the Second Joint International Conference on Vector and Parallel Processing. Parallel Processing: VAPP V, CONPAR'92 (Lyon, France, September 1992)},
SERIES = {LNCS},
VOLUME = {634},
PAGES = {319-330},
YEAR = {1992},
EDITOR = {Boug{\'e}, L. and Cosnard, M. and Robert, Y. and Trystram, D.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=634&spage=319},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Chen-Keller-Lui-Roux/92,
AUTHOR = {Chen, G. and Keller, H.B. and Lui, S.H. and Roux, B.},
TITLE = {Parallel homotopy algorithm for large sparse generalized eigenvalue problems: Application to hydrodynamic stability analysis},
BOOKTITLE = {Proceedings of the Second Joint International Conference on Vector and Parallel Processing. Parallel Processing: VAPP V, CONPAR'92 (Lyon, France, September 1992)},
SERIES = {LNCS},
VOLUME = {634},
PAGES = {331-342},
YEAR = {1992},
EDITOR = {Boug{\'e}, L. and Cosnard, M. and Robert, Y. and Trystram, D.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=634&spage=331},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Bar-On-Munk/92,
AUTHOR = {Bar-On, Ilan and Munk, Ophir},
TITLE = {A new parallel factorization $A=DD^tBC$ for band symmetric positive definite matrices},
BOOKTITLE = {Proceedings of the Second Joint International Conference on Vector and Parallel Processing. Parallel Processing: VAPP V, CONPAR'92 (Lyon, France, September 1992)},
SERIES = {LNCS},
VOLUME = {634},
PAGES = {349-354},
YEAR = {1992},
EDITOR = {Boug{\'e}, L. and Cosnard, M. and Robert, Y. and Trystram, D.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=634&spage=349},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Bull-Freeman/92,
AUTHOR = {Bull, J.M. and Freeman, T.L.},
TITLE = {Numerical performance of an asynchronous Jacobi iteration},
BOOKTITLE = {Proceedings of the Second Joint International Conference on Vector and Parallel Processing. Parallel Processing: VAPP V, CONPAR'92 (Lyon, France, September 1992)},
SERIES = {LNCS},
VOLUME = {634},
PAGES = {361-366},
YEAR = {1992},
EDITOR = {Boug{\'e}, L. and Cosnard, M. and Robert, Y. and Trystram, D.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=634&spage=361},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Bird-Topham-Manoharan/92,
AUTHOR = {Bird, Peter L. and Topham, Nigel P. and Manoharan, Sathiamoorthy},
TITLE = {A comparison of two memory models for high performance computers},
BOOKTITLE = {Proceedings of the Second Joint International Conference on Vector and Parallel Processing. Parallel Processing: VAPP V, CONPAR'92 (Lyon, France, September 1992)},
SERIES = {LNCS},
VOLUME = {634},
PAGES = {399-404},
YEAR = {1992},
EDITOR = {Boug{\'e}, L. and Cosnard, M. and Robert, Y. and Trystram, D.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=634&spage=399},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Govindarajan-Nemawarkar/92,
AUTHOR = {Govindarajan, R. and Nemawarkar, S.S.},
TITLE = {A large context multithreaded architecture},
BOOKTITLE = {Proceedings of the Second Joint International Conference on Vector and Parallel Processing. Parallel Processing: VAPP V, CONPAR'92 (Lyon, France, September 1992)},
SERIES = {LNCS},
VOLUME = {634},
PAGES = {423-428},
YEAR = {1992},
EDITOR = {Boug{\'e}, L. and Cosnard, M. and Robert, Y. and Trystram, D.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=634&spage=423},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Hellwagner/92,
AUTHOR = {Hellwagner, Hermann},
TITLE = {On the practical efficiency of randomized shared memory},
BOOKTITLE = {Proceedings of the Second Joint International Conference on Vector and Parallel Processing. Parallel Processing: VAPP V, CONPAR'92 (Lyon, France, September 1992)},
SERIES = {LNCS},
VOLUME = {634},
PAGES = {429-440},
YEAR = {1992},
EDITOR = {Boug{\'e}, L. and Cosnard, M. and Robert, Y. and Trystram, D.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=634&spage=429},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Essafi-Pic-Juvin/92,
AUTHOR = {Essafi, Hassane and Pic, Marc and Juvin, Didier},
TITLE = {$\kappa$-project / first step: To improve data manipulations and representations on parallel computers},
BOOKTITLE = {Proceedings of the Second Joint International Conference on Vector and Parallel Processing. Parallel Processing: VAPP V, CONPAR'92 (Lyon, France, September 1992)},
SERIES = {LNCS},
VOLUME = {634},
PAGES = {503-508},
YEAR = {1992},
EDITOR = {Boug{\'e}, L. and Cosnard, M. and Robert, Y. and Trystram, D.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=634&spage=503},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Gengler-Coray/92,
AUTHOR = {Gengler, Marc and Coray, Giovanni},
TITLE = {A parallel best-first B\&B with synchronization phases},
BOOKTITLE = {Proceedings of the Second Joint International Conference on Vector and Parallel Processing. Parallel Processing: VAPP V, CONPAR'92 (Lyon, France, September 1992)},
SERIES = {LNCS},
VOLUME = {634},
PAGES = {515-526},
YEAR = {1992},
EDITOR = {Boug{\'e}, L. and Cosnard, M. and Robert, Y. and Trystram, D.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=634&spage=515},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Chen-Levcopoulos/92,
AUTHOR = {Chen, Jingsen and Levcopoulos, Christos},
TITLE = {Improved parallel sorting of presorted sequences},
BOOKTITLE = {Proceedings of the Second Joint International Conference on Vector and Parallel Processing. Parallel Processing: VAPP V, CONPAR'92 (Lyon, France, September 1992)},
SERIES = {LNCS},
VOLUME = {634},
PAGES = {539-544},
YEAR = {1992},
EDITOR = {Boug{\'e}, L. and Cosnard, M. and Robert, Y. and Trystram, D.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=634&spage=539},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Duboux-Ferreira-Gastaldo/92,
AUTHOR = {Duboux, Thibault and Ferreira, Afonso and Gastaldo, Michel},
TITLE = {MIMD dictionary machines: From theory to practice},
BOOKTITLE = {Proceedings of the Second Joint International Conference on Vector and Parallel Processing. Parallel Processing: VAPP V, CONPAR'92 (Lyon, France, September 1992)},
SERIES = {LNCS},
VOLUME = {634},
PAGES = {545-550},
YEAR = {1992},
EDITOR = {Boug{\'e}, L. and Cosnard, M. and Robert, Y. and Trystram, D.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=634&spage=545},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Akl-Qiu/92,
AUTHOR = {Akl, Selim G. and Qiu, Ke},
TITLE = {Parallel minimum spanning forest algorithms on the star and pancake interconnection networks},
BOOKTITLE = {Proceedings of the Second Joint International Conference on Vector and Parallel Processing. Parallel Processing: VAPP V, CONPAR'92 (Lyon, France, September 1992)},
SERIES = {LNCS},
VOLUME = {634},
PAGES = {565-570},
YEAR = {1992},
EDITOR = {Boug{\'e}, L. and Cosnard, M. and Robert, Y. and Trystram, D.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=634&spage=565},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Embrechts-Roose/92,
AUTHOR = {Embrechts, Hugo and Roose, Dirk},
TITLE = {Parallel algorithms for the distance transformation},
BOOKTITLE = {Proceedings of the Second Joint International Conference on Vector and Parallel Processing. Parallel Processing: VAPP V, CONPAR'92 (Lyon, France, September 1992)},
SERIES = {LNCS},
VOLUME = {634},
PAGES = {571-582},
YEAR = {1992},
EDITOR = {Boug{\'e}, L. and Cosnard, M. and Robert, Y. and Trystram, D.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=634&spage=571},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Gerasoulis-Yang/92,
AUTHOR = {Gerasoulis, Apostolos and Yang, Tao},
TITLE = {Static scheduling of parallel programs for message passing architectures},
BOOKTITLE = {Proceedings of the Second Joint International Conference on Vector and Parallel Processing. Parallel Processing: VAPP V, CONPAR'92 (Lyon, France, September 1992)},
SERIES = {LNCS},
VOLUME = {634},
PAGES = {601-612},
YEAR = {1992},
EDITOR = {Boug{\'e}, L. and Cosnard, M. and Robert, Y. and Trystram, D.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=634&spage=601},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Gasperoni-Schwiegelshohn/92,
AUTHOR = {Gasperoni, Franco and Schwiegelshohn, Uwe},
TITLE = {Scheduling loops on parallel processors: A simple algorithm with close to optimum performance},
BOOKTITLE = {Proceedings of the Second Joint International Conference on Vector and Parallel Processing. Parallel Processing: VAPP V, CONPAR'92 (Lyon, France, September 1992)},
SERIES = {LNCS},
VOLUME = {634},
PAGES = {625-636},
YEAR = {1992},
EDITOR = {Boug{\'e}, L. and Cosnard, M. and Robert, Y. and Trystram, D.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=634&spage=625},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{David/92,
AUTHOR = {David, Pierre},
TITLE = {Semantic analysis for parallelizing C},
BOOKTITLE = {Proceedings of the Second Joint International Conference on Vector and Parallel Processing. Parallel Processing: VAPP V, CONPAR'92 (Lyon, France, September 1992)},
SERIES = {LNCS},
VOLUME = {634},
PAGES = {647-652},
YEAR = {1992},
EDITOR = {Boug{\'e}, L. and Cosnard, M. and Robert, Y. and Trystram, D.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=634&spage=647},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Barnett-Lengauer/92,
AUTHOR = {Barnett, Michael and Lengauer, Christian},
TITLE = {Unimodularity considered non-essential},
BOOKTITLE = {Proceedings of the Second Joint International Conference on Vector and Parallel Processing. Parallel Processing: VAPP V, CONPAR'92 (Lyon, France, September 1992)},
SERIES = {LNCS},
VOLUME = {634},
PAGES = {659-664},
YEAR = {1992},
EDITOR = {Boug{\'e}, L. and Cosnard, M. and Robert, Y. and Trystram, D.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=634&spage=659},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Gutzmann-Steffan/92,
AUTHOR = {Gutzmann, Michael M. and Steffan, Klaus},
TITLE = {PEPSIM-ST: A simulator tool for benchmarking},
BOOKTITLE = {Proceedings of the Second Joint International Conference on Vector and Parallel Processing. Parallel Processing: VAPP V, CONPAR'92 (Lyon, France, September 1992)},
SERIES = {LNCS},
VOLUME = {634},
PAGES = {665-676},
YEAR = {1992},
EDITOR = {Boug{\'e}, L. and Cosnard, M. and Robert, Y. and Trystram, D.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=634&spage=665},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Berthou-Klein/92,
AUTHOR = {Berthou, Jean-Yves and Klein, Philippe},
TITLE = {Estimating the effective performance of program parallelization on shared memory MIMD multiprocessors},
BOOKTITLE = {Proceedings of the Second Joint International Conference on Vector and Parallel Processing. Parallel Processing: VAPP V, CONPAR'92 (Lyon, France, September 1992)},
SERIES = {LNCS},
VOLUME = {634},
PAGES = {701-706},
YEAR = {1992},
EDITOR = {Boug{\'e}, L. and Cosnard, M. and Robert, Y. and Trystram, D.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=634&spage=701},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Duprat-Aguilar/92,
AUTHOR = {Duprat, Jean and Aguilar, Mario Fiallos},
TITLE = {On the simulation of pipelining of fully digit on-line floating-point adder networks on massively parallel computers},
BOOKTITLE = {Proceedings of the Second Joint International Conference on Vector and Parallel Processing. Parallel Processing: VAPP V, CONPAR'92 (Lyon, France, September 1992)},
SERIES = {LNCS},
VOLUME = {634},
PAGES = {707-712},
YEAR = {1992},
EDITOR = {Boug{\'e}, L. and Cosnard, M. and Robert, Y. and Trystram, D.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=634&spage=707},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Bourzoufi-Goncalves-Toursel/92,
AUTHOR = {Bourzoufi, H. and Goncalves, G. and Toursel, B.},
TITLE = {A time-bounded binding access with low task-switching cost in an OR-parallel Prolog},
BOOKTITLE = {Proceedings of the Second Joint International Conference on Vector and Parallel Processing. Parallel Processing: VAPP V, CONPAR'92 (Lyon, France, September 1992)},
SERIES = {LNCS},
VOLUME = {634},
PAGES = {725-730},
YEAR = {1992},
EDITOR = {Boug{\'e}, L. and Cosnard, M. and Robert, Y. and Trystram, D.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=634&spage=725},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Bonchev-Iliev/92,
AUTHOR = {Bonchev, Boyan and Iliev, Miroslav},
TITLE = {A hybrid dataflow architecture with multiple tokens},
BOOKTITLE = {Proceedings of the Second Joint International Conference on Vector and Parallel Processing. Parallel Processing: VAPP V, CONPAR'92 (Lyon, France, September 1992)},
SERIES = {LNCS},
VOLUME = {634},
PAGES = {737-742},
YEAR = {1992},
EDITOR = {Boug{\'e}, L. and Cosnard, M. and Robert, Y. and Trystram, D.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=634&spage=737},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Boyle-Clint-Fitzpatrick-Harmer/92,
AUTHOR = {Boyle, James M. and Clint, Maurice and Fitzpatrick, Stephen and Harmer, Terence J.},
TITLE = {The construction of numerical mathematical software for the AMT DAP by program transformation},
BOOKTITLE = {Proceedings of the Second Joint International Conference on Vector and Parallel Processing. Parallel Processing: VAPP V, CONPAR'92 (Lyon, France, September 1992)},
SERIES = {LNCS},
VOLUME = {634},
PAGES = {761-767},
YEAR = {1992},
EDITOR = {Boug{\'e}, L. and Cosnard, M. and Robert, Y. and Trystram, D.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=634&spage=761},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Gannon-Lee-Narayana/92,
AUTHOR = {Gannon, Dennis and Lee, Jenq Kuen and Narayana, Srinivas},
TITLE = {On using object oriented parallel programming to build distributed algebraic abstractions},
BOOKTITLE = {Proceedings of the Second Joint International Conference on Vector and Parallel Processing. Parallel Processing: VAPP V, CONPAR'92 (Lyon, France, September 1992)},
SERIES = {LNCS},
VOLUME = {634},
PAGES = {769-774},
YEAR = {1992},
EDITOR = {Boug{\'e}, L. and Cosnard, M. and Robert, Y. and Trystram, D.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=634&spage=769},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Demian-Mignot/92,
AUTHOR = {Demian, V. and Mignot, J.-C.},
TITLE = {Implementation of the self-organizing feature map on parallel computers},
BOOKTITLE = {Proceedings of the Second Joint International Conference on Vector and Parallel Processing. Parallel Processing: VAPP V, CONPAR'92 (Lyon, France, September 1992)},
SERIES = {LNCS},
VOLUME = {634},
PAGES = {775-776},
YEAR = {1992},
EDITOR = {Boug{\'e}, L. and Cosnard, M. and Robert, Y. and Trystram, D.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=634&spage=775},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Berrendorf/92,
AUTHOR = {Berrendorf, Rudolf},
TITLE = {Memory access in shared virtual memory},
BOOKTITLE = {Proceedings of the Second Joint International Conference on Vector and Parallel Processing. Parallel Processing: VAPP V, CONPAR'92 (Lyon, France, September 1992)},
SERIES = {LNCS},
VOLUME = {634},
PAGES = {785-786},
YEAR = {1992},
EDITOR = {Boug{\'e}, L. and Cosnard, M. and Robert, Y. and Trystram, D.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=634&spage=785},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Arbab-Herman-Spilling/92,
AUTHOR = {Arbab, F. and Herman, I. and Spilling, P.},
TITLE = {Manifold: Concepts and implementation},
BOOKTITLE = {Proceedings of the Second Joint International Conference on Vector and Parallel Processing. Parallel Processing: VAPP V, CONPAR'92 (Lyon, France, September 1992)},
SERIES = {LNCS},
VOLUME = {634},
PAGES = {793-794},
YEAR = {1992},
EDITOR = {Boug{\'e}, L. and Cosnard, M. and Robert, Y. and Trystram, D.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=634&spage=793},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Eglin-Leclerc-Julliand-Perrin/92,
AUTHOR = {Eglin-Leclerc, M.C. and Julliand, J. and Perrin, G.R.},
TITLE = {How to compile systems of recurrence equations into networks of communicating processes},
BOOKTITLE = {Proceedings of the Second Joint International Conference on Vector and Parallel Processing. Parallel Processing: VAPP V, CONPAR'92 (Lyon, France, September 1992)},
SERIES = {LNCS},
VOLUME = {634},
PAGES = {795-796},
YEAR = {1992},
EDITOR = {Boug{\'e}, L. and Cosnard, M. and Robert, Y. and Trystram, D.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=634&spage=795},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Bahi/92,
AUTHOR = {Bahi, M.},
TITLE = {Parallel algorithms simulation applied to differential-algebraic systems and electrical networks application},
BOOKTITLE = {Proceedings of the Second Joint International Conference on Vector and Parallel Processing. Parallel Processing: VAPP V, CONPAR'92 (Lyon, France, September 1992)},
SERIES = {LNCS},
VOLUME = {634},
PAGES = {797-798},
YEAR = {1992},
EDITOR = {Boug{\'e}, L. and Cosnard, M. and Robert, Y. and Trystram, D.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=634&spage=797},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Crookes-McHale-Beney/92,
AUTHOR = {Crookes, D. and McHale, A.P. and Beney, N.},
TITLE = {A DAP-based implementation of a portable parallel image processing machine},
BOOKTITLE = {Proceedings of the Second Joint International Conference on Vector and Parallel Processing. Parallel Processing: VAPP V, CONPAR'92 (Lyon, France, September 1992)},
SERIES = {LNCS},
VOLUME = {634},
PAGES = {803-804},
YEAR = {1992},
EDITOR = {Boug{\'e}, L. and Cosnard, M. and Robert, Y. and Trystram, D.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=634&spage=803},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Gabarro/92,
AUTHOR = {Gabarr{\'o}, Joaquim},
TITLE = {The design of a parallel algorithm to solve the word problem for free partially commutative groups},
BOOKTITLE = {Proceedings of the Second Joint International Conference on Vector and Parallel Processing. Parallel Processing: VAPP V, CONPAR'92 (Lyon, France, September 1992)},
SERIES = {LNCS},
VOLUME = {634},
PAGES = {805-806},
YEAR = {1992},
EDITOR = {Boug{\'e}, L. and Cosnard, M. and Robert, Y. and Trystram, D.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=634&spage=805},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Datta-Sen/92,
AUTHOR = {Datta, Alak K. and Sen, Ranjan K.},
TITLE = {An efficient parallel algorithm for maximal matching},
BOOKTITLE = {Proceedings of the Second Joint International Conference on Vector and Parallel Processing. Parallel Processing: VAPP V, CONPAR'92 (Lyon, France, September 1992)},
SERIES = {LNCS},
VOLUME = {634},
PAGES = {813-814},
YEAR = {1992},
EDITOR = {Boug{\'e}, L. and Cosnard, M. and Robert, Y. and Trystram, D.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=634&spage=813},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Adamo-Alhafez/92,
AUTHOR = {Adamo, J.M. and Alhafez, N.},
TITLE = {Minimal, adaptive and deadlock-free routing for multiprocessors},
BOOKTITLE = {Proceedings of the Second Joint International Conference on Vector and Parallel Processing. Parallel Processing: VAPP V, CONPAR'92 (Lyon, France, September 1992)},
SERIES = {LNCS},
VOLUME = {634},
PAGES = {815-816},
YEAR = {1992},
EDITOR = {Boug{\'e}, L. and Cosnard, M. and Robert, Y. and Trystram, D.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=634&spage=815},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Desprez-Tourancheau/92,
AUTHOR = {Desprez, F. and Tourancheau, B.},
TITLE = {A theoretical study of reconfigurability for numerical algorithms on a reconfigurable network},
BOOKTITLE = {Proceedings of the Second Joint International Conference on Vector and Parallel Processing. Parallel Processing: VAPP V, CONPAR'92 (Lyon, France, September 1992)},
SERIES = {LNCS},
VOLUME = {634},
PAGES = {817-818},
YEAR = {1992},
EDITOR = {Boug{\'e}, L. and Cosnard, M. and Robert, Y. and Trystram, D.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=634&spage=817},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Fron/92,
AUTHOR = {Fron, Annick},
TITLE = {Multiprocessor simulation using object-oriented programming},
BOOKTITLE = {Proceedings of the Second Joint International Conference on Vector and Parallel Processing. Parallel Processing: VAPP V, CONPAR'92 (Lyon, France, September 1992)},
SERIES = {LNCS},
VOLUME = {634},
PAGES = {819-820},
YEAR = {1992},
EDITOR = {Boug{\'e}, L. and Cosnard, M. and Robert, Y. and Trystram, D.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=634&spage=819},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Arbenz-Oettli/92,
AUTHOR = {Arbenz, Peter and Oettli, Michael},
TITLE = {Block implementations of the symmetric QR and Jacobi algorithms},
BOOKTITLE = {Proceedings of the Second Joint International Conference on Vector and Parallel Processing. Parallel Processing: VAPP V, CONPAR'92 (Lyon, France, September 1992)},
SERIES = {LNCS},
VOLUME = {634},
PAGES = {827-828},
YEAR = {1992},
EDITOR = {Boug{\'e}, L. and Cosnard, M. and Robert, Y. and Trystram, D.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=634&spage=827},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Grammatikakis-Jwo/92,
AUTHOR = {Grammatikakis, Miltos D. and Jwo, Jung-Sing},
TITLE = {Greedy permutation routing on Cayley graphs},
BOOKTITLE = {Proceedings of the Second Joint International Conference on Vector and Parallel Processing. Parallel Processing: VAPP V, CONPAR'92 (Lyon, France, September 1992)},
SERIES = {LNCS},
VOLUME = {634},
PAGES = {839-840},
YEAR = {1992},
EDITOR = {Boug{\'e}, L. and Cosnard, M. and Robert, Y. and Trystram, D.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=634&spage=839},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Adamo-Trejo/92,
AUTHOR = {Adamo, J.M. and Trejo, L.},
TITLE = {Experimenting upon the CG algorithm within the C\_NET programming environment},
BOOKTITLE = {Proceedings of the Second Joint International Conference on Vector and Parallel Processing. Parallel Processing: VAPP V, CONPAR'92 (Lyon, France, September 1992)},
SERIES = {LNCS},
VOLUME = {634},
PAGES = {841-842},
YEAR = {1992},
EDITOR = {Boug{\'e}, L. and Cosnard, M. and Robert, Y. and Trystram, D.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=634&spage=841},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Barth/92,
AUTHOR = {Barth, Dominik},
TITLE = {An algorithm of broadcasting in the mesh of trees},
BOOKTITLE = {Proceedings of the Second Joint International Conference on Vector and Parallel Processing. Parallel Processing: VAPP V, CONPAR'92 (Lyon, France, September 1992)},
SERIES = {LNCS},
VOLUME = {634},
PAGES = {843-844},
YEAR = {1992},
EDITOR = {Boug{\'e}, L. and Cosnard, M. and Robert, Y. and Trystram, D.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=634&spage=843},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Anisimov-Kovalenko-Postupalski-Simanchuk/92,
AUTHOR = {Anisimov, Nikolay and Kovalenko, Aleksey and Postupalski, Pavel and Simanchuk, Aleksey},
TITLE = {A graphical Petri net based editor for a visualization of distributed and parallel systems},
BOOKTITLE = {Proceedings of the Second Joint International Conference on Vector and Parallel Processing. Parallel Processing: VAPP V, CONPAR'92 (Lyon, France, September 1992)},
SERIES = {LNCS},
VOLUME = {634},
PAGES = {847-848},
YEAR = {1992},
EDITOR = {Boug{\'e}, L. and Cosnard, M. and Robert, Y. and Trystram, D.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=634&spage=847},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Freisleben-Kielmann/92,
AUTHOR = {Freisleben, Bernd and Kielmann, Thilo},
TITLE = {Automatic parallelization of divide-and-conquer algorithms},
BOOKTITLE = {Proceedings of the Second Joint International Conference on Vector and Parallel Processing. Parallel Processing: VAPP V, CONPAR'92 (Lyon, France, September 1992)},
SERIES = {LNCS},
VOLUME = {634},
PAGES = {849-850},
YEAR = {1992},
EDITOR = {Boug{\'e}, L. and Cosnard, M. and Robert, Y. and Trystram, D.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=634&spage=849},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Agarwal-Matousek/92b,
AUTHOR = {Agarwal, Pankaj K. and Matou{\v{s}}ek, Ji{\v{r}}{\'i}},
TITLE = {On range searching with semialgebraic sets},
BOOKTITLE = {Proceedings of the 17th International Symposium on Mathematical Foundations of Computer Science, MFCS'92 (Prague, Czechoslovakia, August 24-28,1992)},
SERIES = {LNCS},
VOLUME = {629},
PAGES = {1-13},
YEAR = {1992},
EDITOR = {Havel, I.M. and Koubek, V.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=629&spage=1},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Diaz/92,
AUTHOR = {D{\'i}az, J.},
TITLE = {Graph layout problems},
BOOKTITLE = {Proceedings of the 17th International Symposium on Mathematical Foundations of Computer Science, MFCS'92 (Prague, Czechoslovakia, August 24-28,1992)},
SERIES = {LNCS},
VOLUME = {629},
PAGES = {14-23},
YEAR = {1992},
EDITOR = {Havel, I.M. and Koubek, V.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=629&spage=14},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Bast-Dietzfelbinger-Hagerup/92,
AUTHOR = {Bast, Holger and Dietzfelbinger, Martin and Hagerup, Torben},
TITLE = {A perfect parallel dictionary},
BOOKTITLE = {Proceedings of the 17th International Symposium on Mathematical Foundations of Computer Science, MFCS'92 (Prague, Czechoslovakia, August 24-28,1992)},
SERIES = {LNCS},
VOLUME = {629},
PAGES = {133-141},
YEAR = {1992},
EDITOR = {Havel, I.M. and Koubek, V.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=629&spage=133},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Becker-Hartmann/92,
AUTHOR = {Becker, Bernd and Hartmann, Joachim},
TITLE = {Some remarks on the test complexity of iterative logic arrays},
BOOKTITLE = {Proceedings of the 17th International Symposium on Mathematical Foundations of Computer Science, MFCS'92 (Prague, Czechoslovakia, August 24-28,1992)},
SERIES = {LNCS},
VOLUME = {629},
PAGES = {142-152},
YEAR = {1992},
EDITOR = {Havel, I.M. and Koubek, V.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=629&spage=142},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Burtschick-Hoene/92,
AUTHOR = {Burtschick, Hans-J{\"o}rg and Hoene, Albrecht},
TITLE = {The degree structure of 1-L reductions},
BOOKTITLE = {Proceedings of the 17th International Symposium on Mathematical Foundations of Computer Science, MFCS'92 (Prague, Czechoslovakia, August 24-28,1992)},
SERIES = {LNCS},
VOLUME = {629},
PAGES = {153-161},
YEAR = {1992},
EDITOR = {Havel, I.M. and Koubek, V.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=629&spage=153},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Cai-Hemachandra-Vyskoc/92,
AUTHOR = {Cai, Jin-yi and Hemachandra, Lane A. and Vysko{\v{c}}, Jozef},
TITLE = {Promise problems and access to unambiguous computation},
BOOKTITLE = {Proceedings of the 17th International Symposium on Mathematical Foundations of Computer Science, MFCS'92 (Prague, Czechoslovakia, August 24-28,1992)},
SERIES = {LNCS},
VOLUME = {629},
PAGES = {162-171},
YEAR = {1992},
EDITOR = {Havel, I.M. and Koubek, V.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=629&spage=162},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Chari-Ranjan-Rohatgi/92,
AUTHOR = {Chari, Suresh and Ranjan, Desh and Rohatgi, Pankaj},
TITLE = {On the complexity of incremental computation},
BOOKTITLE = {Proceedings of the 17th International Symposium on Mathematical Foundations of Computer Science, MFCS'92 (Prague, Czechoslovakia, August 24-28,1992)},
SERIES = {LNCS},
VOLUME = {629},
PAGES = {172-180},
YEAR = {1992},
EDITOR = {Havel, I.M. and Koubek, V.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=629&spage=172},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Choffrut-Goldwurm/92,
AUTHOR = {Choffrut, Christian and Goldwurm, Massimiliano},
TITLE = {Rational transductions and complexity of counting problems},
BOOKTITLE = {Proceedings of the 17th International Symposium on Mathematical Foundations of Computer Science, MFCS'92 (Prague, Czechoslovakia, August 24-28,1992)},
SERIES = {LNCS},
VOLUME = {629},
PAGES = {181-190},
YEAR = {1992},
EDITOR = {Havel, I.M. and Koubek, V.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=629&spage=181},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Comon-Fernandez/92,
AUTHOR = {Comon, Hubert and Fern{\'a}ndez, Maribel},
TITLE = {Negation elimination in equational formulae},
BOOKTITLE = {Proceedings of the 17th International Symposium on Mathematical Foundations of Computer Science, MFCS'92 (Prague, Czechoslovakia, August 24-28,1992)},
SERIES = {LNCS},
VOLUME = {629},
PAGES = {191-199},
YEAR = {1992},
EDITOR = {Havel, I.M. and Koubek, V.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=629&spage=191},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Costa-Sernadas-Sernadas-Ehrich/92,
AUTHOR = {Costa, J.F. and Sernadas, A. and Sernadas, C. and Ehrich, H.-D.},
TITLE = {Object interaction},
BOOKTITLE = {Proceedings of the 17th International Symposium on Mathematical Foundations of Computer Science, MFCS'92 (Prague, Czechoslovakia, August 24-28,1992)},
SERIES = {LNCS},
VOLUME = {629},
PAGES = {200-208},
YEAR = {1992},
EDITOR = {Havel, I.M. and Koubek, V.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=629&spage=200},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Curien-Hardin-Rios/92,
AUTHOR = {Curien, P.-L. and Hardin, T. and R{\'i}os, A.},
TITLE = {Strong normalization of substitutions},
BOOKTITLE = {Proceedings of the 17th International Symposium on Mathematical Foundations of Computer Science, MFCS'92 (Prague, Czechoslovakia, August 24-28,1992)},
SERIES = {LNCS},
VOLUME = {629},
PAGES = {209-217},
YEAR = {1992},
EDITOR = {Havel, I.M. and Koubek, V.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=629&spage=209},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Daley-Kalyanasundaram/92,
AUTHOR = {Daley, Robert and Kalyanasundaram, Bala},
TITLE = {Probabilistic and pluralistic learners with mind changes},
BOOKTITLE = {Proceedings of the 17th International Symposium on Mathematical Foundations of Computer Science, MFCS'92 (Prague, Czechoslovakia, August 24-28,1992)},
SERIES = {LNCS},
VOLUME = {629},
PAGES = {218-226},
YEAR = {1992},
EDITOR = {Havel, I.M. and Koubek, V.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=629&spage=218},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Damm-Holzer-Lange/92,
AUTHOR = {Damm, Carsten and Holzer, Markus and Lange, Klaus-J{\"o}rn},
TITLE = {Parallel complexity of iterated morphisms and the arithmetic of small numbers},
BOOKTITLE = {Proceedings of the 17th International Symposium on Mathematical Foundations of Computer Science, MFCS'92 (Prague, Czechoslovakia, August 24-28,1992)},
SERIES = {LNCS},
VOLUME = {629},
PAGES = {227-235},
YEAR = {1992},
EDITOR = {Havel, I.M. and Koubek, V.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=629&spage=227},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Derencourt-Karhumaki-Latteux-Terlutte/92,
AUTHOR = {Derencourt, D. and Karhum{\"a}ki, J. and Latteux, M. and Terlutte, A.},
TITLE = {On computational power of weighted finite automata},
BOOKTITLE = {Proceedings of the 17th International Symposium on Mathematical Foundations of Computer Science, MFCS'92 (Prague, Czechoslovakia, August 24-28,1992)},
SERIES = {LNCS},
VOLUME = {629},
PAGES = {236-245},
YEAR = {1992},
EDITOR = {Havel, I.M. and Koubek, V.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=629&spage=236},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Feldmann-Mysliwietz/92,
AUTHOR = {Feldmann, Rainer and Mysliwietz, Peter},
TITLE = {The shuffle exchange network has a Hamiltonian path},
BOOKTITLE = {Proceedings of the 17th International Symposium on Mathematical Foundations of Computer Science, MFCS'92 (Prague, Czechoslovakia, August 24-28,1992)},
SERIES = {LNCS},
VOLUME = {629},
PAGES = {246-254},
YEAR = {1992},
EDITOR = {Havel, I.M. and Koubek, V.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=629&spage=246},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Gastin-Petit/92,
AUTHOR = {Gastin, Paul and Petit, Antoine},
TITLE = {Poset properties of complex traces},
BOOKTITLE = {Proceedings of the 17th International Symposium on Mathematical Foundations of Computer Science, MFCS'92 (Prague, Czechoslovakia, August 24-28,1992)},
SERIES = {LNCS},
VOLUME = {629},
PAGES = {255-263},
YEAR = {1992},
EDITOR = {Havel, I.M. and Koubek, V.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=629&spage=255},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Goerdt/92c,
AUTHOR = {Goerdt, Andreas},
TITLE = {A threshold for unsatisfiability},
BOOKTITLE = {Proceedings of the 17th International Symposium on Mathematical Foundations of Computer Science, MFCS'92 (Prague, Czechoslovakia, August 24-28,1992)},
SERIES = {LNCS},
VOLUME = {629},
PAGES = {264-274},
YEAR = {1992},
EDITOR = {Havel, I.M. and Koubek, V.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=629&spage=264},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Gold/92,
AUTHOR = {Gold, Robert},
TITLE = {Dataflow semantics for Petri nets},
BOOKTITLE = {Proceedings of the 17th International Symposium on Mathematical Foundations of Computer Science, MFCS'92 (Prague, Czechoslovakia, August 24-28,1992)},
SERIES = {LNCS},
VOLUME = {629},
PAGES = {275-283},
YEAR = {1992},
EDITOR = {Havel, I.M. and Koubek, V.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=629&spage=275},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Guessarian-Veloso-Peixoto/92,
AUTHOR = {Guessarian, Ir{\`e}ne and Veloso-Peixoto, Marcos},
TITLE = {About boundedness for some {DATALOG} and $\mbox{DATALOG}^{neg}$ programs},
BOOKTITLE = {Proceedings of the 17th International Symposium on Mathematical Foundations of Computer Science, MFCS'92 (Prague, Czechoslovakia, August 24-28,1992)},
SERIES = {LNCS},
VOLUME = {629},
PAGES = {284-297},
YEAR = {1992},
EDITOR = {Havel, I.M. and Koubek, V.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=629&spage=284},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Hagerup-Petersson/92,
AUTHOR = {Hagerup, Torben and Petersson, Ola},
TITLE = {Merging and sorting strings in parallel},
BOOKTITLE = {Proceedings of the 17th International Symposium on Mathematical Foundations of Computer Science, MFCS'92 (Prague, Czechoslovakia, August 24-28,1992)},
SERIES = {LNCS},
VOLUME = {629},
PAGES = {298-306},
YEAR = {1992},
EDITOR = {Havel, I.M. and Koubek, V.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=629&spage=298},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Buntrock-Lorys/92,
AUTHOR = {Buntrock, Gerhard and Lory{\'s}, Krzysztof},
TITLE = {On growing context-sensitive languages},
BOOKTITLE = {Proceedings of the 19th International Colloquium on Automata, Languages and Programming, ICALP'92 (Wien, Austria, July 13-17, 1992)},
SERIES = {LNCS},
VOLUME = {623},
PAGES = {77-88},
YEAR = {1992},
EDITOR = {Kuich, W.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=623&spage=77},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Clerbout-Latteux-Roos-Zielonka/92,
AUTHOR = {Clerbout, M. and Latteux, M. and Roos, Y. and Zielonka, W.},
TITLE = {Semi-commutations and rational expressions},
BOOKTITLE = {Proceedings of the 19th International Colloquium on Automata, Languages and Programming, ICALP'92 (Wien, Austria, July 13-17, 1992)},
SERIES = {LNCS},
VOLUME = {623},
PAGES = {113-125},
YEAR = {1992},
EDITOR = {Kuich, W.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=623&spage=113},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Ibarra-Tran/92,
AUTHOR = {Ibarra, Oscar H. and Tr{\^a}n, Nicholas Q.},
TITLE = {New results concerning synchronized finite automata},
BOOKTITLE = {Proceedings of the 19th International Colloquium on Automata, Languages and Programming, ICALP'92 (Wien, Austria, July 13-17, 1992)},
SERIES = {LNCS},
VOLUME = {623},
PAGES = {126-137},
YEAR = {1992},
EDITOR = {Kuich, W.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=623&spage=126},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Engelfriet/92,
AUTHOR = {Engelfriet, Joost},
TITLE = {A Greibach normal form for context-free graph grammars},
BOOKTITLE = {Proceedings of the 19th International Colloquium on Automata, Languages and Programming, ICALP'92 (Wien, Austria, July 13-17, 1992)},
SERIES = {LNCS},
VOLUME = {623},
PAGES = {138-149},
YEAR = {1992},
EDITOR = {Kuich, W.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=623&spage=138},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Arvind-Han-Hemachandra-Kobler-Lozano-Mundhenk-Ogiwara-Schoning-Silvestri-Thierauf/92,
AUTHOR = {Arvind, V. and Han, Y. and Hemachandra, L. and K{\"o}bler, J. and Lozano, A. and Mundhenk, M. and Ogiwara, M. and Sch{\"o}ning, U. and Silvestri, R. and Thierauf, T.},
TITLE = {Reductions to sets of low information content},
BOOKTITLE = {Proceedings of the 19th International Colloquium on Automata, Languages and Programming, ICALP'92 (Wien, Austria, July 13-17, 1992)},
SERIES = {LNCS},
VOLUME = {623},
PAGES = {162-173},
YEAR = {1992},
EDITOR = {Kuich, W.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=623&spage=162},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Flajolet/92,
AUTHOR = {Flajolet, Philippe},
TITLE = {Analytic analysis of algorithms},
BOOKTITLE = {Proceedings of the 19th International Colloquium on Automata, Languages and Programming, ICALP'92 (Wien, Austria, July 13-17, 1992)},
SERIES = {LNCS},
VOLUME = {623},
PAGES = {186-210},
YEAR = {1992},
EDITOR = {Kuich, W.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=623&spage=186},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Dietzfelbinger-Gil-Matias-Pippenger/92,
AUTHOR = {Dietzfelbinger, M. and Gil, J. and Matias, Y. and Pippenger, N.},
TITLE = {Polynomial hash functions are reliable},
BOOKTITLE = {Proceedings of the 19th International Colloquium on Automata, Languages and Programming, ICALP'92 (Wien, Austria, July 13-17, 1992)},
SERIES = {LNCS},
VOLUME = {623},
PAGES = {235-246},
YEAR = {1992},
EDITOR = {Kuich, W.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=623&spage=235},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Bodlaender-Fellows-Warnow/92,
AUTHOR = {Bodlaender, Hans L. and Fellows, Mike R. and Warnow, Tandy J.},
TITLE = {Two strikes against perfect phylogeny},
BOOKTITLE = {Proceedings of the 19th International Colloquium on Automata, Languages and Programming, ICALP'92 (Wien, Austria, July 13-17, 1992)},
SERIES = {LNCS},
VOLUME = {623},
PAGES = {273-283},
YEAR = {1992},
EDITOR = {Kuich, W.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=623&spage=273},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Apostolico-Breslauer-Galil/92,
AUTHOR = {Apostolico, Alberto and Breslauer, Dany and Galil, Zvi},
TITLE = {Optimal parallel algorithms for periods, palindromes and squares},
BOOKTITLE = {Proceedings of the 19th International Colloquium on Automata, Languages and Programming, ICALP'92 (Wien, Austria, July 13-17, 1992)},
SERIES = {LNCS},
VOLUME = {623},
PAGES = {296-307},
YEAR = {1992},
EDITOR = {Kuich, W.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=623&spage=296},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Broder-Frieze-Shamir-Upfal/92,
AUTHOR = {Broder, Andrei Z. and Frieze, Alan M. and Shamir, E. and Upfal, E.},
TITLE = {Near-perfect token distribution},
BOOKTITLE = {Proceedings of the 19th International Colloquium on Automata, Languages and Programming, ICALP'92 (Wien, Austria, July 13-17, 1992)},
SERIES = {LNCS},
VOLUME = {623},
PAGES = {308-317},
YEAR = {1992},
EDITOR = {Kuich, W.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=623&spage=308},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Hagerup-Kutylowski/92,
AUTHOR = {Hagerup, Torben and Kuty{\l}owski, Miros{\l}aw},
TITLE = {Fast integer merging on the EREW PRAM},
BOOKTITLE = {Proceedings of the 19th International Colloquium on Automata, Languages and Programming, ICALP'92 (Wien, Austria, July 13-17, 1992)},
SERIES = {LNCS},
VOLUME = {623},
PAGES = {318-329},
YEAR = {1992},
EDITOR = {Kuich, W.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=623&spage=318},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Buchberger/92,
AUTHOR = {Buchberger, Bruno},
TITLE = {Gr{\"o}bner bases: An introduction},
BOOKTITLE = {Proceedings of the 19th International Colloquium on Automata, Languages and Programming, ICALP'92 (Wien, Austria, July 13-17, 1992)},
SERIES = {LNCS},
VOLUME = {623},
PAGES = {378-379},
YEAR = {1992},
EDITOR = {Kuich, W.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=623&spage=378},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Bundgen/92,
AUTHOR = {B{\"u}ndgen, Reinhard},
TITLE = {Buchberger's algorithm: The term rewriter's point of view},
BOOKTITLE = {Proceedings of the 19th International Colloquium on Automata, Languages and Programming, ICALP'92 (Wien, Austria, July 13-17, 1992)},
SERIES = {LNCS},
VOLUME = {623},
PAGES = {380-391},
YEAR = {1992},
EDITOR = {Kuich, W.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=623&spage=380},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Comon/92,
AUTHOR = {Comon, Hubert},
TITLE = {Completion of rewrite systems with membership constraints},
BOOKTITLE = {Proceedings of the 19th International Colloquium on Automata, Languages and Programming, ICALP'92 (Wien, Austria, July 13-17, 1992)},
SERIES = {LNCS},
VOLUME = {623},
PAGES = {392-403},
YEAR = {1992},
EDITOR = {Kuich, W.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=623&spage=392},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Chazelle-Rosenberg/92,
AUTHOR = {Chazelle, Bernard and Rosenberg, Burton},
TITLE = {Lower bounds on the complexity of simplex range reporting on a pointer machine},
BOOKTITLE = {Proceedings of the 19th International Colloquium on Automata, Languages and Programming, ICALP'92 (Wien, Austria, July 13-17, 1992)},
SERIES = {LNCS},
VOLUME = {623},
PAGES = {439-449},
YEAR = {1992},
EDITOR = {Kuich, W.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=623&spage=439},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Chang-Manna-Pnueli/92,
AUTHOR = {Chang, Edward and Manna, Zohar and Pnueli, Amir},
TITLE = {Characterization of temporal property classes},
BOOKTITLE = {Proceedings of the 19th International Colloquium on Automata, Languages and Programming, ICALP'92 (Wien, Austria, July 13-17, 1992)},
SERIES = {LNCS},
VOLUME = {623},
PAGES = {474-486},
YEAR = {1992},
EDITOR = {Kuich, W.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=623&spage=474},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Debray/92a,
AUTHOR = {Debray, Saumya K.},
TITLE = {On the complexity of dataflow analysis of logic programs},
BOOKTITLE = {Proceedings of the 19th International Colloquium on Automata, Languages and Programming, ICALP'92 (Wien, Austria, July 13-17, 1992)},
SERIES = {LNCS},
VOLUME = {623},
PAGES = {509-520},
YEAR = {1992},
EDITOR = {Kuich, W.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=623&spage=509},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Cortesi-File-Winsborough/92,
AUTHOR = {Cortesi, Agostino and Fil{\`e}, Gilberto and Winsborough, William},
TITLE = {Comparison of abstract interpretations},
BOOKTITLE = {Proceedings of the 19th International Colloquium on Automata, Languages and Programming, ICALP'92 (Wien, Austria, July 13-17, 1992)},
SERIES = {LNCS},
VOLUME = {623},
PAGES = {521-532},
YEAR = {1992},
EDITOR = {Kuich, W.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=623&spage=521},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Brown-Gurr/92,
AUTHOR = {Brown, Carolyn and Gurr, Doug},
TITLE = {Timing Petri nets categorically},
BOOKTITLE = {Proceedings of the 19th International Colloquium on Automata, Languages and Programming, ICALP'92 (Wien, Austria, July 13-17, 1992)},
SERIES = {LNCS},
VOLUME = {623},
PAGES = {571-582},
YEAR = {1992},
EDITOR = {Kuich, W.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=623&spage=571},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Gastin-Petit/92b,
AUTHOR = {Gastin, Paul and Petit, Antoine},
TITLE = {Asynchronous cellular automata for infinite traces},
BOOKTITLE = {Proceedings of the 19th International Colloquium on Automata, Languages and Programming, ICALP'92 (Wien, Austria, July 13-17, 1992)},
SERIES = {LNCS},
VOLUME = {623},
PAGES = {583-594},
YEAR = {1992},
EDITOR = {Kuich, W.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=623&spage=583},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Hoogers-Kleijn-Thiagarajan/92,
AUTHOR = {Hoogers, P.W. and Kleijn, H.C.M. and Thiagarajan, P.S.},
TITLE = {A trace semantics for Petri nets},
BOOKTITLE = {Proceedings of the 19th International Colloquium on Automata, Languages and Programming, ICALP'92 (Wien, Austria, July 13-17, 1992)},
SERIES = {LNCS},
VOLUME = {623},
PAGES = {595-604},
YEAR = {1992},
EDITOR = {Kuich, W.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=623&spage=595},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Degano-Priami/92,
AUTHOR = {Degano, Pierpaolo and Priami, Corrado},
TITLE = {Proved trees},
BOOKTITLE = {Proceedings of the 19th International Colloquium on Automata, Languages and Programming, ICALP'92 (Wien, Austria, July 13-17, 1992)},
SERIES = {LNCS},
VOLUME = {623},
PAGES = {629-640},
YEAR = {1992},
EDITOR = {Kuich, W.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=623&spage=629},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Fix-Francez-Grumberg/92,
AUTHOR = {Fix, Limor and Francez, Nissim and Grumberg, Orna},
TITLE = {Program composition via unification},
BOOKTITLE = {Proceedings of the 19th International Colloquium on Automata, Languages and Programming, ICALP'92 (Wien, Austria, July 13-17, 1992)},
SERIES = {LNCS},
VOLUME = {623},
PAGES = {672-684},
YEAR = {1992},
EDITOR = {Kuich, W.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=623&spage=672},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Cleaveland-Smolka-Zwarico/92,
AUTHOR = {Cleaveland, Rance and Smolka, Scott A. and Zwarico, Amy},
TITLE = {Testing preorders for probabilistic processes},
BOOKTITLE = {Proceedings of the 19th International Colloquium on Automata, Languages and Programming, ICALP'92 (Wien, Austria, July 13-17, 1992)},
SERIES = {LNCS},
VOLUME = {623},
PAGES = {708-719},
YEAR = {1992},
EDITOR = {Kuich, W.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=623&spage=708},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Gonnet/92,
AUTHOR = {Gonnet, Gaston H.},
TITLE = {Efficient two-dimensional searching},
BOOKTITLE = {Proceedings of the 3rd Scandinavian Workshop on Algorithm Theory, SWAT'92 (Helsinki, Finland, July 8-10, 1992)},
SERIES = {LNCS},
VOLUME = {621},
PAGES = {317},
YEAR = {1992},
EDITOR = {Nurmi, O. and Ukkonen, E.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=621&spage=31},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Gerbessiotis-Valiant/92,
AUTHOR = {Gerbessiotis, Alexandros V. and Valiant, Leslie G.},
TITLE = {Direct bulk-synchronous parallel algorithms},
BOOKTITLE = {Proceedings of the 3rd Scandinavian Workshop on Algorithm Theory, SWAT'92 (Helsinki, Finland, July 8-10, 1992)},
SERIES = {LNCS},
VOLUME = {621},
PAGES = {1-18},
YEAR = {1992},
EDITOR = {Nurmi, O. and Ukkonen, E.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=621&spage=1},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Freivalds-Smith/92,
AUTHOR = {Freivalds, R{\=u}si{\c{n}}{\u{s}} and Smith, Carl H.},
TITLE = {Memory limited inductive inference machines},
BOOKTITLE = {Proceedings of the 3rd Scandinavian Workshop on Algorithm Theory, SWAT'92 (Helsinki, Finland, July 8-10, 1992)},
SERIES = {LNCS},
VOLUME = {621},
PAGES = {19-29},
YEAR = {1992},
EDITOR = {Nurmi, O. and Ukkonen, E.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=621&spage=19},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Fich-Kowaluk-Lorys-Kutylowski-Ragde/92,
AUTHOR = {Fich, Faith and Kowaluk, Miroslaw and Lory{\'s}, Krzysztof and Kuty{\l}owski, Miroslaw and Ragde, Prabhakar},
TITLE = {Retrieval of scattered information by EREW, CREW and CRCW PRAMs},
BOOKTITLE = {Proceedings of the 3rd Scandinavian Workshop on Algorithm Theory, SWAT'92 (Helsinki, Finland, July 8-10, 1992)},
SERIES = {LNCS},
VOLUME = {621},
PAGES = {30-41},
YEAR = {1992},
EDITOR = {Nurmi, O. and Ukkonen, E.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=621&spage=30},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Czumaj/92,
AUTHOR = {Czumaj, Artur},
TITLE = {An optimal parallel algorithm for computing a near-optimal order of matrix multiplications},
BOOKTITLE = {Proceedings of the 3rd Scandinavian Workshop on Algorithm Theory, SWAT'92 (Helsinki, Finland, July 8-10, 1992)},
SERIES = {LNCS},
VOLUME = {621},
PAGES = {62-72},
YEAR = {1992},
EDITOR = {Nurmi, O. and Ukkonen, E.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=621&spage=62},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Awerbuch-Berger-Cowen-Peleg/92,
AUTHOR = {Awerbuch, Baruch and Berger, Bonnie and Cowen, Lenore and Peleg, David},
TITLE = {Low-diameter graph decomposition is in NC},
BOOKTITLE = {Proceedings of the 3rd Scandinavian Workshop on Algorithm Theory, SWAT'92 (Helsinki, Finland, July 8-10, 1992)},
SERIES = {LNCS},
VOLUME = {621},
PAGES = {83-93},
YEAR = {1992},
EDITOR = {Nurmi, O. and Ukkonen, E.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=621&spage=83},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{He/92,
AUTHOR = {He, Xin},
TITLE = {Parallel algorithm for cograph recognition with applications},
BOOKTITLE = {Proceedings of the 3rd Scandinavian Workshop on Algorithm Theory, SWAT'92 (Helsinki, Finland, July 8-10, 1992)},
SERIES = {LNCS},
VOLUME = {621},
PAGES = {94-105},
YEAR = {1992},
EDITOR = {Nurmi, O. and Ukkonen, E.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=621&spage=94},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Ghosh-Maheshwari/92a,
AUTHOR = {Ghosh, Subir Kumar and Maheshwari, Anil},
TITLE = {Parallel algorithms for all minimum link paths and link center problems},
BOOKTITLE = {Proceedings of the 3rd Scandinavian Workshop on Algorithm Theory, SWAT'92 (Helsinki, Finland, July 8-10, 1992)},
SERIES = {LNCS},
VOLUME = {621},
PAGES = {106-117},
YEAR = {1992},
EDITOR = {Nurmi, O. and Ukkonen, E.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=621&spage=106},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Dietz/92a,
AUTHOR = {Dietz, Paul F.},
TITLE = {Heap construction in the parallel comparison tree model},
BOOKTITLE = {Proceedings of the 3rd Scandinavian Workshop on Algorithm Theory, SWAT'92 (Helsinki, Finland, July 8-10, 1992)},
SERIES = {LNCS},
VOLUME = {621},
PAGES = {140-150},
YEAR = {1992},
EDITOR = {Nurmi, O. and Ukkonen, E.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=621&spage=140},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Boyar-Larsen/92,
AUTHOR = {Boyar, Joan and Larsen, Kim S.},
TITLE = {Efficient rebalancing of chromatic search trees},
BOOKTITLE = {Proceedings of the 3rd Scandinavian Workshop on Algorithm Theory, SWAT'92 (Helsinki, Finland, July 8-10, 1992)},
SERIES = {LNCS},
VOLUME = {621},
PAGES = {151-164},
YEAR = {1992},
EDITOR = {Nurmi, O. and Ukkonen, E.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=621&spage=151},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Cunto-Yriarte/92,
AUTHOR = {Cunto, Walter and Yriarte, Vicente},
TITLE = {G$K$D-trees: Binary trees that combine multi-dimensional data handling, node size and fringe reorganization},
BOOKTITLE = {Proceedings of the 3rd Scandinavian Workshop on Algorithm Theory, SWAT'92 (Helsinki, Finland, July 8-10, 1992)},
SERIES = {LNCS},
VOLUME = {621},
PAGES = {192-211},
YEAR = {1992},
EDITOR = {Nurmi, O. and Ukkonen, E.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=621&spage=192},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Giammarresi-Italiano/92,
AUTHOR = {Giammarresi, Dora and Italiano, Giuseppe F.},
TITLE = {Dynamic 2- and 3-connectivity on planar graphs},
BOOKTITLE = {Proceedings of the 3rd Scandinavian Workshop on Algorithm Theory, SWAT'92 (Helsinki, Finland, July 8-10, 1992)},
SERIES = {LNCS},
VOLUME = {621},
PAGES = {221-232},
YEAR = {1992},
EDITOR = {Nurmi, O. and Ukkonen, E.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=621&spage=221},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Hershberger-Rauch-Suri/92,
AUTHOR = {Hershberger, John and Rauch, Monika and Suri, Subhash},
TITLE = {Fully dynamic 2-edge-connectivity in planar graphs},
BOOKTITLE = {Proceedings of the 3rd Scandinavian Workshop on Algorithm Theory, SWAT'92 (Helsinki, Finland, July 8-10, 1992)},
SERIES = {LNCS},
VOLUME = {621},
PAGES = {233-244},
YEAR = {1992},
EDITOR = {Nurmi, O. and Ukkonen, E.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=621&spage=233},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Bertolazzi-Cohen-Battista-Tamassia-Tollis/92,
AUTHOR = {Bertolazzi, P. and Cohen, R.F. and Battista, G. Di and Tamassia, R. and Tollis, I.G.},
TITLE = {How to draw a series-parallel digraph},
BOOKTITLE = {Proceedings of the 3rd Scandinavian Workshop on Algorithm Theory, SWAT'92 (Helsinki, Finland, July 8-10, 1992)},
SERIES = {LNCS},
VOLUME = {621},
PAGES = {272-283},
YEAR = {1992},
EDITOR = {Nurmi, O. and Ukkonen, E.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=621&spage=272},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Furer-Subramanian/92,
AUTHOR = {F{\"u}rer, Martin and Subramanian, C.R.},
TITLE = {Coloring random graphs},
BOOKTITLE = {Proceedings of the 3rd Scandinavian Workshop on Algorithm Theory, SWAT'92 (Helsinki, Finland, July 8-10, 1992)},
SERIES = {LNCS},
VOLUME = {621},
PAGES = {284-291},
YEAR = {1992},
EDITOR = {Nurmi, O. and Ukkonen, E.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=621&spage=284},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Fernandez-Baca-Slutzki/92,
AUTHOR = {Fern{\'a}ndez-Baca, David and Slutzki, Giora},
TITLE = {Parametric problems on graphs of bounded tree-width},
BOOKTITLE = {Proceedings of the 3rd Scandinavian Workshop on Algorithm Theory, SWAT'92 (Helsinki, Finland, July 8-10, 1992)},
SERIES = {LNCS},
VOLUME = {621},
PAGES = {304-316},
YEAR = {1992},
EDITOR = {Nurmi, O. and Ukkonen, E.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=621&spage=304},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Chew-Kedem/92,
AUTHOR = {Chew, L. Paul and Kedem, Klara},
TITLE = {Improvements on geometric pattern matching problems},
BOOKTITLE = {Proceedings of the 3rd Scandinavian Workshop on Algorithm Theory, SWAT'92 (Helsinki, Finland, July 8-10, 1992)},
SERIES = {LNCS},
VOLUME = {621},
PAGES = {318-325},
YEAR = {1992},
EDITOR = {Nurmi, O. and Ukkonen, E.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=621&spage=318},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Golin/92,
AUTHOR = {Golin, Mordecai J.},
TITLE = {Dynamic closest pairs --- A probabilistic approach},
BOOKTITLE = {Proceedings of the 3rd Scandinavian Workshop on Algorithm Theory, SWAT'92 (Helsinki, Finland, July 8-10, 1992)},
SERIES = {LNCS},
VOLUME = {621},
PAGES = {340-351},
YEAR = {1992},
EDITOR = {Nurmi, O. and Ukkonen, E.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=621&spage=340},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Chazelle-Palios/92,
AUTHOR = {Chazelle, Bernard and Palios, Leonidas},
TITLE = {Decomposing the boundary of a nonconvex polyhedron},
BOOKTITLE = {Proceedings of the 3rd Scandinavian Workshop on Algorithm Theory, SWAT'92 (Helsinki, Finland, July 8-10, 1992)},
SERIES = {LNCS},
VOLUME = {621},
PAGES = {364-375},
YEAR = {1992},
EDITOR = {Nurmi, O. and Ukkonen, E.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=621&spage=364},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Hershberger-Snoeyink/92,
AUTHOR = {Hershberger, John and Snoeyink, Jack},
TITLE = {Convex polygons made from few lines and convex decompositions of polyhedra},
BOOKTITLE = {Proceedings of the 3rd Scandinavian Workshop on Algorithm Theory, SWAT'92 (Helsinki, Finland, July 8-10, 1992)},
SERIES = {LNCS},
VOLUME = {621},
PAGES = {376-387},
YEAR = {1992},
EDITOR = {Nurmi, O. and Ukkonen, E.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=621&spage=376},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Albers-Roos/92,
AUTHOR = {Albers, Gerhard and Roos, Thomas},
TITLE = {Voronoi diagrams of moving points in higher dimensional spaces},
BOOKTITLE = {Proceedings of the 3rd Scandinavian Workshop on Algorithm Theory, SWAT'92 (Helsinki, Finland, July 8-10, 1992)},
SERIES = {LNCS},
VOLUME = {621},
PAGES = {399-409},
YEAR = {1992},
EDITOR = {Nurmi, O. and Ukkonen, E.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=621&spage=399},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Balbo/92,
AUTHOR = {Balbo, Gianfranco},
TITLE = {Performance issues in parallel programming},
BOOKTITLE = {Proceedings of the 13th International Conference on Application and Theory of Petri Nets, ICATPN'92 (Sheffield, UK, June 22-26, 1992)},
SERIES = {LNCS},
VOLUME = {616},
PAGES = {1-23},
YEAR = {1992},
EDITOR = {Jensen, K.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=616&spage=1},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Autant-Schnoebelen/92,
AUTHOR = {Autant, C. and Schnoebelen, Ph.},
TITLE = {Place bisimulations in Petri nets},
BOOKTITLE = {Proceedings of the 13th International Conference on Application and Theory of Petri Nets, ICATPN'92 (Sheffield, UK, June 22-26, 1992)},
SERIES = {LNCS},
VOLUME = {616},
PAGES = {45-61},
YEAR = {1992},
EDITOR = {Jensen, K.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=616&spage=45},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Barkaoui-Minoux/92,
AUTHOR = {Barkaoui, Kamel and Minoux, Michel},
TITLE = {A polynomial-time graph algorithm to decide liveness of some basic classes of bounded Petri nets},
BOOKTITLE = {Proceedings of the 13th International Conference on Application and Theory of Petri Nets, ICATPN'92 (Sheffield, UK, June 22-26, 1992)},
SERIES = {LNCS},
VOLUME = {616},
PAGES = {62-75},
YEAR = {1992},
EDITOR = {Jensen, K.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=616&spage=62},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Brown-Gurr/92a,
AUTHOR = {Brown, Carolyn and Gurr, Doug},
TITLE = {Refinement and simulation of nets --- a categorical characterisation},
BOOKTITLE = {Proceedings of the 13th International Conference on Application and Theory of Petri Nets, ICATPN'92 (Sheffield, UK, June 22-26, 1992)},
SERIES = {LNCS},
VOLUME = {616},
PAGES = {76-92},
YEAR = {1992},
EDITOR = {Jensen, K.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=616&spage=76},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Bruno-Castella-Macario-Pescarmona/92,
AUTHOR = {Bruno, Giorgio and Castella, Andrea and Macario, Gianpaolo and Pescarmona, Marco P.},
TITLE = {Scheduling hard real time systems using high-level Petri nets},
BOOKTITLE = {Proceedings of the 13th International Conference on Application and Theory of Petri Nets, ICATPN'92 (Sheffield, UK, June 22-26, 1992)},
SERIES = {LNCS},
VOLUME = {616},
PAGES = {93-112},
YEAR = {1992},
EDITOR = {Jensen, K.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=616&spage=93},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Christensen-Petrucci/92,
AUTHOR = {Christensen, S{\o}ren and Petrucci, Laure},
TITLE = {Towards a modular analysis of coloured Petri nets},
BOOKTITLE = {Proceedings of the 13th International Conference on Application and Theory of Petri Nets, ICATPN'92 (Sheffield, UK, June 22-26, 1992)},
SERIES = {LNCS},
VOLUME = {616},
PAGES = {113-133},
YEAR = {1992},
EDITOR = {Jensen, K.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=616&spage=113},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Desel/92,
AUTHOR = {Desel, J{\"o}rg},
TITLE = {A proof of the rank theorem for extended free choice nets},
BOOKTITLE = {Proceedings of the 13th International Conference on Application and Theory of Petri Nets, ICATPN'92 (Sheffield, UK, June 22-26, 1992)},
SERIES = {LNCS},
VOLUME = {616},
PAGES = {134-153},
YEAR = {1992},
EDITOR = {Jensen, K.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=616&spage=134},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Donatelli-Sereno/92,
AUTHOR = {Donatelli, Susanna and Sereno, Matteo},
TITLE = {On the product form solution for stochastic Petri nets},
BOOKTITLE = {Proceedings of the 13th International Conference on Application and Theory of Petri Nets, ICATPN'92 (Sheffield, UK, June 22-26, 1992)},
SERIES = {LNCS},
VOLUME = {616},
PAGES = {154-172},
YEAR = {1992},
EDITOR = {Jensen, K.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=616&spage=154},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Findlow/92,
AUTHOR = {Findlow, Greg},
TITLE = {Obtaining deadlock-preserving skeletons for coloured nets},
BOOKTITLE = {Proceedings of the 13th International Conference on Application and Theory of Petri Nets, ICATPN'92 (Sheffield, UK, June 22-26, 1992)},
SERIES = {LNCS},
VOLUME = {616},
PAGES = {173-192},
YEAR = {1992},
EDITOR = {Jensen, K.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=616&spage=173},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Fleischhack/92,
AUTHOR = {Fleischhack, Hans},
TITLE = {$P$-superfairness in nets},
BOOKTITLE = {Proceedings of the 13th International Conference on Application and Theory of Petri Nets, ICATPN'92 (Sheffield, UK, June 22-26, 1992)},
SERIES = {LNCS},
VOLUME = {616},
PAGES = {193-204},
YEAR = {1992},
EDITOR = {Jensen, K.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=616&spage=193},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Genrich-Shapiro/92,
AUTHOR = {Genrich, Hartmann J. and Shapiro, Robert M.},
TITLE = {Formal verification of an arbiter cascade},
BOOKTITLE = {Proceedings of the 13th International Conference on Application and Theory of Petri Nets, ICATPN'92 (Sheffield, UK, June 22-26, 1992)},
SERIES = {LNCS},
VOLUME = {616},
PAGES = {205-223},
YEAR = {1992},
EDITOR = {Jensen, K.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=616&spage=205},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Heuser-Richter/92,
AUTHOR = {Heuser, Carlos A. and Richter, Gernot},
TITLE = {Constructs for modeling information systems with Petri nets},
BOOKTITLE = {Proceedings of the 13th International Conference on Application and Theory of Petri Nets, ICATPN'92 (Sheffield, UK, June 22-26, 1992)},
SERIES = {LNCS},
VOLUME = {616},
PAGES = {224-243},
YEAR = {1992},
EDITOR = {Jensen, K.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=616&spage=224},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Hiraishi/92,
AUTHOR = {Hiraishi, Kunihiko},
TITLE = {Construction of a class of safe Petri nets by presenting firing sequences},
BOOKTITLE = {Proceedings of the 13th International Conference on Application and Theory of Petri Nets, ICATPN'92 (Sheffield, UK, June 22-26, 1992)},
SERIES = {LNCS},
VOLUME = {616},
PAGES = {244-262},
YEAR = {1992},
EDITOR = {Jensen, K.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=616&spage=244},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Cutts-Rattigan/92,
AUTHOR = {Cutts, Geoff and Rattigan, Shaun},
TITLE = {Using Petri nets to develop programs for PLC systems},
BOOKTITLE = {Proceedings of the 13th International Conference on Application and Theory of Petri Nets, ICATPN'92 (Sheffield, UK, June 22-26, 1992)},
SERIES = {LNCS},
VOLUME = {616},
PAGES = {368-372},
YEAR = {1992},
EDITOR = {Jensen, K.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=616&spage=368},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Best/92,
AUTHOR = {Best, Eike},
TITLE = {Esprit basic research action 3148 DEMON (Design Methods Based on Nets) - aims, scope and achievements},
BOOKTITLE = {Advances in Petri Nets 1992},
SERIES = {LNCS},
VOLUME = {609},
PAGES = {1-20},
YEAR = {1992},
EDITOR = {Rozenberg, G.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=609&spage=1},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Best-Devillers-Hall/92,
AUTHOR = {Best, Eike and Devillers, Raymond and Hall, Jon G.},
TITLE = {The box calculus: a new causal algebra with multi-label communication},
BOOKTITLE = {Advances in Petri Nets 1992},
SERIES = {LNCS},
VOLUME = {609},
PAGES = {21-69},
YEAR = {1992},
EDITOR = {Rozenberg, G.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=609&spage=21},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Broy-Streicher/92,
AUTHOR = {Broy, Manfred and Streicher, Thomas},
TITLE = {Modular functional modelling of Petri nets with individual tokens},
BOOKTITLE = {Advances in Petri Nets 1992},
SERIES = {LNCS},
VOLUME = {609},
PAGES = {70-88},
YEAR = {1992},
EDITOR = {Rozenberg, G.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=609&spage=70},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Czaja-Glabbeek-Goltz/92,
AUTHOR = {Czaja, Ingo and Glabbeek, Rob J. van and Goltz, Ursula},
TITLE = {Interleaving semantics and action refinement with atomic choice},
BOOKTITLE = {Advances in Petri Nets 1992},
SERIES = {LNCS},
VOLUME = {609},
PAGES = {89-107},
YEAR = {1992},
EDITOR = {Rozenberg, G.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=609&spage=89},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Devillers/92,
AUTHOR = {Devillers, Raymond},
TITLE = {Maximality preservation and the ST-idea for action refinements},
BOOKTITLE = {Advances in Petri Nets 1992},
SERIES = {LNCS},
VOLUME = {609},
PAGES = {108-151},
YEAR = {1992},
EDITOR = {Rozenberg, G.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=609&spage=108},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Fanchon/92,
AUTHOR = {Fanchon, J.},
TITLE = {A fifo-net model for processes with asynchronous communication},
BOOKTITLE = {Advances in Petri Nets 1992},
SERIES = {LNCS},
VOLUME = {609},
PAGES = {152-178},
YEAR = {1992},
EDITOR = {Rozenberg, G.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=609&spage=152},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Hopkins-Hall-Botti/92,
AUTHOR = {Hopkins, Richard and Hall, Jon and Botti, Oliver},
TITLE = {A basic-net algebra for program semantics and its application to OCCAM},
BOOKTITLE = {Advances in Petri Nets 1992},
SERIES = {LNCS},
VOLUME = {609},
PAGES = {179-214},
YEAR = {1992},
EDITOR = {Rozenberg, G.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=609&spage=179},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Bernardinello-Cindio/92,
AUTHOR = {Bernardinello, Luca and Cindio, Fiorella de},
TITLE = {A survey of basic net models and modular net classes},
BOOKTITLE = {Advances in Petri Nets 1992},
SERIES = {LNCS},
VOLUME = {609},
PAGES = {304-351},
YEAR = {1992},
EDITOR = {Rozenberg, G.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=609&spage=304},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Campos-Silva/92,
AUTHOR = {Campos, Javier and Silva, Manuel},
TITLE = {Stuctural techniques and performance bounds of stochastic Petri net models},
BOOKTITLE = {Advances in Petri Nets 1992},
SERIES = {LNCS},
VOLUME = {609},
PAGES = {352-391},
YEAR = {1992},
EDITOR = {Rozenberg, G.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=609&spage=352},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Gastin-Petit/92a,
AUTHOR = {Gastin, Paul and Petit, Antoine},
TITLE = {A survey of recognizable languages of infinite traces},
BOOKTITLE = {Advances in Petri Nets 1992},
SERIES = {LNCS},
VOLUME = {609},
PAGES = {392-409},
YEAR = {1992},
EDITOR = {Rozenberg, G.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=609&spage=392},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Hromkovic-Muller-Sykora-Vrto/92,
AUTHOR = {Hromkovi{\v{c}}, Juraj and M{\"u}ller, Vladim{\'i}r and S{\'y}kora, Ondrej and Vr{\v{t}}o, Imrich},
TITLE = {On embedding interconnection networks into rings of processors},
BOOKTITLE = {Proceedings of the 4th International Conference on Parallel Architectures and Languages Europe, PARLE'92 (Paris, France, June 1992)},
SERIES = {LNCS},
VOLUME = {605},
PAGES = {53-62},
YEAR = {1992},
EDITOR = {Etiemble, D. and Syre, J.-C.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=605&spage=53},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Glauert/92,
AUTHOR = {Glauert, John},
TITLE = {Asynchronous mobile processes and graph rewriting},
BOOKTITLE = {Proceedings of the 4th International Conference on Parallel Architectures and Languages Europe, PARLE'92 (Paris, France, June 1992)},
SERIES = {LNCS},
VOLUME = {605},
PAGES = {63-78},
YEAR = {1992},
EDITOR = {Etiemble, D. and Syre, J.-C.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=605&spage=63},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Cappello-Bechennec-Giavitto/92,
AUTHOR = {Cappello, Franck and B{\'e}chennec, Jean-Luc and Giavitto, Jean-Louis},
TITLE = {PTAH: Introduction to a new parallel architecture for highly numeric processing},
BOOKTITLE = {Proceedings of the 4th International Conference on Parallel Architectures and Languages Europe, PARLE'92 (Paris, France, June 1992)},
SERIES = {LNCS},
VOLUME = {605},
PAGES = {81-96},
YEAR = {1992},
EDITOR = {Etiemble, D. and Syre, J.-C.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=605&spage=81},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Feldmann-Hromkovic-Madhavapeddy-Monien-Mysliwietz/92,
AUTHOR = {Feldmann, R. and Hromkovi{\v{c}}, J. and Madhavapeddy, S. and Monien, B. and Mysliwietz, P.},
TITLE = {Optimal algorithms for dissemination of information in generalized communication modes},
BOOKTITLE = {Proceedings of the 4th International Conference on Parallel Architectures and Languages Europe, PARLE'92 (Paris, France, June 1992)},
SERIES = {LNCS},
VOLUME = {605},
PAGES = {115-130},
YEAR = {1992},
EDITOR = {Etiemble, D. and Syre, J.-C.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=605&spage=115},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Das-Chen/92a,
AUTHOR = {Das, Sajal K. and Chen, Calvin C.-Y.},
TITLE = {Efficient parallel algorithms on interval graphs},
BOOKTITLE = {Proceedings of the 4th International Conference on Parallel Architectures and Languages Europe, PARLE'92 (Paris, France, June 1992)},
SERIES = {LNCS},
VOLUME = {605},
PAGES = {131-143},
YEAR = {1992},
EDITOR = {Etiemble, D. and Syre, J.-C.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=605&spage=131},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Collette-Essafi-Juvin-Kaiser/92,
AUTHOR = {Collette, T. and Essafi, H. and Juvin, D. and Kaiser, J.},
TITLE = {SYMPATIX: A SIMD computer performing the low and intermediate levels of image processing},
BOOKTITLE = {Proceedings of the 4th International Conference on Parallel Architectures and Languages Europe, PARLE'92 (Paris, France, June 1992)},
SERIES = {LNCS},
VOLUME = {605},
PAGES = {147-161},
YEAR = {1992},
EDITOR = {Etiemble, D. and Syre, J.-C.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=605&spage=147},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Getov/92,
AUTHOR = {Getov, Vladimir},
TITLE = {1-dimensional parallel FFT benchmark on SUPRENUM},
BOOKTITLE = {Proceedings of the 4th International Conference on Parallel Architectures and Languages Europe, PARLE'92 (Paris, France, June 1992)},
SERIES = {LNCS},
VOLUME = {605},
PAGES = {163-174},
YEAR = {1992},
EDITOR = {Etiemble, D. and Syre, J.-C.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=605&spage=163},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Farrag-Dawson-Yao/92,
AUTHOR = {Farrag, Abdel Aziz and Dawson, Robert and Yao, Qi},
TITLE = {On designing fault-tolerant extensions with optimal fanout for complete bipartite networks},
BOOKTITLE = {Proceedings of the 4th International Conference on Parallel Architectures and Languages Europe, PARLE'92 (Paris, France, June 1992)},
SERIES = {LNCS},
VOLUME = {605},
PAGES = {177-191},
YEAR = {1992},
EDITOR = {Etiemble, D. and Syre, J.-C.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=605&spage=177},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Dubois-Barroso-Chen-oner/92,
AUTHOR = {Dubois, Michel and Barroso, Luiz and Chen, Yung-Syau and {\"o}ner, Koray},
TITLE = {Scalability problems in multiprocessors with private caches},
BOOKTITLE = {Proceedings of the 4th International Conference on Parallel Architectures and Languages Europe, PARLE'92 (Paris, France, June 1992)},
SERIES = {LNCS},
VOLUME = {605},
PAGES = {211-230},
YEAR = {1992},
EDITOR = {Etiemble, D. and Syre, J.-C.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=605&spage=211},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Chavel-Taboury/92,
AUTHOR = {Chavel, Pierre and Taboury, Jean},
TITLE = {Promises and issues in optical computing},
BOOKTITLE = {Proceedings of the 4th International Conference on Parallel Architectures and Languages Europe, PARLE'92 (Paris, France, June 1992)},
SERIES = {LNCS},
VOLUME = {605},
PAGES = {231-242},
YEAR = {1992},
EDITOR = {Etiemble, D. and Syre, J.-C.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=605&spage=231},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Bahsoun-Feraud/92,
AUTHOR = {Bahsoun, J.P. and F{\'e}raud, L.},
TITLE = {A model to design reusable parallel software components},
BOOKTITLE = {Proceedings of the 4th International Conference on Parallel Architectures and Languages Europe, PARLE'92 (Paris, France, June 1992)},
SERIES = {LNCS},
VOLUME = {605},
PAGES = {245-260},
YEAR = {1992},
EDITOR = {Etiemble, D. and Syre, J.-C.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=605&spage=245},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Bi/92,
AUTHOR = {Bi, Hua},
TITLE = {Explicit expression of multidimensional data parallelism},
BOOKTITLE = {Proceedings of the 4th International Conference on Parallel Architectures and Languages Europe, PARLE'92 (Paris, France, June 1992)},
SERIES = {LNCS},
VOLUME = {605},
PAGES = {313-328},
YEAR = {1992},
EDITOR = {Etiemble, D. and Syre, J.-C.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=605&spage=313},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Freeman-Friedman/92,
AUTHOR = {Freeman, Eric T. and Friedman, Daniel P.},
TITLE = {Characterizing the paralation model using dynamic assignment},
BOOKTITLE = {Proceedings of the 4th International Conference on Parallel Architectures and Languages Europe, PARLE'92 (Paris, France, June 1992)},
SERIES = {LNCS},
VOLUME = {605},
PAGES = {483-496},
YEAR = {1992},
EDITOR = {Etiemble, D. and Syre, J.-C.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=605&spage=483},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Cox-Huang-Kelly-Liu-Taylor/92,
AUTHOR = {Cox, Stuart and Huang, Shell-Ying and Kelly, Paul and Liu, Junxian and Taylor, Frank},
TITLE = {An implementation of static functional process networks},
BOOKTITLE = {Proceedings of the 4th International Conference on Parallel Architectures and Languages Europe, PARLE'92 (Paris, France, June 1992)},
SERIES = {LNCS},
VOLUME = {605},
PAGES = {497-512},
YEAR = {1992},
EDITOR = {Etiemble, D. and Syre, J.-C.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=605&spage=497},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Bic-Roy-Nagel/92,
AUTHOR = {Bic, Lubomir and Roy, John M.A. and Nagel, Mark},
TITLE = {Declarative programming for conventional MIMD multiprocessors},
BOOKTITLE = {Proceedings of the 4th International Conference on Parallel Architectures and Languages Europe, PARLE'92 (Paris, France, June 1992)},
SERIES = {LNCS},
VOLUME = {605},
PAGES = {569-583},
YEAR = {1992},
EDITOR = {Etiemble, D. and Syre, J.-C.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=605&spage=569},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Ali-Karlsson-Mudambi/92,
AUTHOR = {Ali, Khayri A.M. and Karlsson, Roland and Mudambi, Shyam},
TITLE = {Performance of {M}use on the BBN butterfly TC2000},
BOOKTITLE = {Proceedings of the 4th International Conference on Parallel Architectures and Languages Europe, PARLE'92 (Paris, France, June 1992)},
SERIES = {LNCS},
VOLUME = {605},
PAGES = {603-616},
YEAR = {1992},
EDITOR = {Etiemble, D. and Syre, J.-C.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=605&spage=603},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Gupta-Costa/92a,
AUTHOR = {Gupta, Gopal and Costa, Vitor Santos},
TITLE = {And-Or parallelism in full {P}rolog with paged binding arrays},
BOOKTITLE = {Proceedings of the 4th International Conference on Parallel Architectures and Languages Europe, PARLE'92 (Paris, France, June 1992)},
SERIES = {LNCS},
VOLUME = {605},
PAGES = {617-632},
YEAR = {1992},
EDITOR = {Etiemble, D. and Syre, J.-C.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=605&spage=617},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Duato/92,
AUTHOR = {Duato, Jos{\'e}},
TITLE = {Improving the efficiency of virtual channels with time-dependent selection functions},
BOOKTITLE = {Proceedings of the 4th International Conference on Parallel Architectures and Languages Europe, PARLE'92 (Paris, France, June 1992)},
SERIES = {LNCS},
VOLUME = {605},
PAGES = {635-650},
YEAR = {1992},
EDITOR = {Etiemble, D. and Syre, J.-C.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=605&spage=635},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Baig-El-Ghazawi-Alexandridis/92,
AUTHOR = {Baig, M.S. and El-Ghazawi, T.A. and Alexandridis, N.A.},
TITLE = {Mixed-mode multicomputers with load adaptability},
BOOKTITLE = {Proceedings of the 4th International Conference on Parallel Architectures and Languages Europe, PARLE'92 (Paris, France, June 1992)},
SERIES = {LNCS},
VOLUME = {605},
PAGES = {669-683},
YEAR = {1992},
EDITOR = {Etiemble, D. and Syre, J.-C.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=605&spage=669},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Hidaka-Koike-Tanaka/92,
AUTHOR = {Hidaka, Yasuo and Koike, Hanpei and Tanaka, Hidehiko},
TITLE = {Architecture of parallel management kernel for PIE64},
BOOKTITLE = {Proceedings of the 4th International Conference on Parallel Architectures and Languages Europe, PARLE'92 (Paris, France, June 1992)},
SERIES = {LNCS},
VOLUME = {605},
PAGES = {685-700},
YEAR = {1992},
EDITOR = {Etiemble, D. and Syre, J.-C.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=605&spage=685},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Codenotti-Leoncini-Resta/92,
AUTHOR = {Codenotti, Bruno and Leoncini, Mauro and Resta, Giovanni},
TITLE = {Repeated matrix squaring for the parallel solution of linear systems},
BOOKTITLE = {Proceedings of the 4th International Conference on Parallel Architectures and Languages Europe, PARLE'92 (Paris, France, June 1992)},
SERIES = {LNCS},
VOLUME = {605},
PAGES = {725-732},
YEAR = {1992},
EDITOR = {Etiemble, D. and Syre, J.-C.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=605&spage=725},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Anderson-Bolton-Kelly/92,
AUTHOR = {Anderson, Paul and Bolton, David and Kelly, Paul},
TITLE = {Paragon specifications: Structure, analysis and implementation},
BOOKTITLE = {Proceedings of the 4th International Conference on Parallel Architectures and Languages Europe, PARLE'92 (Paris, France, June 1992)},
SERIES = {LNCS},
VOLUME = {605},
PAGES = {783-798},
YEAR = {1992},
EDITOR = {Etiemble, D. and Syre, J.-C.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=605&spage=783},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Gupta/92,
AUTHOR = {Gupta, Anoop},
TITLE = {Stanford DASH multiprocessor: The hardware and software approach},
BOOKTITLE = {Proceedings of the 4th International Conference on Parallel Architectures and Languages Europe, PARLE'92 (Paris, France, June 1992)},
SERIES = {LNCS},
VOLUME = {605},
PAGES = {801-805},
YEAR = {1992},
EDITOR = {Etiemble, D. and Syre, J.-C.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=605&spage=801},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Grefen-Apers/92,
AUTHOR = {Grefen, Paul W.P.J. and Apers, Peter M.G.},
TITLE = {Dynamic action scheduling in a parallel database system},
BOOKTITLE = {Proceedings of the 4th International Conference on Parallel Architectures and Languages Europe, PARLE'92 (Paris, France, June 1992)},
SERIES = {LNCS},
VOLUME = {605},
PAGES = {809-824},
YEAR = {1992},
EDITOR = {Etiemble, D. and Syre, J.-C.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=605&spage=809},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Chachaty-Borla-Salamet-Ward/92,
AUTHOR = {Chachaty, Carla and Borla-Salamet, Pascale and Ward, Mike},
TITLE = {A compositional approach for the design of a parallel query processing language},
BOOKTITLE = {Proceedings of the 4th International Conference on Parallel Architectures and Languages Europe, PARLE'92 (Paris, France, June 1992)},
SERIES = {LNCS},
VOLUME = {605},
PAGES = {825-840},
YEAR = {1992},
EDITOR = {Etiemble, D. and Syre, J.-C.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=605&spage=825},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Cherief/92,
AUTHOR = {Cherief, Ferroudja},
TITLE = {Back and forth bisimulations on prime event structures},
BOOKTITLE = {Proceedings of the 4th International Conference on Parallel Architectures and Languages Europe, PARLE'92 (Paris, France, June 1992)},
SERIES = {LNCS},
VOLUME = {605},
PAGES = {843-858},
YEAR = {1992},
EDITOR = {Etiemble, D. and Syre, J.-C.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=605&spage=843},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Fanchon/92a,
AUTHOR = {Fanchon, J.},
TITLE = {Dynamic concurrent processes},
BOOKTITLE = {Proceedings of the 4th International Conference on Parallel Architectures and Languages Europe, PARLE'92 (Paris, France, June 1992)},
SERIES = {LNCS},
VOLUME = {605},
PAGES = {859-874},
YEAR = {1992},
EDITOR = {Etiemble, D. and Syre, J.-C.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=605&spage=859},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Carino-Kostamaa/92,
AUTHOR = {Cari{\~n}o, Felipe, Jr. and Kostamaa, Pekka},
TITLE = {Exegesis of DBC/1012 and P-90 --- Industrial supercomputer database machines},
BOOKTITLE = {Proceedings of the 4th International Conference on Parallel Architectures and Languages Europe, PARLE'92 (Paris, France, June 1992)},
SERIES = {LNCS},
VOLUME = {605},
PAGES = {877-892},
YEAR = {1992},
EDITOR = {Etiemble, D. and Syre, J.-C.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=605&spage=877},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Gorlatch/92,
AUTHOR = {Gorlatch, Sergei},
TITLE = {A case study: Parallel program development for a recursive numerical algorithm},
BOOKTITLE = {Proceedings of the 4th International Conference on Parallel Architectures and Languages Europe, PARLE'92 (Paris, France, June 1992)},
SERIES = {LNCS},
VOLUME = {605},
PAGES = {945-946},
YEAR = {1992},
EDITOR = {Etiemble, D. and Syre, J.-C.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=605&spage=945},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Damy-Perrin/92,
AUTHOR = {Damy, Sylvie and Perrin, Guy-Ren{\'e}},
TITLE = {A refinement of communicating processes},
BOOKTITLE = {Proceedings of the 4th International Conference on Parallel Architectures and Languages Europe, PARLE'92 (Paris, France, June 1992)},
SERIES = {LNCS},
VOLUME = {605},
PAGES = {949-950},
YEAR = {1992},
EDITOR = {Etiemble, D. and Syre, J.-C.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=605&spage=949},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Caspi-Girault/92,
AUTHOR = {Caspi, P. and Girault, A.},
TITLE = {Distributing finite transition systems},
BOOKTITLE = {Proceedings of the 4th International Conference on Parallel Architectures and Languages Europe, PARLE'92 (Paris, France, June 1992)},
SERIES = {LNCS},
VOLUME = {605},
PAGES = {951-952},
YEAR = {1992},
EDITOR = {Etiemble, D. and Syre, J.-C.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=605&spage=951},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Capobianchi-Guerraoui-Lanusse-Roux/92,
AUTHOR = {Capobianchi, Riccardo and Guerraoui, Rachid and Lanusse, Agnes and Roux, Pierre},
TITLE = {Coping with the process proliferation problem in concurrent object-based language implementations},
BOOKTITLE = {Proceedings of the 4th International Conference on Parallel Architectures and Languages Europe, PARLE'92 (Paris, France, June 1992)},
SERIES = {LNCS},
VOLUME = {605},
PAGES = {953-954},
YEAR = {1992},
EDITOR = {Etiemble, D. and Syre, J.-C.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=605&spage=953},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Gabarro-Gavalda/92,
AUTHOR = {Gabarr{\'o}, Joaquim and Gavald{\`a}, Ricard},
TITLE = {Correctness of flat data parallel algorithms: An axiomatic approach and examples},
BOOKTITLE = {Proceedings of the 4th International Conference on Parallel Architectures and Languages Europe, PARLE'92 (Paris, France, June 1992)},
SERIES = {LNCS},
VOLUME = {605},
PAGES = {955-956},
YEAR = {1992},
EDITOR = {Etiemble, D. and Syre, J.-C.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=605&spage=955},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Chamski/92,
AUTHOR = {Chamski, Zbigniew},
TITLE = {Generating memory-efficient imperative data structures from systolic programs},
BOOKTITLE = {Proceedings of the 4th International Conference on Parallel Architectures and Languages Europe, PARLE'92 (Paris, France, June 1992)},
SERIES = {LNCS},
VOLUME = {605},
PAGES = {957-958},
YEAR = {1992},
EDITOR = {Etiemble, D. and Syre, J.-C.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=605&spage=957},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Carrara-Basille-Larue-Juvin/92,
AUTHOR = {Carrara, Jean-Paul and Basille, Jean-Luc and Larue, Jean-Fran{\c{c}}ois and Juvin, Didier},
TITLE = {Geometric transforms on parallel architecture},
BOOKTITLE = {Proceedings of the 4th International Conference on Parallel Architectures and Languages Europe, PARLE'92 (Paris, France, June 1992)},
SERIES = {LNCS},
VOLUME = {605},
PAGES = {959-960},
YEAR = {1992},
EDITOR = {Etiemble, D. and Syre, J.-C.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=605&spage=959},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Houzet-Basille-Latil/92,
AUTHOR = {Houzet, Dominique and Basille, Jean-Luc and Latil, Jean-Yves},
TITLE = {Performance analysis of the network of the GFLOPS parallel architecture},
BOOKTITLE = {Proceedings of the 4th International Conference on Parallel Architectures and Languages Europe, PARLE'92 (Paris, France, June 1992)},
SERIES = {LNCS},
VOLUME = {605},
PAGES = {969-970},
YEAR = {1992},
EDITOR = {Etiemble, D. and Syre, J.-C.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=605&spage=969},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Dimopoulos-Chowdhury-Sivakumar-Dimakopoulos/92,
AUTHOR = {Dimopoulos, N.J. and Chowdhury, M. and Sivakumar, R. and Dimakopoulos, V.},
TITLE = {Routing in hypercycles. Deadlock free and backtracking strategies},
BOOKTITLE = {Proceedings of the 4th International Conference on Parallel Architectures and Languages Europe, PARLE'92 (Paris, France, June 1992)},
SERIES = {LNCS},
VOLUME = {605},
PAGES = {973-974},
YEAR = {1992},
EDITOR = {Etiemble, D. and Syre, J.-C.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=605&spage=973},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Alt-Blomer/92,
AUTHOR = {Alt, Helmut and Bl{\"o}mer, Johannes},
TITLE = {Resemblance and symmetries of geometric patterns},
BOOKTITLE = {Data structures and efficient algorithms. Final Report on the DFG Special Joint Initiative},
SERIES = {LNCS},
VOLUME = {594},
PAGES = {1-24},
YEAR = {1992},
EDITOR = {Monien, B. and Ottmann, Th.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=594&spage=1},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Fleischer-Fries-Mehlhorn-Meiser-Naher-Rohnert-Schirra-Simon-Tsakalidis-Uhrig/92,
AUTHOR = {Fleischer, Rudolf and Fries, Otfried and Mehlhorn, Kurt and Meiser, Stefan and N{\"a}her, Stefan and Rohnert, Hans and Schirra, Stefan and Simon, Klaus and Tsakalidis, Athanasios and Uhrig, Christian},
TITLE = {Selected topics from computational geometry, data structures and motion planning},
BOOKTITLE = {Data structures and efficient algorithms. Final Report on the DFG Special Joint Initiative},
SERIES = {LNCS},
VOLUME = {594},
PAGES = {25-43},
YEAR = {1992},
EDITOR = {Monien, B. and Ottmann, Th.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=594&spage=25},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Hofting-Lengauer-Wanke/92,
AUTHOR = {H{\"o}fting, Franz and Lengauer, Thomas and Wanke, Egon},
TITLE = {Processing of hierarchically defined graphs and graph families},
BOOKTITLE = {Data structures and efficient algorithms. Final Report on the DFG Special Joint Initiative},
SERIES = {LNCS},
VOLUME = {594},
PAGES = {44-69},
YEAR = {1992},
EDITOR = {Monien, B. and Ottmann, Th.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=594&spage=44},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Dietzfelbinger-Meyer_auf_der_Heide/92,
AUTHOR = {Dietzfelbinger, Martin and Meyer auf der Heide, Friedhelm},
TITLE = {High performance universal hashing, with applications to shared memory simulations},
BOOKTITLE = {Data structures and efficient algorithms. Final Report on the DFG Special Joint Initiative},
SERIES = {LNCS},
VOLUME = {594},
PAGES = {250-269},
YEAR = {1992},
EDITOR = {Monien, B. and Ottmann, Th.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=594&spage=250},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Feldmann-Mysliwietz-Monien/92,
AUTHOR = {Feldmann, R. and Mysliwietz, P. and Monien, B.},
TITLE = {Distributed game tree search on a massively parallel system},
BOOKTITLE = {Data structures and efficient algorithms. Final Report on the DFG Special Joint Initiative},
SERIES = {LNCS},
VOLUME = {594},
PAGES = {270-288},
YEAR = {1992},
EDITOR = {Monien, B. and Ottmann, Th.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=594&spage=270},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Collins-Johnson-Kuchlin/92,
AUTHOR = {Collins, G.E. and Johnson, J.R. and K{\"u}chlin, W.},
TITLE = {Parallel real root isolation using the coefficient sign variation method},
BOOKTITLE = {Proceedings of the 2nd International Workshop on Computer Algebra and Parallelism (Ithaca, USA, May 1990)},
SERIES = {LNCS},
VOLUME = {584},
PAGES = {71-87},
YEAR = {1992},
EDITOR = {Zippel, R.E.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=584&spage=71},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Alimonti-Feuerstein-Nanni/92,
AUTHOR = {Alimonti, Paola and Feuerstein, Esteban and Nanni, Umberto},
TITLE = {Linear time algorithms for liveness and boundedness in conflict-free Petri nets},
BOOKTITLE = {Proceedings of the 1st Latin American Symposium on Theoretical Informatics LATIN '92 (S{\~a}o Paulo, Brazil, April 1992)},
SERIES = {LNCS},
VOLUME = {583},
PAGES = {1-14},
YEAR = {1992},
EDITOR = {Simon, I.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=583&spage=1},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Allouche/92,
AUTHOR = {Allouche, Jean-Paul},
TITLE = {$q$-regular sequences and other generalizations of $q$-automatic sequences},
BOOKTITLE = {Proceedings of the 1st Latin American Symposium on Theoretical Informatics LATIN '92 (S{\~a}o Paulo, Brazil, April 1992)},
SERIES = {LNCS},
VOLUME = {583},
PAGES = {15-23},
YEAR = {1992},
EDITOR = {Simon, I.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=583&spage=15},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Barrington-Straubing/92,
AUTHOR = {Barrington, David A. Mix and Straubing, Howard},
TITLE = {Complex polynomials and circuit lower bounds for modular counting},
BOOKTITLE = {Proceedings of the 1st Latin American Symposium on Theoretical Informatics LATIN '92 (S{\~a}o Paulo, Brazil, April 1992)},
SERIES = {LNCS},
VOLUME = {583},
PAGES = {24-31},
YEAR = {1992},
EDITOR = {Simon, I.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=583&spage=24},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Beauquier-Latteux-Slowinski/92,
AUTHOR = {Beauquier, Dani{\`e}le and Latteux, Michel and Slowinski, Karine},
TITLE = {A decidability result about convex polyominoes},
BOOKTITLE = {Proceedings of the 1st Latin American Symposium on Theoretical Informatics LATIN '92 (S{\~a}o Paulo, Brazil, April 1992)},
SERIES = {LNCS},
VOLUME = {583},
PAGES = {32-45},
YEAR = {1992},
EDITOR = {Simon, I.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=583&spage=32},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Bern-Edelsbrunner-Eppstein-Mitchell-Tan/92,
AUTHOR = {Bern, M. and Edelsbrunner, H. and Eppstein, D. and Mitchell, S. and Tan, T.S.},
TITLE = {Edge insertion for optimal triangulations},
BOOKTITLE = {Proceedings of the 1st Latin American Symposium on Theoretical Informatics LATIN '92 (S{\~a}o Paulo, Brazil, April 1992)},
SERIES = {LNCS},
VOLUME = {583},
PAGES = {46-60},
YEAR = {1992},
EDITOR = {Simon, I.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=583&spage=46},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Bettayeb-Cong-Girou-Sudborough/92,
AUTHOR = {Bettayeb, Said and Cong, Bin and Girou, Mike and Sudborough, I. Hal},
TITLE = {Simulating permutation networks on hypercubes},
BOOKTITLE = {Proceedings of the 1st Latin American Symposium on Theoretical Informatics LATIN '92 (S{\~a}o Paulo, Brazil, April 1992)},
SERIES = {LNCS},
VOLUME = {583},
PAGES = {61-70},
YEAR = {1992},
EDITOR = {Simon, I.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=583&spage=61},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Blum/92a,
AUTHOR = {Blum, Manuel},
TITLE = {Universal statistical tests},
BOOKTITLE = {Proceedings of the 1st Latin American Symposium on Theoretical Informatics LATIN '92 (S{\~a}o Paulo, Brazil, April 1992)},
SERIES = {LNCS},
VOLUME = {583},
PAGES = {71-75},
YEAR = {1992},
EDITOR = {Simon, I.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=583&spage=71},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Bossut-Warin/92,
AUTHOR = {Bossut, F. and Warin, B.},
TITLE = {Automata and pattern matching in planar directed acyclic graphs},
BOOKTITLE = {Proceedings of the 1st Latin American Symposium on Theoretical Informatics LATIN '92 (S{\~a}o Paulo, Brazil, April 1992)},
SERIES = {LNCS},
VOLUME = {583},
PAGES = {76-86},
YEAR = {1992},
EDITOR = {Simon, I.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=583&spage=76},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Bruggemann-Klein/92,
AUTHOR = {Br{\"u}ggemann-Klein, Anne},
TITLE = {Regular expressions into finite automata},
BOOKTITLE = {Proceedings of the 1st Latin American Symposium on Theoretical Informatics LATIN '92 (S{\~a}o Paulo, Brazil, April 1992)},
SERIES = {LNCS},
VOLUME = {583},
PAGES = {87-98},
YEAR = {1992},
EDITOR = {Simon, I.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=583&spage=87},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Bruyere/92,
AUTHOR = {Bruy{\`e}re, V{\'e}ronique},
TITLE = {Automata and codes with bounded deciphering delay},
BOOKTITLE = {Proceedings of the 1st Latin American Symposium on Theoretical Informatics LATIN '92 (S{\~a}o Paulo, Brazil, April 1992)},
SERIES = {LNCS},
VOLUME = {583},
PAGES = {99-107},
YEAR = {1992},
EDITOR = {Simon, I.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=583&spage=99},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Carlsson-Chen/92,
AUTHOR = {Carlsson, Svante and Chen, Jingsen},
TITLE = {Parallel complexity of heaps and min-max heaps},
BOOKTITLE = {Proceedings of the 1st Latin American Symposium on Theoretical Informatics LATIN '92 (S{\~a}o Paulo, Brazil, April 1992)},
SERIES = {LNCS},
VOLUME = {583},
PAGES = {108-116},
YEAR = {1992},
EDITOR = {Simon, I.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=583&spage=108},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Cucker-Rossello/92,
AUTHOR = {Cucker, Felipe and Rossell{\'o}, Francesc},
TITLE = {On the complexity of some problems for the Blum, Shub \& Smale model},
BOOKTITLE = {Proceedings of the 1st Latin American Symposium on Theoretical Informatics LATIN '92 (S{\~a}o Paulo, Brazil, April 1992)},
SERIES = {LNCS},
VOLUME = {583},
PAGES = {117-129},
YEAR = {1992},
EDITOR = {Simon, I.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=583&spage=117},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Fernandez_de_la_Vega-Paschos-Saad/92,
AUTHOR = {Fernandez de la Vega, W. and Paschos, V.Th. and Saad, R.},
TITLE = {Average case analysis of a greedy algorithm for the minimum hitting set problem},
BOOKTITLE = {Proceedings of the 1st Latin American Symposium on Theoretical Informatics LATIN '92 (S{\~a}o Paulo, Brazil, April 1992)},
SERIES = {LNCS},
VOLUME = {583},
PAGES = {130-138},
YEAR = {1992},
EDITOR = {Simon, I.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=583&spage=130},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Ferreira-Song/92,
AUTHOR = {Ferreira, Afonso G. and Song, Siang W.},
TITLE = {Achieving optimality for gate matrix layout and PLA folding: a graph theoretic approach},
BOOKTITLE = {Proceedings of the 1st Latin American Symposium on Theoretical Informatics LATIN '92 (S{\~a}o Paulo, Brazil, April 1992)},
SERIES = {LNCS},
VOLUME = {583},
PAGES = {139-153},
YEAR = {1992},
EDITOR = {Simon, I.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=583&spage=139},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Frougny/92,
AUTHOR = {Frougny, Christiane},
TITLE = {How to write integers in non-integer base},
BOOKTITLE = {Proceedings of the 1st Latin American Symposium on Theoretical Informatics LATIN '92 (S{\~a}o Paulo, Brazil, April 1992)},
SERIES = {LNCS},
VOLUME = {583},
PAGES = {154-164},
YEAR = {1992},
EDITOR = {Simon, I.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=583&spage=154},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Garrido-Jarominek-Lingas-Rytter/92,
AUTHOR = {Garrido, Oscar and Jarominek, Stefan and Lingas, Andrzej and Rytter, Wojciech},
TITLE = {A simple randomized parallel algorithm fo maximal $f$-matchings},
BOOKTITLE = {Proceedings of the 1st Latin American Symposium on Theoretical Informatics LATIN '92 (S{\~a}o Paulo, Brazil, April 1992)},
SERIES = {LNCS},
VOLUME = {583},
PAGES = {165-176},
YEAR = {1992},
EDITOR = {Simon, I.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=583&spage=165},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Gasarch-Guimaraes/92,
AUTHOR = {Gasarch, William I. and Guimar{\~a}es, Katia S.},
TITLE = {On the number of components of a recursive graph},
BOOKTITLE = {Proceedings of the 1st Latin American Symposium on Theoretical Informatics LATIN '92 (S{\~a}o Paulo, Brazil, April 1992)},
SERIES = {LNCS},
VOLUME = {583},
PAGES = {177-190},
YEAR = {1992},
EDITOR = {Simon, I.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=583&spage=177},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Giesbrecht/92,
AUTHOR = {Giesbrecht, Mark},
TITLE = {Factoring in skew-polynomial rings},
BOOKTITLE = {Proceedings of the 1st Latin American Symposium on Theoretical Informatics LATIN '92 (S{\~a}o Paulo, Brazil, April 1992)},
SERIES = {LNCS},
VOLUME = {583},
PAGES = {191-203},
YEAR = {1992},
EDITOR = {Simon, I.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=583&spage=191},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Gil-Matias/92,
AUTHOR = {Gil, Joseph and Matias, Yossi},
TITLE = {Leaders election without conflict resolution rule---fast and efficient randomized simulations among CRCW PRAMs},
BOOKTITLE = {Proceedings of the 1st Latin American Symposium on Theoretical Informatics LATIN '92 (S{\~a}o Paulo, Brazil, April 1992)},
SERIES = {LNCS},
VOLUME = {583},
PAGES = {204-218},
YEAR = {1992},
EDITOR = {Simon, I.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=583&spage=204},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Goles-Kiwi/92,
AUTHOR = {Goles, Eric and Kiwi, Marcos A.},
TITLE = {Dynamics of sand-piles games on graphs},
BOOKTITLE = {Proceedings of the 1st Latin American Symposium on Theoretical Informatics LATIN '92 (S{\~a}o Paulo, Brazil, April 1992)},
SERIES = {LNCS},
VOLUME = {583},
PAGES = {219-230},
YEAR = {1992},
EDITOR = {Simon, I.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=583&spage=219},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Gutierrez-Recio/92a,
AUTHOR = {Gutierrez, Jaime and Recio, Tomas},
TITLE = {Rational function decomposition and Gr{\"o}bner bases in the parameterization of plane curves},
BOOKTITLE = {Proceedings of the 1st Latin American Symposium on Theoretical Informatics LATIN '92 (S{\~a}o Paulo, Brazil, April 1992)},
SERIES = {LNCS},
VOLUME = {583},
PAGES = {231-245},
YEAR = {1992},
EDITOR = {Simon, I.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=583&spage=231},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Hashiguchi/92a,
AUTHOR = {Hashiguchi, Kosaburo},
TITLE = {The double reconstruction conjectures about colored hypergraphs and colored directed graphs},
BOOKTITLE = {Proceedings of the 1st Latin American Symposium on Theoretical Informatics LATIN '92 (S{\~a}o Paulo, Brazil, April 1992)},
SERIES = {LNCS},
VOLUME = {583},
PAGES = {246-261},
YEAR = {1992},
EDITOR = {Simon, I.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=583&spage=246},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Hertrampf/92a,
AUTHOR = {Hertrampf, Ulrich},
TITLE = {Locally definable acceptance types---the three-valued case},
BOOKTITLE = {Proceedings of the 1st Latin American Symposium on Theoretical Informatics LATIN '92 (S{\~a}o Paulo, Brazil, April 1992)},
SERIES = {LNCS},
VOLUME = {583},
PAGES = {262-271},
YEAR = {1992},
EDITOR = {Simon, I.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=583&spage=262},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Hollman/92,
AUTHOR = {Hollman, Joachim},
TITLE = {On the computation of the Hilbert series},
BOOKTITLE = {Proceedings of the 1st Latin American Symposium on Theoretical Informatics LATIN '92 (S{\~a}o Paulo, Brazil, April 1992)},
SERIES = {LNCS},
VOLUME = {583},
PAGES = {272-280},
YEAR = {1992},
EDITOR = {Simon, I.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=583&spage=272},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Cosnard-Koiran-Paugam-Moisy/92,
AUTHOR = {Cosnard, Michel and Koiran, Pascal and Paugam-Moisy, H{\'e}l{\`e}ne},
TITLE = {Complexity issues in neural network computations},
BOOKTITLE = {Proceedings of the 1st Latin American Symposium on Theoretical Informatics LATIN '92 (S{\~a}o Paulo, Brazil, April 1992)},
SERIES = {LNCS},
VOLUME = {583},
PAGES = {530-544},
YEAR = {1992},
EDITOR = {Simon, I.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=583&spage=530},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Abraham-Ben-David-Moran/92,
AUTHOR = {Abraham, Uri and Ben-David, Shai and Moran, Shlomo},
TITLE = {On the limitation of the global time assumption in distributed systems},
BOOKTITLE = {Proceedings of the 5th International Workshop on Distributed Algorithms WDAG '91 (Delphi, Greece, October 1991)},
SERIES = {LNCS},
VOLUME = {579},
PAGES = {1-8},
YEAR = {1992},
EDITOR = {Toueg, S. and Spirakis, P.G. and Kirousis, L.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=579&spage=1},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Ahamad-Burns-Hutto-Neiger/92,
AUTHOR = {Ahamad, Mustaque and Burns, James E. and Hutto, Phillip W. and Neiger, Gil},
TITLE = {Causal memory},
BOOKTITLE = {Proceedings of the 5th International Workshop on Distributed Algorithms WDAG '91 (Delphi, Greece, October 1991)},
SERIES = {LNCS},
VOLUME = {579},
PAGES = {9-30},
YEAR = {1992},
EDITOR = {Toueg, S. and Spirakis, P.G. and Kirousis, L.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=579&spage=9},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Anagnostou-El-Yaniv/92,
AUTHOR = {Anagnostou, Efthymios and El-Yaniv, Ran},
TITLE = {More on the power of random walks: Uniform self-stabilizing randomized algorithms},
BOOKTITLE = {Proceedings of the 5th International Workshop on Distributed Algorithms WDAG '91 (Delphi, Greece, October 1991)},
SERIES = {LNCS},
VOLUME = {579},
PAGES = {31-51},
YEAR = {1992},
EDITOR = {Toueg, S. and Spirakis, P.G. and Kirousis, L.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=579&spage=31},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Anderson-Groselj/92,
AUTHOR = {Anderson, James H. and Gro{\v{s}}elj, Bojan},
TITLE = {Pseudo read-modify-write operations: Bounded wait-free implementations},
BOOKTITLE = {Proceedings of the 5th International Workshop on Distributed Algorithms WDAG '91 (Delphi, Greece, October 1991)},
SERIES = {LNCS},
VOLUME = {579},
PAGES = {52-70},
YEAR = {1992},
EDITOR = {Toueg, S. and Spirakis, P.G. and Kirousis, L.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=579&spage=52},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Arora-Dolev-Gouda/92,
AUTHOR = {Arora, Anish and Dolev, Shlomi and Gouda, Mohamed},
TITLE = {Maintaining digital clocks in step},
BOOKTITLE = {Proceedings of the 5th International Workshop on Distributed Algorithms WDAG '91 (Delphi, Greece, October 1991)},
SERIES = {LNCS},
VOLUME = {579},
PAGES = {71-79},
YEAR = {1992},
EDITOR = {Toueg, S. and Spirakis, P.G. and Kirousis, L.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=579&spage=71},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Attiya/92,
AUTHOR = {Attiya, Hagit},
TITLE = {Implementing FIFO queues and stacks},
BOOKTITLE = {Proceedings of the 5th International Workshop on Distributed Algorithms WDAG '91 (Delphi, Greece, October 1991)},
SERIES = {LNCS},
VOLUME = {579},
PAGES = {80-94},
YEAR = {1992},
EDITOR = {Toueg, S. and Spirakis, P.G. and Kirousis, L.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=579&spage=80},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Bar-Noy-Deng-Garay-Kameda/92,
AUTHOR = {Bar-Noy, Amotz and Deng, Xiaotie and Garay, Juan A. and Kameda, Tiko},
TITLE = {Optimal amortized distributed consensus},
BOOKTITLE = {Proceedings of the 5th International Workshop on Distributed Algorithms WDAG '91 (Delphi, Greece, October 1991)},
SERIES = {LNCS},
VOLUME = {579},
PAGES = {95-107},
YEAR = {1992},
EDITOR = {Toueg, S. and Spirakis, P.G. and Kirousis, L.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=579&spage=95},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Bazzi-Neiger/92,
AUTHOR = {Bazzi, Rida and Neiger, Gil},
TITLE = {Optimally simulating crash failures in a Byzantine environment},
BOOKTITLE = {Proceedings of the 5th International Workshop on Distributed Algorithms WDAG '91 (Delphi, Greece, October 1991)},
SERIES = {LNCS},
VOLUME = {579},
PAGES = {108-128},
YEAR = {1992},
EDITOR = {Toueg, S. and Spirakis, P.G. and Kirousis, L.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=579&spage=108},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Berman-Garay/92,
AUTHOR = {Berman, Piotr and Garay, Juan A.},
TITLE = {Efficient distributed consensus with $n = (3 + \varepsilon)t$ processors},
BOOKTITLE = {Proceedings of the 5th International Workshop on Distributed Algorithms WDAG '91 (Delphi, Greece, October 1991)},
SERIES = {LNCS},
VOLUME = {579},
PAGES = {129-142},
YEAR = {1992},
EDITOR = {Toueg, S. and Spirakis, P.G. and Kirousis, L.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=579&spage=129},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Bracha-Rachman/92,
AUTHOR = {Bracha, Gabi and Rachman, Ophir},
TITLE = {Randomized consensus in expected $O(n^2 \log n)$ operations},
BOOKTITLE = {Proceedings of the 5th International Workshop on Distributed Algorithms WDAG '91 (Delphi, Greece, October 1991)},
SERIES = {LNCS},
VOLUME = {579},
PAGES = {143-150},
YEAR = {1992},
EDITOR = {Toueg, S. and Spirakis, P.G. and Kirousis, L.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=579&spage=143},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Chaudhuri-Coan-Welch/92,
AUTHOR = {Chaudhuri, Choma and Coan, Brian A. and Welch, Jennifer L.},
TITLE = {Using adaptive timeouts to achieve at-most-once message delivery},
BOOKTITLE = {Proceedings of the 5th International Workshop on Distributed Algorithms WDAG '91 (Delphi, Greece, October 1991)},
SERIES = {LNCS},
VOLUME = {579},
PAGES = {151-166},
YEAR = {1992},
EDITOR = {Toueg, S. and Spirakis, P.G. and Kirousis, L.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=579&spage=151},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Dolev-Israeli-Moran/92,
AUTHOR = {Dolev, Shlomi and Israeli, Amos and Moran, Shlomo},
TITLE = {Uniform dynamic self-stabilizing leader election},
BOOKTITLE = {Proceedings of the 5th International Workshop on Distributed Algorithms WDAG '91 (Delphi, Greece, October 1991)},
SERIES = {LNCS},
VOLUME = {579},
PAGES = {167-180},
YEAR = {1992},
EDITOR = {Toueg, S. and Spirakis, P.G. and Kirousis, L.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=579&spage=167},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Hung-Chen/92,
AUTHOR = {Hung, Yung-Chen and Chen, Gen-Huey},
TITLE = {The quickest path problem in distributed computing systems},
BOOKTITLE = {Proceedings of the 5th International Workshop on Distributed Algorithms WDAG '91 (Delphi, Greece, October 1991)},
SERIES = {LNCS},
VOLUME = {579},
PAGES = {181-192},
YEAR = {1992},
EDITOR = {Toueg, S. and Spirakis, P.G. and Kirousis, L.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=579&spage=181},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Gaudel/92,
AUTHOR = {Gaudel, Marie-Claude},
TITLE = {Structuring and modularizing algebraic specifications: The PLUSS specification language, evolutions and perspectives},
BOOKTITLE = {Proceedings of the 9th Annual Symposium on Theoretical Aspects of Computer Science, STACS'92 (Cachan, France, February 13-15, 1992)},
SERIES = {LNCS},
VOLUME = {577},
PAGES = {3-18},
YEAR = {1992},
EDITOR = {Finkel, A. and Jantzen, M.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=577&spage=3},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Gupta-Nishimura/92,
AUTHOR = {Gupta, Arvind and Nishimura, Naomi},
TITLE = {The parallel complexity of tree embedding problems},
BOOKTITLE = {Proceedings of the 9th Annual Symposium on Theoretical Aspects of Computer Science, STACS'92 (Cachan, France, February 13-15, 1992)},
SERIES = {LNCS},
VOLUME = {577},
PAGES = {21-32},
YEAR = {1992},
EDITOR = {Finkel, A. and Jantzen, M.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=577&spage=21},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Condon/92a,
AUTHOR = {Condon, Anne},
TITLE = {A theory of strict $\P$-completeness},
BOOKTITLE = {Proceedings of the 9th Annual Symposium on Theoretical Aspects of Computer Science, STACS'92 (Cachan, France, February 13-15, 1992)},
SERIES = {LNCS},
VOLUME = {577},
PAGES = {33-44},
YEAR = {1992},
EDITOR = {Finkel, A. and Jantzen, M.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=577&spage=33},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Hagerup/92,
AUTHOR = {Hagerup, Torben},
TITLE = {Fast and optimal simulations between CRCW PRAMs},
BOOKTITLE = {Proceedings of the 9th Annual Symposium on Theoretical Aspects of Computer Science, STACS'92 (Cachan, France, February 13-15, 1992)},
SERIES = {LNCS},
VOLUME = {577},
PAGES = {45-56},
YEAR = {1992},
EDITOR = {Finkel, A. and Jantzen, M.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=577&spage=45},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Billaud/92,
AUTHOR = {Billaud, Michel},
TITLE = {Axiomatizations of backtracking},
BOOKTITLE = {Proceedings of the 9th Annual Symposium on Theoretical Aspects of Computer Science, STACS'92 (Cachan, France, February 13-15, 1992)},
SERIES = {LNCS},
VOLUME = {577},
PAGES = {71-82},
YEAR = {1992},
EDITOR = {Finkel, A. and Jantzen, M.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=577&spage=71},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Bogaert-Tison/92,
AUTHOR = {Bogaert, B. and Tison, S.},
TITLE = {Equality and disequality constraints on direct subterms in tree automata},
BOOKTITLE = {Proceedings of the 9th Annual Symposium on Theoretical Aspects of Computer Science, STACS'92 (Cachan, France, February 13-15, 1992)},
SERIES = {LNCS},
VOLUME = {577},
PAGES = {161-171},
YEAR = {1992},
EDITOR = {Finkel, A. and Jantzen, M.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=577&spage=161},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Bruggemann-Klein-Wood/92,
AUTHOR = {Br{\"u}ggemann-Klein, Anne and Wood, Derick},
TITLE = {Deterministic regular languages},
BOOKTITLE = {Proceedings of the 9th Annual Symposium on Theoretical Aspects of Computer Science, STACS'92 (Cachan, France, February 13-15, 1992)},
SERIES = {LNCS},
VOLUME = {577},
PAGES = {173-184},
YEAR = {1992},
EDITOR = {Finkel, A. and Jantzen, M.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=577&spage=173},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Hertrampf/92,
AUTHOR = {Hertrampf, Ulrich},
TITLE = {Locally definable acceptance types for polynomial time machines},
BOOKTITLE = {Proceedings of the 9th Annual Symposium on Theoretical Aspects of Computer Science, STACS'92 (Cachan, France, February 13-15, 1992)},
SERIES = {LNCS},
VOLUME = {577},
PAGES = {199-207},
YEAR = {1992},
EDITOR = {Finkel, A. and Jantzen, M.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=577&spage=199},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Ambos-Spies-Nies/92,
AUTHOR = {Ambos-Spies, Klaus and Nies, Andr{\'e}},
TITLE = {The theory of the polynomial many-one degrees of recursive sets is undecidable},
BOOKTITLE = {Proceedings of the 9th Annual Symposium on Theoretical Aspects of Computer Science, STACS'92 (Cachan, France, February 13-15, 1992)},
SERIES = {LNCS},
VOLUME = {577},
PAGES = {209-218},
YEAR = {1992},
EDITOR = {Finkel, A. and Jantzen, M.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=577&spage=209},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Bartling-Hinrichs/92,
AUTHOR = {Bartling, Frank and Hinrichs, Klaus},
TITLE = {A plane-sweep algorithm for finding a closest pair among convex planar objects},
BOOKTITLE = {Proceedings of the 9th Annual Symposium on Theoretical Aspects of Computer Science, STACS'92 (Cachan, France, February 13-15, 1992)},
SERIES = {LNCS},
VOLUME = {577},
PAGES = {221-232},
YEAR = {1992},
EDITOR = {Finkel, A. and Jantzen, M.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=577&spage=221},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Hagerup/92a,
AUTHOR = {Hagerup, Torben},
TITLE = {The log-star revolution},
BOOKTITLE = {Proceedings of the 9th Annual Symposium on Theoretical Aspects of Computer Science, STACS'92 (Cachan, France, February 13-15, 1992)},
SERIES = {LNCS},
VOLUME = {577},
PAGES = {259-278},
YEAR = {1992},
EDITOR = {Finkel, A. and Jantzen, M.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=577&spage=259},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Damm-Krause-Meinel-Waack/92,
AUTHOR = {Damm, Carsten and Krause, Matthias and Meinel, Christoph and Waack, Stephen},
TITLE = {Separating counting communication complexity classes},
BOOKTITLE = {Proceedings of the 9th Annual Symposium on Theoretical Aspects of Computer Science, STACS'92 (Cachan, France, February 13-15, 1992)},
SERIES = {LNCS},
VOLUME = {577},
PAGES = {281-292},
YEAR = {1992},
EDITOR = {Finkel, A. and Jantzen, M.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=577&spage=281},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Gubas-Hromkovic-Waczulik/92,
AUTHOR = {Gub{\'a}s, Xaver and Hromkovi{\v{c}}, Juraj and Waczulik, Juraj},
TITLE = {A nonlinear lower bound on the practical combinatorial complexity},
BOOKTITLE = {Proceedings of the 9th Annual Symposium on Theoretical Aspects of Computer Science, STACS'92 (Cachan, France, February 13-15, 1992)},
SERIES = {LNCS},
VOLUME = {577},
PAGES = {293-302},
YEAR = {1992},
EDITOR = {Finkel, A. and Jantzen, M.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=577&spage=293},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Castro-Seara/92,
AUTHOR = {Castro, Jorge and Seara, Carlos},
TITLE = {Characterizations of some complexity classes between $\Theta^p_n$ and $\Delta^p_2$},
BOOKTITLE = {Proceedings of the 9th Annual Symposium on Theoretical Aspects of Computer Science, STACS'92 (Cachan, France, February 13-15, 1992)},
SERIES = {LNCS},
VOLUME = {577},
PAGES = {305-317},
YEAR = {1992},
EDITOR = {Finkel, A. and Jantzen, M.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=577&spage=305},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Book-Lutz-Wagner/92,
AUTHOR = {Book, Ronald V. and Lutz, Jack H. and Wagner, Klaus W.},
TITLE = {On complexity classes and algorithmically random languages},
BOOKTITLE = {Proceedings of the 9th Annual Symposium on Theoretical Aspects of Computer Science, STACS'92 (Cachan, France, February 13-15, 1992)},
SERIES = {LNCS},
VOLUME = {577},
PAGES = {319-328},
YEAR = {1992},
EDITOR = {Finkel, A. and Jantzen, M.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=577&spage=319},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Diehl-Jard/92,
AUTHOR = {Diehl, Claire and Jard, Claude},
TITLE = {Interval approximations of message causality in distributed executions},
BOOKTITLE = {Proceedings of the 9th Annual Symposium on Theoretical Aspects of Computer Science, STACS'92 (Cachan, France, February 13-15, 1992)},
SERIES = {LNCS},
VOLUME = {577},
PAGES = {363-374},
YEAR = {1992},
EDITOR = {Finkel, A. and Jantzen, M.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=577&spage=363},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Bodlaender-Kloks/92,
AUTHOR = {Bodlaender, Hans and Kloks, Ton},
TITLE = {A simple linear time algorithm for triangulating three-colored graphs},
BOOKTITLE = {Proceedings of the 9th Annual Symposium on Theoretical Aspects of Computer Science, STACS'92 (Cachan, France, February 13-15, 1992)},
SERIES = {LNCS},
VOLUME = {577},
PAGES = {415-423},
YEAR = {1992},
EDITOR = {Finkel, A. and Jantzen, M.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=577&spage=415},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Blum/92b,
AUTHOR = {Blum, Norbert},
TITLE = {On locally optimal alignments in genetic sequences},
BOOKTITLE = {Proceedings of the 9th Annual Symposium on Theoretical Aspects of Computer Science, STACS'92 (Cachan, France, February 13-15, 1992)},
SERIES = {LNCS},
VOLUME = {577},
PAGES = {425-436},
YEAR = {1992},
EDITOR = {Finkel, A. and Jantzen, M.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=577&spage=425},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Clarkson-Mehlhorn-Seidel/92,
AUTHOR = {Clarkson, Kenneth L. and Mehlhorn, Kurt and Seidel, Raimund},
TITLE = {Four results on randomized incremental constructions},
BOOKTITLE = {Proceedings of the 9th Annual Symposium on Theoretical Aspects of Computer Science, STACS'92 (Cachan, France, February 13-15, 1992)},
SERIES = {LNCS},
VOLUME = {577},
PAGES = {463-474},
YEAR = {1992},
EDITOR = {Finkel, A. and Jantzen, M.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=577&spage=463},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Becker-Franciosa-Gschwind-Ohler-Thiemt-Widmayer/92,
AUTHOR = {Becker, Bruno and Franciosa, Paolo Giulio and Gschwind, Stephan and Ohler, Thomas and Thiemt, Gerald and Widmayer, Peter},
TITLE = {Enclosing many boxes by an optimal pair of boxes},
BOOKTITLE = {Proceedings of the 9th Annual Symposium on Theoretical Aspects of Computer Science, STACS'92 (Cachan, France, February 13-15, 1992)},
SERIES = {LNCS},
VOLUME = {577},
PAGES = {475-486},
YEAR = {1992},
EDITOR = {Finkel, A. and Jantzen, M.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=577&spage=475},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Becker/92,
AUTHOR = {Becker, Bernd},
TITLE = {Synthesis for testability: Binary decision diagrams},
BOOKTITLE = {Proceedings of the 9th Annual Symposium on Theoretical Aspects of Computer Science, STACS'92 (Cachan, France, February 13-15, 1992)},
SERIES = {LNCS},
VOLUME = {577},
PAGES = {501-512},
YEAR = {1992},
EDITOR = {Finkel, A. and Jantzen, M.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=577&spage=501},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Hansel-Perrin-Simon/92,
AUTHOR = {Hansel, Georges and Perrin, Dominique and Simon, Imre},
TITLE = {Compression and entropy},
BOOKTITLE = {Proceedings of the 9th Annual Symposium on Theoretical Aspects of Computer Science, STACS'92 (Cachan, France, February 13-15, 1992)},
SERIES = {LNCS},
VOLUME = {577},
PAGES = {515-528},
YEAR = {1992},
EDITOR = {Finkel, A. and Jantzen, M.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=577&spage=515},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Culik-Karhumaki/92,
AUTHOR = {Culik II, Karel and Karhum{\"a}ki, Juhani},
TITLE = {Iterative devices generating infinite words},
BOOKTITLE = {Proceedings of the 9th Annual Symposium on Theoretical Aspects of Computer Science, STACS'92 (Cachan, France, February 13-15, 1992)},
SERIES = {LNCS},
VOLUME = {577},
PAGES = {531-543},
YEAR = {1992},
EDITOR = {Finkel, A. and Jantzen, M.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=577&spage=531},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{De_Felice/92,
AUTHOR = {De Felice, Clelia},
TITLE = {On the factorization conjecture},
BOOKTITLE = {Proceedings of the 9th Annual Symposium on Theoretical Aspects of Computer Science, STACS'92 (Cachan, France, February 13-15, 1992)},
SERIES = {LNCS},
VOLUME = {577},
PAGES = {545-556},
YEAR = {1992},
EDITOR = {Finkel, A. and Jantzen, M.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=577&spage=545},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Deiss/92,
AUTHOR = {Dei{\ss}, Thomas},
TITLE = {Conditional semi-Thue systems for presenting monoids},
BOOKTITLE = {Proceedings of the 9th Annual Symposium on Theoretical Aspects of Computer Science, STACS'92 (Cachan, France, February 13-15, 1992)},
SERIES = {LNCS},
VOLUME = {577},
PAGES = {557-565},
YEAR = {1992},
EDITOR = {Finkel, A. and Jantzen, M.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=577&spage=557},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Carlsson-Katajainen-Teuhola/92,
AUTHOR = {Carlsson, Svante and Katajainen, Jyrki and Teuhola, Jukka},
TITLE = {In-place linear probing sort},
BOOKTITLE = {Proceedings of the 9th Annual Symposium on Theoretical Aspects of Computer Science, STACS'92 (Cachan, France, February 13-15, 1992)},
SERIES = {LNCS},
VOLUME = {577},
PAGES = {581-587},
YEAR = {1992},
EDITOR = {Finkel, A. and Jantzen, M.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=577&spage=581},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Crochemore-Lecroq-Czumaj-Gasieniec-Jarominek-Plandowski-Rytter/92,
AUTHOR = {Crochemore, Maxime and Lecroq, Thierry and Czumaj, Artur and Gasieniec, Leszek and Jarominek, Stefan and Plandowski, Wojciech and Rytter, Wojciech},
TITLE = {Speeding up two string-matching algorithms},
BOOKTITLE = {Proceedings of the 9th Annual Symposium on Theoretical Aspects of Computer Science, STACS'92 (Cachan, France, February 13-15, 1992)},
SERIES = {LNCS},
VOLUME = {577},
PAGES = {589-600},
YEAR = {1992},
EDITOR = {Finkel, A. and Jantzen, M.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=577&spage=589},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Billaud/92a,
AUTHOR = {Billaud, Michel},
TITLE = {The ANIGRAF system},
BOOKTITLE = {Proceedings of the 9th Annual Symposium on Theoretical Aspects of Computer Science, STACS'92 (Cachan, France, February 13-15, 1992)},
SERIES = {LNCS},
VOLUME = {577},
PAGES = {603-604},
YEAR = {1992},
EDITOR = {Finkel, A. and Jantzen, M.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=577&spage=603},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Champarnaud/92,
AUTHOR = {Champarnaud, J.M.},
TITLE = {A programming language for symbolic computation of regular languages, automata and semigroups},
BOOKTITLE = {Proceedings of the 9th Annual Symposium on Theoretical Aspects of Computer Science, STACS'92 (Cachan, France, February 13-15, 1992)},
SERIES = {LNCS},
VOLUME = {577},
PAGES = {605-606},
YEAR = {1992},
EDITOR = {Finkel, A. and Jantzen, M.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=577&spage=605},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Collavizza/92,
AUTHOR = {Collavizza, H.},
TITLE = {$\mu$SPEED: A system for the specification and verification of microprocessors},
BOOKTITLE = {Proceedings of the 9th Annual Symposium on Theoretical Aspects of Computer Science, STACS'92 (Cachan, France, February 13-15, 1992)},
SERIES = {LNCS},
VOLUME = {577},
PAGES = {607-608},
YEAR = {1992},
EDITOR = {Finkel, A. and Jantzen, M.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=577&spage=607},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Grammatikakis-Jwo/92a,
AUTHOR = {Grammatikakis, Miltos D. and Jwo, Jung-Sing},
TITLE = {A discrete event simulator of communication algorithms in interconnection networks},
BOOKTITLE = {Proceedings of the 9th Annual Symposium on Theoretical Aspects of Computer Science, STACS'92 (Cachan, France, February 13-15, 1992)},
SERIES = {LNCS},
VOLUME = {577},
PAGES = {609-610},
YEAR = {1992},
EDITOR = {Finkel, A. and Jantzen, M.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=577&spage=609},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Bachmann-Drescher-Nieke/92,
AUTHOR = {Bachmann, Peter and Drescher, Thomas and Nieke, Sabine},
TITLE = {SPECI90. A term rewriting and narrowing system},
BOOKTITLE = {Proceedings of the 9th Annual Symposium on Theoretical Aspects of Computer Science, STACS'92 (Cachan, France, February 13-15, 1992)},
SERIES = {LNCS},
VOLUME = {577},
PAGES = {619-620},
YEAR = {1992},
EDITOR = {Finkel, A. and Jantzen, M.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=577&spage=619},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Bodlaender-Gilbert-Hafsteinsson-Kloks/92,
AUTHOR = {Bodlaender, Hans L. and Gilbert, John R. and Hafsteinsson, Hj{\'a}lmt{\'y}r and Kloks, Ton},
TITLE = {Approximating treewidth, pathwidth, and minimum elimination tree height},
BOOKTITLE = {Proceedings of the 17th International Workshop on Graph-Theoretic Concepts in Computer Science, WG'91 (Fischbachau, Germany, June 17-19, 1991)},
SERIES = {LNCS},
VOLUME = {570},
PAGES = {1-12},
YEAR = {1992},
EDITOR = {Schmidt, G. and Berghammer, R.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=570&spage=1},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Courcelle-Mosbah/92,
AUTHOR = {Courcelle, B. and Mosbah, M.},
TITLE = {Monadic second-order evaluations on tree-decomposable graphs},
BOOKTITLE = {Proceedings of the 17th International Workshop on Graph-Theoretic Concepts in Computer Science, WG'91 (Fischbachau, Germany, June 17-19, 1991)},
SERIES = {LNCS},
VOLUME = {570},
PAGES = {13-24},
YEAR = {1992},
EDITOR = {Schmidt, G. and Berghammer, R.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=570&spage=13},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Heckmann-Klasing-Monien-Unger/92,
AUTHOR = {Heckmann, R. and Klasing, R. and Monien, B. and Unger, W.},
TITLE = {Optimal embedding of complete binary trees into lines and grids},
BOOKTITLE = {Proceedings of the 17th International Workshop on Graph-Theoretic Concepts in Computer Science, WG'91 (Fischbachau, Germany, June 17-19, 1991)},
SERIES = {LNCS},
VOLUME = {570},
PAGES = {25-35},
YEAR = {1992},
EDITOR = {Schmidt, G. and Berghammer, R.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=570&spage=25},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Andries-Paredaens/92,
AUTHOR = {Andries, Marc and Paredaens, Jan},
TITLE = {A language for generic graph-transformations},
BOOKTITLE = {Proceedings of the 17th International Workshop on Graph-Theoretic Concepts in Computer Science, WG'91 (Fischbachau, Germany, June 17-19, 1991)},
SERIES = {LNCS},
VOLUME = {570},
PAGES = {63-74},
YEAR = {1992},
EDITOR = {Schmidt, G. and Berghammer, R.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=570&spage=63},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Freund-Haberstroh/92,
AUTHOR = {Freund, Rudolf and Haberstroh, Brigitte},
TITLE = {Attributed elementary programmed graph grammars},
BOOKTITLE = {Proceedings of the 17th International Workshop on Graph-Theoretic Concepts in Computer Science, WG'91 (Fischbachau, Germany, June 17-19, 1991)},
SERIES = {LNCS},
VOLUME = {570},
PAGES = {75-84},
YEAR = {1992},
EDITOR = {Schmidt, G. and Berghammer, R.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=570&spage=75},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Feuerstein-Marchetti-Spaccamela/92,
AUTHOR = {Feuerstein, Esteban and Marchetti-Spaccamela, Alberto},
TITLE = {Dynamic algorithms for shortest paths in planar graphs},
BOOKTITLE = {Proceedings of the 17th International Workshop on Graph-Theoretic Concepts in Computer Science, WG'91 (Fischbachau, Germany, June 17-19, 1991)},
SERIES = {LNCS},
VOLUME = {570},
PAGES = {187-197},
YEAR = {1992},
EDITOR = {Schmidt, G. and Berghammer, R.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=570&spage=187},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Damaschke/92,
AUTHOR = {Damaschke, Peter},
TITLE = {Logic arrays for interval indicator functions},
BOOKTITLE = {Proceedings of the 17th International Workshop on Graph-Theoretic Concepts in Computer Science, WG'91 (Fischbachau, Germany, June 17-19, 1991)},
SERIES = {LNCS},
VOLUME = {570},
PAGES = {219-225},
YEAR = {1992},
EDITOR = {Schmidt, G. and Berghammer, R.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=570&spage=219},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Bodlaender/92,
AUTHOR = {Bodlaender, Hans L.},
TITLE = {On disjoint cycles},
BOOKTITLE = {Proceedings of the 17th International Workshop on Graph-Theoretic Concepts in Computer Science, WG'91 (Fischbachau, Germany, June 17-19, 1991)},
SERIES = {LNCS},
VOLUME = {570},
PAGES = {230-238},
YEAR = {1992},
EDITOR = {Schmidt, G. and Berghammer, R.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=570&spage=230},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Brandstadt/92,
AUTHOR = {Brandst{\"a}dt, Andreas},
TITLE = {Short disjoint cycles in cubic bridgeless graphs},
BOOKTITLE = {Proceedings of the 17th International Workshop on Graph-Theoretic Concepts in Computer Science, WG'91 (Fischbachau, Germany, June 17-19, 1991)},
SERIES = {LNCS},
VOLUME = {570},
PAGES = {239-249},
YEAR = {1992},
EDITOR = {Schmidt, G. and Berghammer, R.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=570&spage=239},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}