@incollection{Bai-Ebara-Nakano-Maeda/97,
AUTHOR = {Bai, Leqiang and Ebara, Hiroyuki and Nakano, Hideo and Maeda, Hajime},
TITLE = {An adaptive distributed fault-tolerant routing algorithm for the star graph},
BOOKTITLE = {Proceedings of the 8th International Symposium on Algorithms and Computation, ISAAC'97 (Singapore, December 17-19, 1997)},
SERIES = {LNCS},
VOLUME = {1350},
PAGES = {62-71},
YEAR = {1997},
EDITOR = {Leong, Hon Wai and Imai, Hiroshi and Jain, Sanjay},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Santa Clara-Singapore-Tokyo},
}
@incollection{Ausiello-Franciosa-Frigioni-Giaccio/97,
AUTHOR = {Ausiello, Giorgio and Franciosa, Paolo Giulio and Frigioni, Daniele and Giaccio, Roberto},
TITLE = {Decremental maintenance of reachability in hypergraphs and minimum models of Horn formulae},
BOOKTITLE = {Proceedings of the 8th International Symposium on Algorithms and Computation, ISAAC'97 (Singapore, December 17-19, 1997)},
SERIES = {LNCS},
VOLUME = {1350},
PAGES = {122-131},
YEAR = {1997},
EDITOR = {Leong, Hon Wai and Imai, Hiroshi and Jain, Sanjay},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Santa Clara-Singapore-Tokyo},
}
@incollection{Asano-Hori-Ono-Hirata/97,
AUTHOR = {Asano, Takao and Hori, Kuniaki and Ono, Takao and Hirata, Tomio},
TITLE = {A theoretical framework of hybrid approaches to MAX SAT},
BOOKTITLE = {Proceedings of the 8th International Symposium on Algorithms and Computation, ISAAC'97 (Singapore, December 17-19, 1997)},
SERIES = {LNCS},
VOLUME = {1350},
PAGES = {153-162},
YEAR = {1997},
EDITOR = {Leong, Hon Wai and Imai, Hiroshi and Jain, Sanjay},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Santa Clara-Singapore-Tokyo},
}
@incollection{Dannoura-Sakurai/97,
AUTHOR = {Dannoura, Eisuke and Sakurai, Kouichi},
TITLE = {On-line versus off-line in money-making strategies with BROKERAGE},
BOOKTITLE = {Proceedings of the 8th International Symposium on Algorithms and Computation, ISAAC'97 (Singapore, December 17-19, 1997)},
SERIES = {LNCS},
VOLUME = {1350},
PAGES = {173-182},
YEAR = {1997},
EDITOR = {Leong, Hon Wai and Imai, Hiroshi and Jain, Sanjay},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Santa Clara-Singapore-Tokyo},
}
@incollection{Deng-Papadimitriou/97,
AUTHOR = {Deng, Xiaotie and Papadimitriou, Christos},
TITLE = {Decision-making by hierarchies of discordant agents},
BOOKTITLE = {Proceedings of the 8th International Symposium on Algorithms and Computation, ISAAC'97 (Singapore, December 17-19, 1997)},
SERIES = {LNCS},
VOLUME = {1350},
PAGES = {183-192},
YEAR = {1997},
EDITOR = {Leong, Hon Wai and Imai, Hiroshi and Jain, Sanjay},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Santa Clara-Singapore-Tokyo},
}
@incollection{Chen/97c,
AUTHOR = {Chen, Zhi-Zhong},
TITLE = {Approximating unweighted connectivity problems in parallel},
BOOKTITLE = {Proceedings of the 8th International Symposium on Algorithms and Computation, ISAAC'97 (Singapore, December 17-19, 1997)},
SERIES = {LNCS},
VOLUME = {1350},
PAGES = {202-211},
YEAR = {1997},
EDITOR = {Leong, Hon Wai and Imai, Hiroshi and Jain, Sanjay},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Santa Clara-Singapore-Tokyo},
}
@incollection{Atallah-Chen-Daescu/97,
AUTHOR = {Atallah, Mikhail J. and Chen, Danny Z. and Daescu, Ovidiu},
TITLE = {Efficient parallel algorithms for planar $st$-graphs},
BOOKTITLE = {Proceedings of the 8th International Symposium on Algorithms and Computation, ISAAC'97 (Singapore, December 17-19, 1997)},
SERIES = {LNCS},
VOLUME = {1350},
PAGES = {223-232},
YEAR = {1997},
EDITOR = {Leong, Hon Wai and Imai, Hiroshi and Jain, Sanjay},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Santa Clara-Singapore-Tokyo},
}
@incollection{Chen-Lee/97,
AUTHOR = {Chen, Hsiao-Feng and Lee, D.T.},
TITLE = {A faster one-dimensional topological compaction algorithm},
BOOKTITLE = {Proceedings of the 8th International Symposium on Algorithms and Computation, ISAAC'97 (Singapore, December 17-19, 1997)},
SERIES = {LNCS},
VOLUME = {1350},
PAGES = {303-313},
YEAR = {1997},
EDITOR = {Leong, Hon Wai and Imai, Hiroshi and Jain, Sanjay},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Santa Clara-Singapore-Tokyo},
}
@incollection{Chan-Chin/97a,
AUTHOR = {Chan, Wun-Tat and Chin, Francis Y.L.},
TITLE = {Algorithms for finding optimal disjoint paths around a rectangle},
BOOKTITLE = {Proceedings of the 8th International Symposium on Algorithms and Computation, ISAAC'97 (Singapore, December 17-19, 1997)},
SERIES = {LNCS},
VOLUME = {1350},
PAGES = {314-323},
YEAR = {1997},
EDITOR = {Leong, Hon Wai and Imai, Hiroshi and Jain, Sanjay},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Santa Clara-Singapore-Tokyo},
}
@incollection{Chang-Hsieh-Chen/97,
AUTHOR = {Chang, Maw-Shang and Hsieh, Sun-yuan and Chen, Gen-Huey},
TITLE = {Dynamic programming on distance-hereditary graphs},
BOOKTITLE = {Proceedings of the 8th International Symposium on Algorithms and Computation, ISAAC'97 (Singapore, December 17-19, 1997)},
SERIES = {LNCS},
VOLUME = {1350},
PAGES = {344-353},
YEAR = {1997},
EDITOR = {Leong, Hon Wai and Imai, Hiroshi and Jain, Sanjay},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Santa Clara-Singapore-Tokyo},
}
@incollection{Cicerone-Stefano/97,
AUTHOR = {Cicerone, Serafino and Stefano, Gabriele di},
TITLE = {On the equivalence in complexity among basic problems on bipartite and parity graphs},
BOOKTITLE = {Proceedings of the 8th International Symposium on Algorithms and Computation, ISAAC'97 (Singapore, December 17-19, 1997)},
SERIES = {LNCS},
VOLUME = {1350},
PAGES = {354-363},
YEAR = {1997},
EDITOR = {Leong, Hon Wai and Imai, Hiroshi and Jain, Sanjay},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Santa Clara-Singapore-Tokyo},
}
@incollection{Dey-Roy-Shah/97,
AUTHOR = {Dey, Tamal K. and Roy, Arunabha and Shah, Nimish R.},
TITLE = {Approximating geometric domains through topological triangulations},
BOOKTITLE = {Proceedings of the 17th Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'97 (Kharagpur, India, December 18-20, 1997)},
SERIES = {LNCS},
VOLUME = {1346},
PAGES = {6-21},
YEAR = {1997},
EDITOR = {Ramesh, S. and Sivakumar, G.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Santa Clara-Singapore-Tokyo},
}
@incollection{Cirino-Muthukrishnan-Narayanaswamy-Ramesh/97,
AUTHOR = {Cirino, K. and Muthukrishnan, S. and Narayanaswamy, N.S. and Ramesh, H.},
TITLE = {Graph editing to bipartite interval graphs: Exact and asymptotic bounds},
BOOKTITLE = {Proceedings of the 17th Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'97 (Kharagpur, India, December 18-20, 1997)},
SERIES = {LNCS},
VOLUME = {1346},
PAGES = {37-53},
YEAR = {1997},
EDITOR = {Ramesh, S. and Sivakumar, G.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Santa Clara-Singapore-Tokyo},
}
@incollection{Clarke/97,
AUTHOR = {Clarke, Edmund M.},
TITLE = {Model checking},
BOOKTITLE = {Proceedings of the 17th Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'97 (Kharagpur, India, December 18-20, 1997)},
SERIES = {LNCS},
VOLUME = {1346},
PAGES = {54-56},
YEAR = {1997},
EDITOR = {Ramesh, S. and Sivakumar, G.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Santa Clara-Singapore-Tokyo},
}
@incollection{Arvind-Kobler/97,
AUTHOR = {Arvind, V. and K{\"o}bler, J.},
TITLE = {On resource-bounded measure and pseudorandomness},
BOOKTITLE = {Proceedings of the 17th Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'97 (Kharagpur, India, December 18-20, 1997)},
SERIES = {LNCS},
VOLUME = {1346},
PAGES = {235-249},
YEAR = {1997},
EDITOR = {Ramesh, S. and Sivakumar, G.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Santa Clara-Singapore-Tokyo},
}
@incollection{Devillers-Klaudel-Riemann/97,
AUTHOR = {Devillers, Raymond and Klaudel, Hanna and Riemann, Robert-C.},
TITLE = {General refinement for high level Petri nets},
BOOKTITLE = {Proceedings of the 17th Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'97 (Kharagpur, India, December 18-20, 1997)},
SERIES = {LNCS},
VOLUME = {1346},
PAGES = {297-311},
YEAR = {1997},
EDITOR = {Ramesh, S. and Sivakumar, G.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Santa Clara-Singapore-Tokyo},
}
@incollection{Bauer/97,
AUTHOR = {Bauer, F.L.},
TITLE = {The might of formulas and their limits},
BOOKTITLE = {Foundations of Computer Science: Potential --- Theory --- Cognition},
SERIES = {LNCS},
VOLUME = {1337},
PAGES = {1-8},
YEAR = {1997},
EDITOR = {Freksa, Christian and Jantzen, Matthias and Valk, R{\"u}diger},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Santa Clara-Singapore-Tokyo},
}
@incollection{Coy/97,
AUTHOR = {Coy, Wolfgang},
TITLE = {Defining discipline},
BOOKTITLE = {Foundations of Computer Science: Potential --- Theory --- Cognition},
SERIES = {LNCS},
VOLUME = {1337},
PAGES = {21-35},
YEAR = {1997},
EDITOR = {Freksa, Christian and Jantzen, Matthias and Valk, R{\"u}diger},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Santa Clara-Singapore-Tokyo},
}
@incollection{Culik-Kari/97a,
AUTHOR = {Culik, Karel and Kari, Jarkko},
TITLE = {On aperiodic sets of Wang tiles},
BOOKTITLE = {Foundations of Computer Science: Potential --- Theory --- Cognition},
SERIES = {LNCS},
VOLUME = {1337},
PAGES = {153-162},
YEAR = {1997},
EDITOR = {Freksa, Christian and Jantzen, Matthias and Valk, R{\"u}diger},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Santa Clara-Singapore-Tokyo},
}
@incollection{Diekert/97,
AUTHOR = {Diekert, Volker},
TITLE = {A remark on trace equations},
BOOKTITLE = {Foundations of Computer Science: Potential --- Theory --- Cognition},
SERIES = {LNCS},
VOLUME = {1337},
PAGES = {251-260},
YEAR = {1997},
EDITOR = {Freksa, Christian and Jantzen, Matthias and Valk, R{\"u}diger},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Santa Clara-Singapore-Tokyo},
}
@incollection{Broy/97a,
AUTHOR = {Broy, Manfred},
TITLE = {Interactive and reactive systems: States, observations, experiments, input, output, nondeterminism, compositonality and all that},
BOOKTITLE = {Foundations of Computer Science: Potential --- Theory --- Cognition},
SERIES = {LNCS},
VOLUME = {1337},
PAGES = {279-286},
YEAR = {1997},
EDITOR = {Freksa, Christian and Jantzen, Matthias and Valk, R{\"u}diger},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Santa Clara-Singapore-Tokyo},
}
@incollection{Daduna/97,
AUTHOR = {Daduna, Hans},
TITLE = {Discrete time analysis of a state dependent tandem with different customer types},
BOOKTITLE = {Foundations of Computer Science: Potential --- Theory --- Cognition},
SERIES = {LNCS},
VOLUME = {1337},
PAGES = {287-296},
YEAR = {1997},
EDITOR = {Freksa, Christian and Jantzen, Matthias and Valk, R{\"u}diger},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Santa Clara-Singapore-Tokyo},
}
@incollection{Desel/97,
AUTHOR = {Desel, J{\"o}rg},
TITLE = {How distributed algorithms play the token game},
BOOKTITLE = {Foundations of Computer Science: Potential --- Theory --- Cognition},
SERIES = {LNCS},
VOLUME = {1337},
PAGES = {297-306},
YEAR = {1997},
EDITOR = {Freksa, Christian and Jantzen, Matthias and Valk, R{\"u}diger},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Santa Clara-Singapore-Tokyo},
}
@incollection{Boley/97,
AUTHOR = {Boley, Harold},
TITLE = {A relational-functional integration for declarative programming},
BOOKTITLE = {Foundations of Computer Science: Potential --- Theory --- Cognition},
SERIES = {LNCS},
VOLUME = {1337},
PAGES = {351-358},
YEAR = {1997},
EDITOR = {Freksa, Christian and Jantzen, Matthias and Valk, R{\"u}diger},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Santa Clara-Singapore-Tokyo},
}
@incollection{Ammon/97,
AUTHOR = {Ammon, Kurt},
TITLE = {The composition heuristic},
BOOKTITLE = {Foundations of Computer Science: Potential --- Theory --- Cognition},
SERIES = {LNCS},
VOLUME = {1337},
PAGES = {437-444},
YEAR = {1997},
EDITOR = {Freksa, Christian and Jantzen, Matthias and Valk, R{\"u}diger},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Santa Clara-Singapore-Tokyo},
}
@incollection{Alimonti/97,
AUTHOR = {Alimonti, Paola},
TITLE = {Non-oblivious local search for MAX 2-CCSP with application to MAX DICUT},
BOOKTITLE = {Proceedings of the 23rd International Workshop on Graph-Theoretic Concepts in Computer Science, WG'97 (Berlin, Germany, June 18-20, 1997)},
SERIES = {LNCS},
VOLUME = {1335},
PAGES = {2-14},
YEAR = {1997},
EDITOR = {M{\"o}hring, Rolf H.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Santa Clara-Singapore-Tokyo},
}
@incollection{Alt-Fuchs-Kriegel/97,
AUTHOR = {Alt, Helmut and Fuchs, Ulrich and Kriegel, Klaus},
TITLE = {On the number of simple cycles in planar graphs},
BOOKTITLE = {Proceedings of the 23rd International Workshop on Graph-Theoretic Concepts in Computer Science, WG'97 (Berlin, Germany, June 18-20, 1997)},
SERIES = {LNCS},
VOLUME = {1335},
PAGES = {15-24},
YEAR = {1997},
EDITOR = {M{\"o}hring, Rolf H.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Santa Clara-Singapore-Tokyo},
}
@incollection{Babel-Olariu/97a,
AUTHOR = {Babel, Luitpold and Olariu, Stephan},
TITLE = {On the separable-homogeneous decomposition of graphs},
BOOKTITLE = {Proceedings of the 23rd International Workshop on Graph-Theoretic Concepts in Computer Science, WG'97 (Berlin, Germany, June 18-20, 1997)},
SERIES = {LNCS},
VOLUME = {1335},
PAGES = {25-37},
YEAR = {1997},
EDITOR = {M{\"o}hring, Rolf H.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Santa Clara-Singapore-Tokyo},
}
@incollection{Babel-Woeginger/97,
AUTHOR = {Babel, Luitpold and Woeginger, Gerhard J.},
TITLE = {Pseudo-Hamiltonian graphs},
BOOKTITLE = {Proceedings of the 23rd International Workshop on Graph-Theoretic Concepts in Computer Science, WG'97 (Berlin, Germany, June 18-20, 1997)},
SERIES = {LNCS},
VOLUME = {1335},
PAGES = {38-51},
YEAR = {1997},
EDITOR = {M{\"o}hring, Rolf H.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Santa Clara-Singapore-Tokyo},
}
@incollection{Bermond-Ianni-Flammini-Perennes/97,
AUTHOR = {Bermond, Jean-Claude and Ianni, Miriam di and Flammini, Michele and Perennes, Stephane},
TITLE = {Acyclic orientations for deadlock prevention in interconnection networks},
BOOKTITLE = {Proceedings of the 23rd International Workshop on Graph-Theoretic Concepts in Computer Science, WG'97 (Berlin, Germany, June 18-20, 1997)},
SERIES = {LNCS},
VOLUME = {1335},
PAGES = {52-64},
YEAR = {1997},
EDITOR = {M{\"o}hring, Rolf H.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Santa Clara-Singapore-Tokyo},
}
@incollection{Bertet-Gustedt-Morvan/97,
AUTHOR = {Bertet, Karell and Gustedt, Jens and Morvan, Michel},
TITLE = {Weak-order extensions of an order},
BOOKTITLE = {Proceedings of the 23rd International Workshop on Graph-Theoretic Concepts in Computer Science, WG'97 (Berlin, Germany, June 18-20, 1997)},
SERIES = {LNCS},
VOLUME = {1335},
PAGES = {65-77},
YEAR = {1997},
EDITOR = {M{\"o}hring, Rolf H.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Santa Clara-Singapore-Tokyo},
}
@incollection{Bertoni-Campadelli-Posenato/97,
AUTHOR = {Bertoni, Alberto and Campadelli, Paola and Posenato, Roberto},
TITLE = {An upper bound for the maximum cut mean value},
BOOKTITLE = {Proceedings of the 23rd International Workshop on Graph-Theoretic Concepts in Computer Science, WG'97 (Berlin, Germany, June 18-20, 1997)},
SERIES = {LNCS},
VOLUME = {1335},
PAGES = {78-84},
YEAR = {1997},
EDITOR = {M{\"o}hring, Rolf H.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Santa Clara-Singapore-Tokyo},
}
@incollection{Brandes-Handke/97,
AUTHOR = {Brandes, Ulrik and Handke, Dagmar},
TITLE = {$NP$-completeness results for minimum planar spanners},
BOOKTITLE = {Proceedings of the 23rd International Workshop on Graph-Theoretic Concepts in Computer Science, WG'97 (Berlin, Germany, June 18-20, 1997)},
SERIES = {LNCS},
VOLUME = {1335},
PAGES = {85-99},
YEAR = {1997},
EDITOR = {M{\"o}hring, Rolf H.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Santa Clara-Singapore-Tokyo},
}
@incollection{Brandt/97a,
AUTHOR = {Brandt, Stephan},
TITLE = {Computing the independence number of dense triangle-free graphs},
BOOKTITLE = {Proceedings of the 23rd International Workshop on Graph-Theoretic Concepts in Computer Science, WG'97 (Berlin, Germany, June 18-20, 1997)},
SERIES = {LNCS},
VOLUME = {1335},
PAGES = {100-108},
YEAR = {1997},
EDITOR = {M{\"o}hring, Rolf H.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Santa Clara-Singapore-Tokyo},
}
@incollection{Broersma-Dahlhaus-Kloks/97,
AUTHOR = {Broersma, H.J. and Dahlhaus, E. and Kloks, T.},
TITLE = {Algorithms for the treewidth and minimum fill-in of HHD-free graphs},
BOOKTITLE = {Proceedings of the 23rd International Workshop on Graph-Theoretic Concepts in Computer Science, WG'97 (Berlin, Germany, June 18-20, 1997)},
SERIES = {LNCS},
VOLUME = {1335},
PAGES = {109-117},
YEAR = {1997},
EDITOR = {M{\"o}hring, Rolf H.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Santa Clara-Singapore-Tokyo},
}
@incollection{Capelle/97,
AUTHOR = {Capelle, Christian},
TITLE = {Block decomposition of inheritance hierarchies},
BOOKTITLE = {Proceedings of the 23rd International Workshop on Graph-Theoretic Concepts in Computer Science, WG'97 (Berlin, Germany, June 18-20, 1997)},
SERIES = {LNCS},
VOLUME = {1335},
PAGES = {118-131},
YEAR = {1997},
EDITOR = {M{\"o}hring, Rolf H.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Santa Clara-Singapore-Tokyo},
}
@incollection{Dahlhaus/97a,
AUTHOR = {Dahlhaus, Elias},
TITLE = {Minimal elimination ordering inside a given chordal graph},
BOOKTITLE = {Proceedings of the 23rd International Workshop on Graph-Theoretic Concepts in Computer Science, WG'97 (Berlin, Germany, June 18-20, 1997)},
SERIES = {LNCS},
VOLUME = {1335},
PAGES = {132-143},
YEAR = {1997},
EDITOR = {M{\"o}hring, Rolf H.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Santa Clara-Singapore-Tokyo},
}
@incollection{Dinitz-Feighelstein-Zaks/97,
AUTHOR = {Dinitz, Yefim and Feighelstein, Marcelo and Zaks, Shmuel},
TITLE = {On optimal graphs embedded into paths and rings, with analysis using $l_1$-spheres},
BOOKTITLE = {Proceedings of the 23rd International Workshop on Graph-Theoretic Concepts in Computer Science, WG'97 (Berlin, Germany, June 18-20, 1997)},
SERIES = {LNCS},
VOLUME = {1335},
PAGES = {171-183},
YEAR = {1997},
EDITOR = {M{\"o}hring, Rolf H.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Santa Clara-Singapore-Tokyo},
}
@incollection{Dragan/97,
AUTHOR = {Dragan, Feodor F.},
TITLE = {On greedy matching ordering and greedy matchable graphs},
BOOKTITLE = {Proceedings of the 23rd International Workshop on Graph-Theoretic Concepts in Computer Science, WG'97 (Berlin, Germany, June 18-20, 1997)},
SERIES = {LNCS},
VOLUME = {1335},
PAGES = {184-198},
YEAR = {1997},
EDITOR = {M{\"o}hring, Rolf H.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Santa Clara-Singapore-Tokyo},
}
@incollection{Chlebus-Prisco-Shvartsman/97,
AUTHOR = {Chlebus, Bogdan S. and Prisco, Roberto de and Shvartsman, Alex A.},
TITLE = {Performing tasks on restartable message-passing processors},
BOOKTITLE = {Proceedings of the 11th International Workshop on Distributed Algorithms, WDAG'97 (Saarbr{\"u}cken, Germany, September 24-26, 1997)},
SERIES = {LNCS},
VOLUME = {1320},
PAGES = {96-110},
YEAR = {1997},
EDITOR = {Mavronicolas, Marios and Tsigas, Philippas},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Santa Clara-Singapore-Tokyo},
}
@incollection{Aguilera-Chen-Toueg/97,
AUTHOR = {Aguilera, Marcos Kawazoe and Chen, Wei and Toueg, Sam},
TITLE = {Heartbeat: A timeout-free failure detector for quiescent reliable communication},
BOOKTITLE = {Proceedings of the 11th International Workshop on Distributed Algorithms, WDAG'97 (Saarbr{\"u}cken, Germany, September 24-26, 1997)},
SERIES = {LNCS},
VOLUME = {1320},
PAGES = {126-140},
YEAR = {1997},
EDITOR = {Mavronicolas, Marios and Tsigas, Philippas},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Santa Clara-Singapore-Tokyo},
}
@incollection{Beimel-Franklin/97,
AUTHOR = {Beimel, Amos and Franklin, Matthew},
TITLE = {Reliable communication over partially authenticated networks},
BOOKTITLE = {Proceedings of the 11th International Workshop on Distributed Algorithms, WDAG'97 (Saarbr{\"u}cken, Germany, September 24-26, 1997)},
SERIES = {LNCS},
VOLUME = {1320},
PAGES = {245-259},
YEAR = {1997},
EDITOR = {Mavronicolas, Marios and Tsigas, Philippas},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Santa Clara-Singapore-Tokyo},
}
@incollection{Delaitre-Vekariya-Bigeard-Justo-Winter-Zemerly/97,
AUTHOR = {Delaitre, T. and Vekariya, P. and Bigeard, R. and Justo, G.R. and Winter, S.C. and Zemerly, M.J.},
TITLE = {EDPEPPS: An integrated graphical toolset for the design and performance evaluation of portable parallel software},
BOOKTITLE = {Proceedings of the 3rd International Euro-Par Conference on Parallel Processing, Euro-Par'97 (Passau, Germany, August 26-29, 1997)},
SERIES = {LNCS},
VOLUME = {1300},
PAGES = {140-149},
YEAR = {1997},
EDITOR = {Lengauer, Christian and Griebl, Martin and Gorlatch, Sergei},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Santa Clara-Singapore-Tokyo},
}
@incollection{Aguilar-Jimenez/97,
AUTHOR = {Aguilar, Jose and Jimenez, Tania},
TITLE = {A processors management system for PVM},
BOOKTITLE = {Proceedings of the 3rd International Euro-Par Conference on Parallel Processing, Euro-Par'97 (Passau, Germany, August 26-29, 1997)},
SERIES = {LNCS},
VOLUME = {1300},
PAGES = {158-161},
YEAR = {1997},
EDITOR = {Lengauer, Christian and Griebl, Martin and Gorlatch, Sergei},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Santa Clara-Singapore-Tokyo},
}
@incollection{Bilardi-Codenotti-Corso-Pinotti-Resta/97,
AUTHOR = {Bilardi, G. and Codenotti, B. and Corso, G. del and Pinotti, C. and Resta, G.},
TITLE = {Broadcast and associative oprations on fat-trees},
BOOKTITLE = {Proceedings of the 3rd International Euro-Par Conference on Parallel Processing, Euro-Par'97 (Passau, Germany, August 26-29, 1997)},
SERIES = {LNCS},
VOLUME = {1300},
PAGES = {196-207},
YEAR = {1997},
EDITOR = {Lengauer, Christian and Griebl, Martin and Gorlatch, Sergei},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Santa Clara-Singapore-Tokyo},
}
@incollection{Deserable/97,
AUTHOR = {D{\'{e}}s{\'{e}}rable, Dominique},
TITLE = {Minimal routing in the triangular grid and in a family of related tori},
BOOKTITLE = {Proceedings of the 3rd International Euro-Par Conference on Parallel Processing, Euro-Par'97 (Passau, Germany, August 26-29, 1997)},
SERIES = {LNCS},
VOLUME = {1300},
PAGES = {218-225},
YEAR = {1997},
EDITOR = {Lengauer, Christian and Griebl, Martin and Gorlatch, Sergei},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Santa Clara-Singapore-Tokyo},
}
@incollection{Damaschke/97b,
AUTHOR = {Damaschke, Peter},
TITLE = {Finding a pair on a mesh with multiple broadcasting is hard},
BOOKTITLE = {Proceedings of the 3rd International Euro-Par Conference on Parallel Processing, Euro-Par'97 (Passau, Germany, August 26-29, 1997)},
SERIES = {LNCS},
VOLUME = {1300},
PAGES = {266-271},
YEAR = {1997},
EDITOR = {Lengauer, Christian and Griebl, Martin and Gorlatch, Sergei},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Santa Clara-Singapore-Tokyo},
}
@incollection{Chlebus-Czumaj-Sibeyn/97,
AUTHOR = {Chlebus, Bogdan S. and Czumaj, Artur and Sibeyn, Jop F.},
TITLE = {Routing on the PADAM: Degrees of optimality},
BOOKTITLE = {Proceedings of the 3rd International Euro-Par Conference on Parallel Processing, Euro-Par'97 (Passau, Germany, August 26-29, 1997)},
SERIES = {LNCS},
VOLUME = {1300},
PAGES = {272-279},
YEAR = {1997},
EDITOR = {Lengauer, Christian and Griebl, Martin and Gorlatch, Sergei},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Santa Clara-Singapore-Tokyo},
}
@incollection{Clauss/97,
AUTHOR = {Clauss, Philippe},
TITLE = {Handling memory cache policy with integer points countings},
BOOKTITLE = {Proceedings of the 3rd International Euro-Par Conference on Parallel Processing, Euro-Par'97 (Passau, Germany, August 26-29, 1997)},
SERIES = {LNCS},
VOLUME = {1300},
PAGES = {285-293},
YEAR = {1997},
EDITOR = {Lengauer, Christian and Griebl, Martin and Gorlatch, Sergei},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Santa Clara-Singapore-Tokyo},
}
@incollection{Beckman-Kelly/97,
AUTHOR = {Beckman, Olav and Kelly, Paul H.J.},
TITLE = {Runtime interprocedural data placement optimisation for lazy parallel libraries},
BOOKTITLE = {Proceedings of the 3rd International Euro-Par Conference on Parallel Processing, Euro-Par'97 (Passau, Germany, August 26-29, 1997)},
SERIES = {LNCS},
VOLUME = {1300},
PAGES = {306-309},
YEAR = {1997},
EDITOR = {Lengauer, Christian and Griebl, Martin and Gorlatch, Sergei},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Santa Clara-Singapore-Tokyo},
}
@incollection{Besch-Pohl/97,
AUTHOR = {Besch, Matthias and Pohl, Hans Werner},
TITLE = {Dependence-free clustering of shift-invariant data structures},
BOOKTITLE = {Proceedings of the 3rd International Euro-Par Conference on Parallel Processing, Euro-Par'97 (Passau, Germany, August 26-29, 1997)},
SERIES = {LNCS},
VOLUME = {1300},
PAGES = {338-341},
YEAR = {1997},
EDITOR = {Lengauer, Christian and Griebl, Martin and Gorlatch, Sergei},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Santa Clara-Singapore-Tokyo},
}
@incollection{Amme-Zehendner/97,
AUTHOR = {Amme, W. and Zehendner, E.},
TITLE = {Experiences in analyzing data dependences for programs with pointers and structures},
BOOKTITLE = {Proceedings of the 3rd International Euro-Par Conference on Parallel Processing, Euro-Par'97 (Passau, Germany, August 26-29, 1997)},
SERIES = {LNCS},
VOLUME = {1300},
PAGES = {342-346},
YEAR = {1997},
EDITOR = {Lengauer, Christian and Griebl, Martin and Gorlatch, Sergei},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Santa Clara-Singapore-Tokyo},
}
@incollection{Barrado-Labarta/97,
AUTHOR = {Barrado, Cristina and Labarta, Jes{\'{u}}s},
TITLE = {Hamiltonian recurrence for ILP},
BOOKTITLE = {Proceedings of the 3rd International Euro-Par Conference on Parallel Processing, Euro-Par'97 (Passau, Germany, August 26-29, 1997)},
SERIES = {LNCS},
VOLUME = {1300},
PAGES = {352-355},
YEAR = {1997},
EDITOR = {Lengauer, Christian and Griebl, Martin and Gorlatch, Sergei},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Santa Clara-Singapore-Tokyo},
}
@incollection{Bouge-Gabarro-Messeguer-Schabanel/97,
AUTHOR = {Boug{\'{e}}, Luc and Gabarr{\'{o}}, Joaquim and Messeguer, Xavier and Schabanel, Nicolas},
TITLE = {Concurrent rebalancing of AVL trees: A fine-grained approach},
BOOKTITLE = {Proceedings of the 3rd International Euro-Par Conference on Parallel Processing, Euro-Par'97 (Passau, Germany, August 26-29, 1997)},
SERIES = {LNCS},
VOLUME = {1300},
PAGES = {421-429},
YEAR = {1997},
EDITOR = {Lengauer, Christian and Griebl, Martin and Gorlatch, Sergei},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Santa Clara-Singapore-Tokyo},
}
@incollection{Bataller-Bernabeu/97,
AUTHOR = {Bataller, Jordi and Bernabeu, Josep},
TITLE = {Synchronized DSM models},
BOOKTITLE = {Proceedings of the 3rd International Euro-Par Conference on Parallel Processing, Euro-Par'97 (Passau, Germany, August 26-29, 1997)},
SERIES = {LNCS},
VOLUME = {1300},
PAGES = {468-475},
YEAR = {1997},
EDITOR = {Lengauer, Christian and Griebl, Martin and Gorlatch, Sergei},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Santa Clara-Singapore-Tokyo},
}
@incollection{Antonoiu-Srimani/97,
AUTHOR = {Antonoiu, Gheorghe and Srimani, Pradip K.},
TITLE = {Distributed self-stabilizing algorithm for minimum spanning tree construction},
BOOKTITLE = {Proceedings of the 3rd International Euro-Par Conference on Parallel Processing, Euro-Par'97 (Passau, Germany, August 26-29, 1997)},
SERIES = {LNCS},
VOLUME = {1300},
PAGES = {480-487},
YEAR = {1997},
EDITOR = {Lengauer, Christian and Griebl, Martin and Gorlatch, Sergei},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Santa Clara-Singapore-Tokyo},
}
@incollection{Agrawal-Alonso-Abbadi-Stanoi/97,
AUTHOR = {Agrawal, Divyakant and Alonso, Gustavo and Abbadi, Amr El and Stanoi, Ioana},
TITLE = {Exploiting atomic broadcast in replicated databases},
BOOKTITLE = {Proceedings of the 3rd International Euro-Par Conference on Parallel Processing, Euro-Par'97 (Passau, Germany, August 26-29, 1997)},
SERIES = {LNCS},
VOLUME = {1300},
PAGES = {496-503},
YEAR = {1997},
EDITOR = {Lengauer, Christian and Griebl, Martin and Gorlatch, Sergei},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Santa Clara-Singapore-Tokyo},
}
@incollection{Breu-Grosu/97,
AUTHOR = {Breu, Ruth and Grosu, Radu},
TITLE = {Modeling the dynamic behavior of objects on events, messages and methods},
BOOKTITLE = {Proceedings of the 3rd International Euro-Par Conference on Parallel Processing, Euro-Par'97 (Passau, Germany, August 26-29, 1997)},
SERIES = {LNCS},
VOLUME = {1300},
PAGES = {572-575},
YEAR = {1997},
EDITOR = {Lengauer, Christian and Griebl, Martin and Gorlatch, Sergei},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Santa Clara-Singapore-Tokyo},
}
@incollection{Briat-Ginzburg-Pasin-Plateau/97,
AUTHOR = {Briat, Jacques and Ginzburg, Ilan and Pasin, Marcelo and Plateau, Brigitte},
TITLE = {Athapascan runtime: Efficiency for irregular problems},
BOOKTITLE = {Proceedings of the 3rd International Euro-Par Conference on Parallel Processing, Euro-Par'97 (Passau, Germany, August 26-29, 1997)},
SERIES = {LNCS},
VOLUME = {1300},
PAGES = {591-600},
YEAR = {1997},
EDITOR = {Lengauer, Christian and Griebl, Martin and Gorlatch, Sergei},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Santa Clara-Singapore-Tokyo},
}
@incollection{Danelutto-Pasqualetti-Pelagatti/97,
AUTHOR = {Danelutto, Marco and Pasqualetti, Fabrizio and Pelagatti, Susanna},
TITLE = {Skeletons for data parallelism in $p3|$},
BOOKTITLE = {Proceedings of the 3rd International Euro-Par Conference on Parallel Processing, Euro-Par'97 (Passau, Germany, August 26-29, 1997)},
SERIES = {LNCS},
VOLUME = {1300},
PAGES = {619-628},
YEAR = {1997},
EDITOR = {Lengauer, Christian and Griebl, Martin and Gorlatch, Sergei},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Santa Clara-Singapore-Tokyo},
}
@incollection{Cole/97,
AUTHOR = {Cole, Murray},
TITLE = {On dividing and conquering independently},
BOOKTITLE = {Proceedings of the 3rd International Euro-Par Conference on Parallel Processing, Euro-Par'97 (Passau, Germany, August 26-29, 1997)},
SERIES = {LNCS},
VOLUME = {1300},
PAGES = {634-637},
YEAR = {1997},
EDITOR = {Lengauer, Christian and Griebl, Martin and Gorlatch, Sergei},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Santa Clara-Singapore-Tokyo},
}
@incollection{Bungartz/97,
AUTHOR = {Bungartz, Hans-Joachim},
TITLE = {Workshop 09: Parallel numerical algorithms},
BOOKTITLE = {Proceedings of the 3rd International Euro-Par Conference on Parallel Processing, Euro-Par'97 (Passau, Germany, August 26-29, 1997)},
SERIES = {LNCS},
VOLUME = {1300},
PAGES = {685-687},
YEAR = {1997},
EDITOR = {Lengauer, Christian and Griebl, Martin and Gorlatch, Sergei},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Santa Clara-Singapore-Tokyo},
}
@incollection{Arvind-Sotelo-Salazar/97,
AUTHOR = {Arvind, D.K. and Sotelo-Salazar, S.},
TITLE = {Scheduling instructions with uncertain latencies in asynchronous architectures},
BOOKTITLE = {Proceedings of the 3rd International Euro-Par Conference on Parallel Processing, Euro-Par'97 (Passau, Germany, August 26-29, 1997)},
SERIES = {LNCS},
VOLUME = {1300},
PAGES = {771-778},
YEAR = {1997},
EDITOR = {Lengauer, Christian and Griebl, Martin and Gorlatch, Sergei},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Santa Clara-Singapore-Tokyo},
}
@incollection{Barbosa-Padilha-Madier-Neubert/97,
AUTHOR = {Barbosa, J.G. and Padilha, A.J. and Madier, J.-P. and Neubert, T.},
TITLE = {Experiments on using WPVM for industrial visual inspection problems},
BOOKTITLE = {Proceedings of the 3rd International Euro-Par Conference on Parallel Processing, Euro-Par'97 (Passau, Germany, August 26-29, 1997)},
SERIES = {LNCS},
VOLUME = {1300},
PAGES = {828-831},
YEAR = {1997},
EDITOR = {Lengauer, Christian and Griebl, Martin and Gorlatch, Sergei},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Santa Clara-Singapore-Tokyo},
}
@incollection{Bouaricha-Mueller/97,
AUTHOR = {Bouaricha, Ali and Mueller, Stephan},
TITLE = {A portable parallel implementation of a 3D semiconductor device simulator},
BOOKTITLE = {Proceedings of the 3rd International Euro-Par Conference on Parallel Processing, Euro-Par'97 (Passau, Germany, August 26-29, 1997)},
SERIES = {LNCS},
VOLUME = {1300},
PAGES = {840-847},
YEAR = {1997},
EDITOR = {Lengauer, Christian and Griebl, Martin and Gorlatch, Sergei},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Santa Clara-Singapore-Tokyo},
}
@incollection{Corradi-Leonardi-Zambonelli/97,
AUTHOR = {Corradi, Antonio and Leonardi, Letizia and Zambonelli, Franco},
TITLE = {Performance comparison of load balancing policies based on a diffusion scheme},
BOOKTITLE = {Proceedings of the 3rd International Euro-Par Conference on Parallel Processing, Euro-Par'97 (Passau, Germany, August 26-29, 1997)},
SERIES = {LNCS},
VOLUME = {1300},
PAGES = {882-886},
YEAR = {1997},
EDITOR = {Lengauer, Christian and Griebl, Martin and Gorlatch, Sergei},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Santa Clara-Singapore-Tokyo},
}
@incollection{Boeres-Rebello/97,
AUTHOR = {Boeres, Cristina and Rebello, Vinod E.F.},
TITLE = {Versatile task scheduling of binary trees for realistic machines},
BOOKTITLE = {Proceedings of the 3rd International Euro-Par Conference on Parallel Processing, Euro-Par'97 (Passau, Germany, August 26-29, 1997)},
SERIES = {LNCS},
VOLUME = {1300},
PAGES = {913-921},
YEAR = {1997},
EDITOR = {Lengauer, Christian and Griebl, Martin and Gorlatch, Sergei},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Santa Clara-Singapore-Tokyo},
}
@incollection{Das-Harvey-Biswas/97a,
AUTHOR = {Das, Sajal K. and Harvey, Daniel J. and Biswas, Rupak},
TITLE = {Design of novel load-balancing algorithms with implementations on an IBM SP2},
BOOKTITLE = {Proceedings of the 3rd International Euro-Par Conference on Parallel Processing, Euro-Par'97 (Passau, Germany, August 26-29, 1997)},
SERIES = {LNCS},
VOLUME = {1300},
PAGES = {937-944},
YEAR = {1997},
EDITOR = {Lengauer, Christian and Griebl, Martin and Gorlatch, Sergei},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Santa Clara-Singapore-Tokyo},
}
@incollection{Bode-Dongarra/97,
AUTHOR = {Bode, Arndt and Dongarra, Jack},
TITLE = {Workshop 16: Performance evaluation and prediction},
BOOKTITLE = {Proceedings of the 3rd International Euro-Par Conference on Parallel Processing, Euro-Par'97 (Passau, Germany, August 26-29, 1997)},
SERIES = {LNCS},
VOLUME = {1300},
PAGES = {969-970},
YEAR = {1997},
EDITOR = {Lengauer, Christian and Griebl, Martin and Gorlatch, Sergei},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Santa Clara-Singapore-Tokyo},
}
@incollection{Bouras-Garofalakis-Spirakis-Triantafillou/97,
AUTHOR = {Bouras, C.J. and Garofalakis, J.D. and Spirakis, P.G. and Triantafillou, V.D.},
TITLE = {A general performance model for multistage interconnection networks},
BOOKTITLE = {Proceedings of the 3rd International Euro-Par Conference on Parallel Processing, EURO-PAR'97 (Passau, Germany, August 26-29, 1997)},
SERIES = {LNCS},
VOLUME = {1300},
PAGES = {993-1000},
YEAR = {1997},
EDITOR = {Lengauer, Christian and Griebl, Martin and Gorlatch, Sergei},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=1300&spage=993},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Santa Clara-Singapore-Tokyo},
}
@incollection{Arvind/97a,
AUTHOR = {Arvind, D.K.},
TITLE = {Workshop 17: Instruction-level parallelism},
BOOKTITLE = {Proceedings of the 3rd International Euro-Par Conference on Parallel Processing, Euro-Par'97 (Passau, Germany, August 26-29, 1997)},
SERIES = {LNCS},
VOLUME = {1300},
PAGES = {1041-1042},
YEAR = {1997},
EDITOR = {Lengauer, Christian and Griebl, Martin and Gorlatch, Sergei},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Santa Clara-Singapore-Tokyo},
}
@incollection{Banerjia-Havanki-Conte/97,
AUTHOR = {Banerjia, Sanjeev and Havanki, William A. and Conte, Thomas M.},
TITLE = {Treegion scheduling for highly parallel processors},
BOOKTITLE = {Proceedings of the 3rd International Euro-Par Conference on Parallel Processing, Euro-Par'97 (Passau, Germany, August 26-29, 1997)},
SERIES = {LNCS},
VOLUME = {1300},
PAGES = {1074-1078},
YEAR = {1997},
EDITOR = {Lengauer, Christian and Griebl, Martin and Gorlatch, Sergei},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Santa Clara-Singapore-Tokyo},
}
@incollection{Ding-Carr-Sweany/97,
AUTHOR = {Ding, Chen and Carr, Steve and Sweany, Phil},
TITLE = {Modulo scheduling with cache reuse information},
BOOKTITLE = {Proceedings of the 3rd International Euro-Par Conference on Parallel Processing, Euro-Par'97 (Passau, Germany, August 26-29, 1997)},
SERIES = {LNCS},
VOLUME = {1300},
PAGES = {1079-1083},
YEAR = {1997},
EDITOR = {Lengauer, Christian and Griebl, Martin and Gorlatch, Sergei},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Santa Clara-Singapore-Tokyo},
}
@incollection{Chou-Siewiorek-Shen/97,
AUTHOR = {Chou, Yuan C. and Siewiorek, Daniel P. and Shen, John Paul},
TITLE = {A realistic study on multithreaded superscalar processor design},
BOOKTITLE = {Proceedings of the 3rd International Euro-Par Conference on Parallel Processing, Euro-Par'97 (Passau, Germany, August 26-29, 1997)},
SERIES = {LNCS},
VOLUME = {1300},
PAGES = {1092-1101},
YEAR = {1997},
EDITOR = {Lengauer, Christian and Griebl, Martin and Gorlatch, Sergei},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Santa Clara-Singapore-Tokyo},
}
@incollection{Chinchwadkar-Goh/97,
AUTHOR = {Chinchwadkar, Gajanan S. and Goh, Angela},
TITLE = {Method transformations for vertical partitioning in parallel and distributed object databases},
BOOKTITLE = {Proceedings of the 3rd International Euro-Par Conference on Parallel Processing, Euro-Par'97 (Passau, Germany, August 26-29, 1997)},
SERIES = {LNCS},
VOLUME = {1300},
PAGES = {1135-1143},
YEAR = {1997},
EDITOR = {Lengauer, Christian and Griebl, Martin and Gorlatch, Sergei},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Santa Clara-Singapore-Tokyo},
}
@incollection{Bonneau-Hameurlain/97,
AUTHOR = {Bonneau, Sophie and Hameurlain, Abdelkader},
TITLE = {Database program mapping onto a shared-nothing multiprocessor architecture: Minimizing communication costs},
BOOKTITLE = {Proceedings of the 3rd International Euro-Par Conference on Parallel Processing, Euro-Par'97 (Passau, Germany, August 26-29, 1997)},
SERIES = {LNCS},
VOLUME = {1300},
PAGES = {1154-1158},
YEAR = {1997},
EDITOR = {Lengauer, Christian and Griebl, Martin and Gorlatch, Sergei},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Santa Clara-Singapore-Tokyo},
}
@incollection{Araujo/97,
AUTHOR = {Araujo, Lourdes},
TITLE = {Towards full Prolog on a distributed architecture},
BOOKTITLE = {Proceedings of the 3rd International Euro-Par Conference on Parallel Processing, Euro-Par'97 (Passau, Germany, August 26-29, 1997)},
SERIES = {LNCS},
VOLUME = {1300},
PAGES = {1173-1180},
YEAR = {1997},
EDITOR = {Lengauer, Christian and Griebl, Martin and Gorlatch, Sergei},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Santa Clara-Singapore-Tokyo},
}
@incollection{Araki-Tanaka/97,
AUTHOR = {Araki, Takuya and Tanaka, Hidehiko},
TITLE = {Static granularity optimization of a committed-choice language Fleng},
BOOKTITLE = {Proceedings of the 3rd International Euro-Par Conference on Parallel Processing, Euro-Par'97 (Passau, Germany, August 26-29, 1997)},
SERIES = {LNCS},
VOLUME = {1300},
PAGES = {1191-1200},
YEAR = {1997},
EDITOR = {Lengauer, Christian and Griebl, Martin and Gorlatch, Sergei},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Santa Clara-Singapore-Tokyo},
}
@incollection{Dershowitz-Lindenstrauss/97,
AUTHOR = {Dershowitz, Nachum and Lindenstrauss, Naomi},
TITLE = {Abstract and-parallel machines},
BOOKTITLE = {Proceedings of the 3rd International Euro-Par Conference on Parallel Processing, Euro-Par'97 (Passau, Germany, August 26-29, 1997)},
SERIES = {LNCS},
VOLUME = {1300},
PAGES = {1221-1225},
YEAR = {1997},
EDITOR = {Lengauer, Christian and Griebl, Martin and Gorlatch, Sergei},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Santa Clara-Singapore-Tokyo},
}
@incollection{Berry/97,
AUTHOR = {Berry, G{\'{e}}rard},
TITLE = {Workshop 20: Real-time systems and constraints},
BOOKTITLE = {Proceedings of the 3rd International Euro-Par Conference on Parallel Processing, Euro-Par'97 (Passau, Germany, August 26-29, 1997)},
SERIES = {LNCS},
VOLUME = {1300},
PAGES = {1229-1230},
YEAR = {1997},
EDITOR = {Lengauer, Christian and Griebl, Martin and Gorlatch, Sergei},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Santa Clara-Singapore-Tokyo},
}
@incollection{Colnaric-Cheung-Halang/97,
AUTHOR = {Colnari{\v{c}}, Matja{\v{z}} and Cheung, C.T. and Halang, Wolfgang A.},
TITLE = {Designing an embedded hard real-time system: A case study},
BOOKTITLE = {Proceedings of the 3rd International Euro-Par Conference on Parallel Processing, Euro-Par'97 (Passau, Germany, August 26-29, 1997)},
SERIES = {LNCS},
VOLUME = {1300},
PAGES = {1231-1235},
YEAR = {1997},
EDITOR = {Lengauer, Christian and Griebl, Martin and Gorlatch, Sergei},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Santa Clara-Singapore-Tokyo},
}
@incollection{Burgueno-Rusu/97,
AUTHOR = {Burgue{\~n}o, Augusto and Rusu, Vlad},
TITLE = {Task-system analysis using slope-parametric hybrid automata},
BOOKTITLE = {Proceedings of the 3rd International Euro-Par Conference on Parallel Processing, Euro-Par'97 (Passau, Germany, August 26-29, 1997)},
SERIES = {LNCS},
VOLUME = {1300},
PAGES = {1262-1273},
YEAR = {1997},
EDITOR = {Lengauer, Christian and Griebl, Martin and Gorlatch, Sergei},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Santa Clara-Singapore-Tokyo},
}
@incollection{Albrecht-Wisser/97,
AUTHOR = {Albrecht, Wolfgang and Wisser, Ralf},
TITLE = {Schedulers for age constraint tasks and their performance evaluation},
BOOKTITLE = {Proceedings of the 3rd International Euro-Par Conference on Parallel Processing, Euro-Par'97 (Passau, Germany, August 26-29, 1997)},
SERIES = {LNCS},
VOLUME = {1300},
PAGES = {1282-1289},
YEAR = {1997},
EDITOR = {Lengauer, Christian and Griebl, Martin and Gorlatch, Sergei},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Santa Clara-Singapore-Tokyo},
}
@incollection{Brink-Katwijk-Spelberg-Toetenel/97,
AUTHOR = {Brink, K. and Katwijk, J. van and Spelberg, R.F. Lutje and Toetenel, W.J.},
TITLE = {Analyzing schedulability of Astral specifications using extended timed automata},
BOOKTITLE = {Proceedings of the 3rd International Euro-Par Conference on Parallel Processing, Euro-Par'97 (Passau, Germany, August 26-29, 1997)},
SERIES = {LNCS},
VOLUME = {1300},
PAGES = {1290-1297},
YEAR = {1997},
EDITOR = {Lengauer, Christian and Griebl, Martin and Gorlatch, Sergei},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Santa Clara-Singapore-Tokyo},
}
@incollection{Anguita-Chirico-Scapolla-Parodi/97,
AUTHOR = {Anguita, Davide and Chirico, Marco and Scapolla, Anna Marina and Parodi, Giancarlo},
TITLE = {RAIN: Redundant array of inexpensive workstations for neurocomputing},
BOOKTITLE = {Proceedings of the 3rd International Euro-Par Conference on Parallel Processing, Euro-Par'97 (Passau, Germany, August 26-29, 1997)},
SERIES = {LNCS},
VOLUME = {1300},
PAGES = {1340-1345},
YEAR = {1997},
EDITOR = {Lengauer, Christian and Griebl, Martin and Gorlatch, Sergei},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Santa Clara-Singapore-Tokyo},
}
@incollection{Aarts-Barreteau-Bodin-Brinkhaus-Chamski-Charles-Eisenbeis-Gurd-Hoogerbrugge-Hu-Jalby-Knijnenburg-OBoyle-Rohou-Sakellariou-Schepers-Seznec-Stohr-Verhoeven-Wijshoff/97,
AUTHOR = {Aarts, Bas and Barreteau, Michel and Bodin, Fran{\c{c}}ois and Brinkhaus, Peter and Chamski, Zbigniew and Charles, Henri-Pierre and Eisenbeis, Christine and Gurd, John and Hoogerbrugge, Jan and Hu, Ping and Jalby, William and Knijnenburg, Peter M.W. and O'Boyle, Michael F.P. and Rohou, Erven and Sakellariou, Rizos and Schepers, Henk and Seznec, Andr{\'{e}} and St{\"o}hr, Elena and Verhoeven, Marco and Wijshoff, Harry A.G.},
TITLE = {OCEANS: Optimizing compilers for embedded applications},
BOOKTITLE = {Proceedings of the 3rd International Euro-Par Conference on Parallel Processing, Euro-Par'97 (Passau, Germany, August 26-29, 1997)},
SERIES = {LNCS},
VOLUME = {1300},
PAGES = {1351-1356},
YEAR = {1997},
EDITOR = {Lengauer, Christian and Griebl, Martin and Gorlatch, Sergei},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Santa Clara-Singapore-Tokyo},
}
@incollection{Bottalico-Stefani-Ludwig-Rackl/97,
AUTHOR = {Bottalico, Sebastiano and Stefani, Filippo de and Ludwig, Thomas and Rackl, G{\"u}nther},
TITLE = {SEEDS --- Simulation environment for the evaluation of distributed traffic control systems},
BOOKTITLE = {Proceedings of the 3rd International Euro-Par Conference on Parallel Processing, Euro-Par'97 (Passau, Germany, August 26-29, 1997)},
SERIES = {LNCS},
VOLUME = {1300},
PAGES = {1357-1362},
YEAR = {1997},
EDITOR = {Lengauer, Christian and Griebl, Martin and Gorlatch, Sergei},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Santa Clara-Singapore-Tokyo},
}
@incollection{Deconinck-Florio-Lauwereins-Varvarigou/97,
AUTHOR = {Deconinck, G. and Florio, V. de and Lauwereins, R. and Varvarigou, T.},
TITLE = {EFTOS: A software framework for more dependable embedded HPC applications},
BOOKTITLE = {Proceedings of the 3rd International Euro-Par Conference on Parallel Processing, Euro-Par'97 (Passau, Germany, August 26-29, 1997)},
SERIES = {LNCS},
VOLUME = {1300},
PAGES = {1363-1368},
YEAR = {1997},
EDITOR = {Lengauer, Christian and Griebl, Martin and Gorlatch, Sergei},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Santa Clara-Singapore-Tokyo},
}
@incollection{Abramsky/97a,
AUTHOR = {Abramsky, Samson},
TITLE = {Game semantics for programming languages},
BOOKTITLE = {Proceedings of the 22nd International Symposium on Mathematical Foundations of Computer Science, MFCS'97 (Bratislava, Slovakia, August 25-29, 1997)},
SERIES = {LNCS},
VOLUME = {1295},
PAGES = {3-4},
YEAR = {1997},
EDITOR = {Pr{\'{i}}vara, Igor and Ru{\v{z}}i{\v{c}}ka, Peter},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Santa Clara-Singapore-Tokyo},
}
@incollection{Babai/97,
AUTHOR = {Babai, L{\'a}szl{\'o}},
TITLE = {Communication complexity},
BOOKTITLE = {Proceedings of the 22nd International Symposium on Mathematical Foundations of Computer Science, MFCS'97 (Bratislava, Slovakia, August 25-29, 1997)},
SERIES = {LNCS},
VOLUME = {1295},
PAGES = {5-18},
YEAR = {1997},
EDITOR = {Pr{\'i}vara, Igor and Ru{\v{z}}i{\v{c}}ka, Peter},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=1295&spage=5},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Santa Clara-Singapore-Tokyo},
}
@incollection{Bodlaender/97,
AUTHOR = {Bodlaender, Hans L.},
TITLE = {Treewidth: Algorithmic techniques and results},
BOOKTITLE = {Proceedings of the 22nd International Symposium on Mathematical Foundations of Computer Science, MFCS'97 (Bratislava, Slovakia, August 25-29, 1997)},
SERIES = {LNCS},
VOLUME = {1295},
PAGES = {19-36},
YEAR = {1997},
EDITOR = {Pr{\'{i}}vara, Igor and Ru{\v{z}}i{\v{c}}ka, Peter},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Santa Clara-Singapore-Tokyo},
}
@incollection{Dershowitz/97,
AUTHOR = {Dershowitz, Nachum},
TITLE = {When are two rewrite systems more than none?},
BOOKTITLE = {Proceedings of the 22nd International Symposium on Mathematical Foundations of Computer Science, MFCS'97 (Bratislava, Slovakia, August 25-29, 1997)},
SERIES = {LNCS},
VOLUME = {1295},
PAGES = {37-43},
YEAR = {1997},
EDITOR = {Pr{\'{i}}vara, Igor and Ru{\v{z}}i{\v{c}}ka, Peter},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Santa Clara-Singapore-Tokyo},
}
@incollection{Afrati-Guessarian-Rougemont/97,
AUTHOR = {Afrati, Foto and Guessarian, Ir{\`{e}}ne and Rougemont, Michel de},
TITLE = {The expressiveness of Datalog circuits (DAC)},
BOOKTITLE = {Proceedings of the 22nd International Symposium on Mathematical Foundations of Computer Science, MFCS'97 (Bratislava, Slovakia, August 25-29, 1997)},
SERIES = {LNCS},
VOLUME = {1295},
PAGES = {119-128},
YEAR = {1997},
EDITOR = {Pr{\'{i}}vara, Igor and Ru{\v{z}}i{\v{c}}ka, Peter},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Santa Clara-Singapore-Tokyo},
}
@incollection{Bernardinello-Pomello/97,
AUTHOR = {Bernardinello, Luca and Pomello, Lucia},
TITLE = {A category of transition systems and its relations with orthomodular posets},
BOOKTITLE = {Proceedings of the 22nd International Symposium on Mathematical Foundations of Computer Science, MFCS'97 (Bratislava, Slovakia, August 25-29, 1997)},
SERIES = {LNCS},
VOLUME = {1295},
PAGES = {139-148},
YEAR = {1997},
EDITOR = {Pr{\'{i}}vara, Igor and Ru{\v{z}}i{\v{c}}ka, Peter},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Santa Clara-Singapore-Tokyo},
}
@incollection{Berard-Picaronny/97,
AUTHOR = {B{\'{e}}rard, B{\'{e}}atrice and Picaronny, Claudine},
TITLE = {Accepting Zeno words without making time stand still},
BOOKTITLE = {Proceedings of the 22nd International Symposium on Mathematical Foundations of Computer Science, MFCS'97 (Bratislava, Slovakia, August 25-29, 1997)},
SERIES = {LNCS},
VOLUME = {1295},
PAGES = {149-158},
YEAR = {1997},
EDITOR = {Pr{\'{i}}vara, Igor and Ru{\v{z}}i{\v{c}}ka, Peter},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Santa Clara-Singapore-Tokyo},
}
@incollection{Bollig-Wegener/97,
AUTHOR = {Bollig, Beate and Wegener, Ingo},
TITLE = {Complexity theoretical results on partitioned (nondeterministic) binary decision diagrams},
BOOKTITLE = {Proceedings of the 22nd International Symposium on Mathematical Foundations of Computer Science, MFCS'97 (Bratislava, Slovakia, August 25-29, 1997)},
SERIES = {LNCS},
VOLUME = {1295},
PAGES = {159-168},
YEAR = {1997},
EDITOR = {Pr{\'{i}}vara, Igor and Ru{\v{z}}i{\v{c}}ka, Peter},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Santa Clara-Singapore-Tokyo},
}
@incollection{Bonsangue-Kok/97,
AUTHOR = {Bonsangue, Marcello M. and Kok, Joost N.},
TITLE = {Specifying computations using hyper transition systems},
BOOKTITLE = {Proceedings of the 22nd International Symposium on Mathematical Foundations of Computer Science, MFCS'97 (Bratislava, Slovakia, August 25-29, 1997)},
SERIES = {LNCS},
VOLUME = {1295},
PAGES = {169-178},
YEAR = {1997},
EDITOR = {Pr{\'{i}}vara, Igor and Ru{\v{z}}i{\v{c}}ka, Peter},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Santa Clara-Singapore-Tokyo},
}
@incollection{Cattaneo-Formenti-Margara-Mazoyer/97,
AUTHOR = {Cattaneo, G. and Formenti, E. and Margara, L. and Mazoyer, J.},
TITLE = {A shift-invariant metric on $S^{zz}$ inducing a non-trivial topology},
BOOKTITLE = {Proceedings of the 22nd International Symposium on Mathematical Foundations of Computer Science, MFCS'97 (Bratislava, Slovakia, August 25-29, 1997)},
SERIES = {LNCS},
VOLUME = {1295},
PAGES = {179-188},
YEAR = {1997},
EDITOR = {Pr{\'{i}}vara, Igor and Ru{\v{z}}i{\v{c}}ka, Peter},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Santa Clara-Singapore-Tokyo},
}
@incollection{Chen/97b,
AUTHOR = {Chen, Gang},
TITLE = {Subtyping calculus of construction},
BOOKTITLE = {Proceedings of the 22nd International Symposium on Mathematical Foundations of Computer Science, MFCS'97 (Bratislava, Slovakia, August 25-29, 1997)},
SERIES = {LNCS},
VOLUME = {1295},
PAGES = {189-198},
YEAR = {1997},
EDITOR = {Pr{\'{i}}vara, Igor and Ru{\v{z}}i{\v{c}}ka, Peter},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Santa Clara-Singapore-Tokyo},
}
@incollection{Choffrut-Pighizzini/97,
AUTHOR = {Choffrut, Christian and Pighizzini, Giovanni},
TITLE = {Distances between languages and reflexivity of relations},
BOOKTITLE = {Proceedings of the 22nd International Symposium on Mathematical Foundations of Computer Science, MFCS'97 (Bratislava, Slovakia, August 25-29, 1997)},
SERIES = {LNCS},
VOLUME = {1295},
PAGES = {199-208},
YEAR = {1997},
EDITOR = {Pr{\'{i}}vara, Igor and Ru{\v{z}}i{\v{c}}ka, Peter},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Santa Clara-Singapore-Tokyo},
}
@incollection{Downey/97,
AUTHOR = {Downey, Allen B.},
TITLE = {Using queue time predictions for processor allocation},
BOOKTITLE = {Proceedings of the 1997 IPPS Workshop on Job Scheduling Strategies for Parallel Processing, (Geneva, Switzerland, April 5, 1997)},
SERIES = {LNCS},
VOLUME = {1291},
PAGES = {35-57},
YEAR = {1997},
EDITOR = {Feitelson, Dror G. and Rudolph, Larry},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Santa Clara-Singapore-Tokyo},
}
@incollection{Brecht/97,
AUTHOR = {Brecht, Timothy B.},
TITLE = {An experimental evaluation of processor pool-based scheduling for shared-memory NUMA multiprocessors},
BOOKTITLE = {Proceedings of the 1997 IPPS Workshop on Job Scheduling Strategies for Parallel Processing, (Geneva, Switzerland, April 5, 1997)},
SERIES = {LNCS},
VOLUME = {1291},
PAGES = {139-165},
YEAR = {1997},
EDITOR = {Feitelson, Dror G. and Rudolph, Larry},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Santa Clara-Singapore-Tokyo},
}
@incollection{Amoura-Bampis-Kenyon-Manoussakis/97,
AUTHOR = {Amoura, A.K. and Bampis, E. and Kenyon, C. and Manoussakis, Y.},
TITLE = {Scheduling independent multiprocessor tasks},
BOOKTITLE = {Proceedings of the 5th Annual European Symposium on Algorithms, ESA'97, (Graz, Austria, September 15-17, 1997)},
SERIES = {LNCS},
VOLUME = {1284},
PAGES = {1-12},
YEAR = {1997},
EDITOR = {Burkard, Rainer and Woeginger, Gerhard},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Santa Clara-Singapore-Tokyo},
}
@incollection{Arkin-Hassin/97,
AUTHOR = {Arkin, Esther M. and Hassin, Refael},
TITLE = {On local search for weighted $k$-set packing},
BOOKTITLE = {Proceedings of the 5th Annual European Symposium on Algorithms, ESA'97, (Graz, Austria, September 15-17, 1997)},
SERIES = {LNCS},
VOLUME = {1284},
PAGES = {13-22},
YEAR = {1997},
EDITOR = {Burkard, Rainer and Woeginger, Gerhard},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Santa Clara-Singapore-Tokyo},
}
@incollection{Azar-Epstein/97b,
AUTHOR = {Azar, Yossi and Epstein, Leah},
TITLE = {On-line machine covering},
BOOKTITLE = {Proceedings of the 5th Annual European Symposium on Algorithms, ESA'97, (Graz, Austria, September 15-17, 1997)},
SERIES = {LNCS},
VOLUME = {1284},
PAGES = {23-36},
YEAR = {1997},
EDITOR = {Burkard, Rainer and Woeginger, Gerhard},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Santa Clara-Singapore-Tokyo},
}
@incollection{Biedl-Kaufmann/97,
AUTHOR = {Biedl, Therese C. and Kaufmann, Michael},
TITLE = {Area-efficient static and incremental graph drawings},
BOOKTITLE = {Proceedings of the 5th Annual European Symposium on Algorithms, ESA'97, (Graz, Austria, September 15-17, 1997)},
SERIES = {LNCS},
VOLUME = {1284},
PAGES = {37-52},
YEAR = {1997},
EDITOR = {Burkard, Rainer and Woeginger, Gerhard},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Santa Clara-Singapore-Tokyo},
}
@incollection{Blomer/97,
AUTHOR = {Bl{\"o}mer, Johannes},
TITLE = {Denesting by bounded degree radicals},
BOOKTITLE = {Proceedings of the 5th Annual European Symposium on Algorithms, ESA'97, (Graz, Austria, September 15-17, 1997)},
SERIES = {LNCS},
VOLUME = {1284},
PAGES = {53-63},
YEAR = {1997},
EDITOR = {Burkard, Rainer and Woeginger, Gerhard},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Santa Clara-Singapore-Tokyo},
}
@incollection{Brandes-Wagner/97,
AUTHOR = {Brandes, Ulrik and Wagner, Dorothea},
TITLE = {A linear time algorithm for the arc disjoint Menger problem in planar directed graphs},
BOOKTITLE = {Proceedings of the 5th Annual European Symposium on Algorithms, ESA'97, (Graz, Austria, September 15-17, 1997)},
SERIES = {LNCS},
VOLUME = {1284},
PAGES = {64-77},
YEAR = {1997},
EDITOR = {Burkard, Rainer and Woeginger, Gerhard},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Santa Clara-Singapore-Tokyo},
}
@incollection{Brandstadt-Chepoi-Dragan/97,
AUTHOR = {Brandst{\"a}dt, Andreas and Chepoi, Victor and Dragan, Feodor},
TITLE = {Distance approximating trees for chordal and dually chordal graphs},
BOOKTITLE = {Proceedings of the 5th Annual European Symposium on Algorithms, ESA'97, (Graz, Austria, September 15-17, 1997)},
SERIES = {LNCS},
VOLUME = {1284},
PAGES = {78-91},
YEAR = {1997},
EDITOR = {Burkard, Rainer and Woeginger, Gerhard},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Santa Clara-Singapore-Tokyo},
}
@incollection{Cornuejols-Urbaniak-Weismantel-Wolsey/97,
AUTHOR = {Cornuejols, G. and Urbaniak, R. and Weismantel, R. and Wolsey, L.},
TITLE = {Decomposition of integer programs and of generating sets},
BOOKTITLE = {Proceedings of the 5th Annual European Symposium on Algorithms, ESA'97, (Graz, Austria, September 15-17, 1997)},
SERIES = {LNCS},
VOLUME = {1284},
PAGES = {92-103},
YEAR = {1997},
EDITOR = {Burkard, Rainer and Woeginger, Gerhard},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Santa Clara-Singapore-Tokyo},
}
@incollection{Czumaj-Strothmann/97,
AUTHOR = {Czumaj, Artur and Strothmann, Willy-B.},
TITLE = {Bounded degree spanning trees},
BOOKTITLE = {Proceedings of the 5th Annual European Symposium on Algorithms, ESA'97, (Graz, Austria, September 15-17, 1997)},
SERIES = {LNCS},
VOLUME = {1284},
PAGES = {104-117},
YEAR = {1997},
EDITOR = {Burkard, Rainer and Woeginger, Gerhard},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Santa Clara-Singapore-Tokyo},
}
@incollection{Diks-Pelc/97a,
AUTHOR = {Diks, Krzysztof and Pelc, Andrzej},
TITLE = {Optimal adaptive broadcasting with a bounded fraction of faulty nodes},
BOOKTITLE = {Proceedings of the 5th Annual European Symposium on Algorithms, ESA'97, (Graz, Austria, September 15-17, 1997)},
SERIES = {LNCS},
VOLUME = {1284},
PAGES = {118-129},
YEAR = {1997},
EDITOR = {Burkard, Rainer and Woeginger, Gerhard},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Santa Clara-Singapore-Tokyo},
}
@incollection{Djidjev/97a,
AUTHOR = {Djidjev, Hristo N.},
TITLE = {Weighted graph separators and their applications},
BOOKTITLE = {Proceedings of the 5th Annual European Symposium on Algorithms, ESA'97, (Graz, Austria, September 15-17, 1997)},
SERIES = {LNCS},
VOLUME = {1284},
PAGES = {130-143},
YEAR = {1997},
EDITOR = {Burkard, Rainer and Woeginger, Gerhard},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Santa Clara-Singapore-Tokyo},
}
@incollection{Avermiddig-Kunde-Osterloh/97,
AUTHOR = {Avermiddig, Alfons and Kunde, Manfred and Osterloh, Andre},
TITLE = {$k-k$-sorting on the multi-mesh},
BOOKTITLE = {Proceedings of the 11th International Symposium on Fundamentals of Computation Theory, FCT'97 (Krak{\'{o}}w, Poland, September 1-3, 1997)},
SERIES = {LNCS},
VOLUME = {1279},
PAGES = {93-104},
YEAR = {1997},
EDITOR = {Chlebus, Bogdan S. and Czaja, Ludwik},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Santa Clara-Singapore-Tokyo},
}
@incollection{Best-Thielke/97a,
AUTHOR = {Best, Eike and Thielke, Thomas},
TITLE = {Refinement of coloured Petri nets},
BOOKTITLE = {Proceedings of the 11th International Symposium on Fundamentals of Computation Theory, FCT'97 (Krak{\'{o}}w, Poland, September 1-3, 1997)},
SERIES = {LNCS},
VOLUME = {1279},
PAGES = {105-116},
YEAR = {1997},
EDITOR = {Chlebus, Bogdan S. and Czaja, Ludwik},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Santa Clara-Singapore-Tokyo},
}
@incollection{Badouel-Darondeau/97,
AUTHOR = {Badouel, Eric and Darondeau, Philippe},
TITLE = {Stratified Petri nets},
BOOKTITLE = {Proceedings of the 11th International Symposium on Fundamentals of Computation Theory, FCT'97 (Krak{\'{o}}w, Poland, September 1-3, 1997)},
SERIES = {LNCS},
VOLUME = {1279},
PAGES = {117-128},
YEAR = {1997},
EDITOR = {Chlebus, Bogdan S. and Czaja, Ludwik},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Santa Clara-Singapore-Tokyo},
}
@incollection{Calabrese/97,
AUTHOR = {Calabrese, Antonio},
TITLE = {Distributed acyclic orientation of asynchronous anonymous networks},
BOOKTITLE = {Proceedings of the 11th International Symposium on Fundamentals of Computation Theory, FCT'97 (Krak{\'{o}}w, Poland, September 1-3, 1997)},
SERIES = {LNCS},
VOLUME = {1279},
PAGES = {129-137},
YEAR = {1997},
EDITOR = {Chlebus, Bogdan S. and Czaja, Ludwik},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Santa Clara-Singapore-Tokyo},
}
@incollection{Choffrut-Guerra/97,
AUTHOR = {Choffrut, Christian and Guerra, Leucio},
TITLE = {Generalized rational relations and their logical difinability},
BOOKTITLE = {Proceedings of the 11th International Symposium on Fundamentals of Computation Theory, FCT'97 (Krak{\'{o}}w, Poland, September 1-3, 1997)},
SERIES = {LNCS},
VOLUME = {1279},
PAGES = {138-149},
YEAR = {1997},
EDITOR = {Chlebus, Bogdan S. and Czaja, Ludwik},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Santa Clara-Singapore-Tokyo},
}
@incollection{Ciebiera-Malinowski/97,
AUTHOR = {Ciebiera, Krzysztof and Malinowski, Adam},
TITLE = {A note on broadcasting with linearly bounded transmission faults in constant degree networks},
BOOKTITLE = {Proceedings of the 11th International Symposium on Fundamentals of Computation Theory, FCT'97 (Krak{\'{o}}w, Poland, September 1-3, 1997)},
SERIES = {LNCS},
VOLUME = {1279},
PAGES = {150-156},
YEAR = {1997},
EDITOR = {Chlebus, Bogdan S. and Czaja, Ludwik},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Santa Clara-Singapore-Tokyo},
}
@incollection{Cucker-Meer/97,
AUTHOR = {Cucker, Felipe and Meer, Klaus},
TITLE = {Logics which capture complexity classes over the reals},
BOOKTITLE = {Proceedings of the 11th International Symposium on Fundamentals of Computation Theory, FCT'97 (Krak{\'{o}}w, Poland, September 1-3, 1997)},
SERIES = {LNCS},
VOLUME = {1279},
PAGES = {157-167},
YEAR = {1997},
EDITOR = {Chlebus, Bogdan S. and Czaja, Ludwik},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Santa Clara-Singapore-Tokyo},
}
@incollection{Drewes-Kreowski-Lapoire/97,
AUTHOR = {Drewes, Frank and Kreowski, Hans-J{\"o}rg and Lapoire, Denis},
TITLE = {Criteria to disprove context-freeness of collage languages},
BOOKTITLE = {Proceedings of the 11th International Symposium on Fundamentals of Computation Theory, FCT'97 (Krak{\'{o}}w, Poland, September 1-3, 1997)},
SERIES = {LNCS},
VOLUME = {1279},
PAGES = {169-178},
YEAR = {1997},
EDITOR = {Chlebus, Bogdan S. and Czaja, Ludwik},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Santa Clara-Singapore-Tokyo},
}
@incollection{Das-Pinotti/97a,
AUTHOR = {Das, Sajal K. and Pinotti, M. Cristina},
TITLE = {Conflict-free access to templates of trees and hypercubes in parallel memory systems},
BOOKTITLE = {Proceedings of the 3rd Annual International Conference on Computing and Combinatorics, COCOON'97 (Shanghai, China, August 20-22, 1997)},
SERIES = {LNCS},
VOLUME = {1276},
PAGES = {1-10},
YEAR = {1997},
EDITOR = {Jiang, Tao and Lee, D.T.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest-Milan-Santa Clara-Singapore},
}
@incollection{Annexstein-Berman-Swaminathan/97,
AUTHOR = {Annexstein, Fred S. and Berman, Kenneth A. and Swaminathan, Ram},
TITLE = {A multi-tree generating routing scheme acyclic orientations},
BOOKTITLE = {Proceedings of the 3rd Annual International Conference on Computing and Combinatorics, COCOON'97 (Shanghai, China, August 20-22, 1997)},
SERIES = {LNCS},
VOLUME = {1276},
PAGES = {18-22},
YEAR = {1997},
EDITOR = {Jiang, Tao and Lee, D.T.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest-Milan-Santa Clara-Singapore},
}
@incollection{Bertram-Kretzberg-Hofmeister-Lefmann/97,
AUTHOR = {Bertram-Kretzberg, Claudia and Hofmeister, Thomas and Lefmann, Hanno},
TITLE = {An algorithm for Heilbronn's problem},
BOOKTITLE = {Proceedings of the 3rd Annual International Conference on Computing and Combinatorics, COCOON'97 (Shanghai, China, August 20-22, 1997)},
SERIES = {LNCS},
VOLUME = {1276},
PAGES = {23-31},
YEAR = {1997},
EDITOR = {Jiang, Tao and Lee, D.T.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest-Milan-Santa Clara-Singapore},
}
@incollection{Chan-Chin/97,
AUTHOR = {Chan, K.W. and Chin, Francis Y.L.},
TITLE = {Optimal multiresolution polygonal approximation},
BOOKTITLE = {Proceedings of the 3rd Annual International Conference on Computing and Combinatorics, COCOON'97 (Shanghai, China, August 20-22, 1997)},
SERIES = {LNCS},
VOLUME = {1276},
PAGES = {32-41},
YEAR = {1997},
EDITOR = {Jiang, Tao and Lee, D.T.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest-Milan-Santa Clara-Singapore},
}
@incollection{Chen-Deng-Wada-Kawaguchi/97,
AUTHOR = {Chen, Wei and Deng, Xiao Wen and Wada, Koichi and Kawaguchi, Kimio},
TITLE = {Constructing a strongly convex superhull of points},
BOOKTITLE = {Proceedings of the 3rd Annual International Conference on Computing and Combinatorics, COCOON'97 (Shanghai, China, August 20-22, 1997)},
SERIES = {LNCS},
VOLUME = {1276},
PAGES = {42-51},
YEAR = {1997},
EDITOR = {Jiang, Tao and Lee, D.T.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest-Milan-Santa Clara-Singapore},
}
@incollection{Cai-Sivakumar/97,
AUTHOR = {Cai, Jin-Yi and Sivakumar, D.},
TITLE = {Resolution of Hartmanis' conjecture for $NL$-hard sparse sets},
BOOKTITLE = {Proceedings of the 3rd Annual International Conference on Computing and Combinatorics, COCOON'97 (Shanghai, China, August 20-22, 1997)},
SERIES = {LNCS},
VOLUME = {1276},
PAGES = {62-71},
YEAR = {1997},
EDITOR = {Jiang, Tao and Lee, D.T.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest-Milan-Santa Clara-Singapore},
}
@incollection{Atteson/97,
AUTHOR = {Atteson, Kevin},
TITLE = {The performance of neighbor-joining algorithms of phylogeny reconstruction},
BOOKTITLE = {Proceedings of the 3rd Annual International Conference on Computing and Combinatorics, COCOON'97 (Shanghai, China, August 20-22, 1997)},
SERIES = {LNCS},
VOLUME = {1276},
PAGES = {101-110},
YEAR = {1997},
EDITOR = {Jiang, Tao and Lee, D.T.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest-Milan-Santa Clara-Singapore},
}
@incollection{Berry-Gascuel/97,
AUTHOR = {Berry, Vincent and Gascuel, Olivier},
TITLE = {Inferring evolutionary trees with strong combinatorial evidence},
BOOKTITLE = {Proceedings of the 3rd Annual International Conference on Computing and Combinatorics, COCOON'97 (Shanghai, China, August 20-22, 1997)},
SERIES = {LNCS},
VOLUME = {1276},
PAGES = {111-123},
YEAR = {1997},
EDITOR = {Jiang, Tao and Lee, D.T.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest-Milan-Santa Clara-Singapore},
}
@incollection{Brattka/97,
AUTHOR = {Brattka, Vasco},
TITLE = {Computable invariance},
BOOKTITLE = {Proceedings of the 3rd Annual International Conference on Computing and Combinatorics, COCOON'97 (Shanghai, China, August 20-22, 1997)},
SERIES = {LNCS},
VOLUME = {1276},
PAGES = {146-155},
YEAR = {1997},
EDITOR = {Jiang, Tao and Lee, D.T.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest-Milan-Santa Clara-Singapore},
}
@incollection{Chua-Ling/97,
AUTHOR = {Chua, Seng Kiat and Ling, San},
TITLE = {A Rabin-type scheme based on $y^2 \equiv x^3+bx^2$ mod $n$},
BOOKTITLE = {Proceedings of the 3rd Annual International Conference on Computing and Combinatorics, COCOON'97 (Shanghai, China, August 20-22, 1997)},
SERIES = {LNCS},
VOLUME = {1276},
PAGES = {186-191},
YEAR = {1997},
EDITOR = {Jiang, Tao and Lee, D.T.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=1276&spage=186},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest-Milan-Santa Clara-Singapore},
}
@incollection{Chen/97a,
AUTHOR = {Chen, Lin},
TITLE = {A selected tour of the theory of identification matrices},
BOOKTITLE = {Proceedings of the 3rd Annual International Conference on Computing and Combinatorics, COCOON'97 (Shanghai, China, August 20-22, 1997)},
SERIES = {LNCS},
VOLUME = {1276},
PAGES = {222-231},
YEAR = {1997},
EDITOR = {Jiang, Tao and Lee, D.T.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest-Milan-Santa Clara-Singapore},
}
@incollection{Chao/97,
AUTHOR = {Chao, Kun-Mao},
TITLE = {Fast algorithms for aligning sequences with restricted affine gap penalties},
BOOKTITLE = {Proceedings of the 3rd Annual International Conference on Computing and Combinatorics, COCOON'97 (Shanghai, China, August 20-22, 1997)},
SERIES = {LNCS},
VOLUME = {1276},
PAGES = {264-273},
YEAR = {1997},
EDITOR = {Jiang, Tao and Lee, D.T.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest-Milan-Santa Clara-Singapore},
}
@incollection{Becker/97,
AUTHOR = {Becker, Peter},
TITLE = {Construction of nearly optimal multiway trees},
BOOKTITLE = {Proceedings of the 3rd Annual International Conference on Computing and Combinatorics, COCOON'97 (Shanghai, China, August 20-22, 1997)},
SERIES = {LNCS},
VOLUME = {1276},
PAGES = {294-303},
YEAR = {1997},
EDITOR = {Jiang, Tao and Lee, D.T.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest-Milan-Santa Clara-Singapore},
}
@incollection{Cai-Cai/97,
AUTHOR = {Cai, Pu and Cai, Jin-Yi},
TITLE = {On the 100\% rule of sensitivity analysis in linear programming},
BOOKTITLE = {Proceedings of the 3rd Annual International Conference on Computing and Combinatorics, COCOON'97 (Shanghai, China, August 20-22, 1997)},
SERIES = {LNCS},
VOLUME = {1276},
PAGES = {460-469},
YEAR = {1997},
EDITOR = {Jiang, Tao and Lee, D.T.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest-Milan-Santa Clara-Singapore},
}
@incollection{Chen-Li/97,
AUTHOR = {Chen, Yonghong and Li, Qiao},
TITLE = {They are just butterflies},
BOOKTITLE = {Proceedings of the 3rd Annual International Conference on Computing and Combinatorics, COCOON'97 (Shanghai, China, August 20-22, 1997)},
SERIES = {LNCS},
VOLUME = {1276},
PAGES = {512-513},
YEAR = {1997},
EDITOR = {Jiang, Tao and Lee, D.T.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest-Milan-Santa Clara-Singapore},
}
@incollection{Chazelle/97a,
AUTHOR = {Chazelle, Bernard},
TITLE = {Discrepancy theory and computational geometry},
BOOKTITLE = {Proceedings of the 5th International Workshop on Algorithms and Data Structures, WADS'97 (Halifax, Canada, August 6-8, 1997)},
SERIES = {LNCS},
VOLUME = {1272},
PAGES = {1-2},
YEAR = {1997},
EDITOR = {Dehne, Frank and Rau-Chaplin, Andrew and Sack, J{\"o}rg-R{\"u}diger and Tamassia, Roberto},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Santa Clara-Singapore-Tokyo},
}
@incollection{Berretty-Overmars-Stappen/97,
AUTHOR = {Berretty, Robert-Paul and Overmars, Mark and Stappen, A. Frank van der},
TITLE = {Dynamic motion planning in low obstacle density environments},
BOOKTITLE = {Proceedings of the 5th International Workshop on Algorithms and Data Structures, WADS'97 (Halifax, Canada, August 6-8, 1997)},
SERIES = {LNCS},
VOLUME = {1272},
PAGES = {3-16},
YEAR = {1997},
EDITOR = {Dehne, Frank and Rau-Chaplin, Andrew and Sack, J{\"o}rg-R{\"u}diger and Tamassia, Roberto},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Santa Clara-Singapore-Tokyo},
}
@incollection{Agarwal-Guibas-Hershberger-Veach/97,
AUTHOR = {Agarwal, Pankaj K. and Guibas, Leonidas J. and Hershberger, John and Veach, Eric},
TITLE = {Maintaining the extent of a moving point set},
BOOKTITLE = {Proceedings of the 5th International Workshop on Algorithms and Data Structures, WADS'97 (Halifax, Canada, August 6-8, 1997)},
SERIES = {LNCS},
VOLUME = {1272},
PAGES = {31-44},
YEAR = {1997},
EDITOR = {Dehne, Frank and Rau-Chaplin, Andrew and Sack, J{\"o}rg-R{\"u}diger and Tamassia, Roberto},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Santa Clara-Singapore-Tokyo},
}
@incollection{Alstrup-Lauridsen-Sommerlund-Thorup/97,
AUTHOR = {Alstrup, Stephen and Lauridsen, Peter W. and Sommerlund, Peer and Thorup, Mikkel},
TITLE = {Finding cores of limited length},
BOOKTITLE = {Proceedings of the 5th International Workshop on Algorithms and Data Structures, WADS'97 (Halifax, Canada, August 6-8, 1997)},
SERIES = {LNCS},
VOLUME = {1272},
PAGES = {45-54},
YEAR = {1997},
EDITOR = {Dehne, Frank and Rau-Chaplin, Andrew and Sack, J{\"o}rg-R{\"u}diger and Tamassia, Roberto},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Santa Clara-Singapore-Tokyo},
}
@incollection{Charikar-Motwani-Raghavan-Silverstein/97,
AUTHOR = {Charikar, Moses and Motwani, Rajeev and Raghavan, Prabhakar and Silverstein, Craig},
TITLE = {Constrained TSP and low-power computing},
BOOKTITLE = {Proceedings of the 5th International Workshop on Algorithms and Data Structures, WADS'97 (Halifax, Canada, August 6-8, 1997)},
SERIES = {LNCS},
VOLUME = {1272},
PAGES = {104-115},
YEAR = {1997},
EDITOR = {Dehne, Frank and Rau-Chaplin, Andrew and Sack, J{\"o}rg-R{\"u}diger and Tamassia, Roberto},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Santa Clara-Singapore-Tokyo},
}
@incollection{Berman-Charikar-Karpinski/97,
AUTHOR = {Berman, Piotr and Charikar, Moses and Karpinski, Marek},
TITLE = {On-line load balancing for related machines},
BOOKTITLE = {Proceedings of the 5th International Workshop on Algorithms and Data Structures, WADS'97 (Halifax, Canada, August 6-8, 1997)},
SERIES = {LNCS},
VOLUME = {1272},
PAGES = {116-125},
YEAR = {1997},
EDITOR = {Dehne, Frank and Rau-Chaplin, Andrew and Sack, J{\"o}rg-R{\"u}diger and Tamassia, Roberto},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Santa Clara-Singapore-Tokyo},
}
@incollection{Amir-Lewenstein-Lewenstein/97,
AUTHOR = {Amir, Amihood and Lewenstein, Moshe and Lewenstein, Noa},
TITLE = {Pattern matching in hypertext},
BOOKTITLE = {Proceedings of the 5th International Workshop on Algorithms and Data Structures, WADS'97 (Halifax, Canada, August 6-8, 1997)},
SERIES = {LNCS},
VOLUME = {1272},
PAGES = {160-173},
YEAR = {1997},
EDITOR = {Dehne, Frank and Rau-Chaplin, Andrew and Sack, J{\"o}rg-R{\"u}diger and Tamassia, Roberto},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Santa Clara-Singapore-Tokyo},
}
@incollection{Baeza-Yates-Navarro/97,
AUTHOR = {Baeza-Yates, Ricardo and Navarro, Gonzalo},
TITLE = {Multiple approximate string matching},
BOOKTITLE = {Proceedings of the 5th International Workshop on Algorithms and Data Structures, WADS'97 (Halifax, Canada, August 6-8, 1997)},
SERIES = {LNCS},
VOLUME = {1272},
PAGES = {174-184},
YEAR = {1997},
EDITOR = {Dehne, Frank and Rau-Chaplin, Andrew and Sack, J{\"o}rg-R{\"u}diger and Tamassia, Roberto},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Santa Clara-Singapore-Tokyo},
}
@incollection{Dobkin/97,
AUTHOR = {Dobkin, David P.},
TITLE = {Applied computational Geometry},
BOOKTITLE = {Proceedings of the 5th International Workshop on Algorithms and Data Structures, WADS'97 (Halifax, Canada, August 6-8, 1997)},
SERIES = {LNCS},
VOLUME = {1272},
PAGES = {185-185},
YEAR = {1997},
EDITOR = {Dehne, Frank and Rau-Chaplin, Andrew and Sack, J{\"o}rg-R{\"u}diger and Tamassia, Roberto},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Santa Clara-Singapore-Tokyo},
}
@incollection{Devillers-Liotta-Preparata-Tamassia/97,
AUTHOR = {Devillers, O. and Liotta, G. and Preparata, F.P. and Tamassia, R.},
TITLE = {Checking the convexity of polytopes and the planarity of subdivisions},
BOOKTITLE = {Proceedings of the 5th International Workshop on Algorithms and Data Structures, WADS'97 (Halifax, Canada, August 6-8, 1997)},
SERIES = {LNCS},
VOLUME = {1272},
PAGES = {186-199},
YEAR = {1997},
EDITOR = {Dehne, Frank and Rau-Chaplin, Andrew and Sack, J{\"o}rg-R{\"u}diger and Tamassia, Roberto},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Santa Clara-Singapore-Tokyo},
}
@incollection{Barequet-Dickerson-Goodrich/97,
AUTHOR = {Barequet, Gill and Dickerson, Matthew T. and Goodrich, Michael T.},
TITLE = {Voronoi diagrams for polygon-offset distance functions},
BOOKTITLE = {Proceedings of the 5th International Workshop on Algorithms and Data Structures, WADS'97 (Halifax, Canada, August 6-8, 1997)},
SERIES = {LNCS},
VOLUME = {1272},
PAGES = {200-209},
YEAR = {1997},
EDITOR = {Dehne, Frank and Rau-Chaplin, Andrew and Sack, J{\"o}rg-R{\"u}diger and Tamassia, Roberto},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Santa Clara-Singapore-Tokyo},
}
@incollection{Chen-Daescu-Klenk/97,
AUTHOR = {Chen, Danny Z. and Daescu, Ovidiu and Klenk, Kevin S.},
TITLE = {On geometric path query problems},
BOOKTITLE = {Proceedings of the 5th International Workshop on Algorithms and Data Structures, WADS'97 (Halifax, Canada, August 6-8, 1997)},
SERIES = {LNCS},
VOLUME = {1272},
PAGES = {248-257},
YEAR = {1997},
EDITOR = {Dehne, Frank and Rau-Chaplin, Andrew and Sack, J{\"o}rg-R{\"u}diger and Tamassia, Roberto},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Santa Clara-Singapore-Tokyo},
}
@incollection{Das-Pinotti/97,
AUTHOR = {Das, Sajal K. and Pinotti, M. Cristina},
TITLE = {Load balanced mapping of data structures in parallel memory modules for fast and conflict-free templates access},
BOOKTITLE = {Proceedings of the 5th International Workshop on Algorithms and Data Structures, WADS'97 (Halifax, Canada, August 6-8, 1997)},
SERIES = {LNCS},
VOLUME = {1272},
PAGES = {272-281},
YEAR = {1997},
EDITOR = {Dehne, Frank and Rau-Chaplin, Andrew and Sack, J{\"o}rg-R{\"u}diger and Tamassia, Roberto},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Santa Clara-Singapore-Tokyo},
}
@incollection{Bertolazzi-Battista-Didimo/97,
AUTHOR = {Bertolazzi, Paola and Battista, Giuseppe di and Didimo, Walter},
TITLE = {Computing orthogonal drawings with the minimum number of bends},
BOOKTITLE = {Proceedings of the 5th International Workshop on Algorithms and Data Structures, WADS'97 (Halifax, Canada, August 6-8, 1997)},
SERIES = {LNCS},
VOLUME = {1272},
PAGES = {331-344},
YEAR = {1997},
EDITOR = {Dehne, Frank and Rau-Chaplin, Andrew and Sack, J{\"o}rg-R{\"u}diger and Tamassia, Roberto},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Santa Clara-Singapore-Tokyo},
}
@incollection{Barequet-Briggs-Dickerson-Goodrich/97,
AUTHOR = {Barequet, Gill and Briggs, Amy J. and Dickerson, Matthew T. and Goodrich, Michael T.},
TITLE = {Offset-polygon annulus placement problems},
BOOKTITLE = {Proceedings of the 5th International Workshop on Algorithms and Data Structures, WADS'97 (Halifax, Canada, August 6-8, 1997)},
SERIES = {LNCS},
VOLUME = {1272},
PAGES = {378-391},
YEAR = {1997},
EDITOR = {Dehne, Frank and Rau-Chaplin, Andrew and Sack, J{\"o}rg-R{\"u}diger and Tamassia, Roberto},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Santa Clara-Singapore-Tokyo},
}
@incollection{Brodnik-Miltersen-Munro/97,
AUTHOR = {Brodnik, Andrej and Miltersen, Peter Bro and Munro, J. Ian},
TITLE = {Trans-dichotomous algorithms without multiplication --- Some upper and lower bounds},
BOOKTITLE = {Proceedings of the 5th International Workshop on Algorithms and Data Structures, WADS'97 (Halifax, Canada, August 6-8, 1997)},
SERIES = {LNCS},
VOLUME = {1272},
PAGES = {426-439},
YEAR = {1997},
EDITOR = {Dehne, Frank and Rau-Chaplin, Andrew and Sack, J{\"o}rg-R{\"u}diger and Tamassia, Roberto},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Santa Clara-Singapore-Tokyo},
}
@incollection{Chen-Grigni-Papadimitriou/97,
AUTHOR = {Chen, Zhi-Zhong and Grigni, Michelangelo and Papadimitriou, Christos H.},
TITLE = {Planarity, revisited},
BOOKTITLE = {Proceedings of the 5th International Workshop on Algorithms and Data Structures, WADS'97 (Halifax, Canada, August 6-8, 1997)},
SERIES = {LNCS},
VOLUME = {1272},
PAGES = {472-473},
YEAR = {1997},
EDITOR = {Dehne, Frank and Rau-Chaplin, Andrew and Sack, J{\"o}rg-R{\"u}diger and Tamassia, Roberto},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Santa Clara-Singapore-Tokyo},
}
@incollection{Cooper-Frieze-Mehlhorn-Priebe/97,
AUTHOR = {Cooper, Colin and Frieze, Alan and Mehlhorn, Kurt and Priebe, Volker},
TITLE = {Average-case complexity of shortest-paths problems in the vertex-potential model},
BOOKTITLE = {Proceedings of the 1st International Workshop on Randomization and Approximation Techniques in Computer Science, RANDOM'97 (Bologna, Italy, July 11-12, 1997)},
SERIES = {LNCS},
VOLUME = {1269},
PAGES = {15-26},
YEAR = {1997},
EDITOR = {Rolim, Jos{\'{e}}},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Santa Clara-Singapore-Tokyo},
}
@incollection{Arora/97a,
AUTHOR = {Arora, Sanjeev},
TITLE = {Nearly linear time approximation schemes for Euclidean TSP and other geometric problems},
BOOKTITLE = {Proceedings of the 1st International Workshop on Randomization and Approximation Techniques in Computer Science, RANDOM'97 (Bologna, Italy, July 11-12, 1997)},
SERIES = {LNCS},
VOLUME = {1269},
PAGES = {55-55},
YEAR = {1997},
EDITOR = {Rolim, Jos{\'{e}}},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Santa Clara-Singapore-Tokyo},
}
@incollection{Crescenzi-Kann/97,
AUTHOR = {Crescenzi, P. and Kann, V.},
TITLE = {Approximation on the Web: A compendium of $NP$ optimization problems},
BOOKTITLE = {Proceedings of the 1st International Workshop on Randomization and Approximation Techniques in Computer Science, RANDOM'97 (Bologna, Italy, July 11-12, 1997)},
SERIES = {LNCS},
VOLUME = {1269},
PAGES = {111-118},
YEAR = {1997},
EDITOR = {Rolim, Jos{\'{e}}},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Santa Clara-Singapore-Tokyo},
}
@incollection{Ambainis-Freivalds-Karpinski/97,
AUTHOR = {Ambainis, Andris and Freivalds, R{\=u}si{\c{n}}{\v{s}} and Karpinski, Marek},
TITLE = {Weak and strong recognition by 2-way randomized automata},
BOOKTITLE = {Proceedings of the 1st International Workshop on Randomization and Approximation Techniques in Computer Science, RANDOM'97 (Bologna, Italy, July 11-12, 1997)},
SERIES = {LNCS},
VOLUME = {1269},
PAGES = {175-185},
YEAR = {1997},
EDITOR = {Rolim, Jos{\'{e}}},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Santa Clara-Singapore-Tokyo},
}
@incollection{Das-Fleischer-Gasieniec-Gunopulos-Karkkainen/97a,
AUTHOR = {Das, Gautam and Fleischer, Rudolf and G{\c{a}}sieniec, Leszek and Gunopulos, Dimitris and K{\"a}rkk{\"a}inen, Juha},
TITLE = {Episode matching},
BOOKTITLE = {Proceedings of the 8th Annual Symposium on Combinatorial Pattern Matching, CPM'97 (Aarhus, Denmark, June 30 - July 2, 1997)},
SERIES = {LNCS},
VOLUME = {1264},
PAGES = {12-27},
YEAR = {1997},
EDITOR = {Apostolico, Alberto and Hein, Jotun},
URL = {http://dx.doi.org/10.1007/3-540-63220-4_46},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Santa Clara-Singapore-Tokyo},
}
@incollection{Berman-Karpinski-Larmore-Plandowski-Rytter/97,
AUTHOR = {Berman, Piotr and Karpinski, Marek and Larmore, Lawrence L. and Plandowski, Wojciech and Rytter, Wojciech},
TITLE = {On the complexity of pattern matching for highly compressed two-dimensional texts},
BOOKTITLE = {Proceedings of the 8th Annual Symposium on Combinatorial Pattern Matching, CPM'97 (Aarhus, Denmark, June 30 - July 2, 1997)},
SERIES = {LNCS},
VOLUME = {1264},
PAGES = {40-51},
YEAR = {1997},
EDITOR = {Apostolico, Alberto and Hein, Jotun},
URL = {http://dx.doi.org/10.1007/3-540-63220-4_48},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Santa Clara-Singapore-Tokyo},
}
@incollection{Crochemore-Verin/97,
AUTHOR = {Crochemore, Maxime and V{\'e}rin, Renaud},
TITLE = {Direct construction of compact directed acyclic word graphs},
BOOKTITLE = {Proceedings of the 8th Annual Symposium on Combinatorial Pattern Matching, CPM'97 (Aarhus, Denmark, June 30 - July 2, 1997)},
SERIES = {LNCS},
VOLUME = {1264},
PAGES = {116-129},
YEAR = {1997},
EDITOR = {Apostolico, Alberto and Hein, Jotun},
URL = {http://dx.doi.org/10.1007/3-540-63220-4_55},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Santa Clara-Singapore-Tokyo},
}
@incollection{Cryan-Goldberg-Phillips/97,
AUTHOR = {Cryan, Mary and Goldberg, Leslie Ann and Phillips, Cynthia A.},
TITLE = {Approximation algorithms for the fixed-topology phylogenetic number problem},
BOOKTITLE = {Proceedings of the 8th Annual Symposium on Combinatorial Pattern Matching, CPM'97 (Aarhus, Denmark, June 30 - July 2, 1997)},
SERIES = {LNCS},
VOLUME = {1264},
PAGES = {130-149},
YEAR = {1997},
EDITOR = {Apostolico, Alberto and Hein, Jotun},
URL = {http://dx.doi.org/10.1007/3-540-63220-4_56},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Santa Clara-Singapore-Tokyo},
}
@incollection{Abdeddaim/97,
AUTHOR = {Abdedda{\"{i}}m, Sa{\"{i}}d},
TITLE = {On incremental computation of transitive closure and greedy alignment},
BOOKTITLE = {Proceedings of the 8th Annual Symposium on Combinatorial Pattern Matching, CPM'97 (Aarhus, Denmark, June 30 - July 2, 1997)},
SERIES = {LNCS},
VOLUME = {1264},
PAGES = {167-179},
YEAR = {1997},
EDITOR = {Apostolico, Alberto and Hein, Jotun},
URL = {http://dx.doi.org/10.1007/3-540-63220-4_58},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Santa Clara-Singapore-Tokyo},
}
@incollection{Arvestad/97,
AUTHOR = {Arvestad, Lars},
TITLE = {Aligning coding DNA in the presence of frame-shift errors},
BOOKTITLE = {Proceedings of the 8th Annual Symposium on Combinatorial Pattern Matching, CPM'97 (Aarhus, Denmark, June 30 - July 2, 1997)},
SERIES = {LNCS},
VOLUME = {1264},
PAGES = {180-190},
YEAR = {1997},
EDITOR = {Apostolico, Alberto and Hein, Jotun},
URL = {http://dx.doi.org/10.1007/3-540-63220-4_59},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Santa Clara-Singapore-Tokyo},
}
@incollection{Chen-Skiena/97,
AUTHOR = {Chen, Ting and Skiena, Steven S.},
TITLE = {Trie-based data structures for sequence assembly},
BOOKTITLE = {Proceedings of the 8th Annual Symposium on Combinatorial Pattern Matching, CPM'97 (Aarhus, Denmark, June 30 - July 2, 1997)},
SERIES = {LNCS},
VOLUME = {1264},
PAGES = {206-223},
YEAR = {1997},
EDITOR = {Apostolico, Alberto and Hein, Jotun},
URL = {http://dx.doi.org/10.1007/3-540-63220-4_61},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Santa Clara-Singapore-Tokyo},
}
@incollection{Ben-Dor-Lancia-Perone-Ravi/97,
AUTHOR = {Ben-Dor, Amir and Lancia, Giuseppe and Perone, Jennifer and Ravi, R.},
TITLE = {Banishing bias from consensus sequences},
BOOKTITLE = {Proceedings of the 8th Annual Symposium on Combinatorial Pattern Matching, CPM'97 (Aarhus, Denmark, June 30 - July 2, 1997)},
SERIES = {LNCS},
VOLUME = {1264},
PAGES = {247-261},
YEAR = {1997},
EDITOR = {Apostolico, Alberto and Hein, Jotun},
URL = {http://dx.doi.org/10.1007/3-540-63220-4_63},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Santa Clara-Singapore-Tokyo},
}
@incollection{Dress/97,
AUTHOR = {Dress, Andreas},
TITLE = {Iterative versus simultaneous multiple sequence alignment},
BOOKTITLE = {Proceedings of the 8th Annual Symposium on Combinatorial Pattern Matching, CPM'97 (Aarhus, Denmark, June 30 - July 2, 1997)},
SERIES = {LNCS},
VOLUME = {1264},
PAGES = {275-275},
YEAR = {1997},
EDITOR = {Apostolico, Alberto and Hein, Jotun},
URL = {http://dx.doi.org/10.1007/3-540-63220-4_65},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Santa Clara-Singapore-Tokyo},
}
@incollection{Carton-Perrin/97a,
AUTHOR = {Carton, Olivier and Perrin, Dominique},
TITLE = {The Wadge-Wagner hierarchy of $\omega$-rational sets},
BOOKTITLE = {Proceedings of the 24th International Colloquium on Automata, Languages and Programming, ICALP'97 (Bologna, Italy, July 7-11, 1997)},
SERIES = {LNCS},
VOLUME = {1256},
PAGES = {17-35},
YEAR = {1997},
EDITOR = {Degano, Pierpaolo and Gorrieri, Roberto and Marchetti-Spaccamela, Alberto},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest-Milan-Santa Clara-Singapore},
}
@incollection{Apt/97,
AUTHOR = {Apt, Krzysztof R.},
TITLE = {From chaotic iteration to constraint propagation},
BOOKTITLE = {Proceedings of the 24th International Colloquium on Automata, Languages and Programming, ICALP'97 (Bologna, Italy, July 7-11, 1997)},
SERIES = {LNCS},
VOLUME = {1256},
PAGES = {36-55},
YEAR = {1997},
EDITOR = {Degano, Pierpaolo and Gorrieri, Roberto and Marchetti-Spaccamela, Alberto},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest-Milan-Santa Clara-Singapore},
}
@incollection{Bassino-Beal-Perrin/97,
AUTHOR = {Bassino, Fr{\'{e}}d{\'{e}}rique and B{\'{e}}al, Marie-Pierre and Perrin, Dominique},
TITLE = {Enumerative sequences of leaves in rational trees},
BOOKTITLE = {Proceedings of the 24th International Colloquium on Automata, Languages and Programming, ICALP'97 (Bologna, Italy, July 7-11, 1997)},
SERIES = {LNCS},
VOLUME = {1256},
PAGES = {76-86},
YEAR = {1997},
EDITOR = {Degano, Pierpaolo and Gorrieri, Roberto and Marchetti-Spaccamela, Alberto},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest-Milan-Santa Clara-Singapore},
}
@incollection{Bruyere/97,
AUTHOR = {Bruy{\`{e}}re, V{\'{e}}ronique},
TITLE = {A completion algorithm for codes with bounded synchronization delay},
BOOKTITLE = {Proceedings of the 24th International Colloquium on Automata, Languages and Programming, ICALP'97 (Bologna, Italy, July 7-11, 1997)},
SERIES = {LNCS},
VOLUME = {1256},
PAGES = {87-97},
YEAR = {1997},
EDITOR = {Degano, Pierpaolo and Gorrieri, Roberto and Marchetti-Spaccamela, Alberto},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest-Milan-Santa Clara-Singapore},
}
@incollection{Beaudry-Lemieux-Therien/97,
AUTHOR = {Beaudry, Martin and Lemieux, Fran{\c{c}}ois and Th{\'{e}}rien, Denis},
TITLE = {Finite loops recognize exactly the regular open languages},
BOOKTITLE = {Proceedings of the 24th International Colloquium on Automata, Languages and Programming, ICALP'97 (Bologna, Italy, July 7-11, 1997)},
SERIES = {LNCS},
VOLUME = {1256},
PAGES = {110-120},
YEAR = {1997},
EDITOR = {Degano, Pierpaolo and Gorrieri, Roberto and Marchetti-Spaccamela, Alberto},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest-Milan-Santa Clara-Singapore},
}
@incollection{Bournez/97,
AUTHOR = {Bournez, Olivier},
TITLE = {Some bounds on the computational power of piecewise constant derivative systems},
BOOKTITLE = {Proceedings of the 24th International Colloquium on Automata, Languages and Programming, ICALP'97 (Bologna, Italy, July 7-11, 1997)},
SERIES = {LNCS},
VOLUME = {1256},
PAGES = {143-153},
YEAR = {1997},
EDITOR = {Degano, Pierpaolo and Gorrieri, Roberto and Marchetti-Spaccamela, Alberto},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest-Milan-Santa Clara-Singapore},
}
@incollection{Andreev-Clementi-Rolim/97a,
AUTHOR = {Andreev, Alexander E. and Clementi, Andrea E.F. and Rolim, Jos{\'{e}} D.P.},
TITLE = {Worst-case hardness suffices for derandomization: A new method for hardness-randomness trade-offs},
BOOKTITLE = {Proceedings of the 24th International Colloquium on Automata, Languages and Programming, ICALP'97 (Bologna, Italy, July 7-11, 1997)},
SERIES = {LNCS},
VOLUME = {1256},
PAGES = {177-187},
YEAR = {1997},
EDITOR = {Degano, Pierpaolo and Gorrieri, Roberto and Marchetti-Spaccamela, Alberto},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest-Milan-Santa Clara-Singapore},
}
@incollection{Buhrman-Fenner-Fortnow/97,
AUTHOR = {Buhrman, Harry and Fenner, Stephen and Fortnow, Lance},
TITLE = {Results on resource-bounded measure},
BOOKTITLE = {Proceedings of the 24th International Colloquium on Automata, Languages and Programming, ICALP'97 (Bologna, Italy, July 7-11, 1997)},
SERIES = {LNCS},
VOLUME = {1256},
PAGES = {188-194},
YEAR = {1997},
EDITOR = {Degano, Pierpaolo and Gorrieri, Roberto and Marchetti-Spaccamela, Alberto},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest-Milan-Santa Clara-Singapore},
}
@incollection{Ablayev/97,
AUTHOR = {Ablayev, Farid},
TITLE = {Randomization and nondeterminism are comparable for oredered read-once branching programs},
BOOKTITLE = {Proceedings of the 24th International Colloquium on Automata, Languages and Programming, ICALP'97 (Bologna, Italy, July 7-11, 1997)},
SERIES = {LNCS},
VOLUME = {1256},
PAGES = {195-202},
YEAR = {1997},
EDITOR = {Degano, Pierpaolo and Gorrieri, Roberto and Marchetti-Spaccamela, Alberto},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest-Milan-Santa Clara-Singapore},
}
@incollection{Codenotti-Ergun-Gemell-Ravi_Kumar/97,
AUTHOR = {Codenotti, Bruno and Erg{\"u}n, Funda and Gemell, Peter and Ravi Kumar, S.},
TITLE = {Checking properties of polynomials},
BOOKTITLE = {Proceedings of the 24th International Colloquium on Automata, Languages and Programming, ICALP'97 (Bologna, Italy, July 7-11, 1997)},
SERIES = {LNCS},
VOLUME = {1256},
PAGES = {203-213},
YEAR = {1997},
EDITOR = {Degano, Pierpaolo and Gorrieri, Roberto and Marchetti-Spaccamela, Alberto},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest-Milan-Santa Clara-Singapore},
}
@incollection{Asperti-Laneve/97,
AUTHOR = {Asperti, Andrea and Laneve, Cosimo},
TITLE = {On the dynamics of sharing graphs},
BOOKTITLE = {Proceedings of the 24th International Colloquium on Automata, Languages and Programming, ICALP'97 (Bologna, Italy, July 7-11, 1997)},
SERIES = {LNCS},
VOLUME = {1256},
PAGES = {259-269},
YEAR = {1997},
EDITOR = {Degano, Pierpaolo and Gorrieri, Roberto and Marchetti-Spaccamela, Alberto},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest-Milan-Santa Clara-Singapore},
}
@incollection{Alstrup-Holm-Lichtenberg-Thorup/97,
AUTHOR = {Alstrup, Stephen and Holm, Jacob and Lichtenberg, Kristian de and Thorup, Mikkel},
TITLE = {Minimizing diameters of dynamic trees},
BOOKTITLE = {Proceedings of the 24th International Colloquium on Automata, Languages and Programming, ICALP'97 (Bologna, Italy, July 7-11, 1997)},
SERIES = {LNCS},
VOLUME = {1256},
PAGES = {270-280},
YEAR = {1997},
EDITOR = {Degano, Pierpaolo and Gorrieri, Roberto and Marchetti-Spaccamela, Alberto},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest-Milan-Santa Clara-Singapore},
}
@incollection{Diekert-Matiyasevich-Muscholl/97,
AUTHOR = {Diekert, Volker and Matiyasevich, Yuri and Muscholl, Anca},
TITLE = {Solving trace equations using lexicographical normal forms},
BOOKTITLE = {Proceedings of the 24th International Colloquium on Automata, Languages and Programming, ICALP'97 (Bologna, Italy, July 7-11, 1997)},
SERIES = {LNCS},
VOLUME = {1256},
PAGES = {336-346},
YEAR = {1997},
EDITOR = {Degano, Pierpaolo and Gorrieri, Roberto and Marchetti-Spaccamela, Alberto},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest-Milan-Santa Clara-Singapore},
}
@incollection{Bernardo/97,
AUTHOR = {Bernardo, Marco},
TITLE = {An algebra-based method to associate rewards with EMPA terms},
BOOKTITLE = {Proceedings of the 24th International Colloquium on Automata, Languages and Programming, ICALP'97 (Bologna, Italy, July 7-11, 1997)},
SERIES = {LNCS},
VOLUME = {1256},
PAGES = {358-368},
YEAR = {1997},
EDITOR = {Degano, Pierpaolo and Gorrieri, Roberto and Marchetti-Spaccamela, Alberto},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest-Milan-Santa Clara-Singapore},
}
@incollection{Caceres-Dehne-Ferreira-Flocchini-Rieping-Roncato-Santoro-Song/97,
AUTHOR = {C{\'{a}}ceres, E. and Dehne, F. and Ferreira, A. and Flocchini, P. and Rieping, I. and Roncato, A. and Santoro, N. and Song, S.W.},
TITLE = {Efficient parallel graph algorithms for coarse grained multicomputers and BSP},
BOOKTITLE = {Proceedings of the 24th International Colloquium on Automata, Languages and Programming, ICALP'97 (Bologna, Italy, July 7-11, 1997)},
SERIES = {LNCS},
VOLUME = {1256},
PAGES = {390-400},
YEAR = {1997},
EDITOR = {Degano, Pierpaolo and Gorrieri, Roberto and Marchetti-Spaccamela, Alberto},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest-Milan-Santa Clara-Singapore},
}
@incollection{Ambainis/97,
AUTHOR = {Ambainis, Andris},
TITLE = {Upperbound on the communication complexity of private information retrieval},
BOOKTITLE = {Proceedings of the 24th International Colloquium on Automata, Languages and Programming, ICALP'97 (Bologna, Italy, July 7-11, 1997)},
SERIES = {LNCS},
VOLUME = {1256},
PAGES = {401-407},
YEAR = {1997},
EDITOR = {Degano, Pierpaolo and Gorrieri, Roberto and Marchetti-Spaccamela, Alberto},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest-Milan-Santa Clara-Singapore},
}
@incollection{Burkart-Steffen/97,
AUTHOR = {Burkart, Olaf and Steffen, Bernhard},
TITLE = {Model checking the full modal mu-calculus for infinite sequential processes},
BOOKTITLE = {Proceedings of the 24th International Colloquium on Automata, Languages and Programming, ICALP'97 (Bologna, Italy, July 7-11, 1997)},
SERIES = {LNCS},
VOLUME = {1256},
PAGES = {419-429},
YEAR = {1997},
EDITOR = {Degano, Pierpaolo and Gorrieri, Roberto and Marchetti-Spaccamela, Alberto},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest-Milan-Santa Clara-Singapore},
}
@incollection{Baier-Clarke-Hartonas-Garmhausen-Kwiatkowska-Ryan/97,
AUTHOR = {Baier, Christel and Clarke, Edmund M. and Hartonas-Garmhausen, Vasiliki and Kwiatkowska, Marta and Ryan, Mark},
TITLE = {Symbolic model ckecking for probabilistic processes},
BOOKTITLE = {Proceedings of the 24th International Colloquium on Automata, Languages and Programming, ICALP'97 (Bologna, Italy, July 7-11, 1997)},
SERIES = {LNCS},
VOLUME = {1256},
PAGES = {430-440},
YEAR = {1997},
EDITOR = {Degano, Pierpaolo and Gorrieri, Roberto and Marchetti-Spaccamela, Alberto},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest-Milan-Santa Clara-Singapore},
}
@incollection{Boreale-Nicola-Pugliese/97,
AUTHOR = {Boreale, Michele and Nicola, Rocco de and Pugliese, Rosario},
TITLE = {Basic observables for processes},
BOOKTITLE = {Proceedings of the 24th International Colloquium on Automata, Languages and Programming, ICALP'97 (Bologna, Italy, July 7-11, 1997)},
SERIES = {LNCS},
VOLUME = {1256},
PAGES = {482-492},
YEAR = {1997},
EDITOR = {Degano, Pierpaolo and Gorrieri, Roberto and Marchetti-Spaccamela, Alberto},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest-Milan-Santa Clara-Singapore},
}
@incollection{Bartal-Leonardi/97,
AUTHOR = {Bartal, Yair and Leonardi, Stefano},
TITLE = {On-line routing in all-optical networks},
BOOKTITLE = {Proceedings of the 24th International Colloquium on Automata, Languages and Programming, ICALP'97 (Bologna, Italy, July 7-11, 1997)},
SERIES = {LNCS},
VOLUME = {1256},
PAGES = {516-526},
YEAR = {1997},
EDITOR = {Degano, Pierpaolo and Gorrieri, Roberto and Marchetti-Spaccamela, Alberto},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest-Milan-Santa Clara-Singapore},
}
@incollection{Bouajjani-Habermehl/97,
AUTHOR = {Bouajjani, Ahmed and Habermehl, Peter},
TITLE = {Symbolic reachability analysis of FIFO-channel systems with nonregular sets of configurations},
BOOKTITLE = {Proceedings of the 24th International Colloquium on Automata, Languages and Programming, ICALP'97 (Bologna, Italy, July 7-11, 1997)},
SERIES = {LNCS},
VOLUME = {1256},
PAGES = {560-570},
YEAR = {1997},
EDITOR = {Degano, Pierpaolo and Gorrieri, Roberto and Marchetti-Spaccamela, Alberto},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest-Milan-Santa Clara-Singapore},
}
@incollection{Bodlaender-Thilikos/97a,
AUTHOR = {Bodlaender, Hans L. and Thilikos, Dimitrios M.},
TITLE = {Constructive linear time algorithms for branchwidth},
BOOKTITLE = {Proceedings of the 24th International Colloquium on Automata, Languages and Programming, ICALP'97 (Bologna, Italy, July 7-11, 1997)},
SERIES = {LNCS},
VOLUME = {1256},
PAGES = {627-637},
YEAR = {1997},
EDITOR = {Degano, Pierpaolo and Gorrieri, Roberto and Marchetti-Spaccamela, Alberto},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest-Milan-Santa Clara-Singapore},
}
@incollection{Cassaigne/97,
AUTHOR = {Cassaigne, Julien},
TITLE = {On a conjecture of J. Shallit},
BOOKTITLE = {Proceedings of the 24th International Colloquium on Automata, Languages and Programming, ICALP'97 (Bologna, Italy, July 7-11, 1997)},
SERIES = {LNCS},
VOLUME = {1256},
PAGES = {693-704},
YEAR = {1997},
EDITOR = {Degano, Pierpaolo and Gorrieri, Roberto and Marchetti-Spaccamela, Alberto},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest-Milan-Santa Clara-Singapore},
}
@incollection{Bar-Noy-Kortsarz/97,
AUTHOR = {Bar-Noy, Amotz and Kortsarz, Guy},
TITLE = {The minimum color sum of bipartite graphs},
BOOKTITLE = {Proceedings of the 24th International Colloquium on Automata, Languages and Programming, ICALP'97 (Bologna, Italy, July 7-11, 1997)},
SERIES = {LNCS},
VOLUME = {1256},
PAGES = {738-748},
YEAR = {1997},
EDITOR = {Degano, Pierpaolo and Gorrieri, Roberto and Marchetti-Spaccamela, Alberto},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest-Milan-Santa Clara-Singapore},
}
@incollection{Broersma-Kloks-Kratsch-Muller/97,
AUTHOR = {Broersma, Hajo and Kloks, Ton and Kratsch, Dieter and M{\"u}ller, Haiko},
TITLE = {Independent sets in asteroidal triple-free graphs},
BOOKTITLE = {Proceedings of the 24th International Colloquium on Automata, Languages and Programming, ICALP'97 (Bologna, Italy, July 7-11, 1997)},
SERIES = {LNCS},
VOLUME = {1256},
PAGES = {760-770},
YEAR = {1997},
EDITOR = {Degano, Pierpaolo and Gorrieri, Roberto and Marchetti-Spaccamela, Alberto},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest-Milan-Santa Clara-Singapore},
}
@incollection{Dami/97,
AUTHOR = {Dami, Laurent},
TITLE = {Labelled reductions, runtime errors, and operational subsumption},
BOOKTITLE = {Proceedings of the 24th International Colloquium on Automata, Languages and Programming, ICALP'97 (Bologna, Italy, July 7-11, 1997)},
SERIES = {LNCS},
VOLUME = {1256},
PAGES = {782-793},
YEAR = {1997},
EDITOR = {Degano, Pierpaolo and Gorrieri, Roberto and Marchetti-Spaccamela, Alberto},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest-Milan-Santa Clara-Singapore},
}
@incollection{Beigel-Fu/97a,
AUTHOR = {Beigel, Richard and Fu, Bin},
TITLE = {Molecular computing, bounded nondeterminism, and efficient recursion},
BOOKTITLE = {Proceedings of the 24th International Colloquium on Automata, Languages and Programming, ICALP'97 (Bologna, Italy, July 7-11, 1997)},
SERIES = {LNCS},
VOLUME = {1256},
PAGES = {816-826},
YEAR = {1997},
EDITOR = {Degano, Pierpaolo and Gorrieri, Roberto and Marchetti-Spaccamela, Alberto},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest-Milan-Santa Clara-Singapore},
}
@incollection{Buccafurri-Greco-Sacca/97,
AUTHOR = {Buccafurri, Francesco and Greco, Sergio and Sacc{\`{a}}, Domenico},
TITLE = {The expressive power of unique total stable model semantics},
BOOKTITLE = {Proceedings of the 24th International Colloquium on Automata, Languages and Programming, ICALP'97 (Bologna, Italy, July 7-11, 1997)},
SERIES = {LNCS},
VOLUME = {1256},
PAGES = {849-859},
YEAR = {1997},
EDITOR = {Degano, Pierpaolo and Gorrieri, Roberto and Marchetti-Spaccamela, Alberto},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest-Milan-Santa Clara-Singapore},
}
@incollection{Barg/97,
AUTHOR = {Barg, Alexander},
TITLE = {Minimum distance decoding algorithms for linear codes},
BOOKTITLE = {Proceedings of the 12th International Symposium on Applied Algebra, Algebraic Algorithms and Error-Correcting Codes, AAECC'97 (Toulouse, France, June 23-27, 1997)},
SERIES = {LNCS},
VOLUME = {1255},
PAGES = {1-14},
YEAR = {1997},
EDITOR = {Mora, Theo and Mattson, Harold},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest-Milan-Santa Clara-Singapore},
}
@incollection{Bernardin-Monagan/97,
AUTHOR = {Bernardin, Laurent and Monagan, Michael B.},
TITLE = {Efficient multivariate factorization over finite fields},
BOOKTITLE = {Proceedings of the 12th International Symposium on Applied Algebra, Algebraic Algorithms and Error-Correcting Codes, AAECC'97 (Toulouse, France, June 23-27, 1997)},
SERIES = {LNCS},
VOLUME = {1255},
PAGES = {15-28},
YEAR = {1997},
EDITOR = {Mora, Theo and Mattson, Harold},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest-Milan-Santa Clara-Singapore},
}
@incollection{Boyvalenkov-Danev/97,
AUTHOR = {Boyvalenkov, Peter and Danev, Danyo},
TITLE = {On maximal codes in polynomial metric spaces},
BOOKTITLE = {Proceedings of the 12th International Symposium on Applied Algebra, Algebraic Algorithms and Error-Correcting Codes, AAECC'97 (Toulouse, France, June 23-27, 1997)},
SERIES = {LNCS},
VOLUME = {1255},
PAGES = {29-38},
YEAR = {1997},
EDITOR = {Mora, Theo and Mattson, Harold},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest-Milan-Santa Clara-Singapore},
}
@incollection{Caboara-Conti-Traverso/97,
AUTHOR = {Caboara, Massimo and Conti, Pasqualina and Traverso, Carlo},
TITLE = {Yet another ideal docomposition algorithm},
BOOKTITLE = {Proceedings of the 12th International Symposium on Applied Algebra, Algebraic Algorithms and Error-Correcting Codes, AAECC'97 (Toulouse, France, June 23-27, 1997)},
SERIES = {LNCS},
VOLUME = {1255},
PAGES = {39-54},
YEAR = {1997},
EDITOR = {Mora, Theo and Mattson, Harold},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest-Milan-Santa Clara-Singapore},
}
@incollection{Carra_Ferro/97,
AUTHOR = {Carr{\`a} Ferro, Giuseppa},
TITLE = {A resultant theory for ordinary algebraic differential equations},
BOOKTITLE = {Proceedings of the 12th International Symposium on Applied Algebra, Algebraic Algorithms and Error-Correcting Codes, AAECC'97 (Toulouse, France, June 23-27, 1997)},
SERIES = {LNCS},
VOLUME = {1255},
PAGES = {55-65},
YEAR = {1997},
EDITOR = {Mora, Theo and Mattson, Harold},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest-Milan-Santa Clara-Singapore},
}
@incollection{Costa-Geronimo-Palazzo-Interlando-Alves/97,
AUTHOR = {Costa, Sueli Rodrigues and Ger{\^o}nimo, Jo{\~a}o Roberto and Palazzo, Reginaldo, Jr. and Interlando, J. Carmelo and Alves, Marcelo Muniz Silva},
TITLE = {The symmetry group of $Z^n_q$ in the Lee space and the $Z_q^n$-linear codes},
BOOKTITLE = {Proceedings of the 12th International Symposium on Applied Algebra, Algebraic Algorithms and Error-Correcting Codes, AAECC'97 (Toulouse, France, June 23-27, 1997)},
SERIES = {LNCS},
VOLUME = {1255},
PAGES = {66-77},
YEAR = {1997},
EDITOR = {Mora, Theo and Mattson, Harold},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=1255&spage=66},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest-Milan-Santa Clara-Singapore},
}
@incollection{Arguello-Guil-Lopez-Amor-Zapata/97,
AUTHOR = {Arg{\"u}ello, F. and Guil, N. and L{\'{o}}pez, J. and Amor, M. and Zapata, E.L.},
TITLE = {A probabilistic model for best-first search B\&B algorithms},
BOOKTITLE = {Proceedings of the 4th International Symposium on Solving Irregularly Structured Problems in Parallel, IRREGULAR'97 (Paderborn, Germany, June 12-13, 1997)},
SERIES = {LNCS},
VOLUME = {1253},
PAGES = {49-60},
YEAR = {1997},
EDITOR = {Bilardi, G. and Ferreira, A. and L{\"u}ling, R. and Rolim, J.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest-Milan-Santa Clara-Singapore},
}
@incollection{Bucker-Sauren/97,
AUTHOR = {B{\"u}cker, H. Martin and Sauren, Manfred},
TITLE = {A variant of the biconjugate gradient method suitable for massively parallel computing},
BOOKTITLE = {Proceedings of the 4th International Symposium on Solving Irregularly Structured Problems in Parallel, IRREGULAR'97 (Paderborn, Germany, June 12-13, 1997)},
SERIES = {LNCS},
VOLUME = {1253},
PAGES = {72-79},
YEAR = {1997},
EDITOR = {Bilardi, G. and Ferreira, A. and L{\"u}ling, R. and Rolim, J.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest-Milan-Santa Clara-Singapore},
}
@incollection{Dobson-Goodeve/97,
AUTHOR = {Dobson, Simon and Goodeve, Don},
TITLE = {Programming with shared data abstractions},
BOOKTITLE = {Proceedings of the 4th International Symposium on Solving Irregularly Structured Problems in Parallel, IRREGULAR'97 (Paderborn, Germany, June 12-13, 1997)},
SERIES = {LNCS},
VOLUME = {1253},
PAGES = {93-102},
YEAR = {1997},
EDITOR = {Bilardi, G. and Ferreira, A. and L{\"u}ling, R. and Rolim, J.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest-Milan-Santa Clara-Singapore},
}
@incollection{Diekmann-Muthukrishnan-Nayakkankuppam/97,
AUTHOR = {Diekmann, Ralf and Muthukrishnan, S. and Nayakkankuppam, Madhu V.},
TITLE = {Engineering diffusive load balancing algorithms using experiments},
BOOKTITLE = {Proceedings of the 4th International Symposium on Solving Irregularly Structured Problems in Parallel, IRREGULAR'97 (Paderborn, Germany, June 12-13, 1997)},
SERIES = {LNCS},
VOLUME = {1253},
PAGES = {111-122},
YEAR = {1997},
EDITOR = {Bilardi, G. and Ferreira, A. and L{\"u}ling, R. and Rolim, J.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest-Milan-Santa Clara-Singapore},
}
@incollection{Decker/97,
AUTHOR = {Decker, Thomas},
TITLE = {Virtual data space --- A universal load balancing scheme},
BOOKTITLE = {Proceedings of the 4th International Symposium on Solving Irregularly Structured Problems in Parallel, IRREGULAR'97 (Paderborn, Germany, June 12-13, 1997)},
SERIES = {LNCS},
VOLUME = {1253},
PAGES = {159-166},
YEAR = {1997},
EDITOR = {Bilardi, G. and Ferreira, A. and L{\"u}ling, R. and Rolim, J.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest-Milan-Santa Clara-Singapore},
}
@incollection{Allmaier-Horton/97,
AUTHOR = {Allmaier, Susann C. and Horton, Graham},
TITLE = {Parallel shared-memory state-space exploration in stochastic modeling},
BOOKTITLE = {Proceedings of the 4th International Symposium on Solving Irregularly Structured Problems in Parallel, IRREGULAR'97 (Paderborn, Germany, June 12-13, 1997)},
SERIES = {LNCS},
VOLUME = {1253},
PAGES = {207-218},
YEAR = {1997},
EDITOR = {Bilardi, G. and Ferreira, A. and L{\"u}ling, R. and Rolim, J.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest-Milan-Santa Clara-Singapore},
}
@incollection{Baumker-Meyer_auf_der_Heide/97,
AUTHOR = {B{\"a}umker, Armin and Meyer auf der Heide, Friedhelm},
TITLE = {Communication efficient parallel searching},
BOOKTITLE = {Proceedings of the 4th International Symposium on Solving Irregularly Structured Problems in Parallel, IRREGULAR'97 (Paderborn, Germany, June 12-13, 1997)},
SERIES = {LNCS},
VOLUME = {1253},
PAGES = {233-254},
YEAR = {1997},
EDITOR = {Bilardi, G. and Ferreira, A. and L{\"u}ling, R. and Rolim, J.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest-Milan-Santa Clara-Singapore},
}
@incollection{Aura-Lilius/97,
AUTHOR = {Aura, Tuomas and Lilius, Johan},
TITLE = {Time processes for time Petri nets},
BOOKTITLE = {Proceedings of the 18th International Conference on Application and Theory of Petri Nets, ICATPN'97 (Toulouse, France, June 23-27, 1997)},
SERIES = {LNCS},
VOLUME = {1248},
PAGES = {136-155},
YEAR = {1997},
EDITOR = {Az{\'{e}}ma, Pierre and Balbo, Gianfranco},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest-Milan-Santa Clara-Singapore},
}
@incollection{Bause/97,
AUTHOR = {Bause, Falko},
TITLE = {Analysis of Petri nets with a dynamic priority method},
BOOKTITLE = {Proceedings of the 18th International Conference on Application and Theory of Petri Nets, ICATPN'97 (Toulouse, France, June 23-27, 1997)},
SERIES = {LNCS},
VOLUME = {1248},
PAGES = {215-234},
YEAR = {1997},
EDITOR = {Az{\'{e}}ma, Pierre and Balbo, Gianfranco},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest-Milan-Santa Clara-Singapore},
}
@incollection{Christensen-Mortensen/97,
AUTHOR = {Christensen, S{\o}ren and Mortensen, Kjeld H.},
TITLE = {Teaching coloured Petri nets --- A gentle introduction to formal methods in a distributed systems course},
BOOKTITLE = {Proceedings of the 18th International Conference on Application and Theory of Petri Nets, ICATPN'97 (Toulouse, France, June 23-27, 1997)},
SERIES = {LNCS},
VOLUME = {1248},
PAGES = {290-309},
YEAR = {1997},
EDITOR = {Az{\'{e}}ma, Pierre and Balbo, Gianfranco},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest-Milan-Santa Clara-Singapore},
}
@incollection{Boubour-Jard/97,
AUTHOR = {Boubour, Ren{\'{e}}e and Jard, Claude},
TITLE = {Fault detection in telecommunication networks based on a Petri net representation of alarm propagation},
BOOKTITLE = {Proceedings of the 18th International Conference on Application and Theory of Petri Nets, ICATPN'97 (Toulouse, France, June 23-27, 1997)},
SERIES = {LNCS},
VOLUME = {1248},
PAGES = {367-386},
YEAR = {1997},
EDITOR = {Az{\'{e}}ma, Pierre and Balbo, Gianfranco},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest-Milan-Santa Clara-Singapore},
}
@incollection{Christensen-Jorgensen/97,
AUTHOR = {Christensen, S{\o}ren and J{\o}rgensen, Jens B{\ae}k},
TITLE = {Analysing Bang \& Olufsen's BeoLink audio/video system using coloured Petri nets},
BOOKTITLE = {Proceedings of the 18th International Conference on Application and Theory of Petri Nets, ICATPN'97 (Toulouse, France, June 23-27, 1997)},
SERIES = {LNCS},
VOLUME = {1248},
PAGES = {387-406},
YEAR = {1997},
EDITOR = {Az{\'{e}}ma, Pierre and Balbo, Gianfranco},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest-Milan-Santa Clara-Singapore},
}
@incollection{Best-Thielke/97,
AUTHOR = {Best, Eike and Thielke, Thomas},
TITLE = {Orthogonal transformations for coloured Petri nets},
BOOKTITLE = {Proceedings of the 18th International Conference on Application and Theory of Petri Nets, ICATPN'97 (Toulouse, France, June 23-27, 1997)},
SERIES = {LNCS},
VOLUME = {1248},
PAGES = {447-466},
YEAR = {1997},
EDITOR = {Az{\'{e}}ma, Pierre and Balbo, Gianfranco},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest-Milan-Santa Clara-Singapore},
}
@incollection{Cooper-Kennedy-McIntosh/97,
AUTHOR = {Cooper, Keith and Kennedy, Ken and McIntosh, Nathaniel},
TITLE = {Cross-loop reuse analysis and its application to cache optimizations},
BOOKTITLE = {Proceedings of the 9th International Workshop on Languages and Compilers for Parallel Computing, LCPC'96 (San Jose, California, August 8-10, 1996)},
SERIES = {LNCS},
VOLUME = {1239},
PAGES = {1-19},
YEAR = {1997},
EDITOR = {Sehr, David and Banerjee, Utpal and Gelernter, David and Nicolau, Alex and Padua, David},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest-Milan-Santa Clara-Singapore},
}
@incollection{Ayguade-Garcia-Grande-Labarta/97,
AUTHOR = {Ayguad{\'{e}}, Eduard and Garcia, Jordi and Grande, M. Luz and Labarta, Jes{\'{u}}s},
TITLE = {Data distribution and loop parallelization for shared-memory multiprocessors},
BOOKTITLE = {Proceedings of the 9th International Workshop on Languages and Compilers for Parallel Computing, LCPC'96 (San Jose, California, August 8-10, 1996)},
SERIES = {LNCS},
VOLUME = {1239},
PAGES = {41-55},
YEAR = {1997},
EDITOR = {Sehr, David and Banerjee, Utpal and Gelernter, David and Nicolau, Alex and Padua, David},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest-Milan-Santa Clara-Singapore},
}
@incollection{Creusillet-Irigoin/97,
AUTHOR = {Creusillet, B{\'{e}}atrice and Irigoin, Fran{\c{c}}ois},
TITLE = {Exact versus approximate array region analyses},
BOOKTITLE = {Proceedings of the 9th International Workshop on Languages and Compilers for Parallel Computing, LCPC'96 (San Jose, California, August 8-10, 1996)},
SERIES = {LNCS},
VOLUME = {1239},
PAGES = {86-100},
YEAR = {1997},
EDITOR = {Sehr, David and Banerjee, Utpal and Gelernter, David and Nicolau, Alex and Padua, David},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest-Milan-Santa Clara-Singapore},
}
@incollection{Autrey-Wolfe/97,
AUTHOR = {Autrey, Tito and Wolfe, Michael},
TITLE = {Initial results for glacial variable analysis},
BOOKTITLE = {Proceedings of the 9th International Workshop on Languages and Compilers for Parallel Computing, LCPC'96 (San Jose, California, August 8-10, 1996)},
SERIES = {LNCS},
VOLUME = {1239},
PAGES = {120-134},
YEAR = {1997},
EDITOR = {Sehr, David and Banerjee, Utpal and Gelernter, David and Nicolau, Alex and Padua, David},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest-Milan-Santa Clara-Singapore},
}
@incollection{Donaldson-Ferrante/97,
AUTHOR = {Donaldson, Val and Ferrante, Jeanne},
TITLE = {Determining asynchronous pipeline execution times},
BOOKTITLE = {Proceedings of the 9th International Workshop on Languages and Compilers for Parallel Computing, LCPC'96 (San Jose, California, August 8-10, 1996)},
SERIES = {LNCS},
VOLUME = {1239},
PAGES = {154-174},
YEAR = {1997},
EDITOR = {Sehr, David and Banerjee, Utpal and Gelernter, David and Nicolau, Alex and Padua, David},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest-Milan-Santa Clara-Singapore},
}
@incollection{Berson-Chang-Gupta-Soffa/97,
AUTHOR = {Berson, David A. and Chang, Pohua and Gupta, Rajiv and Soffa, Mary Lou},
TITLE = {Integrating program optimizations and transformations with the scheduling of instruction level parallelism},
BOOKTITLE = {Proceedings of the 9th International Workshop on Languages and Compilers for Parallel Computing, LCPC'96 (San Jose, California, August 8-10, 1996)},
SERIES = {LNCS},
VOLUME = {1239},
PAGES = {207-221},
YEAR = {1997},
EDITOR = {Sehr, David and Banerjee, Utpal and Gelernter, David and Nicolau, Alex and Padua, David},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest-Milan-Santa Clara-Singapore},
}
@incollection{Chang-Chen-Lee-Wu-Banerjee/97,
AUTHOR = {Chang, Pohua and Chen, Dong-yuan and Lee, Yong-fong and Wu, Youfeng and Banerjee, Utpal},
TITLE = {Bidirectional scheduling: A new global code scheduling approach},
BOOKTITLE = {Proceedings of the 9th International Workshop on Languages and Compilers for Parallel Computing, LCPC'96 (San Jose, California, August 8-10, 1996)},
SERIES = {LNCS},
VOLUME = {1239},
PAGES = {222-230},
YEAR = {1997},
EDITOR = {Sehr, David and Banerjee, Utpal and Gelernter, David and Nicolau, Alex and Padua, David},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest-Milan-Santa Clara-Singapore},
}
@incollection{Diniz-Rinard/97,
AUTHOR = {Diniz, Pedro and Rinard, Martin},
TITLE = {Lock coarsening: Eliminating lock overhead in automatically parallelized object-based programs},
BOOKTITLE = {Proceedings of the 9th International Workshop on Languages and Compilers for Parallel Computing, LCPC'96 (San Jose, California, August 8-10, 1996)},
SERIES = {LNCS},
VOLUME = {1239},
PAGES = {285-299},
YEAR = {1997},
EDITOR = {Sehr, David and Banerjee, Utpal and Gelernter, David and Nicolau, Alex and Padua, David},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest-Milan-Santa Clara-Singapore},
}
@incollection{Barua-Kranz-Agarwal/97,
AUTHOR = {Barua, Rajeev and Kranz, David and Agarwal, Anant},
TITLE = {Communication-minimal partitioning of parallel loops and data arrays for cache-coherent distributed-memory multiprocessors},
BOOKTITLE = {Proceedings of the 9th International Workshop on Languages and Compilers for Parallel Computing, LCPC'96 (San Jose, California, August 8-10, 1996)},
SERIES = {LNCS},
VOLUME = {1239},
PAGES = {350-368},
YEAR = {1997},
EDITOR = {Sehr, David and Banerjee, Utpal and Gelernter, David and Nicolau, Alex and Padua, David},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest-Milan-Santa Clara-Singapore},
}
@incollection{Chandra-Larus/97,
AUTHOR = {Chandra, Satish and Larus, James R.},
TITLE = {HPF on fine-grain distributed shared memory: Early experience},
BOOKTITLE = {Proceedings of the 9th International Workshop on Languages and Compilers for Parallel Computing, LCPC'96 (San Jose, California, August 8-10, 1996)},
SERIES = {LNCS},
VOLUME = {1239},
PAGES = {450-465},
YEAR = {1997},
EDITOR = {Sehr, David and Banerjee, Utpal and Gelernter, David and Nicolau, Alex and Padua, David},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest-Milan-Santa Clara-Singapore},
}
@incollection{Bik-Wijshoff/97,
AUTHOR = {Bik, Aart J.C. and Wijshoff, Harry A.G.},
TITLE = {Simple qualitative experiments with a sparse compiler},
BOOKTITLE = {Proceedings of the 9th International Workshop on Languages and Compilers for Parallel Computing, LCPC'96 (San Jose, California, August 8-10, 1996)},
SERIES = {LNCS},
VOLUME = {1239},
PAGES = {466-480},
YEAR = {1997},
EDITOR = {Sehr, David and Banerjee, Utpal and Gelernter, David and Nicolau, Alex and Padua, David},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest-Milan-Santa Clara-Singapore},
}
@incollection{Chamberlain-Choi-Lewis-Lin-Snyder-Weathersby/97,
AUTHOR = {Chamberlain, Bradford L. and Choi, Sung-Eun and Lewis, E. Christopher and Lin, Calvin and Snyder, Lawrence and Weathersby, W. Derrick},
TITLE = {Factor-join:A unique approach to compiling array languages for parallel machines},
BOOKTITLE = {Proceedings of the 9th International Workshop on Languages and Compilers for Parallel Computing, LCPC'96 (San Jose, California, August 8-10, 1996)},
SERIES = {LNCS},
VOLUME = {1239},
PAGES = {481-500},
YEAR = {1997},
EDITOR = {Sehr, David and Banerjee, Utpal and Gelernter, David and Nicolau, Alex and Padua, David},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest-Milan-Santa Clara-Singapore},
}
@incollection{Arvind-Caro-Maessen-Aditya/97,
AUTHOR = {Arvind and Caro, Alejandro and Maessen, Jan-Willem and Aditya, Shail},
TITLE = {A multithreaded substrate and compilation model for the implicitly parallel language pH},
BOOKTITLE = {Proceedings of the 9th International Workshop on Languages and Compilers for Parallel Computing, LCPC'96 (San Jose, California, August 8-10, 1996)},
SERIES = {LNCS},
VOLUME = {1239},
PAGES = {519-533},
YEAR = {1997},
EDITOR = {Sehr, David and Banerjee, Utpal and Gelernter, David and Nicolau, Alex and Padua, David},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest-Milan-Santa Clara-Singapore},
}
@incollection{Dechering-Breebaart-Kuijlman-Reeuwijk-Sips/97,
AUTHOR = {Dechering, P.F.G. and Breebaart, L.C. and Kuijlman, F. and Reeuwijk, C. van and Sips, H.J.},
TITLE = {A generalized forall concept for parallel languages},
BOOKTITLE = {Proceedings of the 9th International Workshop on Languages and Compilers for Parallel Computing, LCPC'96 (San Jose, California, August 8-10, 1996)},
SERIES = {LNCS},
VOLUME = {1239},
PAGES = {605-607},
YEAR = {1997},
EDITOR = {Sehr, David and Banerjee, Utpal and Gelernter, David and Nicolau, Alex and Padua, David},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest-Milan-Santa Clara-Singapore},
}
@incollection{Artemov-Davoren-Nerode/97,
AUTHOR = {Artemov, Sergei and Davoren, Jennifer and Nerode, Anil},
TITLE = {Topological semantics for hybrid systems},
BOOKTITLE = {Proceedings of the 4th International Symposium on Logical Foundations of Computer Science, LFCS'97 (Yaroslavl, Russia, July 6-12, 1997)},
SERIES = {LNCS},
VOLUME = {1234},
PAGES = {1-8},
YEAR = {1997},
EDITOR = {Adian, Sergei and Nerode, Anil},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest-Milan-Santa Clara-Singapore},
}
@incollection{Barthe-Sorensen/97,
AUTHOR = {Barthe, Gilles and S{\o}rensen, Morten Heine},
TITLE = {Domain-free pure type systems},
BOOKTITLE = {Proceedings of the 4th International Symposium on Logical Foundations of Computer Science, LFCS'97 (Yaroslavl, Russia, July 6-12, 1997)},
SERIES = {LNCS},
VOLUME = {1234},
PAGES = {9-20},
YEAR = {1997},
EDITOR = {Adian, Sergei and Nerode, Anil},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest-Milan-Santa Clara-Singapore},
}
@incollection{Belegradek-Stolboushkin-Taitslin/97,
AUTHOR = {Belegradek, Oleg V. and Stolboushkin, Alexei P. and Taitslin, Michael A.},
TITLE = {Generic queries over quasi-$o$-minimal domains},
BOOKTITLE = {Proceedings of the 4th International Symposium on Logical Foundations of Computer Science, LFCS'97 (Yaroslavl, Russia, July 6-12, 1997)},
SERIES = {LNCS},
VOLUME = {1234},
PAGES = {21-32},
YEAR = {1997},
EDITOR = {Adian, Sergei and Nerode, Anil},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest-Milan-Santa Clara-Singapore},
}
@incollection{Bukatin-Scott/97,
AUTHOR = {Bukatin, Michael A. and Scott, Joshua S.},
TITLE = {Towards computing distances between programs via Scott domains},
BOOKTITLE = {Proceedings of the 4th International Symposium on Logical Foundations of Computer Science, LFCS'97 (Yaroslavl, Russia, July 6-12, 1997)},
SERIES = {LNCS},
VOLUME = {1234},
PAGES = {33-43},
YEAR = {1997},
EDITOR = {Adian, Sergei and Nerode, Anil},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest-Milan-Santa Clara-Singapore},
}
@incollection{Clote/97,
AUTHOR = {Clote, Peter},
TITLE = {A safe recursion scheme for exponential time},
BOOKTITLE = {Proceedings of the 4th International Symposium on Logical Foundations of Computer Science, LFCS'97 (Yaroslavl, Russia, July 6-12, 1997)},
SERIES = {LNCS},
VOLUME = {1234},
PAGES = {44-52},
YEAR = {1997},
EDITOR = {Adian, Sergei and Nerode, Anil},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest-Milan-Santa Clara-Singapore},
}
@incollection{Courcelle/97a,
AUTHOR = {Courcelle, Bruno},
TITLE = {Finite model theory, universal algebra and graph grammars},
BOOKTITLE = {Proceedings of the 4th International Symposium on Logical Foundations of Computer Science, LFCS'97 (Yaroslavl, Russia, July 6-12, 1997)},
SERIES = {LNCS},
VOLUME = {1234},
PAGES = {53-55},
YEAR = {1997},
EDITOR = {Adian, Sergei and Nerode, Anil},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest-Milan-Santa Clara-Singapore},
}
@incollection{Dantsin-Voronkov/97,
AUTHOR = {Dantsin, Evgeny and Voronkov, Andrei},
TITLE = {Complexity of query answering in logic databases with complex values},
BOOKTITLE = {Proceedings of the 4th International Symposium on Logical Foundations of Computer Science, LFCS'97 (Yaroslavl, Russia, July 6-12, 1997)},
SERIES = {LNCS},
VOLUME = {1234},
PAGES = {56-66},
YEAR = {1997},
EDITOR = {Adian, Sergei and Nerode, Anil},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest-Milan-Santa Clara-Singapore},
}
@incollection{Dekhtyar-Dikovsky/97,
AUTHOR = {Dekhtyar, Michael I. and Dikovsky, Alexander J.},
TITLE = {Recognition of deductive data base stability},
BOOKTITLE = {Proceedings of the 4th International Symposium on Logical Foundations of Computer Science, LFCS'97 (Yaroslavl, Russia, July 6-12, 1997)},
SERIES = {LNCS},
VOLUME = {1234},
PAGES = {67-77},
YEAR = {1997},
EDITOR = {Adian, Sergei and Nerode, Anil},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest-Milan-Santa Clara-Singapore},
}
@incollection{Bordihn/97,
AUTHOR = {Bordihn, Henning},
TITLE = {A grammatical approach to the LBA problem},
BOOKTITLE = {New Trends in Formal Languages --- Control, Cooperation, and Combinatorics},
SERIES = {LNCS},
VOLUME = {1218},
PAGES = {1-9},
YEAR = {1997},
EDITOR = {P{\v{a}}un, Gheorghe and Salomaa, Arto},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest-Milan-Santa Clara-Singapore},
}
@incollection{Asveld/97,
AUTHOR = {Asveld, Peter R.J.},
TITLE = {Controlled fuzzy parallel rewriting},
BOOKTITLE = {New Trends in Formal Languages --- Control, Cooperation, and Combinatorics},
SERIES = {LNCS},
VOLUME = {1218},
PAGES = {49-70},
YEAR = {1997},
EDITOR = {P{\v{a}}un, Gheorghe and Salomaa, Arto},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest-Milan-Santa Clara-Singapore},
}
@incollection{Bottoni-Mauri-Mussio/97,
AUTHOR = {Bottoni, Paolo and Mauri, Giancarlo and Mussio, Piero},
TITLE = {On controlling rewriting by properties of strings and symbols},
BOOKTITLE = {New Trends in Formal Languages --- Control, Cooperation, and Combinatorics},
SERIES = {LNCS},
VOLUME = {1218},
PAGES = {71-94},
YEAR = {1997},
EDITOR = {P{\v{a}}un, Gheorghe and Salomaa, Arto},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest-Milan-Santa Clara-Singapore},
}
@incollection{Balanescu-Georgescu-Gheorghe/97,
AUTHOR = {B{\u{a}}l{\u{a}}nescu, Tudor and Georgescu, Horia and Gheorghe, Marian},
TITLE = {Grammar systems with counting derivation and dynamical priorities},
BOOKTITLE = {New Trends in Formal Languages --- Control, Cooperation, and Combinatorics},
SERIES = {LNCS},
VOLUME = {1218},
PAGES = {150-166},
YEAR = {1997},
EDITOR = {P{\v{a}}un, Gheorghe and Salomaa, Arto},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest-Milan-Santa Clara-Singapore},
}
@incollection{Beek/97,
AUTHOR = {Beek, Maurice H. Ter},
TITLE = {Teams in grammar systems: Sub-context-free cases},
BOOKTITLE = {New Trends in Formal Languages --- Control, Cooperation, and Combinatorics},
SERIES = {LNCS},
VOLUME = {1218},
PAGES = {197-216},
YEAR = {1997},
EDITOR = {P{\v{a}}un, Gheorghe and Salomaa, Arto},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest-Milan-Santa Clara-Singapore},
}
@incollection{Amin/97,
AUTHOR = {Amin, Mohamed},
TITLE = {A note on the incomparability of the E0L family with certain families of languages generated by cooperating grammar systems},
BOOKTITLE = {New Trends in Formal Languages --- Control, Cooperation, and Combinatorics},
SERIES = {LNCS},
VOLUME = {1218},
PAGES = {217-219},
YEAR = {1997},
EDITOR = {P{\v{a}}un, Gheorghe and Salomaa, Arto},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest-Milan-Santa Clara-Singapore},
}
@incollection{Abrahamson-Cai-Gordon/97,
AUTHOR = {Abrahamson, Karl and Cai, Liming and Gordon, Steve},
TITLE = {A grammar characterization of logarithmic-space computation},
BOOKTITLE = {New Trends in Formal Languages --- Control, Cooperation, and Combinatorics},
SERIES = {LNCS},
VOLUME = {1218},
PAGES = {247-255},
YEAR = {1997},
EDITOR = {P{\v{a}}un, Gheorghe and Salomaa, Arto},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest-Milan-Santa Clara-Singapore},
}
@incollection{Bruda/97,
AUTHOR = {Bruda, {\c{S}}tefan},
TITLE = {On the computational complexity of context-free parallel communicating grammar systems},
BOOKTITLE = {New Trends in Formal Languages --- Control, Cooperation, and Combinatorics},
SERIES = {LNCS},
VOLUME = {1218},
PAGES = {256-266},
YEAR = {1997},
EDITOR = {P{\v{a}}un, Gheorghe and Salomaa, Arto},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest-Milan-Santa Clara-Singapore},
}
@incollection{Chitu/97,
AUTHOR = {Chi{\c{t}}u, Adrian},
TITLE = {PC grammar systems versus some non-context-free constructions from natural and artificial languages},
BOOKTITLE = {New Trends in Formal Languages --- Control, Cooperation, and Combinatorics},
SERIES = {LNCS},
VOLUME = {1218},
PAGES = {278-287},
YEAR = {1997},
EDITOR = {P{\v{a}}un, Gheorghe and Salomaa, Arto},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest-Milan-Santa Clara-Singapore},
}
@incollection{Csuhaj-Varju-Salomaa/97,
AUTHOR = {Csuhaj-Varj{\'u}, Erzs{\'{e}}bet and Salomaa, Arto},
TITLE = {Networks of parallel language processors},
BOOKTITLE = {New Trends in Formal Languages --- Control, Cooperation, and Combinatorics},
SERIES = {LNCS},
VOLUME = {1218},
PAGES = {299-318},
YEAR = {1997},
EDITOR = {P{\v{a}}un, Gheorghe and Salomaa, Arto},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest-Milan-Santa Clara-Singapore},
}
@incollection{Cazanescu/97,
AUTHOR = {C{\u{a}}z{\u{a}}nescu, Virgil Emil},
TITLE = {The structure of the basic morphisms},
BOOKTITLE = {New Trends in Formal Languages --- Control, Cooperation, and Combinatorics},
SERIES = {LNCS},
VOLUME = {1218},
PAGES = {422-429},
YEAR = {1997},
EDITOR = {P{\v{a}}un, Gheorghe and Salomaa, Arto},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest-Milan-Santa Clara-Singapore},
}
@incollection{Bilardi/97,
AUTHOR = {Bilardi, Gianfranco},
TITLE = {Algorithms and data structures for control dependence and related compiler problems},
BOOKTITLE = {Proceedings of the 3rd Italian Conference on Algorithms and Complexity, CIAC'97 (Rome, Italy, March 12-14, 1997)},
SERIES = {LNCS},
VOLUME = {1203},
PAGES = {1-2},
YEAR = {1997},
EDITOR = {Bongiovanni, Giancarlo and Bovet, Daniel Pierre and Battista, Giuseppe di},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest-Milan-Santa Clara-Singapore},
}
@incollection{Bilardi/97a,
AUTHOR = {Bilardi, Gianfranco},
TITLE = {Algorithms and data structures for control dependence and related compiler problems},
BOOKTITLE = {Proceedings of the 3rd Italian Conference on Algorithms and Complexity, CIAC'97 (Rome, Italy, March 12-14, 1997)},
SERIES = {LNCS},
VOLUME = {1203},
PAGES = {1-2},
YEAR = {1997},
EDITOR = {Bongiovanni, Giancarlo and Bovet, Daniel Pierre and Battista, Giuseppe di},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest-Milan-Santa Clara-Singapore},
}
@incollection{Dinitz-Nutov/97,
AUTHOR = {Dinitz, Yefim and Nutov, Zeev},
TITLE = {Finding optimum $k$-vertex connected spanning subgraphs: Improved approximation algorithms for $k = 3,4,5$},
BOOKTITLE = {Proceedings of the 3rd Italian Conference on Algorithms and Complexity, CIAC'97 (Rome, Italy, March 12-14, 1997)},
SERIES = {LNCS},
VOLUME = {1203},
PAGES = {13-24},
YEAR = {1997},
EDITOR = {Bongiovanni, Giancarlo and Bovet, Daniel Pierre and Battista, Giuseppe di},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest-Milan-Santa Clara-Singapore},
}
@incollection{Dinitz-Nutov/97a,
AUTHOR = {Dinitz, Yefim and Nutov, Zeev},
TITLE = {Finding optimum $k$-vertex connected spanning subgraphs: Improved approximation algorithms for $k = 3,4,5$},
BOOKTITLE = {Proceedings of the 3rd Italian Conference on Algorithms and Complexity, CIAC'97 (Rome, Italy, March 12-14, 1997)},
SERIES = {LNCS},
VOLUME = {1203},
PAGES = {13-24},
YEAR = {1997},
EDITOR = {Bongiovanni, Giancarlo and Bovet, Daniel Pierre and Battista, Giuseppe di},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest-Milan-Santa Clara-Singapore},
}
@incollection{Caporaso-Zito-Galesi-Covino/97,
AUTHOR = {Caporaso, Salvatore and Zito, Michele and Galesi, Nicola and Covino, Emanuele},
TITLE = {Syntactic characterization in Lisp of the polynomial complexity classes and hierarchy},
BOOKTITLE = {Proceedings of the 3rd Italian Conference on Algorithms and Complexity, CIAC'97 (Rome, Italy, March 12-14, 1997)},
SERIES = {LNCS},
VOLUME = {1203},
PAGES = {61-73},
YEAR = {1997},
EDITOR = {Bongiovanni, Giancarlo and Bovet, Daniel Pierre and Battista, Giuseppe di},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest-Milan-Santa Clara-Singapore},
}
@incollection{Caporaso-Zito-Galesi-Covino/97a,
AUTHOR = {Caporaso, Salvatore and Zito, Michele and Galesi, Nicola and Covino, Emanuele},
TITLE = {Syntactic characterization in Lisp of the polynomial complexity classes and hierarchy},
BOOKTITLE = {Proceedings of the 3rd Italian Conference on Algorithms and Complexity, CIAC'97 (Rome, Italy, March 12-14, 1997)},
SERIES = {LNCS},
VOLUME = {1203},
PAGES = {61-73},
YEAR = {1997},
EDITOR = {Bongiovanni, Giancarlo and Bovet, Daniel Pierre and Battista, Giuseppe di},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest-Milan-Santa Clara-Singapore},
}
@incollection{Datta-Krithivasan-Ottmann/97,
AUTHOR = {Datta, Amitava and Krithivasan, Kamala and Ottmann, Thomas},
TITLE = {An optimal algorithm for one-separation of a set of isothetic polygons},
BOOKTITLE = {Proceedings of the 3rd Italian Conference on Algorithms and Complexity, CIAC'97 (Rome, Italy, March 12-14, 1997)},
SERIES = {LNCS},
VOLUME = {1203},
PAGES = {110-121},
YEAR = {1997},
EDITOR = {Bongiovanni, Giancarlo and Bovet, Daniel Pierre and Battista, Giuseppe di},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest-Milan-Santa Clara-Singapore},
}
@incollection{Datta-Krithivasan-Ottmann/97a,
AUTHOR = {Datta, Amitava and Krithivasan, Kamala and Ottmann, Thomas},
TITLE = {An optimal algorithm for one-separation of a set of isothetic polygons},
BOOKTITLE = {Proceedings of the 3rd Italian Conference on Algorithms and Complexity, CIAC'97 (Rome, Italy, March 12-14, 1997)},
SERIES = {LNCS},
VOLUME = {1203},
PAGES = {110-121},
YEAR = {1997},
EDITOR = {Bongiovanni, Giancarlo and Bovet, Daniel Pierre and Battista, Giuseppe di},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest-Milan-Santa Clara-Singapore},
}
@incollection{Amir-Dar/97,
AUTHOR = {Amir, Amihood and Dar, Emanuel},
TITLE = {An improved deterministic algorithm for generalized random sampling},
BOOKTITLE = {Proceedings of the 3rd Italian Conference on Algorithms and Complexity, CIAC'97 (Rome, Italy, March 12-14, 1997)},
SERIES = {LNCS},
VOLUME = {1203},
PAGES = {159-170},
YEAR = {1997},
EDITOR = {Bongiovanni, Giancarlo and Bovet, Daniel Pierre and Battista, Giuseppe di},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest-Milan-Santa Clara-Singapore},
}
@incollection{Amir-Dar/97b,
AUTHOR = {Amir, Amihood and Dar, Emanuel},
TITLE = {An improved deterministic algorithm for generalized random sampling},
BOOKTITLE = {Proceedings of the 3rd Italian Conference on Algorithms and Complexity, CIAC'97 (Rome, Italy, March 12-14, 1997)},
SERIES = {LNCS},
VOLUME = {1203},
PAGES = {159-170},
YEAR = {1997},
EDITOR = {Bongiovanni, Giancarlo and Bovet, Daniel Pierre and Battista, Giuseppe di},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest-Milan-Santa Clara-Singapore},
}
@incollection{Domingo/97,
AUTHOR = {Domingo, Carlos},
TITLE = {Polynomial time algorithms for some self-duality problems},
BOOKTITLE = {Proceedings of the 3rd Italian Conference on Algorithms and Complexity, CIAC'97 (Rome, Italy, March 12-14, 1997)},
SERIES = {LNCS},
VOLUME = {1203},
PAGES = {171-180},
YEAR = {1997},
EDITOR = {Bongiovanni, Giancarlo and Bovet, Daniel Pierre and Battista, Giuseppe di},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest-Milan-Santa Clara-Singapore},
}
@incollection{Domingo/97a,
AUTHOR = {Domingo, Carlos},
TITLE = {Polynomial time algorithms for some self-duality problems},
BOOKTITLE = {Proceedings of the 3rd Italian Conference on Algorithms and Complexity, CIAC'97 (Rome, Italy, March 12-14, 1997)},
SERIES = {LNCS},
VOLUME = {1203},
PAGES = {171-180},
YEAR = {1997},
EDITOR = {Bongiovanni, Giancarlo and Bovet, Daniel Pierre and Battista, Giuseppe di},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest-Milan-Santa Clara-Singapore},
}
@incollection{Damaschke/97,
AUTHOR = {Damaschke, Peter},
TITLE = {The algorithmic complexity of chemical threshold testing},
BOOKTITLE = {Proceedings of the 3rd Italian Conference on Algorithms and Complexity, CIAC'97 (Rome, Italy, March 12-14, 1997)},
SERIES = {LNCS},
VOLUME = {1203},
PAGES = {205-216},
YEAR = {1997},
EDITOR = {Bongiovanni, Giancarlo and Bovet, Daniel Pierre and Battista, Giuseppe di},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest-Milan-Santa Clara-Singapore},
}
@incollection{Damaschke/97a,
AUTHOR = {Damaschke, Peter},
TITLE = {The algorithmic complexity of chemical threshold testing},
BOOKTITLE = {Proceedings of the 3rd Italian Conference on Algorithms and Complexity, CIAC'97 (Rome, Italy, March 12-14, 1997)},
SERIES = {LNCS},
VOLUME = {1203},
PAGES = {205-216},
YEAR = {1997},
EDITOR = {Bongiovanni, Giancarlo and Bovet, Daniel Pierre and Battista, Giuseppe di},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest-Milan-Santa Clara-Singapore},
}
@incollection{Cattaneo-Finelli-Margara/97,
AUTHOR = {Cattaneo, Gianpiero and Finelli, Michele and Margara, Luciano},
TITLE = {Topological chaos for elementary cellular automata},
BOOKTITLE = {Proceedings of the 3rd Italian Conference on Algorithms and Complexity, CIAC'97 (Rome, Italy, March 12-14, 1997)},
SERIES = {LNCS},
VOLUME = {1203},
PAGES = {241-252},
YEAR = {1997},
EDITOR = {Bongiovanni, Giancarlo and Bovet, Daniel Pierre and Battista, Giuseppe di},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest-Milan-Santa Clara-Singapore},
}
@incollection{Cattaneo-Finelli-Margara/97a,
AUTHOR = {Cattaneo, Gianpiero and Finelli, Michele and Margara, Luciano},
TITLE = {Topological chaos for elementary cellular automata},
BOOKTITLE = {Proceedings of the 3rd Italian Conference on Algorithms and Complexity, CIAC'97 (Rome, Italy, March 12-14, 1997)},
SERIES = {LNCS},
VOLUME = {1203},
PAGES = {241-252},
YEAR = {1997},
EDITOR = {Bongiovanni, Giancarlo and Bovet, Daniel Pierre and Battista, Giuseppe di},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest-Milan-Santa Clara-Singapore},
}
@incollection{Bernasconi/97,
AUTHOR = {Bernasconi, A.},
TITLE = {On the complexity of balanced Boolean functions},
BOOKTITLE = {Proceedings of the 3rd Italian Conference on Algorithms and Complexity, CIAC'97 (Rome, Italy, March 12-14, 1997)},
SERIES = {LNCS},
VOLUME = {1203},
PAGES = {253-263},
YEAR = {1997},
EDITOR = {Bongiovanni, Giancarlo and Bovet, Daniel Pierre and Battista, Giuseppe di},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest-Milan-Santa Clara-Singapore},
}
@incollection{Bernasconi/97a,
AUTHOR = {Bernasconi, A.},
TITLE = {On the complexity of balanced Boolean functions},
BOOKTITLE = {Proceedings of the 3rd Italian Conference on Algorithms and Complexity, CIAC'97 (Rome, Italy, March 12-14, 1997)},
SERIES = {LNCS},
VOLUME = {1203},
PAGES = {253-263},
YEAR = {1997},
EDITOR = {Bongiovanni, Giancarlo and Bovet, Daniel Pierre and Battista, Giuseppe di},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest-Milan-Santa Clara-Singapore},
}
@incollection{Alimonti-Kann/97,
AUTHOR = {Alimonti, Paola and Kann, Viggo},
TITLE = {Hardness of approximating problems on cubic graphs},
BOOKTITLE = {Proceedings of the 3rd Italian Conference on Algorithms and Complexity, CIAC'97 (Rome, Italy, March 12-14, 1997)},
SERIES = {LNCS},
VOLUME = {1203},
PAGES = {288-298},
YEAR = {1997},
EDITOR = {Bongiovanni, Giancarlo and Bovet, Daniel Pierre and Battista, Giuseppe di},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest-Milan-Santa Clara-Singapore},
}
@incollection{Alimonti-Kann/97a,
AUTHOR = {Alimonti, Paola and Kann, Viggo},
TITLE = {Hardness of approximating problems on cubic graphs},
BOOKTITLE = {Proceedings of the 3rd Italian Conference on Algorithms and Complexity, CIAC'97 (Rome, Italy, March 12-14, 1997)},
SERIES = {LNCS},
VOLUME = {1203},
PAGES = {288-298},
YEAR = {1997},
EDITOR = {Bongiovanni, Giancarlo and Bovet, Daniel Pierre and Battista, Giuseppe di},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest-Milan-Santa Clara-Singapore},
}
@incollection{Brodal/97,
AUTHOR = {Brodal, Gert St{\o}lting},
TITLE = {Predecessor queries in dynamic integer sets},
BOOKTITLE = {Proceedings of the 14th Annual Symposium on Theoretical Aspects of Computer Science, STACS'97 (L{\"u}beck, Germany, February 27 - March 1, 1997)},
SERIES = {LNCS},
VOLUME = {1200},
PAGES = {21-32},
YEAR = {1997},
EDITOR = {Reischuk, R{\"u}diger and Morvan, Michel},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest-Milan-Santa Clara-Singapore},
}
@incollection{Buhrman-Fortnow/97,
AUTHOR = {Buhrman, Harry and Fortnow, Lance},
TITLE = {Resource-bounded Kolmogorov complexity revisited},
BOOKTITLE = {Proceedings of the 14th Annual Symposium on Theoretical Aspects of Computer Science, STACS'97 (L{\"u}beck, Germany, February 27 - March 1, 1997)},
SERIES = {LNCS},
VOLUME = {1200},
PAGES = {105-116},
YEAR = {1997},
EDITOR = {Reischuk, R{\"u}diger and Morvan, Michel},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest-Milan-Santa Clara-Singapore},
}
@incollection{Bertram-Kretzberg-Lefmann/97,
AUTHOR = {Bertram-Kretzberg, Claudia and Lefmann, Hanno},
TITLE = {MOD$_p$-tests, almost independence and small probability spaces},
BOOKTITLE = {Proceedings of the 14th Annual Symposium on Theoretical Aspects of Computer Science, STACS'97 (L{\"u}beck, Germany, February 27 - March 1, 1997)},
SERIES = {LNCS},
VOLUME = {1200},
PAGES = {141-152},
YEAR = {1997},
EDITOR = {Reischuk, R{\"u}diger and Morvan, Michel},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest-Milan-Santa Clara-Singapore},
}
@incollection{Dietzfelbinger/97,
AUTHOR = {Dietzfelbinger, Martin},
TITLE = {Gossiping and broadcasting versus computing functions in networks},
BOOKTITLE = {Proceedings of the 14th Annual Symposium on Theoretical Aspects of Computer Science, STACS'97 (L{\"u}beck, Germany, February 27 - March 1, 1997)},
SERIES = {LNCS},
VOLUME = {1200},
PAGES = {189-200},
YEAR = {1997},
EDITOR = {Reischuk, R{\"u}diger and Morvan, Michel},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest-Milan-Santa Clara-Singapore},
}
@incollection{Case-Kinber-Sharma-Stephan/97,
AUTHOR = {Case, John and Kinber, Efim and Sharma, Arun and Stephan, Frank},
TITLE = {On the classification of computable languages},
BOOKTITLE = {Proceedings of the 14th Annual Symposium on Theoretical Aspects of Computer Science, STACS'97 (L{\"u}beck, Germany, February 27 - March 1, 1997)},
SERIES = {LNCS},
VOLUME = {1200},
PAGES = {225-236},
YEAR = {1997},
EDITOR = {Reischuk, R{\"u}diger and Morvan, Michel},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest-Milan-Santa Clara-Singapore},
}
@incollection{Andreev-Clementi-Rolim/97,
AUTHOR = {Andreev, Alexander E. and Clementi, Andrea E.F. and Rolim, Jos{\'{e}} D.P.},
TITLE = {Efficient constructions of hitting sets for systems of linear functions},
BOOKTITLE = {Proceedings of the 14th Annual Symposium on Theoretical Aspects of Computer Science, STACS'97 (L{\"u}beck, Germany, February 27 - March 1, 1997)},
SERIES = {LNCS},
VOLUME = {1200},
PAGES = {387-398},
YEAR = {1997},
EDITOR = {Reischuk, R{\"u}diger and Morvan, Michel},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest-Milan-Santa Clara-Singapore},
}
@incollection{Biehl-Meyer/97,
AUTHOR = {Biehl, Ingrid and Meyer, Bernd},
TITLE = {Protocols for collusion-secure asymmetric fingerprinting},
BOOKTITLE = {Proceedings of the 14th Annual Symposium on Theoretical Aspects of Computer Science, STACS'97 (L{\"u}beck, Germany, February 27 - March 1, 1997)},
SERIES = {LNCS},
VOLUME = {1200},
PAGES = {399-412},
YEAR = {1997},
EDITOR = {Reischuk, R{\"u}diger and Morvan, Michel},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest-Milan-Santa Clara-Singapore},
}
@incollection{Cattaneo-Formenti-Manzini-Margara/97,
AUTHOR = {Cattaneo, Gianpiero and Formenti, Enrico and Manzini, Giovanni and Margara, Luciano},
TITLE = {On ergodic linear cellular automata over $Z_m$},
BOOKTITLE = {Proceedings of the 14th Annual Symposium on Theoretical Aspects of Computer Science, STACS'97 (L{\"u}beck, Germany, February 27 - March 1, 1997)},
SERIES = {LNCS},
VOLUME = {1200},
PAGES = {427-438},
YEAR = {1997},
EDITOR = {Reischuk, R{\"u}diger and Morvan, Michel},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest-Milan-Santa Clara-Singapore},
}
@incollection{Buss-Frandsen-Shallit/97,
AUTHOR = {Buss, Jonathan F. and Frandsen, Gudmund S. and Shallit, Jeffrey O.},
TITLE = {The computational complexity of some problems of linear algebra},
BOOKTITLE = {Proceedings of the 14th Annual Symposium on Theoretical Aspects of Computer Science, STACS'97 (L{\"u}beck, Germany, February 27 - March 1, 1997)},
SERIES = {LNCS},
VOLUME = {1200},
PAGES = {451-462},
YEAR = {1997},
EDITOR = {Reischuk, R{\"u}diger and Morvan, Michel},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest-Milan-Santa Clara-Singapore},
}
@incollection{Dahlhaus/97,
AUTHOR = {Dahlhaus, Elias},
TITLE = {Sequential and parallel algorithms on compactly represented chordal and strongly chordal graphs},
BOOKTITLE = {Proceedings of the 14th Annual Symposium on Theoretical Aspects of Computer Science, STACS'97 (L{\"u}beck, Germany, February 27 - March 1, 1997)},
SERIES = {LNCS},
VOLUME = {1200},
PAGES = {487-498},
YEAR = {1997},
EDITOR = {Reischuk, R{\"u}diger and Morvan, Michel},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest-Milan-Santa Clara-Singapore},
}
@incollection{Breutzmann-Lutz/97,
AUTHOR = {Breutzmann, Josef M. and Lutz, Jack H.},
TITLE = {Equivalence of measures of complexity classes},
BOOKTITLE = {Proceedings of the 14th Annual Symposium on Theoretical Aspects of Computer Science, STACS'97 (L{\"u}beck, Germany, February 27 - March 1, 1997)},
SERIES = {LNCS},
VOLUME = {1200},
PAGES = {535-546},
YEAR = {1997},
EDITOR = {Reischuk, R{\"u}diger and Morvan, Michel},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest-Milan-Santa Clara-Singapore},
}
@incollection{Auletta-Parente/97,
AUTHOR = {Auletta, Vincenzo and Parente, Mimmo},
TITLE = {Better algorithms for minimum weight vertex-connectivity problems},
BOOKTITLE = {Proceedings of the 14th Annual Symposium on Theoretical Aspects of Computer Science, STACS'97 (L{\"u}beck, Germany, February 27 - March 1, 1997)},
SERIES = {LNCS},
VOLUME = {1200},
PAGES = {547-558},
YEAR = {1997},
EDITOR = {Reischuk, R{\"u}diger and Morvan, Michel},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest-Milan-Santa Clara-Singapore},
}
@incollection{Diekert-Gastin-Petit/97,
AUTHOR = {Diekert, Volker and Gastin, Paul and Petit, Antoine},
TITLE = {Removing $\varepsilon$-transitions in timed automata},
BOOKTITLE = {Proceedings of the 14th Annual Symposium on Theoretical Aspects of Computer Science, STACS'97 (L{\"u}beck, Germany, February 27 - March 1, 1997)},
SERIES = {LNCS},
VOLUME = {1200},
PAGES = {583-594},
YEAR = {1997},
EDITOR = {Reischuk, R{\"u}diger and Morvan, Michel},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest-Milan-Santa Clara-Singapore},
}
@incollection{Alimonti-Calamoneri/97,
AUTHOR = {Alimonti, Paola and Calamoneri, Tiziana},
TITLE = {Improved approximations of independent dominating set in bounded degree graphs},
BOOKTITLE = {Proceedings of the 22nd International Workshop on Graph-Theoretic Concepts in Computer Science, WG'96 (Cadenabbia, Italy, June 12-14, 1996)},
SERIES = {LNCS},
VOLUME = {1197},
PAGES = {2-16},
YEAR = {1997},
EDITOR = {d'Amore, Fabrizio and Franciosa, Paolo G. and Marchetti-Spaccamela, Alberto},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest-Milan-Santa Clara-Singapore},
}
@incollection{Babel-Olariu/97,
AUTHOR = {Babel, Luitpold and Olariu, Stephan},
TITLE = {A new characterization of $P_4$-connected graphs},
BOOKTITLE = {Proceedings of the 22nd International Workshop on Graph-Theoretic Concepts in Computer Science, WG'96 (Cadenabbia, Italy, June 12-14, 1996)},
SERIES = {LNCS},
VOLUME = {1197},
PAGES = {17-30},
YEAR = {1997},
EDITOR = {d'Amore, Fabrizio and Franciosa, Paolo G. and Marchetti-Spaccamela, Alberto},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest-Milan-Santa Clara-Singapore},
}
@incollection{Bauderon-Jacquet/97,
AUTHOR = {Bauderon, Michel and Jacquet, H{\'{e}}l{\`{e}}ne},
TITLE = {Node rewriting in hypergraphs},
BOOKTITLE = {Proceedings of the 22nd International Workshop on Graph-Theoretic Concepts in Computer Science, WG'96 (Cadenabbia, Italy, June 12-14, 1996)},
SERIES = {LNCS},
VOLUME = {1197},
PAGES = {31-43},
YEAR = {1997},
EDITOR = {d'Amore, Fabrizio and Franciosa, Paolo G. and Marchetti-Spaccamela, Alberto},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest-Milan-Santa Clara-Singapore},
}
@incollection{Bezrukov/97,
AUTHOR = {Bezrukov, Sergej L.},
TITLE = {On $\kappa$-partitioning the $n$-cube},
BOOKTITLE = {Proceedings of the 22nd International Workshop on Graph-Theoretic Concepts in Computer Science, WG'96 (Cadenabbia, Italy, June 12-14, 1996)},
SERIES = {LNCS},
VOLUME = {1197},
PAGES = {44-55},
YEAR = {1997},
EDITOR = {d'Amore, Fabrizio and Franciosa, Paolo G. and Marchetti-Spaccamela, Alberto},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest-Milan-Santa Clara-Singapore},
}
@incollection{Broadwater-Efe-Fernandez/97,
AUTHOR = {Broadwater, Adrienne and Efe, Kemal and Fern{\'{a}}ndez, Antonio},
TITLE = {Embedding complete binary trees in product graphs},
BOOKTITLE = {Proceedings of the 22nd International Workshop on Graph-Theoretic Concepts in Computer Science, WG'96 (Cadenabbia, Italy, June 12-14, 1996)},
SERIES = {LNCS},
VOLUME = {1197},
PAGES = {56-66},
YEAR = {1997},
EDITOR = {d'Amore, Fabrizio and Franciosa, Paolo G. and Marchetti-Spaccamela, Alberto},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest-Milan-Santa Clara-Singapore},
}
@incollection{Brys-Lonc/97,
AUTHOR = {Bry{\'s}, Krzysztof and Lonc, Zbigniew},
TITLE = {Clique and anticlique partitions of graphs},
BOOKTITLE = {Proceedings of the 22nd International Workshop on Graph-Theoretic Concepts in Computer Science, WG'96 (Cadenabbia, Italy, June 12-14, 1996)},
SERIES = {LNCS},
VOLUME = {1197},
PAGES = {67-72},
YEAR = {1997},
EDITOR = {d'Amore, Fabrizio and Franciosa, Paolo G. and Marchetti-Spaccamela, Alberto},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest-Milan-Santa Clara-Singapore},
}
@incollection{Chen-Chen/97,
AUTHOR = {Chen, Chi-Chang and Chen, Jianer},
TITLE = {Optimal parallel routing in star graphs},
BOOKTITLE = {Proceedings of the 22nd International Workshop on Graph-Theoretic Concepts in Computer Science, WG'96 (Cadenabbia, Italy, June 12-14, 1996)},
SERIES = {LNCS},
VOLUME = {1197},
PAGES = {73-84},
YEAR = {1997},
EDITOR = {d'Amore, Fabrizio and Franciosa, Paolo G. and Marchetti-Spaccamela, Alberto},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest-Milan-Santa Clara-Singapore},
}
@incollection{Cicerone-Frigioni-Nanni-Pugliese/97,
AUTHOR = {Cicerone, Serafino and Frigioni, Daniele and Nanni, Umberto and Pugliese, Francesco},
TITLE = {Counting edges in a dag},
BOOKTITLE = {Proceedings of the 22nd International Workshop on Graph-Theoretic Concepts in Computer Science, WG'96 (Cadenabbia, Italy, June 12-14, 1996)},
SERIES = {LNCS},
VOLUME = {1197},
PAGES = {85-100},
YEAR = {1997},
EDITOR = {d'Amore, Fabrizio and Franciosa, Paolo G. and Marchetti-Spaccamela, Alberto},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest-Milan-Santa Clara-Singapore},
}
@incollection{Ciotti-Parisi-Presicce/97,
AUTHOR = {Ciotti, Ornella and Parisi-Presicce, Francesco},
TITLE = {Closure properties of context-free hyperedge replacement systems},
BOOKTITLE = {Proceedings of the 22nd International Workshop on Graph-Theoretic Concepts in Computer Science, WG'96 (Cadenabbia, Italy, June 12-14, 1996)},
SERIES = {LNCS},
VOLUME = {1197},
PAGES = {101-113},
YEAR = {1997},
EDITOR = {d'Amore, Fabrizio and Franciosa, Paolo G. and Marchetti-Spaccamela, Alberto},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest-Milan-Santa Clara-Singapore},
}
@incollection{Crescenzi-Penna/97,
AUTHOR = {Crescenzi, P. and Penna, P.},
TITLE = {Upward drawings of search trees},
BOOKTITLE = {Proceedings of the 22nd International Workshop on Graph-Theoretic Concepts in Computer Science, WG'96 (Cadenabbia, Italy, June 12-14, 1996)},
SERIES = {LNCS},
VOLUME = {1197},
PAGES = {114-125},
YEAR = {1997},
EDITOR = {d'Amore, Fabrizio and Franciosa, Paolo G. and Marchetti-Spaccamela, Alberto},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest-Milan-Santa Clara-Singapore},
}
@incollection{Diks-Hagerup/97,
AUTHOR = {Diks, Krzysztof and Hagerup, Torben},
TITLE = {More general parallel tree contraction: Register allocation and broadcasting in a tree},
BOOKTITLE = {Proceedings of the 22nd International Workshop on Graph-Theoretic Concepts in Computer Science, WG'96 (Cadenabbia, Italy, June 12-14, 1996)},
SERIES = {LNCS},
VOLUME = {1197},
PAGES = {126-140},
YEAR = {1997},
EDITOR = {d'Amore, Fabrizio and Franciosa, Paolo G. and Marchetti-Spaccamela, Alberto},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest-Milan-Santa Clara-Singapore},
}
@incollection{Diks-Pelc/97,
AUTHOR = {Diks, Krzysztof and Pelc, Andrzej},
TITLE = {System diagnosis with smallest risk of error},
BOOKTITLE = {Proceedings of the 22nd International Workshop on Graph-Theoretic Concepts in Computer Science, WG'96 (Cadenabbia, Italy, June 12-14, 1996)},
SERIES = {LNCS},
VOLUME = {1197},
PAGES = {141-150},
YEAR = {1997},
EDITOR = {d'Amore, Fabrizio and Franciosa, Paolo G. and Marchetti-Spaccamela, Alberto},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest-Milan-Santa Clara-Singapore},
}
@incollection{Djidjev/97,
AUTHOR = {Djidjev, Hristo N.},
TITLE = {Efficient algorithms for shortest path queries in planar digraphs},
BOOKTITLE = {Proceedings of the 22nd International Workshop on Graph-Theoretic Concepts in Computer Science, WG'96 (Cadenabbia, Italy, June 12-14, 1996)},
SERIES = {LNCS},
VOLUME = {1197},
PAGES = {151-165},
YEAR = {1997},
EDITOR = {d'Amore, Fabrizio and Franciosa, Paolo G. and Marchetti-Spaccamela, Alberto},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest-Milan-Santa Clara-Singapore},
}
@incollection{Dragan-Nicolai-Brandstadt/97,
AUTHOR = {Dragan, Feodor F. and Nicolai, Falk and Brandst{\"a}dt, Andreas},
TITLE = {LexBFS-orderings and powers of graphs},
BOOKTITLE = {Proceedings of the 22nd International Workshop on Graph-Theoretic Concepts in Computer Science, WG'96 (Cadenabbia, Italy, June 12-14, 1996)},
SERIES = {LNCS},
VOLUME = {1197},
PAGES = {166-180},
YEAR = {1997},
EDITOR = {d'Amore, Fabrizio and Franciosa, Paolo G. and Marchetti-Spaccamela, Alberto},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest-Milan-Santa Clara-Singapore},
}
@incollection{Abellanas-Garcia-Hernandez-Noy-Ramos/97,
AUTHOR = {Abellanas, M. and Garc{\'{i}}a, J. and Hern{\'{a}}ndez, G. and Noy, M. and Ramos, P.},
TITLE = {Bipartite embeddings of trees in the plane},
BOOKTITLE = {Proceedings of the Symposium on Graph Drawing, GD'96 (Berkeley, CA, USA, September 18-20, 1996)},
SERIES = {LNCS},
VOLUME = {1190},
PAGES = {1-10},
YEAR = {1997},
EDITOR = {North, Stephen},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest-Milan-Santa Clara-Singapore},
}
@incollection{Alzohairi-Rival/97,
AUTHOR = {Alzohairi, Mohammad and Rival, Ivan},
TITLE = {Series-parallel planar ordered sets have pagenumber two},
BOOKTITLE = {Proceedings of the Symposium on Graph Drawing, GD'96 (Berkeley, CA, USA, September 18-20, 1996)},
SERIES = {LNCS},
VOLUME = {1190},
PAGES = {11-24},
YEAR = {1997},
EDITOR = {North, Stephen},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest-Milan-Santa Clara-Singapore},
}
@incollection{Bose-Dean-Hutchinson-Shermer/97,
AUTHOR = {Bose, Prosenjit and Dean, Alice and Hutchinson, Joan and Shermer, Thomas},
TITLE = {On rectangle visibility graphs},
BOOKTITLE = {Proceedings of the Symposium on Graph Drawing, GD'96 (Berkeley, CA, USA, September 18-20, 1996)},
SERIES = {LNCS},
VOLUME = {1190},
PAGES = {25-44},
YEAR = {1997},
EDITOR = {North, Stephen},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest-Milan-Santa Clara-Singapore},
}
@incollection{Bridgeman-Garg-Tamassia/97,
AUTHOR = {Bridgeman, Stina and Garg, Ashim and Tamassia, Roberto},
TITLE = {A graph drawing and translation service on the WWW},
BOOKTITLE = {Proceedings of the Symposium on Graph Drawing, GD'96 (Berkeley, CA, USA, September 18-20, 1996)},
SERIES = {LNCS},
VOLUME = {1190},
PAGES = {45-52},
YEAR = {1997},
EDITOR = {North, Stephen},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest-Milan-Santa Clara-Singapore},
}
@incollection{Calamoneri-Sterbini/97a,
AUTHOR = {Calamoneri, Tiziana and Sterbini, Andrea},
TITLE = {Drawing 2-, 3- and 4-colorable graphs in $O(n^2)$ volume},
BOOKTITLE = {Proceedings of the Symposium on Graph Drawing, GD'96 (Berkeley, CA, USA, September 18-20, 1996)},
SERIES = {LNCS},
VOLUME = {1190},
PAGES = {53-62},
YEAR = {1997},
EDITOR = {North, Stephen},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest-Milan-Santa Clara-Singapore},
}
@incollection{Chan-Goodrich-Kosaraju-Tamassia/97,
AUTHOR = {Chan, Timothy and Goodrich, Michael T. and Kosaraju, S. Rao and Tamassia, Roberto},
TITLE = {Optimizing area and aspect ratio in straight-line orthogonal tree drawings},
BOOKTITLE = {Proceedings of the Symposium on Graph Drawing, GD'96 (Berkeley, CA, USA, September 18-20, 1996)},
SERIES = {LNCS},
VOLUME = {1190},
PAGES = {63-75},
YEAR = {1997},
EDITOR = {North, Stephen},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest-Milan-Santa Clara-Singapore},
}
@incollection{Dogrusoz-Madden-Madden/97,
AUTHOR = {Do{\u{g}}rus{\"o}z, U{\u{g}}ur and Madden, Brendan and Madden, Patrick},
TITLE = {Circular layout in the graph layout toolkit},
BOOKTITLE = {Proceedings of the Symposium on Graph Drawing, GD'96 (Berkeley, CA, USA, September 18-20, 1996)},
SERIES = {LNCS},
VOLUME = {1190},
PAGES = {92-100},
YEAR = {1997},
EDITOR = {North, Stephen},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest-Milan-Santa Clara-Singapore},
}