@incollection{Baumann-Lermer/95,
AUTHOR = {Baumann, Peter and Lermer, Karl},
TITLE = {A framework for the specification of reactive and concurrent systems in $Z$},
BOOKTITLE = {Proceedings of the 15th Conference on Foundations of Software Technology and Theoretical Computer Science, FST\&TCS'95 (Bangalore, India, December 18-20, 1995)},
SERIES = {LNCS},
VOLUME = {1026},
PAGES = {62-79},
YEAR = {1995},
EDITOR = {Thiagarajan, P.S.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Caspi-Fernandez-Girault/95,
AUTHOR = {Caspi, Paul and Fernandez, Jean-Claude and Girault, Alain},
TITLE = {An algorithm for reducing binary branchings},
BOOKTITLE = {Proceedings of the 15th Conference on Foundations of Software Technology and Theoretical Computer Science, FST\&TCS'95 (Bangalore, India, December 18-20, 1995)},
SERIES = {LNCS},
VOLUME = {1026},
PAGES = {279-293},
YEAR = {1995},
EDITOR = {Thiagarajan, P.S.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Boreale-Trevisan/95,
AUTHOR = {Boreale, Michele and Trevisan, Luca},
TITLE = {On the complexity of bisimilarity for value-passing processes},
BOOKTITLE = {Proceedings of the 15th Conference on Foundations of Software Technology and Theoretical Computer Science, FST\&TCS'95 (Bangalore, India, December 18-20, 1995)},
SERIES = {LNCS},
VOLUME = {1026},
PAGES = {294-308},
YEAR = {1995},
EDITOR = {Thiagarajan, P.S.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Balasubramanian-Raman/95,
AUTHOR = {Balasubramanian, R. and Raman, Venkatesh},
TITLE = {Path balance heuristic for self-adjusting binary search trees},
BOOKTITLE = {Proceedings of the 15th Conference on Foundations of Software Technology and Theoretical Computer Science, FST\&TCS'95 (Bangalore, India, December 18-20, 1995)},
SERIES = {LNCS},
VOLUME = {1026},
PAGES = {338-348},
YEAR = {1995},
EDITOR = {Thiagarajan, P.S.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Arikati-Chaudhuri-Zaroliagis/95,
AUTHOR = {Arikati, Srinivasa R. and Chaudhuri, Shiva and Zaroliagis, Christos D.},
TITLE = {All-pairs min-cut in sparse networks},
BOOKTITLE = {Proceedings of the 15th Conference on Foundations of Software Technology and Theoretical Computer Science, FST\&TCS'95 (Bangalore, India, December 18-20, 1995)},
SERIES = {LNCS},
VOLUME = {1026},
PAGES = {363-376},
YEAR = {1995},
EDITOR = {Thiagarajan, P.S.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Biswas-Kannan/95,
AUTHOR = {Biswas, Sandip K. and Kannan, Sampath},
TITLE = {Minimizing space usage in evaluation of expression trees},
BOOKTITLE = {Proceedings of the 15th Conference on Foundations of Software Technology and Theoretical Computer Science, FST\&TCS'95 (Bangalore, India, December 18-20, 1995)},
SERIES = {LNCS},
VOLUME = {1026},
PAGES = {377-390},
YEAR = {1995},
EDITOR = {Thiagarajan, P.S.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Asarin-Maler/95,
AUTHOR = {Asarin, Eugene and Maler, Oded},
TITLE = {Achilles and the tortoise climbing up the arithmetical hierarchy},
BOOKTITLE = {Proceedings of the 15th Conference on Foundations of Software Technology and Theoretical Computer Science, FST\&TCS'95 (Bangalore, India, December 18-20, 1995)},
SERIES = {LNCS},
VOLUME = {1026},
PAGES = {471-483},
YEAR = {1995},
EDITOR = {Thiagarajan, P.S.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Browne-Manna-Sipma/95,
AUTHOR = {Browne, I.A. and Manna, Z. and Sipma, H.B.},
TITLE = {Generalized temporal verification diagrams},
BOOKTITLE = {Proceedings of the 15th Conference on Foundations of Software Technology and Theoretical Computer Science, FST\&TCS'95 (Bangalore, India, December 18-20, 1995)},
SERIES = {LNCS},
VOLUME = {1026},
PAGES = {484-498},
YEAR = {1995},
EDITOR = {Thiagarajan, P.S.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Bianco-Alfaro/95,
AUTHOR = {Bianco, Andrea and Alfaro, Luca de},
TITLE = {Model checking of probabilistic and nondeterministic systems},
BOOKTITLE = {Proceedings of the 15th Conference on Foundations of Software Technology and Theoretical Computer Science, FST\&TCS'95 (Bangalore, India, December 18-20, 1995)},
SERIES = {LNCS},
VOLUME = {1026},
PAGES = {499-513},
YEAR = {1995},
EDITOR = {Thiagarajan, P.S.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Ashikhmin-Barg/95,
AUTHOR = {Ashikhmin, Alexei and Barg, Alexander},
TITLE = {Minimal supports in linear codes},
BOOKTITLE = {Proceedings of the 5th IMA Conference on Cryptography and Coding, (Cirencester, United Kingdom, December 18-20, 1995)},
SERIES = {LNCS},
VOLUME = {1025},
PAGES = {13-13},
YEAR = {1995},
EDITOR = {Boyd, Colin},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Caballero-Gil-Fuster-Sabater/95,
AUTHOR = {Caballero-Gil, P. and F{\'{u}}ster-Sabater, A.},
TITLE = {Linear span analysis of a set of periodic sequence generators},
BOOKTITLE = {Proceedings of the 5th IMA Conference on Cryptography and Coding, (Cirencester, United Kingdom, December 18-20, 1995)},
SERIES = {LNCS},
VOLUME = {1025},
PAGES = {22-33},
YEAR = {1995},
EDITOR = {Boyd, Colin},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Ahmadian-Attari-Farrell/95,
AUTHOR = {Ahmadian-Attari, M. and Farrell, P.G.},
TITLE = {Multi-dimensional ring TCM codes for fading channels},
BOOKTITLE = {Proceedings of the 5th IMA Conference on Cryptography and Coding, (Cirencester, United Kingdom, December 18-20, 1995)},
SERIES = {LNCS},
VOLUME = {1025},
PAGES = {158-168},
YEAR = {1995},
EDITOR = {Boyd, Colin},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Cachin/95,
AUTHOR = {Cachin, Christian},
TITLE = {On-line secret sharing},
BOOKTITLE = {Proceedings of the 5th IMA Conference on Cryptography and Coding, (Cirencester, United Kingdom, December 18-20, 1995)},
SERIES = {LNCS},
VOLUME = {1025},
PAGES = {190-198},
YEAR = {1995},
EDITOR = {Boyd, Colin},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Canteaut/95,
AUTHOR = {Canteaut, Anne},
TITLE = {A new algorithm for finding minimum-weight words in large linear codes},
BOOKTITLE = {Proceedings of the 5th IMA Conference on Cryptography and Coding, (Cirencester, United Kingdom, December 18-20, 1995)},
SERIES = {LNCS},
VOLUME = {1025},
PAGES = {205-212},
YEAR = {1995},
EDITOR = {Boyd, Colin},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Buttigieg-Farrell/95,
AUTHOR = {Buttigieg, Victor and Farrell, Patrick G.},
TITLE = {Constructions for variable-length error-correcting codes},
BOOKTITLE = {Proceedings of the 5th IMA Conference on Cryptography and Coding, (Cirencester, United Kingdom, December 18-20, 1995)},
SERIES = {LNCS},
VOLUME = {1025},
PAGES = {282-291},
YEAR = {1995},
EDITOR = {Boyd, Colin},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Babel-Olariu/95,
AUTHOR = {Babel, Luitpold and Olariu, Stephan},
TITLE = {On the isomorphism of graphs with few $P_4$s},
BOOKTITLE = {Proceedings of the 21st International Workshop on Graph-Theoretic Concepts in Computer Science, WG'95 (Aachen, Germany, June 20-22, 1995)},
SERIES = {LNCS},
VOLUME = {1017},
PAGES = {24-36},
YEAR = {1995},
EDITOR = {Nagl, Manfred},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Bauderon/95,
AUTHOR = {Bauderon, Michel},
TITLE = {A uniform approach to graph rewriting: The pullback approach},
BOOKTITLE = {Proceedings of the 21st International Workshop on Graph-Theoretic Concepts in Computer Science, WG'95 (Aachen, Germany, June 20-22, 1995)},
SERIES = {LNCS},
VOLUME = {1017},
PAGES = {101-115},
YEAR = {1995},
EDITOR = {Nagl, Manfred},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Alimonti/95,
AUTHOR = {Alimonti, Paola},
TITLE = {Non-oblivious local search for graph and hypergraph coloring problems},
BOOKTITLE = {Proceedings of the 21st International Workshop on Graph-Theoretic Concepts in Computer Science, WG'95 (Aachen, Germany, June 20-22, 1995)},
SERIES = {LNCS},
VOLUME = {1017},
PAGES = {167-180},
YEAR = {1995},
EDITOR = {Nagl, Manfred},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Bodlaender-Tan-Thilikos-Leeuwen/95,
AUTHOR = {Bodlaender, Hans L. and Tan, Richard B. and Thilikos, Dimitris M. and Leeuwen, Jan van},
TITLE = {On interval routing schemes and treewidth},
BOOKTITLE = {Proceedings of the 21st International Workshop on Graph-Theoretic Concepts in Computer Science, WG'95 (Aachen, Germany, June 20-22, 1995)},
SERIES = {LNCS},
VOLUME = {1017},
PAGES = {181-196},
YEAR = {1995},
EDITOR = {Nagl, Manfred},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Birchler-Esfahanian-Torng/95,
AUTHOR = {Birchler, Barbara D. and Esfahanian, Abdol-Hossein and Torng, Eric},
TITLE = {Toward a general theory of unicast-based multicast communication},
BOOKTITLE = {Proceedings of the 21st International Workshop on Graph-Theoretic Concepts in Computer Science, WG'95 (Aachen, Germany, June 20-22, 1995)},
SERIES = {LNCS},
VOLUME = {1017},
PAGES = {237-251},
YEAR = {1995},
EDITOR = {Nagl, Manfred},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Chen-He/95a,
AUTHOR = {Chen, Zhi-Zhong and He, Xin},
TITLE = {NC algorithms for partitioning planar graphs into induced forests and approximating NP-hard problems},
BOOKTITLE = {Proceedings of the 21st International Workshop on Graph-Theoretic Concepts in Computer Science, WG'95 (Aachen, Germany, June 20-22, 1995)},
SERIES = {LNCS},
VOLUME = {1017},
PAGES = {275-289},
YEAR = {1995},
EDITOR = {Nagl, Manfred},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Bonizzoni-Vedova/95,
AUTHOR = {Bonizzoni, P. and Vedova, G. Della},
TITLE = {Modular decomposition of hypergraphs},
BOOKTITLE = {Proceedings of the 21st International Workshop on Graph-Theoretic Concepts in Computer Science, WG'95 (Aachen, Germany, June 20-22, 1995)},
SERIES = {LNCS},
VOLUME = {1017},
PAGES = {303-317},
YEAR = {1995},
EDITOR = {Nagl, Manfred},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Brandstadt-Dragan-Nicolai/95,
AUTHOR = {Brandst{\"a}dt, Andreas and Dragan, Feodor F. and Nicolai, Falk},
TITLE = {Homogeneously orderable graphs and the Steiner tree problem},
BOOKTITLE = {Proceedings of the 21st International Workshop on Graph-Theoretic Concepts in Computer Science, WG'95 (Aachen, Germany, June 20-22, 1995)},
SERIES = {LNCS},
VOLUME = {1017},
PAGES = {381-395},
YEAR = {1995},
EDITOR = {Nagl, Manfred},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Bhattacharya-Mukhopadhyay/95,
AUTHOR = {Bhattacharya, Binay K. and Mukhopadhyay, Asish},
TITLE = {Computing in linear time a chord from which a simple polygon is weakly internally visible},
BOOKTITLE = {Proceedings of the 6th International Symposium on Algorithms and Computation, ISAAC'95 (Cairns, Australia, December 4-6, 1995)},
SERIES = {LNCS},
VOLUME = {1004},
PAGES = {22-31},
YEAR = {1995},
EDITOR = {Staples, John and Eades, Peter and Katho, Naoki and Moffat, Alistair},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Santa Clara-Singapore-Tokyo},
}
@incollection{Chien-Steiger/95,
AUTHOR = {Chien, Hank and Steiger, William},
TITLE = {Some geometric lower bounds},
BOOKTITLE = {Proceedings of the 6th International Symposium on Algorithms and Computation, ISAAC'95 (Cairns, Australia, December 4-6, 1995)},
SERIES = {LNCS},
VOLUME = {1004},
PAGES = {72-81},
YEAR = {1995},
EDITOR = {Staples, John and Eades, Peter and Katho, Naoki and Moffat, Alistair},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Santa Clara-Singapore-Tokyo},
}
@incollection{Arge/95a,
AUTHOR = {Arge, Lars},
TITLE = {The I/O-complexity of ordered binary-decision diagram manipulation},
BOOKTITLE = {Proceedings of the 6th International Symposium on Algorithms and Computation, ISAAC'95 (Cairns, Australia, December 4-6, 1995)},
SERIES = {LNCS},
VOLUME = {1004},
PAGES = {82-91},
YEAR = {1995},
EDITOR = {Staples, John and Eades, Peter and Katho, Naoki and Moffat, Alistair},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Santa Clara-Singapore-Tokyo},
}
@incollection{Asahiro-Iwama/95,
AUTHOR = {Asahiro, Yuichi and Iwama, Kazuo},
TITLE = {Finding dense subgraphs},
BOOKTITLE = {Proceedings of the 6th International Symposium on Algorithms and Computation, ISAAC'95 (Cairns, Australia, December 4-6, 1995)},
SERIES = {LNCS},
VOLUME = {1004},
PAGES = {102-111},
YEAR = {1995},
EDITOR = {Staples, John and Eades, Peter and Katho, Naoki and Moffat, Alistair},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Santa Clara-Singapore-Tokyo},
}
@incollection{Chang/95,
AUTHOR = {Chang, Maw-Shang},
TITLE = {Weighted domination on cocomparability graphs},
BOOKTITLE = {Proceedings of the 6th International Symposium on Algorithms and Computation, ISAAC'95 (Cairns, Australia, December 4-6, 1995)},
SERIES = {LNCS},
VOLUME = {1004},
PAGES = {122-131},
YEAR = {1995},
EDITOR = {Staples, John and Eades, Peter and Katho, Naoki and Moffat, Alistair},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Santa Clara-Singapore-Tokyo},
}
@incollection{Andreev-Clementi-Crescenzi-Dahlhaus-Agostino-Rolim/95,
AUTHOR = {Andreev, A.E. and Clementi, A. and Crescenzi, P. and Dahlhaus, E. and Agostino, S. de and Rolim, J.D.P.},
TITLE = {The parallel complexity of approximatiing the high degree subgraph problem},
BOOKTITLE = {Proceedings of the 6th International Symposium on Algorithms and Computation, ISAAC'95 (Cairns, Australia, December 4-6, 1995)},
SERIES = {LNCS},
VOLUME = {1004},
PAGES = {132-141},
YEAR = {1995},
EDITOR = {Staples, John and Eades, Peter and Katho, Naoki and Moffat, Alistair},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Santa Clara-Singapore-Tokyo},
}
@incollection{Bafna-Berman-Fujito/95,
AUTHOR = {Bafna, Vineet and Berman, Piotr and Fujito, Toshihiro},
TITLE = {Constant ratio approximations of the weighted feedback vertex set problem for undirected graphs},
BOOKTITLE = {Proceedings of the 6th International Symposium on Algorithms and Computation, ISAAC'95 (Cairns, Australia, December 4-6, 1995)},
SERIES = {LNCS},
VOLUME = {1004},
PAGES = {142-151},
YEAR = {1995},
EDITOR = {Staples, John and Eades, Peter and Katho, Naoki and Moffat, Alistair},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Santa Clara-Singapore-Tokyo},
}
@incollection{Carlsson-Sundstrom/95,
AUTHOR = {Carlsson, Svante and Sundstr{\"o}m, Mikael},
TITLE = {Linear-time in-place selection in less than $3n$ comparisons},
BOOKTITLE = {Proceedings of the 6th International Symposium on Algorithms and Computation, ISAAC'95 (Cairns, Australia, December 4-6, 1995)},
SERIES = {LNCS},
VOLUME = {1004},
PAGES = {244-253},
YEAR = {1995},
EDITOR = {Staples, John and Eades, Peter and Katho, Naoki and Moffat, Alistair},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Santa Clara-Singapore-Tokyo},
}
@incollection{Carlsson-Chen/95a,
AUTHOR = {Carlsson, Svante and Chen, Jingsen},
TITLE = {Heap construction: Optimal in both worst and average cases?},
BOOKTITLE = {Proceedings of the 6th International Symposium on Algorithms and Computation, ISAAC'95 (Cairns, Australia, December 4-6, 1995)},
SERIES = {LNCS},
VOLUME = {1004},
PAGES = {254-263},
YEAR = {1995},
EDITOR = {Staples, John and Eades, Peter and Katho, Naoki and Moffat, Alistair},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Santa Clara-Singapore-Tokyo},
}
@incollection{Cheng-Tang/95,
AUTHOR = {Cheng, Siu-Wing and Tang, Chi-Keung},
TITLE = {A fast algorithm for computing optimal rectilinear Steiner trees for extremal point sets},
BOOKTITLE = {Proceedings of the 6th International Symposium on Algorithms and Computation, ISAAC'95 (Cairns, Australia, December 4-6, 1995)},
SERIES = {LNCS},
VOLUME = {1004},
PAGES = {322-331},
YEAR = {1995},
EDITOR = {Staples, John and Eades, Peter and Katho, Naoki and Moffat, Alistair},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Santa Clara-Singapore-Tokyo},
}
@incollection{Cho-Zelikovsky/95,
AUTHOR = {Cho, Hwan-Gue and Zelikovsky, Alexander},
TITLE = {Spanning closed trail and Hamiltonian cycle in grid graphs},
BOOKTITLE = {Proceedings of the 6th International Symposium on Algorithms and Computation, ISAAC'95 (Cairns, Australia, December 4-6, 1995)},
SERIES = {LNCS},
VOLUME = {1004},
PAGES = {342-351},
YEAR = {1995},
EDITOR = {Staples, John and Eades, Peter and Katho, Naoki and Moffat, Alistair},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Santa Clara-Singapore-Tokyo},
}
@incollection{Abello-Estivill-Castro-Shermer-Urrutia/95,
AUTHOR = {Abello, James and Estivill-Castro, Vladimir and Shermer, Thomas and Urrutia, Jorge},
TITLE = {Illumination with orthogonal floodlights},
BOOKTITLE = {Proceedings of the 6th International Symposium on Algorithms and Computation, ISAAC'95 (Cairns, Australia, December 4-6, 1995)},
SERIES = {LNCS},
VOLUME = {1004},
PAGES = {362-371},
YEAR = {1995},
EDITOR = {Staples, John and Eades, Peter and Katho, Naoki and Moffat, Alistair},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Santa Clara-Singapore-Tokyo},
}
@incollection{Bose-Toussaint/95a,
AUTHOR = {Bose, Prosenjit and Toussaint, Godfried},
TITLE = {No quadrangulation is extremely odd},
BOOKTITLE = {Proceedings of the 6th International Symposium on Algorithms and Computation, ISAAC'95 (Cairns, Australia, December 4-6, 1995)},
SERIES = {LNCS},
VOLUME = {1004},
PAGES = {372-381},
YEAR = {1995},
EDITOR = {Staples, John and Eades, Peter and Katho, Naoki and Moffat, Alistair},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Santa Clara-Singapore-Tokyo},
}
@incollection{Chin-Snoeyink-Wang/95,
AUTHOR = {Chin, Francis and Snoeyink, Jack and Wang, Cao An},
TITLE = {Finding the medial axis of a simple polygon in linear time},
BOOKTITLE = {Proceedings of the 6th International Symposium on Algorithms and Computation, ISAAC'95 (Cairns, Australia, December 4-6, 1995)},
SERIES = {LNCS},
VOLUME = {1004},
PAGES = {382-391},
YEAR = {1995},
EDITOR = {Staples, John and Eades, Peter and Katho, Naoki and Moffat, Alistair},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Santa Clara-Singapore-Tokyo},
}
@incollection{Bradford-Fleischer/95,
AUTHOR = {Bradford, Phillip G. and Fleischer, Rudolf},
TITLE = {Matching nuts and bolts faster},
BOOKTITLE = {Proceedings of the 6th International Symposium on Algorithms and Computation, ISAAC'95 (Cairns, Australia, December 4-6, 1995)},
SERIES = {LNCS},
VOLUME = {1004},
PAGES = {402-408},
YEAR = {1995},
EDITOR = {Staples, John and Eades, Peter and Katho, Naoki and Moffat, Alistair},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Santa Clara-Singapore-Tokyo},
}
@incollection{Chen/95i,
AUTHOR = {Chen, Zhi-Zhong},
TITLE = {$NC$-Algorithms for partitioning sparse graphs into induced forests with an application},
BOOKTITLE = {Proceedings of the 6th International Symposium on Algorithms and Computation, ISAAC'95 (Cairns, Australia, December 4-6, 1995)},
SERIES = {LNCS},
VOLUME = {1004},
PAGES = {428-437},
YEAR = {1995},
EDITOR = {Staples, John and Eades, Peter and Katho, Naoki and Moffat, Alistair},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Santa Clara-Singapore-Tokyo},
}
@incollection{Brassard/95,
AUTHOR = {Brassard, Gilles},
TITLE = {A quantum jump in computer science},
BOOKTITLE = {Computer Science Today: Recent Trends and Developments},
SERIES = {LNCS},
VOLUME = {1000},
PAGES = {1-14},
YEAR = {1995},
EDITOR = {van Leeuwen, J.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Bai-Day-Demmel-Dongarra-Gu-Ruhe-Vorst/95,
AUTHOR = {Bai, Zhaojun and Day, David and Demmel, James and Dongarra, Jack and Gu, Ming and Ruhe, Axel and Vorst, Henk van der},
TITLE = {Templates for linear algebra problems},
BOOKTITLE = {Computer Science Today: Recent Trends and Developments},
SERIES = {LNCS},
VOLUME = {1000},
PAGES = {115-140},
YEAR = {1995},
EDITOR = {van Leeuwen, J.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Beth-Klappenecker-Minkwitz-Nuckel/95,
AUTHOR = {Beth, Thomas and Klappenecker, Andreas and Minkwitz, Torsten and N{\"u}ckel, Armin},
TITLE = {The ART behind IDEAS},
BOOKTITLE = {Computer Science Today: Recent Trends and Developments},
SERIES = {LNCS},
VOLUME = {1000},
PAGES = {141-158},
YEAR = {1995},
EDITOR = {van Leeuwen, J.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Adleman/95,
AUTHOR = {Adleman, Leonard M.},
TITLE = {Algorithmic number theory and its relationship to computational complexity},
BOOKTITLE = {Computer Science Today: Recent Trends and Developments},
SERIES = {LNCS},
VOLUME = {1000},
PAGES = {159-171},
YEAR = {1995},
EDITOR = {van Leeuwen, J.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Anuchitanukul-Manna-Uribe/95,
AUTHOR = {Anuchitanukul, Anuchit and Manna, Zohar and Uribe, Tom{\'{a}}s E.},
TITLE = {Differential BBDs},
BOOKTITLE = {Computer Science Today: Recent Trends and Developments},
SERIES = {LNCS},
VOLUME = {1000},
PAGES = {218-233},
YEAR = {1995},
EDITOR = {van Leeuwen, J.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Agarwal-Sharir/95,
AUTHOR = {Agarwal, Pankaj K. and Sharir, Micha},
TITLE = {Algorithmic techniques for geometric optimization},
BOOKTITLE = {Computer Science Today: Recent Trends and Developments},
SERIES = {LNCS},
VOLUME = {1000},
PAGES = {234-253},
YEAR = {1995},
EDITOR = {van Leeuwen, J.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Broy/95a,
AUTHOR = {Broy, Manfred},
TITLE = {Mathematical system models as a basis of software engineering},
BOOKTITLE = {Computer Science Today: Recent Trends and Developments},
SERIES = {LNCS},
VOLUME = {1000},
PAGES = {292-306},
YEAR = {1995},
EDITOR = {van Leeuwen, J.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Bruynooghe-Codish-Mulkers/95,
AUTHOR = {Bruynooghe, Maurice and Codish, Michael and Mulkers, Anne},
TITLE = {Abstracting unification: A key step in the design of logic program analyses},
BOOKTITLE = {Computer Science Today: Recent Trends and Developments},
SERIES = {LNCS},
VOLUME = {1000},
PAGES = {406-425},
YEAR = {1995},
EDITOR = {van Leeuwen, J.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Anderson-Needham/95,
AUTHOR = {Anderson, Ross and Needham, Roger},
TITLE = {Programming Satan's computer},
BOOKTITLE = {Computer Science Today: Recent Trends and Developments},
SERIES = {LNCS},
VOLUME = {1000},
PAGES = {426-440},
YEAR = {1995},
EDITOR = {van Leeuwen, J.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Clarke-Jha/95,
AUTHOR = {Clarke, E.M. and Jha, S.},
TITLE = {Symmetry and induction in model checking},
BOOKTITLE = {Computer Science Today: Recent Trends and Developments},
SERIES = {LNCS},
VOLUME = {1000},
PAGES = {455-470},
YEAR = {1995},
EDITOR = {van Leeuwen, J.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Bulterman-Hardman/95,
AUTHOR = {Bulterman, Dick C.A. and Hardman, Lynda},
TITLE = {Multimedia authoring tools: State of the art and research challenges},
BOOKTITLE = {Computer Science Today: Recent Trends and Developments},
SERIES = {LNCS},
VOLUME = {1000},
PAGES = {575-591},
YEAR = {1995},
EDITOR = {van Leeuwen, J.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Botorog-Kuchen/95,
AUTHOR = {Botorog, George Horatiu and Kuchen, Herbert},
TITLE = {Algorithmic skeletons for adaptive multigrid methods},
BOOKTITLE = {Proceedings of the 2nd International Workshop on Parallel Algorithms for Irregularly Structured Problems, IRREGULAR'95 (Lyon, France, September 4-6,1995)},
SERIES = {LNCS},
VOLUME = {980},
PAGES = {27-41},
YEAR = {1995},
EDITOR = {Ferreira, Alfonso and Rolim, Jos{\'{e}}},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Auletta-Negro-Scarano/95,
AUTHOR = {Auletta, Vincenzo and Negro, Alberto and Scarano, Vittorio},
TITLE = {Fast execution of irregularly structured programs with low communication frequency on the hypercube},
BOOKTITLE = {Proceedings of the 2nd International Workshop on Parallel Algorithms for Irregularly Structured Problems, IRREGULAR'95 (Lyon, France, September 4-6,1995)},
SERIES = {LNCS},
VOLUME = {980},
PAGES = {59-73},
YEAR = {1995},
EDITOR = {Ferreira, Alfonso and Rolim, Jos{\'{e}}},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Aykanat-Haritaoglu/95,
AUTHOR = {Aykanat, Cevdet and Haritao{\u{g}}lu, {\.I}smail},
TITLE = {An efficient mean field annealing formulation for mapping unstructured domains to hypercubes},
BOOKTITLE = {Proceedings of the 2nd International Workshop on Parallel Algorithms for Irregularly Structured Problems, IRREGULAR'95 (Lyon, France, September 4-6,1995)},
SERIES = {LNCS},
VOLUME = {980},
PAGES = {115-120},
YEAR = {1995},
EDITOR = {Ferreira, Alfonso and Rolim, Jos{\'{e}}},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Boeres-Chochia-Thanisch/95,
AUTHOR = {Boeres, Cristina and Chochia, George and Thanisch, Peter},
TITLE = {On the scope of applicability of the ETF algorithm},
BOOKTITLE = {Proceedings of the 2nd International Workshop on Parallel Algorithms for Irregularly Structured Problems, IRREGULAR'95 (Lyon, France, September 4-6,1995)},
SERIES = {LNCS},
VOLUME = {980},
PAGES = {159-164},
YEAR = {1995},
EDITOR = {Ferreira, Alfonso and Rolim, Jos{\'{e}}},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Cantor-Sano-Broude-Smith/95,
AUTHOR = {Cantor, Charles R. and Sano, Takeshi and Broude, Natalia E. and Smith, Cassandra L.},
TITLE = {Parallel processing in DNA analysis},
BOOKTITLE = {Proceedings of the 2nd International Workshop on Parallel Algorithms for Irregularly Structured Problems, IRREGULAR'95 (Lyon, France, September 4-6,1995)},
SERIES = {LNCS},
VOLUME = {980},
PAGES = {171-185},
YEAR = {1995},
EDITOR = {Ferreira, Alfonso and Rolim, Jos{\'{e}}},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Bubeck-Hiller-Kuchlin-Rosenstiel/95,
AUTHOR = {Bubeck, T. and Hiller, M. and K{\"u}chlin, W. and Rosenstiel, W.},
TITLE = {Distributed symbolic computation with DTS},
BOOKTITLE = {Proceedings of the 2nd International Workshop on Parallel Algorithms for Irregularly Structured Problems, IRREGULAR'95 (Lyon, France, September 4-6,1995)},
SERIES = {LNCS},
VOLUME = {980},
PAGES = {231-248},
YEAR = {1995},
EDITOR = {Ferreira, Alfonso and Rolim, Jos{\'{e}}},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Benaini-Laiymani-Perrin/95,
AUTHOR = {Benaini, A. and Laiymani, D. and Perrin, G.R.},
TITLE = {A reconfigurable parallel algorithm for sparse Cholesky factorization},
BOOKTITLE = {Proceedings of the 2nd International Workshop on Parallel Algorithms for Irregularly Structured Problems, IRREGULAR'95 (Lyon, France, September 4-6,1995)},
SERIES = {LNCS},
VOLUME = {980},
PAGES = {261-274},
YEAR = {1995},
EDITOR = {Ferreira, Alfonso and Rolim, Jos{\'{e}}},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Correa/95,
AUTHOR = {Corr{\^{e}}a, Ricardo},
TITLE = {A parallel formulation for general branch-and bound algorithms},
BOOKTITLE = {Proceedings of the 2nd International Workshop on Parallel Algorithms for Irregularly Structured Problems, IRREGULAR'95 (Lyon, France, September 4-6,1995)},
SERIES = {LNCS},
VOLUME = {980},
PAGES = {395-409},
YEAR = {1995},
EDITOR = {Ferreira, Alfonso and Rolim, Jos{\'{e}}},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Baumker-Dittrich-Meyer_auf_der_Heide/95,
AUTHOR = {B{\"a}umker, Armin and Dittrich, Wolfgang and Meyer auf der Heide, Friedhelm},
TITLE = {Truly efficient parallel algorithms: $c$-optimal multisearch for an extension of the BSP model},
BOOKTITLE = {Proceedings of the 3rd Annual European Symposium on Algorithms, ESA'95 (Corfu, Greece, September 25-27, 1995)},
SERIES = {LNCS},
VOLUME = {979},
PAGES = {17-30},
YEAR = {1995},
EDITOR = {Spirakis, Paul},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Chaudhuri-Zaroliagis/95a,
AUTHOR = {Chaudhuri, Shiva and Zaroliagis, Christos D.},
TITLE = {Optimal parallel shortest paths in small treewidth digraphs},
BOOKTITLE = {Proceedings of the 3rd Annual European Symposium on Algorithms, ESA'95 (Corfu, Greece, September 25-27, 1995)},
SERIES = {LNCS},
VOLUME = {979},
PAGES = {31-45},
YEAR = {1995},
EDITOR = {Spirakis, Paul},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Chlebus-Gaieniec-Pelc/95,
AUTHOR = {Chlebus, Bogdan S. and G{\c{a}}ieniec, Leszek and Pelc, Andrzej},
TITLE = {Fast deterministic simulation of computations on faulty parallel machines},
BOOKTITLE = {Proceedings of the 3rd Annual European Symposium on Algorithms, ESA'95 (Corfu, Greece, September 25-27, 1995)},
SERIES = {LNCS},
VOLUME = {979},
PAGES = {89-101},
YEAR = {1995},
EDITOR = {Spirakis, Paul},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Codenotti-Gemmell-Simon/95,
AUTHOR = {Codenotti, Bruno and Gemmell, Peter and Simon, Janos},
TITLE = {Average circuit depth and average communication complexity},
BOOKTITLE = {Proceedings of the 3rd Annual European Symposium on Algorithms, ESA'95 (Corfu, Greece, September 25-27, 1995)},
SERIES = {LNCS},
VOLUME = {979},
PAGES = {102-112},
YEAR = {1995},
EDITOR = {Spirakis, Paul},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Chor-Sudan/95,
AUTHOR = {Chor, Benny and Sudan, Madhu},
TITLE = {A geometric approach to betweenness},
BOOKTITLE = {Proceedings of the 3rd Annual European Symposium on Algorithms, ESA'95 (Corfu, Greece, September 25-27, 1995)},
SERIES = {LNCS},
VOLUME = {979},
PAGES = {227-237},
YEAR = {1995},
EDITOR = {Spirakis, Paul},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Chew-Dor-Efrat-Kedem/95,
AUTHOR = {Chew, L. Paul and Dor, Dorit and Efrat, Alon and Kedem, Klara},
TITLE = {Geometric pattern matching in $d$-dimensional space},
BOOKTITLE = {Proceedings of the 3rd Annual European Symposium on Algorithms, ESA'95 (Corfu, Greece, September 25-27, 1995)},
SERIES = {LNCS},
VOLUME = {979},
PAGES = {264-279},
YEAR = {1995},
EDITOR = {Spirakis, Paul},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Arge-Vengroff-Vitter/95,
AUTHOR = {Arge, Lars and Vengroff, Darren Erik and Vitter, Jeffrey Scott},
TITLE = {External-memory algorithms for processing line segments in geographic information systems},
BOOKTITLE = {Proceedings of the 3rd Annual European Symposium on Algorithms, ESA'95 (Corfu, Greece, September 25-27, 1995)},
SERIES = {LNCS},
VOLUME = {979},
PAGES = {295-310},
YEAR = {1995},
EDITOR = {Spirakis, Paul},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Barbosa-Navarro-Baeza-Yates-Perleberg-Ziviani/95,
AUTHOR = {Barbosa, Eduardo Fernandes and Navarro, Gonzalo and Baeza-Yates, Ricardo and Perleberg, Chris and Ziviani, Nivio},
TITLE = {Optimized binary search and text retrieval},
BOOKTITLE = {Proceedings of the 3rd Annual European Symposium on Algorithms, ESA'95 (Corfu, Greece, September 25-27, 1995)},
SERIES = {LNCS},
VOLUME = {979},
PAGES = {311-326},
YEAR = {1995},
EDITOR = {Spirakis, Paul},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Berthome-Duboux-Hagerup-Newman-Schuster/95,
AUTHOR = {Berthom{\'{e}}, P. and Duboux, Th. and Hagerup, T. and Newman, I. and Schuster, A.},
TITLE = {Self-simulation for the Passive Optical Star Model},
BOOKTITLE = {Proceedings of the 3rd Annual European Symposium on Algorithms, ESA'95 (Corfu, Greece, September 25-27, 1995)},
SERIES = {LNCS},
VOLUME = {979},
PAGES = {369-380},
YEAR = {1995},
EDITOR = {Spirakis, Paul},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Bern-Eppstein-Guibas-Hershberger-Suri-Wolter/95,
AUTHOR = {Bern, Marshall and Eppstein, David and Guibas, Leonidas and Hershberger, John and Suri, Subhash and Wolter, Jan},
TITLE = {The centroid of points with approximate weights},
BOOKTITLE = {Proceedings of the 3rd Annual European Symposium on Algorithms, ESA'95 (Corfu, Greece, September 25-27, 1995)},
SERIES = {LNCS},
VOLUME = {979},
PAGES = {460-472},
YEAR = {1995},
EDITOR = {Spirakis, Paul},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Alon-Galil-Yung/95,
AUTHOR = {Alon, Noga and Galil, Zvi and Yung, Moti},
TITLE = {Efficient dynamic-resharing "Verifiable Secret Sharing" against mobile adversary},
BOOKTITLE = {Proceedings of the 3rd Annual European Symposium on Algorithms, ESA'95 (Corfu, Greece, September 25-27, 1995)},
SERIES = {LNCS},
VOLUME = {979},
PAGES = {523-537},
YEAR = {1995},
EDITOR = {Spirakis, Paul},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Aggarwal-Garay-Herzberg/95,
AUTHOR = {Aggarwal, Sudhanshu and Garay, Juan A. and Herzberg, Amir},
TITLE = {Adaptive video on demand},
BOOKTITLE = {Proceedings of the 3rd Annual European Symposium on Algorithms, ESA'95 (Corfu, Greece, September 25-27, 1995)},
SERIES = {LNCS},
VOLUME = {979},
PAGES = {538-553},
YEAR = {1995},
EDITOR = {Spirakis, Paul},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Ajili-Contejean/95,
AUTHOR = {Ajili, Farid and Contejean, Evelyne},
TITLE = {Complete solving of linear diophantine equations and inequations without adding variables},
BOOKTITLE = {Proceedings of the 1st International Conference on Principles and Practice of Constraint Programming, CP'95 (Cassis, France, September 19-22, 1995)},
SERIES = {LNCS},
VOLUME = {976},
PAGES = {1-17},
YEAR = {1995},
EDITOR = {Montanari, Ugo and Rossi, Francessca},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Bacchus-Run/95,
AUTHOR = {Bacchus, Fahiem and Run, Paul van},
TITLE = {Dynamic variable ordering in CSPs},
BOOKTITLE = {Proceedings of the 1st International Conference on Principles and Practice of Constraint Programming, CP'95 (Cassis, France, September 19-22, 1995)},
SERIES = {LNCS},
VOLUME = {976},
PAGES = {258-275},
YEAR = {1995},
EDITOR = {Montanari, Ugo and Rossi, Francessca},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Bacchus-Grove/95,
AUTHOR = {Bacchus, Fahiem and Grove, Adam},
TITLE = {On the forward checking algorithm},
BOOKTITLE = {Proceedings of the 1st International Conference on Principles and Practice of Constraint Programming, CP'95 (Cassis, France, September 19-22, 1995)},
SERIES = {LNCS},
VOLUME = {976},
PAGES = {292-309},
YEAR = {1995},
EDITOR = {Montanari, Ugo and Rossi, Francessca},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Codognet-Codognet/95,
AUTHOR = {Codognet, Christian and Codognet, Philippe},
TITLE = {Guarded constructive disjunction: Angel or demon?},
BOOKTITLE = {Proceedings of the 1st International Conference on Principles and Practice of Constraint Programming, CP'95 (Cassis, France, September 19-22, 1995)},
SERIES = {LNCS},
VOLUME = {976},
PAGES = {345-361},
YEAR = {1995},
EDITOR = {Montanari, Ugo and Rossi, Francessca},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Baader-Schulz/95,
AUTHOR = {Baader, Franz and Schulz, Klaus U.},
TITLE = {On the combination of symbolic constraints, solution domains, and constraint solvers},
BOOKTITLE = {Proceedings of the 1st International Conference on Principles and Practice of Constraint Programming, CP'95 (Cassis, France, September 19-22, 1995)},
SERIES = {LNCS},
VOLUME = {976},
PAGES = {380-397},
YEAR = {1995},
EDITOR = {Montanari, Ugo and Rossi, Francessca},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Colussi-Marchiori-Marchiori/95,
AUTHOR = {Colussi, Livio and Marchiori, Elena and Marchiori, Massimo},
TITLE = {On termination of constraint logic programs},
BOOKTITLE = {Proceedings of the 1st International Conference on Principles and Practice of Constraint Programming, CP'95 (Cassis, France, September 19-22, 1995)},
SERIES = {LNCS},
VOLUME = {976},
PAGES = {431-448},
YEAR = {1995},
EDITOR = {Montanari, Ugo and Rossi, Francessca},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Buchberger/95a,
AUTHOR = {Buchberger, Bruno},
TITLE = {What is symbolic computation?},
BOOKTITLE = {Proceedings of the 1st International Conference on Principles and Practice of Constraint Programming, CP'95 (Cassis, France, September 19-22, 1995)},
SERIES = {LNCS},
VOLUME = {976},
PAGES = {563-563},
YEAR = {1995},
EDITOR = {Montanari, Ugo and Rossi, Francessca},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Bjorner-Browne-Manna/95,
AUTHOR = {Bjorner, Nikolaj and Browne, Anca and Manna, Zohar},
TITLE = {Automatic generation of invariants and intermediate assertions},
BOOKTITLE = {Proceedings of the 1st International Conference on Principles and Practice of Constraint Programming, CP'95 (Cassis, France, September 19-22, 1995)},
SERIES = {LNCS},
VOLUME = {976},
PAGES = {589-623},
YEAR = {1995},
EDITOR = {Montanari, Ugo and Rossi, Francessca},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Borning-Freeman-Benson/95,
AUTHOR = {Borning, Alan and Freeman-Benson, Bjorn N.},
TITLE = {The OTI constraint solver: A constraint library for constructing interactive graphical user interfaces},
BOOKTITLE = {Proceedings of the 1st International Conference on Principles and Practice of Constraint Programming, CP'95 (Cassis, France, September 19-22, 1995)},
SERIES = {LNCS},
VOLUME = {976},
PAGES = {624-628},
YEAR = {1995},
EDITOR = {Montanari, Ugo and Rossi, Francessca},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Babaoglu-Davoli-Giachini-Sabattini/95,
AUTHOR = {Babao{\u{g}}lu, {\"O}zalp and Davoli, Renzo and Giachini, Luigi and Sabattini, Paolo},
TITLE = {The inherent cost of strong-partial view-synchronous communication},
BOOKTITLE = {Proceedings of the 9th International Workshop on Distributed Algorithms, WDAG'95 (Le Mont-Saint-Michel, France, September 13-15, 1995)},
SERIES = {LNCS},
VOLUME = {972},
PAGES = {72-86},
YEAR = {1995},
EDITOR = {H{\'{e}}lary, Jean-Michel and Raynal, Michel},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Awerbuch-Kutten-Mansour-Peleg/95,
AUTHOR = {Awerbuch, Baruch and Kutten, Shay and Mansour, Yishay and Peleg, David},
TITLE = {Optimal broadcast with partial knowledge},
BOOKTITLE = {Proceedings of the 9th International Workshop on Distributed Algorithms, WDAG'95 (Le Mont-Saint-Michel, France, September 13-15, 1995)},
SERIES = {LNCS},
VOLUME = {972},
PAGES = {116-130},
YEAR = {1995},
EDITOR = {H{\'{e}}lary, Jean-Michel and Raynal, Michel},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Anderson-Moir/95,
AUTHOR = {Anderson, James H. and Moir, Mark},
TITLE = {Universal constructions for large objects},
BOOKTITLE = {Proceedings of the 9th International Workshop on Distributed Algorithms, WDAG'95 (Le Mont-Saint-Michel, France, September 13-15, 1995)},
SERIES = {LNCS},
VOLUME = {972},
PAGES = {168-182},
YEAR = {1995},
EDITOR = {H{\'{e}}lary, Jean-Michel and Raynal, Michel},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Arora-Gouda/95,
AUTHOR = {Arora, Anish and Gouda, Mohamed G.},
TITLE = {Load balancing: An exercise in constrained convergence},
BOOKTITLE = {Proceedings of the 9th International Workshop on Distributed Algorithms, WDAG'95 (Le Mont-Saint-Michel, France, September 13-15, 1995)},
SERIES = {LNCS},
VOLUME = {972},
PAGES = {183-197},
YEAR = {1995},
EDITOR = {H{\'{e}}lary, Jean-Michel and Raynal, Michel},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Bao-Igarashi-Katano/95,
AUTHOR = {Bao, Feng and Igarashi, Yoshihide and Katano, Keiko},
TITLE = {Broadcasting in hypercubes with randomly distributed Byzantine faults},
BOOKTITLE = {Proceedings of the 9th International Workshop on Distributed Algorithms, WDAG'95 (Le Mont-Saint-Michel, France, September 13-15, 1995)},
SERIES = {LNCS},
VOLUME = {972},
PAGES = {215-229},
YEAR = {1995},
EDITOR = {H{\'{e}}lary, Jean-Michel and Raynal, Michel},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Borcherding/95,
AUTHOR = {Borcherding, Malte},
TITLE = {On the number of authenticated rounds in Byzantine agreement},
BOOKTITLE = {Proceedings of the 9th International Workshop on Distributed Algorithms, WDAG'95 (Le Mont-Saint-Michel, France, September 13-15, 1995)},
SERIES = {LNCS},
VOLUME = {972},
PAGES = {230-241},
YEAR = {1995},
EDITOR = {H{\'{e}}lary, Jean-Michel and Raynal, Michel},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Butelle-Lavault-Bui/95,
AUTHOR = {Butelle, Franck and Lavault, Christian and Bui, Marc},
TITLE = {A uniform self-stabilizing minimum diameter spanning tree algorithm},
BOOKTITLE = {Proceedings of the 9th International Workshop on Distributed Algorithms, WDAG'95 (Le Mont-Saint-Michel, France, September 13-15, 1995)},
SERIES = {LNCS},
VOLUME = {972},
PAGES = {257-272},
YEAR = {1995},
EDITOR = {H{\'{e}}lary, Jean-Michel and Raynal, Michel},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Chase-Garg/95,
AUTHOR = {Chase, Craig M. and Garg, Vijay K.},
TITLE = {Efficient detection of restricted classes of global predicates},
BOOKTITLE = {Proceedings of the 9th International Workshop on Distributed Algorithms, WDAG'95 (Le Mont-Saint-Michel, France, September 13-15, 1995)},
SERIES = {LNCS},
VOLUME = {972},
PAGES = {303-317},
YEAR = {1995},
EDITOR = {H{\'{e}}lary, Jean-Michel and Raynal, Michel},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Adler-Byers-Karp/95b,
AUTHOR = {Adler, Micah and Byers, John W. and Karp, Richard M.},
TITLE = {Scheduling parallel communication: The $h$-relation problem},
BOOKTITLE = {Proceedings of the 20th International Symposium on Mathematical Foundations of Computer Science, MFCS'95 (Prague, Czech Republic, August 28 - September 1, 1995)},
SERIES = {LNCS},
VOLUME = {969},
PAGES = {1-20},
YEAR = {1995},
EDITOR = {Wiedermann, Ji{\v{r}}{\'i} and H{\'a}jek, Petr},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=969&spage=1},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Arnborg/95,
AUTHOR = {Arnborg, Stefan},
TITLE = {Decomposable structures, Boolean function representations, and optimization},
BOOKTITLE = {Proceedings of the 20th International Symposium on Mathematical Foundations of Computer Science, MFCS'95 (Prague, Czech Republic, August 28 - September 1, 1995)},
SERIES = {LNCS},
VOLUME = {969},
PAGES = {21-36},
YEAR = {1995},
EDITOR = {Wiedermann, Ji{\v{r}}{\'{i}} and H{\'{a}}jek, Petr},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Allender-Strauss/95,
AUTHOR = {Allender, Eric and Strauss, Martin},
TITLE = {Measure on $P$: Robustness of the notion},
BOOKTITLE = {Proceedings of the 20th International Symposium on Mathematical Foundations of Computer Science, MFCS'95 (Prague, Czech Republic, August 28 - September 1, 1995)},
SERIES = {LNCS},
VOLUME = {969},
PAGES = {129-138},
YEAR = {1995},
EDITOR = {Wiedermann, Ji{\v{r}}{\'{i}} and H{\'{a}}jek, Petr},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Burtschick/95,
AUTHOR = {Burtschick, Hans-J{\"o}rg},
TITLE = {Comparing counting classes for logspace, one-way logspace, and first-order},
BOOKTITLE = {Proceedings of the 20th International Symposium on Mathematical Foundations of Computer Science, MFCS'95 (Prague, Czech Republic, August 28 - September 1, 1995)},
SERIES = {LNCS},
VOLUME = {969},
PAGES = {139-148},
YEAR = {1995},
EDITOR = {Wiedermann, Ji{\v{r}}{\'{i}} and H{\'{a}}jek, Petr},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Beauquier-Burago-Slissenko/95,
AUTHOR = {Beauquier, Dani{\`{e}}le and Burago, Dima and Slissenko, Anatol},
TITLE = {On the complexity of finite memory policies for Markov decision processes},
BOOKTITLE = {Proceedings of the 20th International Symposium on Mathematical Foundations of Computer Science, MFCS'95 (Prague, Czech Republic, August 28 - September 1, 1995)},
SERIES = {LNCS},
VOLUME = {969},
PAGES = {191-200},
YEAR = {1995},
EDITOR = {Wiedermann, Ji{\v{r}}{\'{i}} and H{\'{a}}jek, Petr},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Bertram-Kretzberg-Hofmeister/95,
AUTHOR = {Bertram-Kretzberg, Claudia and Hofmeister, Thomas},
TITLE = {Multiple product modulo arbitrary numbers},
BOOKTITLE = {Proceedings of the 20th International Symposium on Mathematical Foundations of Computer Science, MFCS'95 (Prague, Czech Republic, August 28 - September 1, 1995)},
SERIES = {LNCS},
VOLUME = {969},
PAGES = {288-298},
YEAR = {1995},
EDITOR = {Wiedermann, Ji{\v{r}}{\'{i}} and H{\'{a}}jek, Petr},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Bertoni-Mereghetti-Pighizzini/95,
AUTHOR = {Bertoni, Alberto and Mereghetti, Carlo and Pighizzini, Giovanni},
TITLE = {Strong optimal lower bounds for Turing machines that accept nonregular languages},
BOOKTITLE = {Proceedings of the 20th International Symposium on Mathematical Foundations of Computer Science, MFCS'95 (Prague, Czech Republic, August 28 - September 1, 1995)},
SERIES = {LNCS},
VOLUME = {969},
PAGES = {309-318},
YEAR = {1995},
EDITOR = {Wiedermann, Ji{\v{r}}{\'{i}} and H{\'{a}}jek, Petr},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Breveglieri-Cherubini-Crespi_Reghizzi/95,
AUTHOR = {Breveglieri, Luca and Cherubini, Alessandra and Crespi Reghizzi, Stefano},
TITLE = {Deterministic parsing for augmented context-free grammars},
BOOKTITLE = {Proceedings of the 20th International Symposium on Mathematical Foundations of Computer Science, MFCS'95 (Prague, Czech Republic, August 28 - September 1, 1995)},
SERIES = {LNCS},
VOLUME = {969},
PAGES = {326-336},
YEAR = {1995},
EDITOR = {Wiedermann, Ji{\v{r}}{\'i} and H{\'a}jek, Petr},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=969&spage=326},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Burkart-Caucal-Steffen/95,
AUTHOR = {Burkart, Olaf and Caucal, Didier and Steffen, Bernhard},
TITLE = {An elementary bisimulation decision procedure for arbitrary context-free processes},
BOOKTITLE = {Proceedings of the 20th International Symposium on Mathematical Foundations of Computer Science, MFCS'95 (Prague, Czech Republic, August 28 - September 1, 1995)},
SERIES = {LNCS},
VOLUME = {969},
PAGES = {423-433},
YEAR = {1995},
EDITOR = {Wiedermann, Ji{\v{r}}{\'{i}} and H{\'{a}}jek, Petr},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Bauget-Gastin/95,
AUTHOR = {Bauget, Serge and Gastin, Paul},
TITLE = {On congruences and partial orders},
BOOKTITLE = {Proceedings of the 20th International Symposium on Mathematical Foundations of Computer Science, MFCS'95 (Prague, Czech Republic, August 28 - September 1, 1995)},
SERIES = {LNCS},
VOLUME = {969},
PAGES = {434-443},
YEAR = {1995},
EDITOR = {Wiedermann, Ji{\v{r}}{\'{i}} and H{\'{a}}jek, Petr},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Corradini-Gorrieri-Roccetti/95,
AUTHOR = {Corradini, Flavio and Gorrieri, Roberto and Roccetti, Marco},
TITLE = {Performance preorder: Ordering processes with respect to speed},
BOOKTITLE = {Proceedings of the 20th International Symposium on Mathematical Foundations of Computer Science, MFCS'95 (Prague, Czech Republic, August 28 - September 1, 1995)},
SERIES = {LNCS},
VOLUME = {969},
PAGES = {444-453},
YEAR = {1995},
EDITOR = {Wiedermann, Ji{\v{r}}{\'{i}} and H{\'{a}}jek, Petr},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Abadi-Merz/95,
AUTHOR = {Abadi, Mart{\'{i}}n and Merz, Stephan},
TITLE = {An abstract account of composition},
BOOKTITLE = {Proceedings of the 20th International Symposium on Mathematical Foundations of Computer Science, MFCS'95 (Prague, Czech Republic, August 28 - September 1, 1995)},
SERIES = {LNCS},
VOLUME = {969},
PAGES = {499-508},
YEAR = {1995},
EDITOR = {Wiedermann, Ji{\v{r}}{\'{i}} and H{\'{a}}jek, Petr},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Caspi-Girault/95,
AUTHOR = {Caspi, Paul and Girault, Alain},
TITLE = {Execution of distributed reactive systems},
BOOKTITLE = {Proceedings of the 1st International EURO-PAR Conference on Parallel Processing (Stockholm, Sweden, August 29-31, 1995)},
SERIES = {LNCS},
VOLUME = {966},
PAGES = {15-26},
YEAR = {1995},
EDITOR = {Haridi, Seif and Ali, Khayri and Magnusson, Peter},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Chiou-Ang-Greiner-Arvind-Hoe-Beckerle-Hicks-Boughton/95,
AUTHOR = {Chiou, Derek and Ang, Boon S. and Greiner, Robert and Arvind and Hoe, James C. and Beckerle, Michael J. and Hicks, James E. and Boughton, Andy},
TITLE = {StarT-NG: Delivering seamless parallel computing},
BOOKTITLE = {Proceedings of the 1st International EURO-PAR Conference on Parallel Processing (Stockholm, Sweden, August 29-31, 1995)},
SERIES = {LNCS},
VOLUME = {966},
PAGES = {101-116},
YEAR = {1995},
EDITOR = {Haridi, Seif and Ali, Khayri and Magnusson, Peter},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Bouge-Cachera/95,
AUTHOR = {Boug{\'{e}}, Luc and Cachera, David},
TITLE = {On the completeness of a proof system for a simple data-parallel programming language},
BOOKTITLE = {Proceedings of the 1st International EURO-PAR Conference on Parallel Processing (Stockholm, Sweden, August 29-31, 1995)},
SERIES = {LNCS},
VOLUME = {966},
PAGES = {143-154},
YEAR = {1995},
EDITOR = {Haridi, Seif and Ali, Khayri and Magnusson, Peter},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Clemencon-Fritscher-Meehan-Ruhl/95,
AUTHOR = {Cl{\'{e}}men{\c{c}}on, C. and Fritscher, J. and Meehan, M.J. and R{\"u}hl, R.},
TITLE = {An implementation of race detection and deterministic replay with MPI},
BOOKTITLE = {Proceedings of the 1st International EURO-PAR Conference on Parallel Processing (Stockholm, Sweden, August 29-31, 1995)},
SERIES = {LNCS},
VOLUME = {966},
PAGES = {155-166},
YEAR = {1995},
EDITOR = {Haridi, Seif and Ali, Khayri and Magnusson, Peter},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Achilles/95,
AUTHOR = {Achilles, Alf-Christian},
TITLE = {Optimal emulation of meshes on meshes of trees},
BOOKTITLE = {Proceedings of the 1st International EURO-PAR Conference on Parallel Processing (Stockholm, Sweden, August 29-31, 1995)},
SERIES = {LNCS},
VOLUME = {966},
PAGES = {193-204},
YEAR = {1995},
EDITOR = {Haridi, Seif and Ali, Khayri and Magnusson, Peter},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Bhatt-Bilardi-Herley-Pucci-Ranade/95,
AUTHOR = {Bhatt, Sandeep N. and Bilardi, Gianfranco and Herley, Kieran T. and Pucci, Geppino and Ranade, Abhiram G.},
TITLE = {Tight bounds on parallel list marking},
BOOKTITLE = {Proceedings of the 1st International EURO-PAR Conference on Parallel Processing (Stockholm, Sweden, August 29-31, 1995)},
SERIES = {LNCS},
VOLUME = {966},
PAGES = {231-242},
YEAR = {1995},
EDITOR = {Haridi, Seif and Ali, Khayri and Magnusson, Peter},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Chen/95h,
AUTHOR = {Chen, Lin},
TITLE = {Optimal circular arc representations},
BOOKTITLE = {Proceedings of the 1st International EURO-PAR Conference on Parallel Processing (Stockholm, Sweden, August 29-31, 1995)},
SERIES = {LNCS},
VOLUME = {966},
PAGES = {255-266},
YEAR = {1995},
EDITOR = {Haridi, Seif and Ali, Khayri and Magnusson, Peter},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Bouvry-Kergommeaux-Trystram/95,
AUTHOR = {Bouvry, P. and Kergommeaux, J. Chassin de and Trystram, D.},
TITLE = {Efficient solutions for mapping parallel programs},
BOOKTITLE = {Proceedings of the 1st International EURO-PAR Conference on Parallel Processing (Stockholm, Sweden, August 29-31, 1995)},
SERIES = {LNCS},
VOLUME = {966},
PAGES = {379-390},
YEAR = {1995},
EDITOR = {Haridi, Seif and Ali, Khayri and Magnusson, Peter},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Chalasani-Boppana/95,
AUTHOR = {Chalasani, Suresh and Boppana, Rajendra V.},
TITLE = {Communication in multicomputers with nonconvex faults},
BOOKTITLE = {Proceedings of the 1st International EURO-PAR Conference on Parallel Processing (Stockholm, Sweden, August 29-31, 1995)},
SERIES = {LNCS},
VOLUME = {966},
PAGES = {673-684},
YEAR = {1995},
EDITOR = {Haridi, Seif and Ali, Khayri and Magnusson, Peter},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Barnes-Wadsworth/95,
AUTHOR = {Barnes, Catherine and Wadsworth, Chris},
TITLE = {Portable software tools for parallel architectures},
BOOKTITLE = {Proceedings of the 1st International EURO-PAR Conference on Parallel Processing (Stockholm, Sweden, August 29-31, 1995)},
SERIES = {LNCS},
VOLUME = {966},
PAGES = {699-702},
YEAR = {1995},
EDITOR = {Haridi, Seif and Ali, Khayri and Magnusson, Peter},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Baeten-Bergstra/95,
AUTHOR = {Baeten, J.C.M. and Bergstra, J.A.},
TITLE = {Discrete time process algebra with abstraction},
BOOKTITLE = {Proceedings of the Internatinal Conference on Fundamentals of Computation Theory (FCT'95) (Dresden, Germany, August 22-25, 1995)},
SERIES = {LNCS},
VOLUME = {965},
PAGES = {1-15},
YEAR = {1995},
EDITOR = {Reichel, Horst},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Chaochen-Hung-Xiaoshan/95,
AUTHOR = {Chaochen, Zhou and Hung, Dang Van and Xiaoshan, Li},
TITLE = {A duration calculus with infinite intervals},
BOOKTITLE = {Proceedings of the International Conference on Fundamentals of Computation Theory (FCT'95) (Dresden, Germany, August 22-25, 1995)},
SERIES = {LNCS},
VOLUME = {965},
PAGES = {16-41},
YEAR = {1995},
EDITOR = {Reichel, Horst},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Amadio-Leth-Thomsen/95,
AUTHOR = {Amadio, Roberto M. and Leth, Lone and Thomsen, Bent},
TITLE = {From a concurrent $\lambda$-calculus to the $\pi$-calculus},
BOOKTITLE = {Proceedings of the 10th International Conference on Fundamentals of Computation Theory (FCT'95) (Dresden, Germany, August 22-25, 1995)},
SERIES = {LNCS},
VOLUME = {965},
PAGES = {106-115},
YEAR = {1995},
EDITOR = {Reichel, Horst},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=965&spage=106},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Antimirov/95a,
AUTHOR = {Antimirov, Valentin},
TITLE = {Rewriting regular inequalities},
BOOKTITLE = {Proceedings of the International Conference on Fundamentals of Computation Theory (FCT'95) (Dresden, Germany, August 22-25, 1995)},
SERIES = {LNCS},
VOLUME = {965},
PAGES = {116-125},
YEAR = {1995},
EDITOR = {Reichel, Horst},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Barthe/95,
AUTHOR = {Barthe, Gilles},
TITLE = {A simple abstract semantics for equational theories},
BOOKTITLE = {Proceedings of the International Conference on Fundamentals of Computation Theory (FCT'95) (Dresden, Germany, August 22-25, 1995)},
SERIES = {LNCS},
VOLUME = {965},
PAGES = {126-135},
YEAR = {1995},
EDITOR = {Reichel, Horst},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Bergstra-GhStefanescu/95,
AUTHOR = {Bergstra, J.A. and Gh.{\c{S}}tef{\u{a}}nescu},
TITLE = {Processes with multiple entries and exits},
BOOKTITLE = {Proceedings of the International Conference on Fundamentals of Computation Theory (FCT'95) (Dresden, Germany, August 22-25, 1995)},
SERIES = {LNCS},
VOLUME = {965},
PAGES = {136-145},
YEAR = {1995},
EDITOR = {Reichel, Horst},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Bertol/95,
AUTHOR = {Bertol, Michael},
TITLE = {Efficient rewriting in cograph trace monoids},
BOOKTITLE = {Proceedings of the International Conference on Fundamentals of Computation Theory (FCT'95) (Dresden, Germany, August 22-25, 1995)},
SERIES = {LNCS},
VOLUME = {965},
PAGES = {146-155},
YEAR = {1995},
EDITOR = {Reichel, Horst},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Calude-Zimand/95,
AUTHOR = {Calude, Cristian and Zimand, Marius},
TITLE = {Effective category and measure in abstract complexity theory},
BOOKTITLE = {Proceedings of the International Conference on Fundamentals of Computation Theory (FCT'95) (Dresden, Germany, August 22-25, 1995)},
SERIES = {LNCS},
VOLUME = {965},
PAGES = {156-170},
YEAR = {1995},
EDITOR = {Reichel, Horst},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Chaboud/95,
AUTHOR = {Chaboud, Thomas},
TITLE = {About planar Cayley graphs},
BOOKTITLE = {Proceedings of the International Conference on Fundamentals of Computation Theory (FCT'95) (Dresden, Germany, August 22-25, 1995)},
SERIES = {LNCS},
VOLUME = {965},
PAGES = {171-180},
YEAR = {1995},
EDITOR = {Reichel, Horst},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Chepoi-Dragan/95,
AUTHOR = {Chepoi, Victor D. and Dragan, Feodor F.},
TITLE = {On Condorcet and median points of simple rectilinear polygons},
BOOKTITLE = {Proceedings of the 10th International Conference on Fundamentals of Computation Theory (FCT'95) (Dresden, Germany, August 22-25, 1995)},
SERIES = {LNCS},
VOLUME = {965},
PAGES = {181-190},
YEAR = {1995},
EDITOR = {Reichel, Horst},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=965&spage=181},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Achasova/95,
AUTHOR = {Achasova, S.M.},
TITLE = {Synchronous-asynchronous cellular computations},
BOOKTITLE = {Proceedings of the 3rd International Conference on Parallel Computing Technologies, PaCT'95, (St. Petersburg, Russia, September 12-25, 1995)},
SERIES = {LNCS},
VOLUME = {964},
PAGES = {1-6},
YEAR = {1995},
EDITOR = {Malyshkin, Victor},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Agibalov/95,
AUTHOR = {Agibalov, Gennady P.},
TITLE = {Parallel computations and finite automata on semilattices},
BOOKTITLE = {Proceedings of the 3rd International Conference on Parallel Computing Technologies, PaCT'95, (St. Petersburg, Russia, September 12-25, 1995)},
SERIES = {LNCS},
VOLUME = {964},
PAGES = {7-15},
YEAR = {1995},
EDITOR = {Malyshkin, Victor},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Anisimov/95,
AUTHOR = {Anisimov, A.V.},
TITLE = {Linear Fibonacci forms and parallel algorithms for high dimension arithmetic},
BOOKTITLE = {Proceedings of the 3rd International Conference on Parallel Computing Technologies, PaCT'95, (St. Petersburg, Russia, September 12-25, 1995)},
SERIES = {LNCS},
VOLUME = {964},
PAGES = {16-20},
YEAR = {1995},
EDITOR = {Malyshkin, Victor},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Bandman/95,
AUTHOR = {Bandman, O.L.},
TITLE = {Cellular-neural computations: Formal model and possible applications},
BOOKTITLE = {Proceedings of the 3rd International Conference on Parallel Computing Technologies, PaCT'95, (St. Petersburg, Russia, September 12-25, 1995)},
SERIES = {LNCS},
VOLUME = {964},
PAGES = {21-35},
YEAR = {1995},
EDITOR = {Malyshkin, Victor},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Bianchi-Coluccini-Degano-Priami/95,
AUTHOR = {Bianchi, Alessandro and Coluccini, Stefano and Degano, Pierpaolo and Priami, Corrado},
TITLE = {An efficient verifier of truly concurrent properties},
BOOKTITLE = {Proceedings of the 3rd International Conference on Parallel Computing Technologies, PaCT'95, (St. Petersburg, Russia, September 12-25, 1995)},
SERIES = {LNCS},
VOLUME = {964},
PAGES = {36-50},
YEAR = {1995},
EDITOR = {Malyshkin, Victor},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Adamovich/95,
AUTHOR = {Adamovich, Alexey I.},
TITLE = {cT: An imperative language with parallelizing features supporting the computation model "Autotransformation of the evaluation network"},
BOOKTITLE = {Proceedings of the 3rd International Conference on Parallel Computing Technologies, PaCT'95, (St. Petersburg, Russia, September 12-25, 1995)},
SERIES = {LNCS},
VOLUME = {964},
PAGES = {127-141},
YEAR = {1995},
EDITOR = {Malyshkin, Victor},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Benkner/95,
AUTHOR = {Benkner, Siegfried},
TITLE = {Vienna Fortran 90 --- An advanced data parallel language},
BOOKTITLE = {Proceedings of the 3rd International Conference on Parallel Computing Technologies, PaCT'95, (St. Petersburg, Russia, September 12-25, 1995)},
SERIES = {LNCS},
VOLUME = {964},
PAGES = {142-156},
YEAR = {1995},
EDITOR = {Malyshkin, Victor},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Borshchev-Karpov-Roudakov/95,
AUTHOR = {Borshchev, A.V. and Karpov, Yu.G. and Roudakov, V.V.},
TITLE = {COVERS --- A tool for the design of real-time concurrent systems},
BOOKTITLE = {Proceedings of the 3rd International Conference on Parallel Computing Technologies, PaCT'95, (St. Petersburg, Russia, September 12-25, 1995)},
SERIES = {LNCS},
VOLUME = {964},
PAGES = {219-233},
YEAR = {1995},
EDITOR = {Malyshkin, Victor},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Barriga-Ayani/95a,
AUTHOR = {Barriga, Luis and Ayani, Rassul},
TITLE = {New trends in simulation of distributed shared memory architectures},
BOOKTITLE = {Proceedings of the 3rd International Conference on Parallel Computing Technologies, PaCT'95, (St. Petersburg, Russia, September 12-25, 1995)},
SERIES = {LNCS},
VOLUME = {964},
PAGES = {314-319},
YEAR = {1995},
EDITOR = {Malyshkin, Victor},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Bussler-Jablonski-Kirsche-Schuster-Wedekind/95,
AUTHOR = {Bu{\"ss}ler, Cristoph and Jablonski, Stefan and Kirsche, Thomas and Schuster, Hans and Wedekind, Hartmut},
TITLE = {Architectural issues of distributed workflow management systems},
BOOKTITLE = {Proceedings of the 3rd International Conference on Parallel Computing Technologies, PaCT'95, (St. Petersburg, Russia, September 12-25, 1995)},
SERIES = {LNCS},
VOLUME = {964},
PAGES = {370-384},
YEAR = {1995},
EDITOR = {Malyshkin, Victor},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Bessonov-Brailovskaya-Polezhaev-Roux/95,
AUTHOR = {Bessonov, Oleg and Brailovskaya, Valery and Polezhaev, Vadim and Roux, Bernhard},
TITLE = {Parallelization of the solution of 3D Navier-Stokes equations for fluid flow in a cavity with moving covers},
BOOKTITLE = {Proceedings of the 3rd International Conference on Parallel Computing Technologies, PaCT'95, (St. Petersburg, Russia, September 12-25, 1995)},
SERIES = {LNCS},
VOLUME = {964},
PAGES = {385-399},
YEAR = {1995},
EDITOR = {Malyshkin, Victor},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Ciancarini-Mancini/95,
AUTHOR = {Ciancarini, P. and Mancini, P.},
TITLE = {Distributing search and knowledge using a coordination language},
BOOKTITLE = {Proceedings of the 3rd International Conference on Parallel Computing Technologies, PaCT'95, (St. Petersburg, Russia, September 12-25, 1995)},
SERIES = {LNCS},
VOLUME = {964},
PAGES = {400-410},
YEAR = {1995},
EDITOR = {Malyshkin, Victor},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Caudal-Lecussan/95,
AUTHOR = {Caudal, Francis and Lecussan, Bernard},
TITLE = {Design and evaluation of a multi-threaded architecture for parallel graph reduction},
BOOKTITLE = {Proceedings of the 3rd International Conference on Parallel Computing Technologies, PaCT'95, (St. Petersburg, Russia, September 12-25, 1995)},
SERIES = {LNCS},
VOLUME = {964},
PAGES = {411-426},
YEAR = {1995},
EDITOR = {Malyshkin, Victor},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Corradini-De_Nicola-Labella/95,
AUTHOR = {Corradini, Flavio and De Nicola, Rocco and Labella, Anna},
TITLE = {Fully abstract models for nondeterministic regular expressions},
BOOKTITLE = {Proceedings of the 6th International Conference on Concurrency Theory, CONCUR'95 (Philadelphia, PA, August 21-24, 1995)},
SERIES = {LNCS},
VOLUME = {962},
PAGES = {130-144},
YEAR = {1995},
EDITOR = {Lee, Insup and Smolka, Scott A.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Busi-Gorrieri/95,
AUTHOR = {Busi, Nadia and Gorrieri, Roberto},
TITLE = {A Petri net semantics for $\pi$-calculus},
BOOKTITLE = {Proceedings of the 6th International Conference on Concurrency Theory, CONCUR'95 (Philadelphia, PA, August 21-24, 1995)},
SERIES = {LNCS},
VOLUME = {962},
PAGES = {145-159},
YEAR = {1995},
EDITOR = {Lee, Insup and Smolka, Scott A.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Bryans-Davies-Schneider/95,
AUTHOR = {Bryans, Jeremy and Davies, Jim and Schneider, Steve},
TITLE = {Towards a denotational semantics for ET-LOTOS},
BOOKTITLE = {Proceedings of the 6th International Conference on Concurrency Theory, CONCUR'95 (Philadelphia, PA, August 21-24, 1995)},
SERIES = {LNCS},
VOLUME = {962},
PAGES = {269-283},
YEAR = {1995},
EDITOR = {Lee, Insup and Smolka, Scott A.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Brinksma-Rensink-Vogler/95,
AUTHOR = {Brinksma, Ed and Rensink, Arend and Vogler, Walter},
TITLE = {Fair testing},
BOOKTITLE = {Proceedings of the 6th International Conference on Concurrency Theory, CONCUR'95 (Philadelphia, PA, August 21-24, 1995)},
SERIES = {LNCS},
VOLUME = {962},
PAGES = {313-327},
YEAR = {1995},
EDITOR = {Lee, Insup and Smolka, Scott A.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Craigen/95a,
AUTHOR = {Craigen, Dan},
TITLE = {Formal methods technology transfer: Impediments and innovation},
BOOKTITLE = {Proceedings of the 6th International Conference on Concurrency Theory, CONCUR'95 (Philadelphia, PA, August 21-24, 1995)},
SERIES = {LNCS},
VOLUME = {962},
PAGES = {328-332},
YEAR = {1995},
EDITOR = {Lee, Insup and Smolka, Scott A.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Abdulla-Kindahl/95,
AUTHOR = {Abdulla, Parosh Aziz and Kindahl, Mats},
TITLE = {Decidability of simulation and bisimulation between lossy channel systems and finite state systems},
BOOKTITLE = {Proceedings of the 6th International Conference on Concurrency Theory, CONCUR'95 (Philadelphia, PA, August 21-24, 1995)},
SERIES = {LNCS},
VOLUME = {962},
PAGES = {333-347},
YEAR = {1995},
EDITOR = {Lee, Insup and Smolka, Scott A.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Bonsangue-Kok-Vink/95,
AUTHOR = {Bonsangue, Marcello M. and Kok, Joost N. and Vink, Erik de},
TITLE = {Metric predicate transformers: Towards a notion of refinement for concurrency},
BOOKTITLE = {Proceedings of the 6th International Conference on Concurrency Theory, CONCUR'95 (Philadelphia, PA, August 21-24, 1995)},
SERIES = {LNCS},
VOLUME = {962},
PAGES = {363-377},
YEAR = {1995},
EDITOR = {Lee, Insup and Smolka, Scott A.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Clarke-Grumberg-Jha/95,
AUTHOR = {Clarke, E.M. and Grumberg, O. and Jha, S.},
TITLE = {Verifying parameterized networks using abstraction and regular languages},
BOOKTITLE = {Proceedings of the 6th International Conference on Concurrency Theory, CONCUR'95 (Philadelphia, PA, August 21-24, 1995)},
SERIES = {LNCS},
VOLUME = {962},
PAGES = {395-407},
YEAR = {1995},
EDITOR = {Lee, Insup and Smolka, Scott A.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Brock-Ostheimer/95,
AUTHOR = {Brock, Simon and Ostheimer, Gerald},
TITLE = {Process semantics of graph reduction},
BOOKTITLE = {Proceedings of the 6th International Conference on Concurrency Theory, CONCUR'95 (Philadelphia, PA, August 21-24, 1995)},
SERIES = {LNCS},
VOLUME = {962},
PAGES = {471-485},
YEAR = {1995},
EDITOR = {Lee, Insup and Smolka, Scott A.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Cerans/95,
AUTHOR = {{\v{C}}er{\=a}ns, K{\=a}rlis},
TITLE = {CTR: A calculus of timed refinement},
BOOKTITLE = {Proceedings of the 6th International Conference on Concurrency Theory, CONCUR'95 (Philadelphia, PA, August 21-24, 1995)},
SERIES = {LNCS},
VOLUME = {962},
PAGES = {516-530},
YEAR = {1995},
EDITOR = {Lee, Insup and Smolka, Scott A.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Bouajjani-Lakhnech/95,
AUTHOR = {Bouajjani, Ahmed and Lakhnech, Yassine},
TITLE = {Temporal logic + timed automata: Expressiveness and decidability},
BOOKTITLE = {Proceedings of the 6th International Conference on Concurrency Theory, CONCUR'95 (Philadelphia, PA, August 21-24, 1995)},
SERIES = {LNCS},
VOLUME = {962},
PAGES = {531-545},
YEAR = {1995},
EDITOR = {Lee, Insup and Smolka, Scott A.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Cardone/95,
AUTHOR = {Cardone, Felice},
TITLE = {Strict finitism and feasibility},
BOOKTITLE = {Proceedings of the International Workshop on Logic and Computational Complexity, LCC'94, (Indianapolis, IN, October 13-16, 1994)},
SERIES = {LNCS},
VOLUME = {960},
PAGES = {1-21},
YEAR = {1995},
EDITOR = {Leivant, Daniel},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Bloch/95,
AUTHOR = {Bloch, Stephen},
TITLE = {On parallel hierarchies and $R_k^i$},
BOOKTITLE = {Proceedings of the International Workshop on Logic and Computational Complexity, LCC'94, (Indianapolis, IN, October 13-16, 1994)},
SERIES = {LNCS},
VOLUME = {960},
PAGES = {52-76},
YEAR = {1995},
EDITOR = {Leivant, Daniel},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Berger-Schwichtenberg/95,
AUTHOR = {Berger, Ulrich and Schwichtenberg, Helmut},
TITLE = {Program extraction from classical proofs},
BOOKTITLE = {Proceedings of the International Workshop on Logic and Computational Complexity, LCC'94, (Indianapolis, IN, October 13-16, 1994)},
SERIES = {LNCS},
VOLUME = {960},
PAGES = {77-97},
YEAR = {1995},
EDITOR = {Leivant, Daniel},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Clote/95a,
AUTHOR = {Clote, Peter},
TITLE = {Computational models and function algebras},
BOOKTITLE = {Proceedings of the International Workshop on Logic and Computational Complexity, LCC'94, (Indianapolis, IN, October 13-16, 1994)},
SERIES = {LNCS},
VOLUME = {960},
PAGES = {98-130},
YEAR = {1995},
EDITOR = {Leivant, Daniel},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Constable/95a,
AUTHOR = {Constable, Robert L.},
TITLE = {Expressing computational complexity in constructive type theory},
BOOKTITLE = {Proceedings of the International Workshop on Logic and Computational Complexity, LCC'94, (Indianapolis, IN, October 13-16, 1994)},
SERIES = {LNCS},
VOLUME = {960},
PAGES = {131-144},
YEAR = {1995},
EDITOR = {Leivant, Daniel},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Buss/95a,
AUTHOR = {Buss, Samuel R.},
TITLE = {On Herbrand's theorem},
BOOKTITLE = {Proceedings of the International Workshop on Logic and Computational Complexity, LCC'94, (Indianapolis, IN, October 13-16, 1994)},
SERIES = {LNCS},
VOLUME = {960},
PAGES = {195-209},
YEAR = {1995},
EDITOR = {Leivant, Daniel},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Bellantoni/95,
AUTHOR = {Bellantoni, Stephen J.},
TITLE = {Characterizing parallel time by type 2 recursions with polynomial output length},
BOOKTITLE = {Proceedings of the International Workshop on Logic and Computational Complexity, LCC'94, (Indianapolis, IN, October 13-16, 1994)},
SERIES = {LNCS},
VOLUME = {960},
PAGES = {253-268},
YEAR = {1995},
EDITOR = {Leivant, Daniel},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Cenzer-Remmel/95,
AUTHOR = {Cenzer, Douglas and Remmel, Jeffrey B.},
TITLE = {Feasibly categorical models},
BOOKTITLE = {Proceedings of the International Workshop on Logic and Computational Complexity, LCC'94, (Indianapolis, IN, October 13-16, 1994)},
SERIES = {LNCS},
VOLUME = {960},
PAGES = {300-312},
YEAR = {1995},
EDITOR = {Leivant, Daniel},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Calamoneri-Petreschi/95,
AUTHOR = {Calamoneri, Tiziana and Petreschi, Rossella},
TITLE = {An efficient orthogonal grid drawing algorithm for cubic graphs},
BOOKTITLE = {Proceedings of the 1st Annual International Conference on Computing and Combinatorics, COCOON'95 (Xi'an, China, August 24-26, 1995)},
SERIES = {LNCS},
VOLUME = {959},
PAGES = {31-40},
YEAR = {1995},
EDITOR = {Du, Ding-Zhu and Li, Ming},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Cheng-Xu/95,
AUTHOR = {Cheng, Siu-Wing and Xu, Yin-Feng},
TITLE = {Constrained independence system and triangulations of planar point sets},
BOOKTITLE = {Proceedings of the 1st Annual International Conference on Computing and Combinatorics, COCOON'95 (Xi'an, China, August 24-26, 1995)},
SERIES = {LNCS},
VOLUME = {959},
PAGES = {41-50},
YEAR = {1995},
EDITOR = {Du, Ding-Zhu and Li, Ming},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Chan-Meyden/95,
AUTHOR = {Chan, Edward P.F. and Meyden, Ron van der},
TITLE = {Testing containment of object-oriented conjunctive queries is $\Pi_2^p$-hard},
BOOKTITLE = {Proceedings of the 1st Annual International Conference on Computing and Combinatorics, COCOON'95 (Xi'an, China, August 24-26, 1995)},
SERIES = {LNCS},
VOLUME = {959},
PAGES = {81-90},
YEAR = {1995},
EDITOR = {Du, Ding-Zhu and Li, Ming},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Chen/95e,
AUTHOR = {Chen, Jianer},
TITLE = {Algorithmic graph embeddings},
BOOKTITLE = {Proceedings of the 1st Annual International Conference on Computing and Combinatorics, COCOON'95 (Xi'an, China, August 24-26, 1995)},
SERIES = {LNCS},
VOLUME = {959},
PAGES = {151-160},
YEAR = {1995},
EDITOR = {Du, Ding-Zhu and Li, Ming},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Agrawal-Egecioglu-El-Abbadi/95,
AUTHOR = {Agrawal, Divyakant and E{\u{g}}ecio{\u{g}}lu, {\"O}mer and El-Abbadi, Amr},
TITLE = {Analysis of quorum-based protocols for distributed $(k+1)$-exclusion},
BOOKTITLE = {Proceedings of the 1st Annual International Conference on Computing and Combinatorics, COCOON'95 (Xi'an, China, August 24-26, 1995)},
SERIES = {LNCS},
VOLUME = {959},
PAGES = {161-170},
YEAR = {1995},
EDITOR = {Du, Ding-Zhu and Li, Ming},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Cassaigne-Karhumaki/95,
AUTHOR = {Cassaigne, Julien and Karhum{\"a}ki, Juhani},
TITLE = {Toeplitz words, generalized periodicity and periodically iterated morphisms},
BOOKTITLE = {Proceedings of the 1st Annual International Conference on Computing and Combinatorics, COCOON'95 (Xi'an, China, August 24-26, 1995)},
SERIES = {LNCS},
VOLUME = {959},
PAGES = {244-253},
YEAR = {1995},
EDITOR = {Du, Ding-Zhu and Li, Ming},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Barcucci-Del-Lungo-Pergola-Pinzani/95,
AUTHOR = {Barcucci, Elena and Del-Lungo, Alberto and Pergola, Elisa and Pinzani, Renzo},
TITLE = {A construction for enumerating $k$-coloured Motzkin paths},
BOOKTITLE = {Proceedings of the 1st Annual International Conference on Computing and Combinatorics, COCOON'95 (Xi'an, China, August 24-26, 1995)},
SERIES = {LNCS},
VOLUME = {959},
PAGES = {254-263},
YEAR = {1995},
EDITOR = {Du, Ding-Zhu and Li, Ming},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Cai-Chen/95a,
AUTHOR = {Cai, Liming and Chen, Jianer},
TITLE = {On log-time alternating Turing machines of alternating depth $k$},
BOOKTITLE = {Proceedings of the 1st Annual International Conference on Computing and Combinatorics, COCOON'95 (Xi'an, China, August 24-26, 1995)},
SERIES = {LNCS},
VOLUME = {959},
PAGES = {282-291},
YEAR = {1995},
EDITOR = {Du, Ding-Zhu and Li, Ming},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Chen/95f,
AUTHOR = {Chen, Zhixiang},
TITLE = {An optimal algorithm for proper learning of unions of two rectangles with queries},
BOOKTITLE = {Proceedings of the 1st Annual International Conference on Computing and Combinatorics, COCOON'95 (Xi'an, China, August 24-26, 1995)},
SERIES = {LNCS},
VOLUME = {959},
PAGES = {334-343},
YEAR = {1995},
EDITOR = {Du, Ding-Zhu and Li, Ming},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Chen/95g,
AUTHOR = {Chen, Zhixiang},
TITLE = {Disjunctions of negated counting functions are efficiently learnable with equivalence queries},
BOOKTITLE = {Proceedings of the 1st Annual International Conference on Computing and Combinatorics, COCOON'95 (Xi'an, China, August 24-26, 1995)},
SERIES = {LNCS},
VOLUME = {959},
PAGES = {344-349},
YEAR = {1995},
EDITOR = {Du, Ding-Zhu and Li, Ming},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Chang-Chang-Lu-Lam-Wang/95,
AUTHOR = {Chang, C.F. and Chang, J.X. and Lu, X.C. and Lam, Peter C.B. and Wang, J.F.},
TITLE = {Edge-face total chromatic number of outerplanar graphs with $\Delta(g)=6$},
BOOKTITLE = {Proceedings of the 1st Annual International Conference on Computing and Combinatorics, COCOON'95 (Xi'an, China, August 24-26, 1995)},
SERIES = {LNCS},
VOLUME = {959},
PAGES = {396-399},
YEAR = {1995},
EDITOR = {Du, Ding-Zhu and Li, Ming},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Belanger-Wang/95,
AUTHOR = {Belanger, Jay and Wang, Jie},
TITLE = {Rankable distributions do not provide harder instances than uniform distributions},
BOOKTITLE = {Proceedings of the 1st Annual International Conference on Computing and Combinatorics, COCOON'95 (Xi'an, China, August 24-26, 1995)},
SERIES = {LNCS},
VOLUME = {959},
PAGES = {410-419},
YEAR = {1995},
EDITOR = {Du, Ding-Zhu and Li, Ming},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Carlsson-Chen/95,
AUTHOR = {Carlsson, Svante and Chen, Jingsen},
TITLE = {Searching rigid data structures},
BOOKTITLE = {Proceedings of the 1st Annual International Conference on Computing and Combinatorics, COCOON'95 (Xi'an, China, August 24-26, 1995)},
SERIES = {LNCS},
VOLUME = {959},
PAGES = {446-451},
YEAR = {1995},
EDITOR = {Du, Ding-Zhu and Li, Ming},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Bai-Yamakawa-Ebara-Nakano/95,
AUTHOR = {Bai, Leqiang and Yamakawa, Peter M. and Ebara, Hiroyuki and Nakano, Hideo},
TITLE = {A broadcasting algorithm on the arrangement graph},
BOOKTITLE = {Proceedings of the 1st Annual International Conference on Computing and Combinatorics, COCOON'95 (Xi'an, China, August 24-26, 1995)},
SERIES = {LNCS},
VOLUME = {959},
PAGES = {462-471},
YEAR = {1995},
EDITOR = {Du, Ding-Zhu and Li, Ming},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Chern-Tuan-Jwo/95a,
AUTHOR = {Chern, Shyh-Chain and Tuan, Tai-Ching and Jwo, Jung-Sing},
TITLE = {Uni-directional alternating group graphs},
BOOKTITLE = {Proceedings of the 1st Annual International Conference on Computing and Combinatorics, COCOON'95 (Xi'an, China, August 24-26, 1995)},
SERIES = {LNCS},
VOLUME = {959},
PAGES = {490-495},
YEAR = {1995},
EDITOR = {Du, Ding-Zhu and Li, Ming},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Cheng-Kaminski-Zaks/95a,
AUTHOR = {Cheng, Siu-Wing and Kaminski, Michael and Zaks, Shmuel},
TITLE = {Minimum dominating sets of intervals on lines},
BOOKTITLE = {Proceedings of the 1st Annual International Conference on Computing and Combinatorics, COCOON'95 (Xi'an, China, August 24-26, 1995)},
SERIES = {LNCS},
VOLUME = {959},
PAGES = {520-529},
YEAR = {1995},
EDITOR = {Du, Ding-Zhu and Li, Ming},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=959&spage=520},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Choi-Lam/95,
AUTHOR = {Choi, Y. and Lam, T.W.},
TITLE = {Two-dimensional pattern matching on a dynamic library of texts},
BOOKTITLE = {Proceedings of the 1st Annual International Conference on Computing and Combinatorics, COCOON'95 (Xi'an, China, August 24-26, 1995)},
SERIES = {LNCS},
VOLUME = {959},
PAGES = {530-538},
YEAR = {1995},
EDITOR = {Du, Ding-Zhu and Li, Ming},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Cheng-Zhu/95,
AUTHOR = {Cheng, Qi and Zhu, Hong},
TITLE = {MNP: A class of {NP} optimization problems},
BOOKTITLE = {Proceedings of the 1st Annual International Conference on Computing and Combinatorics, COCOON'95 (Xi'an, China, August 24-26, 1995)},
SERIES = {LNCS},
VOLUME = {959},
PAGES = {559-565},
YEAR = {1995},
EDITOR = {Du, Ding-Zhu and Li, Ming},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Bacik-Mahajan/95a,
AUTHOR = {Ba{\v{c}}{\'{i}}k, Roman and Mahajan, Sanjeev},
TITLE = {Semidefinite programming and its applications to {NP} problems},
BOOKTITLE = {Proceedings of the 1st Annual International Conference on Computing and Combinatorics, COCOON'95 (Xi'an, China, August 24-26, 1995)},
SERIES = {LNCS},
VOLUME = {959},
PAGES = {566-575},
YEAR = {1995},
EDITOR = {Du, Ding-Zhu and Li, Ming},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Chan-Young/95,
AUTHOR = {Chan, Chi-lok and Young, Gilbert H.},
TITLE = {Single-vehicle scheduling problem on a straight line with time window constraints},
BOOKTITLE = {Proceedings of the 1st Annual International Conference on Computing and Combinatorics, COCOON'95 (Xi'an, China, August 24-26, 1995)},
SERIES = {LNCS},
VOLUME = {959},
PAGES = {617-626},
YEAR = {1995},
EDITOR = {Du, Ding-Zhu and Li, Ming},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Chippendale/95,
AUTHOR = {Chippendale, Myles},
TITLE = {Planning a proof of the intermediate value theorem},
BOOKTITLE = {Proceedings of the 2nd International Conference on Integrating Symbolic Mathematical Computation and Artificial Intelligence, AISMC-2 (Cambridge, United Kingdom, August 3-5, 1994)},
SERIES = {LNCS},
VOLUME = {958},
PAGES = {48-63},
YEAR = {1995},
EDITOR = {Calmet, Jacques and Campbell, John A.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Butler/95a,
AUTHOR = {Butler, Greg},
TITLE = {Datalog and TwoGroups and C++},
BOOKTITLE = {Proceedings of the 2nd International Conference on Integrating Symbolic Mathematical Computation and Artificial Intelligence, AISMC-2 (Cambridge, United Kingdom, August 3-5, 1994)},
SERIES = {LNCS},
VOLUME = {958},
PAGES = {80-92},
YEAR = {1995},
EDITOR = {Calmet, Jacques and Campbell, John A.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Baker-Smaill/95,
AUTHOR = {Baker, Siami and Smaill, Alan},
TITLE = {A proof environment for arithmetic with the omega rule},
BOOKTITLE = {Proceedings of the 2nd International Conference on Integrating Symbolic Mathematical Computation and Artificial Intelligence, AISMC-2 (Cambridge, United Kingdom, August 3-5, 1994)},
SERIES = {LNCS},
VOLUME = {958},
PAGES = {115-130},
YEAR = {1995},
EDITOR = {Calmet, Jacques and Campbell, John A.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Collart-Mall/95,
AUTHOR = {Collart, St{\'e}phane and Mall, Daniel},
TITLE = {The ideal structure of Gr{\"o}bner base computations},
BOOKTITLE = {Proceedings of the Second International Conference on Integrating Symbolic Mathematical Computation and Artificial Intelligence, AISMC-2 (Cambridge, United Kingdom, August 3-5, 1994)},
SERIES = {LNCS},
VOLUME = {958},
PAGES = {156-166},
YEAR = {1995},
EDITOR = {Calmet, Jacques and Campbell, John A.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=958&spage=156},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Bundgen/95,
AUTHOR = {B{\"u}ndgen, Reinhard},
TITLE = {Combining computer algebra and rule based reasoning},
BOOKTITLE = {Proceedings of the 2nd International Conference on Integrating Symbolic Mathematical Computation and Artificial Intelligence, AISMC-2 (Cambridge, United Kingdom, August 3-5, 1994)},
SERIES = {LNCS},
VOLUME = {958},
PAGES = {209-223},
YEAR = {1995},
EDITOR = {Calmet, Jacques and Campbell, John A.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Bilardi-Preparata/95a,
AUTHOR = {Bilardi, Gianfranco and Preparata, Franco P.},
TITLE = {Lower bounds to processor-time tradeoffs under bounded speed message propagation},
BOOKTITLE = {Proceedings of the 4th International Workshop on Algorithms and Data Structures, WADS'95 (Kingston, Canada, August 16-18, 1995)},
SERIES = {LNCS},
VOLUME = {955},
PAGES = {1-12},
YEAR = {1995},
EDITOR = {Akl, Selim G. and Dehne, Frank and Sack, J{\"o}rg-R{\"u}diger and Santoro, Nicola},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Carlsson-Jonsson/95,
AUTHOR = {Carlsson, Svante and Jonsson, H{\aa}kan},
TITLE = {Computing a shortest watchman path in a simple polygon in polynomial-time},
BOOKTITLE = {Proceedings of the 4th International Workshop on Algorithms and Data Structures, WADS'95 (Kingston, Canada, August 16-18, 1995)},
SERIES = {LNCS},
VOLUME = {955},
PAGES = {122-134},
YEAR = {1995},
EDITOR = {Akl, Selim G. and Dehne, Frank and Sack, J{\"o}rg-R{\"u}diger and Santoro, Nicola},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Albers-Koga/95,
AUTHOR = {Albers, Susanne and Koga, Hisashi},
TITLE = {Page migration with limited local memory capacity},
BOOKTITLE = {Proceedings of the 4th International Workshop on Algorithms and Data Structures, WADS'95 (Kingston, Canada, August 16-18, 1995)},
SERIES = {LNCS},
VOLUME = {955},
PAGES = {147-158},
YEAR = {1995},
EDITOR = {Akl, Selim G. and Dehne, Frank and Sack, J{\"o}rg-R{\"u}diger and Santoro, Nicola},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Ausiello-Feuerstein-Leonardi-Stougie-Talamo/95,
AUTHOR = {Ausiello, Giorgio and Feuerstein, Esteban and Leonardi, Stefano and Stougie, Leen and Talamo, Maurizio},
TITLE = {Competitive algorithms for the on-line traveling salesman},
BOOKTITLE = {Proceedings of the 4th International Workshop on Algorithms and Data Structures, WADS'95 (Kingston, Canada, August 16-18, 1995)},
SERIES = {LNCS},
VOLUME = {955},
PAGES = {206-217},
YEAR = {1995},
EDITOR = {Akl, Selim G. and Dehne, Frank and Sack, J{\"o}rg-R{\"u}diger and Santoro, Nicola},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Annexstein-Kuchko/95,
AUTHOR = {Annexstein, Fred S. and Kuchko, Eugene A.},
TITLE = {A ranking algorithm for Hamilton paths in shuffle-exchange graphs},
BOOKTITLE = {Proceedings of the 4th International Workshop on Algorithms and Data Structures, WADS'95 (Kingston, Canada, August 16-18, 1995)},
SERIES = {LNCS},
VOLUME = {955},
PAGES = {263-269},
YEAR = {1995},
EDITOR = {Akl, Selim G. and Dehne, Frank and Sack, J{\"o}rg-R{\"u}diger and Santoro, Nicola},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Boyar-Fagerberg-Larsen/95,
AUTHOR = {Boyar, Joan and Fagerberg, Rolf and Larsen, Kim S.},
TITLE = {Amortization results for chromatic search trees, with an application to priority queues},
BOOKTITLE = {Proceedings of the 4th International Workshop on Algorithms and Data Structures, WADS'95 (Kingston, Canada, August 16-18, 1995)},
SERIES = {LNCS},
VOLUME = {955},
PAGES = {270-281},
YEAR = {1995},
EDITOR = {Akl, Selim G. and Dehne, Frank and Sack, J{\"o}rg-R{\"u}diger and Santoro, Nicola},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Brodal/95,
AUTHOR = {Brodal, Gerth St{\o}lting},
TITLE = {Fast meldable priority queues},
BOOKTITLE = {Proceedings of the 4th International Workshop on Algorithms and Data Structures, WADS'95 (Kingston, Canada, August 16-18, 1995)},
SERIES = {LNCS},
VOLUME = {955},
PAGES = {282-290},
YEAR = {1995},
EDITOR = {Akl, Selim G. and Dehne, Frank and Sack, J{\"o}rg-R{\"u}diger and Santoro, Nicola},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Baruah-Pruesse/95,
AUTHOR = {Baruah, Sanjoy and Pruesse, Gara},
TITLE = {Routing with delays when storage is costly},
BOOKTITLE = {Proceedings of the 4th International Workshop on Algorithms and Data Structures, WADS'95 (Kingston, Canada, August 16-18, 1995)},
SERIES = {LNCS},
VOLUME = {955},
PAGES = {303-314},
YEAR = {1995},
EDITOR = {Akl, Selim G. and Dehne, Frank and Sack, J{\"o}rg-R{\"u}diger and Santoro, Nicola},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Arge/95,
AUTHOR = {Arge, Lars},
TITLE = {The buffer tree: A new technique for optimal I/O-algorithms},
BOOKTITLE = {Proceedings of the 4th International Workshop on Algorithms and Data Structures, WADS'95 (Kingston, Canada, August 16-18, 1995)},
SERIES = {LNCS},
VOLUME = {955},
PAGES = {334-345},
YEAR = {1995},
EDITOR = {Akl, Selim G. and Dehne, Frank and Sack, J{\"o}rg-R{\"u}diger and Santoro, Nicola},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Chiang/95,
AUTHOR = {Chiang, Yi-Jen},
TITLE = {Experiments on the practical I/O efficiency of geometric algorithms: Distribution sweep vs. plane sweep},
BOOKTITLE = {Proceedings of the 4th International Workshop on Algorithms and Data Structures, WADS'95 (Kingston, Canada, August 16-18, 1995)},
SERIES = {LNCS},
VOLUME = {955},
PAGES = {346-357},
YEAR = {1995},
EDITOR = {Akl, Selim G. and Dehne, Frank and Sack, J{\"o}rg-R{\"u}diger and Santoro, Nicola},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Corneil-Olariu-Stewart/95a,
AUTHOR = {Corneil, Derek G. and Olariu, Stephan and Stewart, Lorna},
TITLE = {Computing a dominating pair in an asteroidal triple-free graph in linear time},
BOOKTITLE = {Proceedings of the 4th International Workshop on Algorithms and Data Structures, WADS'95 (Kingston, Canada, August 16-18, 1995)},
SERIES = {LNCS},
VOLUME = {955},
PAGES = {358-368},
YEAR = {1995},
EDITOR = {Akl, Selim G. and Dehne, Frank and Sack, J{\"o}rg-R{\"u}diger and Santoro, Nicola},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Callahan-Goodrich-Ramaiyer/95,
AUTHOR = {Callahan, Paul and Goodrich, Michael T. and Ramaiyer, Kumar},
TITLE = {Topology B-trees and their applications},
BOOKTITLE = {Proceedings of the 4th International Workshop on Algorithms and Data Structures, WADS'95 (Kingston, Canada, August 16-18, 1995)},
SERIES = {LNCS},
VOLUME = {955},
PAGES = {381-392},
YEAR = {1995},
EDITOR = {Akl, Selim G. and Dehne, Frank and Sack, J{\"o}rg-R{\"u}diger and Santoro, Nicola},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Cattell-Dinneen-Fellows/95,
AUTHOR = {Cattell, Kevin and Dinneen, Michael J. and Fellows, Michael R.},
TITLE = {Obstructions to within a few vertices or edges of acyclic},
BOOKTITLE = {Proceedings of the 4th International Workshop on Algorithms and Data Structures, WADS'95 (Kingston, Canada, August 16-18, 1995)},
SERIES = {LNCS},
VOLUME = {955},
PAGES = {415-427},
YEAR = {1995},
EDITOR = {Akl, Selim G. and Dehne, Frank and Sack, J{\"o}rg-R{\"u}diger and Santoro, Nicola},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Berman-Fujito/95,
AUTHOR = {Berman, Piotr and Fujito, Toshihiro},
TITLE = {On approximation properties of the independent set problem in degree 3 graphs},
BOOKTITLE = {Proceedings of the 4th International Workshop on Algorithms and Data Structures, WADS'95 (Kingston, Canada, August 16-18, 1995)},
SERIES = {LNCS},
VOLUME = {955},
PAGES = {449-460},
YEAR = {1995},
EDITOR = {Akl, Selim G. and Dehne, Frank and Sack, J{\"o}rg-R{\"u}diger and Santoro, Nicola},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Andersson-Swanson/95,
AUTHOR = {Andersson, Arne and Swanson, Kurt},
TITLE = {On the difficulty of range searching},
BOOKTITLE = {Proceedings of the 4th International Workshop on Algorithms and Data Structures, WADS'95 (Kingston, Canada, August 16-18, 1995)},
SERIES = {LNCS},
VOLUME = {955},
PAGES = {473-481},
YEAR = {1995},
EDITOR = {Akl, Selim G. and Dehne, Frank and Sack, J{\"o}rg-R{\"u}diger and Santoro, Nicola},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Armen-Stein/95,
AUTHOR = {Armen, Chris and Stein, Clifford},
TITLE = {Improved length bounds for the shortest superstring problem},
BOOKTITLE = {Proceedings of the 4th International Workshop on Algorithms and Data Structures, WADS'95 (Kingston, Canada, August 16-18, 1995)},
SERIES = {LNCS},
VOLUME = {955},
PAGES = {494-505},
YEAR = {1995},
EDITOR = {Akl, Selim G. and Dehne, Frank and Sack, J{\"o}rg-R{\"u}diger and Santoro, Nicola},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Bafna-Narayanan-Ravi/95,
AUTHOR = {Bafna, Vineet and Narayanan, Babu and Ravi, R.},
TITLE = {Nonoverlapping local alignments (weighted independent sets of axis parallel rectangles)},
BOOKTITLE = {Proceedings of the 4th International Workshop on Algorithms and Data Structures, WADS'95 (Kingston, Canada, August 16-18, 1995)},
SERIES = {LNCS},
VOLUME = {955},
PAGES = {506-517},
YEAR = {1995},
EDITOR = {Akl, Selim G. and Dehne, Frank and Sack, J{\"o}rg-R{\"u}diger and Santoro, Nicola},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Alverson-Kahan-Korry-McCann-Smith/95,
AUTHOR = {Alverson, Gail and Kahan, Simon and Korry, Richard and McCann, Cathy and Smith, Burton},
TITLE = {Scheduling on the Tera MTA},
BOOKTITLE = {Proceedings of the IPPS'95 Workshop on Job Scheduling Strategies for Parallel Processing (Santa Barbara, California, April 25, 1995)},
SERIES = {LNCS},
VOLUME = {949},
PAGES = {19-44},
YEAR = {1995},
EDITOR = {Feitelson, Dror G. and Rudolph, Larry},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Barton-Bitar/95,
AUTHOR = {Barton, James M. and Bitar, Nawaf},
TITLE = {A scalable multi-discipline, multiple-processor scheduling framework for IRIX},
BOOKTITLE = {Proceedings of the IPPS'95 Workshop on Job Scheduling Strategies for Parallel Processing (Santa Barbara, California, April 25, 1995)},
SERIES = {LNCS},
VOLUME = {949},
PAGES = {45-69},
YEAR = {1995},
EDITOR = {Feitelson, Dror G. and Rudolph, Larry},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Connelly-Ellis/95,
AUTHOR = {Connelly, Christopher and Ellis, Carla Schlatter},
TITLE = {Scheduling to reduce memory coherence overhead on coarse-grain multiprocessors},
BOOKTITLE = {Proceedings of the IPPS'95 Workshop on Job Scheduling Strategies for Parallel Processing (Santa Barbara, California, April 25, 1995)},
SERIES = {LNCS},
VOLUME = {949},
PAGES = {70-91},
YEAR = {1995},
EDITOR = {Feitelson, Dror G. and Rudolph, Larry},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Bassalygo/95,
AUTHOR = {Bassalygo, L.A.},
TITLE = {Supports of a code},
BOOKTITLE = {Proceedings of the 11th International Symposium on Applied Algebra, Algebraic Algorithms and Error-Correcting Codes, AAECC-11, (Paris, France, July 17-22, 1995)},
SERIES = {LNCS},
VOLUME = {948},
PAGES = {1-3},
YEAR = {1995},
EDITOR = {Cohen, G{\'{e}}rard and Giusti, Marc and Mora, Teo},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Benecke-Grund-Hohberger-Kerber-Laue-Wieland/95a,
AUTHOR = {Benecke, Ch. and Grund, R. and Hohberger, R. and Kerber, A. and Laue, R. and Wieland, T.},
TITLE = {Chemical isomerism, a challenge for algebraic combinatorics and for computer science},
BOOKTITLE = {Proceedings of the 11th International Symposium on Applied Algebra, Algebraic Algorithms and Error-Correcting Codes, AAECC-11, (Paris, France, July 17-22, 1995)},
SERIES = {LNCS},
VOLUME = {948},
PAGES = {4-20},
YEAR = {1995},
EDITOR = {Cohen, G{\'{e}}rard and Giusti, Marc and Mora, Teo},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Apel/95a,
AUTHOR = {Apel, J.},
TITLE = {Division of entire functions by polynomial ideals},
BOOKTITLE = {Proceedings of the 11th International Symposium on Applied Algebra, Algebraic Algorithms and Error-Correcting Codes, AAECC-11, (Paris, France, July 17-22, 1995)},
SERIES = {LNCS},
VOLUME = {948},
PAGES = {82-95},
YEAR = {1995},
EDITOR = {Cohen, G{\'{e}}rard and Giusti, Marc and Mora, Teo},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Ashikhmin-Barg-Cohen-Huguet/95,
AUTHOR = {Ashikhmin, A. and Barg, A. and Cohen, G. and Huguet, L.},
TITLE = {Variations on minimal codewords in linear codes},
BOOKTITLE = {Proceedings of the 11th International Symposium on Applied Algebra, Algebraic Algorithms and Error-Correcting Codes, AAECC-11, (Paris, France, July 17-22, 1995)},
SERIES = {LNCS},
VOLUME = {948},
PAGES = {96-105},
YEAR = {1995},
EDITOR = {Cohen, G{\'{e}}rard and Giusti, Marc and Mora, Teo},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Armendariz-Solerno/95,
AUTHOR = {Armend{\'{a}}riz, In{\'{e}}s and Solern{\'{o}}, Pablo},
TITLE = {On the computation of the radical of polynomial complete intersection ideals},
BOOKTITLE = {Proceedings of the 11th International Symposium on Applied Algebra, Algebraic Algorithms and Error-Correcting Codes, AAECC-11, (Paris, France, July 17-22, 1995)},
SERIES = {LNCS},
VOLUME = {948},
PAGES = {106-119},
YEAR = {1995},
EDITOR = {Cohen, G{\'{e}}rard and Giusti, Marc and Mora, Teo},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Beth-Kalouti-Lazic/95,
AUTHOR = {Beth, Th. and Kalouti, H. and Lazic, D.E.},
TITLE = {Which families of long binary linear codes have a binomial weight distribution?},
BOOKTITLE = {Proceedings of the 11th International Symposium on Applied Algebra, Algebraic Algorithms and Error-Correcting Codes, AAECC-11, (Paris, France, July 17-22, 1995)},
SERIES = {LNCS},
VOLUME = {948},
PAGES = {120-130},
YEAR = {1995},
EDITOR = {Cohen, G{\'{e}}rard and Giusti, Marc and Mora, Teo},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Betten-Kerber-Kohnert-Laue-Wassermann/95a,
AUTHOR = {Betten, Anton and Kerber, Adalbert and Kohnert, Axel and Laue, Reinhard and Wassermann, Alfred},
TITLE = {The discovery of simple 7-designs with automorphism group $P \Gamma L(2,32)$},
BOOKTITLE = {Proceedings of the 11th International Symposium on Applied Algebra, Algebraic Algorithms and Error-Correcting Codes, AAECC'95 (Paris, France, July 17-22, 1995)},
SERIES = {LNCS},
VOLUME = {948},
PAGES = {131-145},
YEAR = {1995},
EDITOR = {Cohen, G{\'e}rard and Giusti, Marc and Mora, Teo},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=948&spage=131},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Bocharova-Kudryashov/95,
AUTHOR = {Bocharova, Irina E. and Kudryashov, Boris D.},
TITLE = {Fast exponentation in cryptography},
BOOKTITLE = {Proceedings of the 11th International Symposium on Applied Algebra, Algebraic Algorithms and Error-Correcting Codes, AAECC-11, (Paris, France, July 17-22, 1995)},
SERIES = {LNCS},
VOLUME = {948},
PAGES = {146-157},
YEAR = {1995},
EDITOR = {Cohen, G{\'{e}}rard and Giusti, Marc and Mora, Teo},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Boyvalenkov-Landgev/95,
AUTHOR = {Boyvalenkov, Peter and Landgev, Ivan},
TITLE = {On maximal spherical codes I},
BOOKTITLE = {Proceedings of the 11th International Symposium on Applied Algebra, Algebraic Algorithms and Error-Correcting Codes, AAECC-11, (Paris, France, July 17-22, 1995)},
SERIES = {LNCS},
VOLUME = {948},
PAGES = {158-168},
YEAR = {1995},
EDITOR = {Cohen, G{\'{e}}rard and Giusti, Marc and Mora, Teo},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Colin/95,
AUTHOR = {Colin, Antoine},
TITLE = {Formal computation of Galois groups with relative resolvents},
BOOKTITLE = {Proceedings of the 11th International Symposium on Applied Algebra, Algebraic Algorithms and Error-Correcting Codes, AAECC-11, (Paris, France, July 17-22, 1995)},
SERIES = {LNCS},
VOLUME = {948},
PAGES = {169-182},
YEAR = {1995},
EDITOR = {Cohen, G{\'{e}}rard and Giusti, Marc and Mora, Teo},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Conti-Traverso/95,
AUTHOR = {Conti, Pasqualina and Traverso, Carlo},
TITLE = {A case of automatic theorem proving in Euclidean geometry: The Maclane $8_3$ theorem},
BOOKTITLE = {Proceedings of the 11th International Symposium on Applied Algebra, Algebraic Algorithms and Error-Correcting Codes, AAECC-11, (Paris, France, July 17-22, 1995)},
SERIES = {LNCS},
VOLUME = {948},
PAGES = {183-193},
YEAR = {1995},
EDITOR = {Cohen, G{\'{e}}rard and Giusti, Marc and Mora, Teo},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Bodlaender-Fluiter/95,
AUTHOR = {Bodlaender, Hans L. and Fluiter, Babette de},
TITLE = {Intervalizing $k$-colored graphs},
BOOKTITLE = {Proceedings of the 22nd Internatinal Colloquium on Automata, Languages and Programming, ICALP95 (Szeged, Hungary, July 10-14, 1995)},
SERIES = {LNCS},
VOLUME = {944},
PAGES = {87-98},
YEAR = {1995},
EDITOR = {F{\"u}l{\"o}p, Zolt{\'{a}}n and G{\'{e}}cseg, Ferenc},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Chen/95d,
AUTHOR = {Chen, Zhi-Zhong},
TITLE = {NC algorithms for finding a maximal set of paths with application to compressing strings},
BOOKTITLE = {Proceedings of the 22nd Internatinal Colloquium on Automata, Languages and Programming, ICALP95 (Szeged, Hungary, July 10-14, 1995)},
SERIES = {LNCS},
VOLUME = {944},
PAGES = {99-110},
YEAR = {1995},
EDITOR = {F{\"u}l{\"o}p, Zolt{\'{a}}n and G{\'{e}}cseg, Ferenc},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Bermond-Gargano-Rescigno-Vaccaro/95,
AUTHOR = {Bermond, J.-C. and Gargano, L. and Rescigno, A.A. and Vaccaro, U.},
TITLE = {Fast gossiping by short messages},
BOOKTITLE = {Proceedings of the 22nd Internatinal Colloquium on Automata, Languages and Programming, ICALP95 (Szeged, Hungary, July 10-14, 1995)},
SERIES = {LNCS},
VOLUME = {944},
PAGES = {135-146},
YEAR = {1995},
EDITOR = {F{\"u}l{\"o}p, Zolt{\'{a}}n and G{\'{e}}cseg, Ferenc},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Bao-Igarashi/95,
AUTHOR = {Bao, Feng and Igarashi, Yoshihide},
TITLE = {Break finite automata public key cryptosystem},
BOOKTITLE = {Proceedings of the 22nd International Colloquium on Automata, Languages and Programming, ICALP'95 (Szeged, Hungary, July 10-14, 1995)},
SERIES = {LNCS},
VOLUME = {944},
PAGES = {147-158},
YEAR = {1995},
EDITOR = {F{\"u}l{\"o}p, Zolt{\'a}n and G{\'e}cseg, Ferenc},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=944&spage=147},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Blundo-Santis-Persiano-Vaccaro/95,
AUTHOR = {Blundo, Carlo and Santis, Alfredo De and Persiano, Giuseppe and Vaccaro, Ugo},
TITLE = {On the number of random bits in totally private computation},
BOOKTITLE = {Proceedings of the 22nd Internatinal Colloquium on Automata, Languages and Programming, ICALP95 (Szeged, Hungary, July 10-14, 1995)},
SERIES = {LNCS},
VOLUME = {944},
PAGES = {171-182},
YEAR = {1995},
EDITOR = {F{\"u}l{\"o}p, Zolt{\'{a}}n and G{\'{e}}cseg, Ferenc},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Balcazar/95,
AUTHOR = {Balc{\'{a}}zar, Jos{\'{e}} L.},
TITLE = {The complexity of searching succinctly represented graphs},
BOOKTITLE = {Proceedings of the 22nd Internatinal Colloquium on Automata, Languages and Programming, ICALP95 (Szeged, Hungary, July 10-14, 1995)},
SERIES = {LNCS},
VOLUME = {944},
PAGES = {208-219},
YEAR = {1995},
EDITOR = {F{\"u}l{\"o}p, Zolt{\'{a}}n and G{\'{e}}cseg, Ferenc},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Bauernoppel-Kranakis-Krizanc-Maheshwari-Noy-Sack-Urrutia/95,
AUTHOR = {Bauern{\"o}ppel, Frank and Kranakis, Evangelos and Krizanc, Danny and Maheshwari, Anil and Noy, Marc and Sack, J{\"o}rg-R{\"u}diger and Urrutia, Jorge},
TITLE = {Optimal shooting: Characterizations and applications},
BOOKTITLE = {Proceedings of the 22nd Internatinal Colloquium on Automata, Languages and Programming, ICALP95 (Szeged, Hungary, July 10-14, 1995)},
SERIES = {LNCS},
VOLUME = {944},
PAGES = {220-231},
YEAR = {1995},
EDITOR = {F{\"u}l{\"o}p, Zolt{\'{a}}n and G{\'{e}}cseg, Ferenc},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Auletta-Parente-Persiano/95,
AUTHOR = {Auletta, Vincenzo and Parente, Domenico and Persiano, Giuseppe},
TITLE = {Placing resources in a tree: Dynamic and static algorithms},
BOOKTITLE = {Proceedings of the 22nd Internatinal Colloquium on Automata, Languages and Programming, ICALP95 (Szeged, Hungary, July 10-14, 1995)},
SERIES = {LNCS},
VOLUME = {944},
PAGES = {232-243},
YEAR = {1995},
EDITOR = {F{\"u}l{\"o}p, Zolt{\'{a}}n and G{\'{e}}cseg, Ferenc},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Chaudhuri-Zaroliagis/95,
AUTHOR = {Chaudhuri, Shiva and Zaroliagis, Christos D.},
TITLE = {Shortes path queries in digraphs of small treewidth},
BOOKTITLE = {Proceedings of the 22nd Internatinal Colloquium on Automata, Languages and Programming, ICALP95 (Szeged, Hungary, July 10-14, 1995)},
SERIES = {LNCS},
VOLUME = {944},
PAGES = {244-255},
YEAR = {1995},
EDITOR = {F{\"u}l{\"o}p, Zolt{\'{a}}n and G{\'{e}}cseg, Ferenc},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Bodlaender-Hagerup/95a,
AUTHOR = {Bodlaender, Hans L. and Hagerup, Torben},
TITLE = {Parallel algorithms with optimal speedup for bounded treewidth},
BOOKTITLE = {Proceedings of the 22nd International Colloquium on Automata, Languages and Programming, ICALP'95 (Szeged, Hungary, July 10-14, 1995)},
SERIES = {LNCS},
VOLUME = {944},
PAGES = {268-279},
YEAR = {1995},
EDITOR = {F{\"u}l{\"o}p, Zolt{\'a}n and G{\'e}cseg, Ferenc},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=944&spage=268},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Corneil-Olariu-Stewart/95,
AUTHOR = {Corneil, Derek G. and Olariu, Stephan and Stewart, Lorna},
TITLE = {Linear time algorithms for dominating pairs in asteroidal triple-free graphs},
BOOKTITLE = {Proceedings of the 22nd Internatinal Colloquium on Automata, Languages and Programming, ICALP95 (Szeged, Hungary, July 10-14, 1995)},
SERIES = {LNCS},
VOLUME = {944},
PAGES = {292-302},
YEAR = {1995},
EDITOR = {F{\"u}l{\"o}p, Zolt{\'{a}}n and G{\'{e}}cseg, Ferenc},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Ben-Amram-Galil/95a,
AUTHOR = {Ben-Amram, Amir M. and Galil, Zvi},
TITLE = {Lower bounds on algebraic random access machines},
BOOKTITLE = {Proceedings of the 22nd Internatinal Colloquium on Automata, Languages and Programming, ICALP95 (Szeged, Hungary, July 10-14, 1995)},
SERIES = {LNCS},
VOLUME = {944},
PAGES = {360-371},
YEAR = {1995},
EDITOR = {F{\"u}l{\"o}p, Zolt{\'{a}}n and G{\'{e}}cseg, Ferenc},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Ambos-Spies/95,
AUTHOR = {Ambos-Spies, Klaus},
TITLE = {On optimal polynomial time approximations: P-levelability vs.~$\Delta$-levelability},
BOOKTITLE = {Proceedings of the 22nd International Colloquium on Automata, Languages and Programming, ICALP'95 (Szeged, Hungary, July 10-14, 1995)},
SERIES = {LNCS},
VOLUME = {944},
PAGES = {384-392},
YEAR = {1995},
EDITOR = {F{\"u}l{\"o}p, Zolt{\'a}n and G{\'e}cseg, Ferenc},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=944&spage=384},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Bozanis-Kitsios-Makris-Tsakalidis/95,
AUTHOR = {Bozanis, Panayiotis and Kitsios, Nectarios and Makris, Christos and Tsakalidis, Athanasios},
TITLE = {New upper bounds for generalized intersection searching problems},
BOOKTITLE = {Proceedings of the 22nd Internatinal Colloquium on Automata, Languages and Programming, ICALP95 (Szeged, Hungary, July 10-14, 1995)},
SERIES = {LNCS},
VOLUME = {944},
PAGES = {464-474},
YEAR = {1995},
EDITOR = {F{\"u}l{\"o}p, Zolt{\'{a}}n and G{\'{e}}cseg, Ferenc},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Becker-Drechsler-Theobald/95,
AUTHOR = {Becker, Bernd and Drechsler, Rolf and Theobald, Michael},
TITLE = {OKFDDs versus OBDDs and OFDDs},
BOOKTITLE = {Proceedings of the 22nd Internatinal Colloquium on Automata, Languages and Programming, ICALP95 (Szeged, Hungary, July 10-14, 1995)},
SERIES = {LNCS},
VOLUME = {944},
PAGES = {475-486},
YEAR = {1995},
EDITOR = {F{\"u}l{\"o}p, Zolt{\'{a}}n and G{\'{e}}cseg, Ferenc},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Andersen-Kristoffersen-Larsen-Niedermann/95,
AUTHOR = {Andersen, J{\o}rgen H. and Kristoffersen, K{\aa}re J. and Larsen, Kim G. and Niedermann, Jesper},
TITLE = {Automatic synthesis of real time systems},
BOOKTITLE = {Proceedings of the 22nd Internatinal Colloquium on Automata, Languages and Programming, ICALP95 (Szeged, Hungary, July 10-14, 1995)},
SERIES = {LNCS},
VOLUME = {944},
PAGES = {535-546},
YEAR = {1995},
EDITOR = {F{\"u}l{\"o}p, Zolt{\'{a}}n and G{\'{e}}cseg, Ferenc},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Blum-Codenotti-Gemmell-Shahoumian/95,
AUTHOR = {Blum, Manuel and Codenotti, Bruno and Gemmell, Peter and Shahoumian, Troy},
TITLE = {Self-correcting for function fields of finite transcendental degree},
BOOKTITLE = {Proceedings of the 22nd Internatinal Colloquium on Automata, Languages and Programming, ICALP95 (Szeged, Hungary, July 10-14, 1995)},
SERIES = {LNCS},
VOLUME = {944},
PAGES = {547-557},
YEAR = {1995},
EDITOR = {F{\"u}l{\"o}p, Zolt{\'{a}}n and G{\'{e}}cseg, Ferenc},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Cosnard-Goles/95,
AUTHOR = {Cosnard, Michel and Goles, Eric},
TITLE = {A characterization of the existence of energies for neural networks},
BOOKTITLE = {Proceedings of the 22nd International Colloquium on Automata, Languages and Programming, ICALP'95 (Szeged, Hungary, July 10-14, 1995)},
SERIES = {LNCS},
VOLUME = {944},
PAGES = {570-580},
YEAR = {1995},
EDITOR = {F{\"u}l{\"o}p, Zolt{\'a}n and G{\'e}cseg, Ferenc},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=944&spage=570},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Best-Koutny/95a,
AUTHOR = {Best, Eike and Koutny, Maciej},
TITLE = {Solving recursive net equations},
BOOKTITLE = {Proceedings of the 22nd Internatinal Colloquium on Automata, Languages and Programming, ICALP95 (Szeged, Hungary, July 10-14, 1995)},
SERIES = {LNCS},
VOLUME = {944},
PAGES = {605-623},
YEAR = {1995},
EDITOR = {F{\"u}l{\"o}p, Zolt{\'{a}}n and G{\'{e}}cseg, Ferenc},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Alvisi-Marzullo/95,
AUTHOR = {Alvisi, Lorenzo and Marzullo, Keith},
TITLE = {Deriving optimal checkpoint protocols for distributed shared memory architectures},
BOOKTITLE = {Proceedings of the International Workshop on Theory and Practice in Distributed Systems (Dagstuhl Castle, Germany, September 5-9, 1994)},
SERIES = {LNCS},
VOLUME = {938},
PAGES = {111-120},
YEAR = {1995},
EDITOR = {Birman, K.P. and Mattern, F. and Schiper, A.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Birman/95,
AUTHOR = {Birman, Kenneth P.},
TITLE = {Merits of a probabilistic approach to properties in process group systems},
BOOKTITLE = {Proceedings of the International Workshop on Theory and Practice in Distributed Systems (Dagstuhl Castle, Germany, September 5-9, 1994)},
SERIES = {LNCS},
VOLUME = {938},
PAGES = {214-223},
YEAR = {1995},
EDITOR = {Birman, K.P. and Mattern, F. and Schiper, A.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Bafna-Muthukrishnan-Ravi/95,
AUTHOR = {Bafna, Vineet and Muthukrishnan, S. and Ravi, R.},
TITLE = {Computing similarity between Rna strings},
BOOKTITLE = {Proceedings of the 6th Annual Symposium on Combinatorial Pattern Matching, CPM'95 (Espoo, Finland, July 5-7, 1995)},
SERIES = {LNCS},
VOLUME = {937},
PAGES = {1-16},
YEAR = {1995},
EDITOR = {Galil, Zvi and Ukkonen, Esko},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Benham-Kannan-Warnow/95,
AUTHOR = {Benham, Craig and Kannan, Sampath and Warnow, Tandy},
TITLE = {Of chicken teeth and mouse eyes, or generalized character compatibility},
BOOKTITLE = {Proceedings of the 6th Annual Symposium on Combinatorial Pattern Matching, CPM'95 (Espoo, Finland, July 5-7, 1995)},
SERIES = {LNCS},
VOLUME = {937},
PAGES = {17-26},
YEAR = {1995},
EDITOR = {Galil, Zvi and Ukkonen, Esko},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Breslauer-Gasieniec/95,
AUTHOR = {Breslauer, Dany and G{\c{a}}sieniec, Leszek},
TITLE = {Efficient string matching on coded texts},
BOOKTITLE = {Proceedings of the 6th Annual Symposium on Combinatorial Pattern Matching, CPM'95 (Espoo, Finland, July 5-7, 1995)},
SERIES = {LNCS},
VOLUME = {937},
PAGES = {27-40},
YEAR = {1995},
EDITOR = {Galil, Zvi and Ukkonen, Esko},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Cobbs/95,
AUTHOR = {Cobbs, Archie L.},
TITLE = {Fast approximate matching using suffix trees},
BOOKTITLE = {Proceedings of the 6th Annual Symposium on Combinatorial Pattern Matching, CPM'95 (Espoo, Finland, July 5-7, 1995)},
SERIES = {LNCS},
VOLUME = {937},
PAGES = {41-54},
YEAR = {1995},
EDITOR = {Galil, Zvi and Ukkonen, Esko},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Best-Koutny/95,
AUTHOR = {Best, Eike and Koutny, Maciej},
TITLE = {A refined view of the box algebra},
BOOKTITLE = {Proceedings of the 16th International Conference on Application and Theory of Petri Nets, PN'95 (Turin, Italy, June 26-30, 1995)},
SERIES = {LNCS},
VOLUME = {935},
PAGES = {1-20},
YEAR = {1995},
EDITOR = {de Michelis, Giorgio and Diaz, Michel},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Barkaoui-Couvreur-Dutheillet/95,
AUTHOR = {Barkaoui, K. and Couvreur, J.M. and Dutheillet, C.},
TITLE = {On liveness in extended non self-controlling nets},
BOOKTITLE = {Proceedings of the 16th International Conference on Application and Theory of Petri Nets, PN'95 (Turin, Italy, June 26-30, 1995)},
SERIES = {LNCS},
VOLUME = {935},
PAGES = {25-44},
YEAR = {1995},
EDITOR = {de Michelis, Giorgio and Diaz, Michel},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Basten-Voorhoeve/95,
AUTHOR = {Basten, Twan and Voorhoeve, Marc},
TITLE = {An algebraic semantics for hierarchical P/T nets},
BOOKTITLE = {Proceedings of the 16th International Conference on Application and Theory of Petri Nets, PN'95 (Turin, Italy, June 26-30, 1995)},
SERIES = {LNCS},
VOLUME = {935},
PAGES = {45-65},
YEAR = {1995},
EDITOR = {de Michelis, Giorgio and Diaz, Michel},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Bastide-Palanque/95,
AUTHOR = {Bastide, R{\'{e}}mi and Palanque, Philippe},
TITLE = {A Petri net based environment for the design of event-driven interfaces},
BOOKTITLE = {Proceedings of the 16th International Conference on Application and Theory of Petri Nets, PN'95 (Turin, Italy, June 26-30, 1995)},
SERIES = {LNCS},
VOLUME = {935},
PAGES = {66-83},
YEAR = {1995},
EDITOR = {de Michelis, Giorgio and Diaz, Michel},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Battiston-Botti-Crivelli-De_Cindio/95,
AUTHOR = {Battiston, E. and Botti, O. and Crivelli, E. and De Cindio, F.},
TITLE = {An incremental specification of a hydroelectric power plant control systems using a class of modular algebraic nets},
BOOKTITLE = {Proceedings of the 16th International Conference on Application and Theory of Petri Nets, PN'95 (Turin, Italy, June 26-30, 1995)},
SERIES = {LNCS},
VOLUME = {935},
PAGES = {84-102},
YEAR = {1995},
EDITOR = {de Michelis, Giorgio and Diaz, Michel},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Best-Fleischack-Fraczak-Hopkins-Klaudel-Pelz/95,
AUTHOR = {Best, Eike and Fleischack, Hans and Fra{\c{c}}zak, Wojciech and Hopkins, Richard P. and Klaudel, Hanna and Pelz, Elisabeth},
TITLE = {A class of composable high level Petri nets},
BOOKTITLE = {Proceedings of the 16th International Conference on Application and Theory of Petri Nets, PN'95 (Turin, Italy, June 26-30, 1995)},
SERIES = {LNCS},
VOLUME = {935},
PAGES = {103-120},
YEAR = {1995},
EDITOR = {de Michelis, Giorgio and Diaz, Michel},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Brgan-Poitrenaud/95,
AUTHOR = {Brgan, Robert and Poitrenaud, Denis},
TITLE = {An efficient algorithm for the computation of stubborn sets of well formed Petri nets},
BOOKTITLE = {Proceedings of the 16th International Conference on Application and Theory of Petri Nets, PN'95 (Turin, Italy, June 26-30, 1995)},
SERIES = {LNCS},
VOLUME = {935},
PAGES = {121-140},
YEAR = {1995},
EDITOR = {de Michelis, Giorgio and Diaz, Michel},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Bruno-Agarwal-Castella-Pescarmona/95,
AUTHOR = {Bruno, G. and Agarwal, R. and Castella, A. and Pescarmona, M.P.},
TITLE = {CAB: An environment for developing concurrent application},
BOOKTITLE = {Proceedings of the 16th International Conference on Application and Theory of Petri Nets, PN'95 (Turin, Italy, June 26-30, 1995)},
SERIES = {LNCS},
VOLUME = {935},
PAGES = {141-160},
YEAR = {1995},
EDITOR = {de Michelis, Giorgio and Diaz, Michel},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Bucholz/95,
AUTHOR = {Bucholz, Peter},
TITLE = {A notion of equivalence for stochastic Petri nets},
BOOKTITLE = {Proceedings of the 16th International Conference on Application and Theory of Petri Nets, PN'95 (Turin, Italy, June 26-30, 1995)},
SERIES = {LNCS},
VOLUME = {935},
PAGES = {161-180},
YEAR = {1995},
EDITOR = {de Michelis, Giorgio and Diaz, Michel},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Caselli-Conte-Marenzoni/95,
AUTHOR = {Caselli, S. and Conte, G. and Marenzoni, P.},
TITLE = {Parallel state space exploration for GSPN models},
BOOKTITLE = {Proceedings of the 16th International Conference on Application and Theory of Petri Nets, PN'95 (Turin, Italy, June 26-30, 1995)},
SERIES = {LNCS},
VOLUME = {935},
PAGES = {181-200},
YEAR = {1995},
EDITOR = {de Michelis, Giorgio and Diaz, Michel},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Christensen-Petrucci/95,
AUTHOR = {Christensen, S{\o}ren and Petrucci, Laure},
TITLE = {Modular state space analysis of coloured Petri nets},
BOOKTITLE = {Proceedings of the 16th International Conference on Application and Theory of Petri Nets, PN'95 (Turin, Italy, June 26-30, 1995)},
SERIES = {LNCS},
VOLUME = {935},
PAGES = {201-217},
YEAR = {1995},
EDITOR = {de Michelis, Giorgio and Diaz, Michel},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Bertsimas-Teo-Vohra/95,
AUTHOR = {Bertsimas, Dimitris and Teo, Chungpiaw and Vohra, Rakesh},
TITLE = {Nonlinear formulations and improved randomized approximation algorithms for multicut problems},
BOOKTITLE = {Proceedings of the 4th International Conference on Integer Programming and Combinatorial Optimization, IPCO'95 (Copenhagen, Denmark, May 29-31, 1995)},
SERIES = {LNCS},
VOLUME = {920},
PAGES = {29-39},
YEAR = {1995},
EDITOR = {Balas, Egon and Clausen, Jens},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Carr/95,
AUTHOR = {Carr, Robert D.},
TITLE = {Separating clique tree and bipartition inequalities in polynomial time},
BOOKTITLE = {Proceedings of the 4th International Conference on Integer Programming and Combinatorial Optimization, IPCO'95 (Copenhagen, Denmark, May 29-31, 1995)},
SERIES = {LNCS},
VOLUME = {920},
PAGES = {40-49},
YEAR = {1995},
EDITOR = {Balas, Egon and Clausen, Jens},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Cheng-Cunningham/95,
AUTHOR = {Cheng, Eddie and Cunningham, William H.},
TITLE = {Separation problems for the stable set polytope},
BOOKTITLE = {Proceedings of the 4th International Conference on Integer Programming and Combinatorial Optimization, IPCO'95 (Copenhagen, Denmark, May 29-31, 1995)},
SERIES = {LNCS},
VOLUME = {920},
PAGES = {65-79},
YEAR = {1995},
EDITOR = {Balas, Egon and Clausen, Jens},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Bienstock/95,
AUTHOR = {Bienstock, Daniel},
TITLE = {Computational study of a family of mixed-integer quadratic programming problems},
BOOKTITLE = {Proceedings of the 4th International Conference on Integer Programming and Combinatorial Optimization, IPCO'95 (Copenhagen, Denmark, May 29-31, 1995)},
SERIES = {LNCS},
VOLUME = {920},
PAGES = {80-94},
YEAR = {1995},
EDITOR = {Balas, Egon and Clausen, Jens},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Cherkassky-Goldberg/95,
AUTHOR = {Cherkassky, Boris V. and Goldberg, Andrew V.},
TITLE = {On implementing push-relabel method for the maximum flow problem},
BOOKTITLE = {Proceedings of the 4th International Conference on Integer Programming and Combinatorial Optimization, IPCO'94 (Copenhagen, Denmark, May 29-31, 1995)},
SERIES = {LNCS},
VOLUME = {920},
PAGES = {157-171},
YEAR = {1995},
EDITOR = {Balas, Egon and Clausen, Jens},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=920&spage=157},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Ali-Han-Kennington/95,
AUTHOR = {Ali, Agha Iqbal and Han, Hyun-Soo and Kennington, Jeffery L.},
TITLE = {Use of hidden network structure in the set partitioning problem},
BOOKTITLE = {Proceedings of the 4th International Conference on Integer Programming and Combinatorial Optimization, IPCO'95 (Copenhagen, Denmark, May 29-31, 1995)},
SERIES = {LNCS},
VOLUME = {920},
PAGES = {172-184},
YEAR = {1995},
EDITOR = {Balas, Egon and Clausen, Jens},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Bouchet/95,
AUTHOR = {Bouchet, Andr{\'{e}}},
TITLE = {Coverings and delta-coverings},
BOOKTITLE = {Proceedings of the 4th International Conference on Integer Programming and Combinatorial Optimization, IPCO'95 (Copenhagen, Denmark, May 29-31, 1995)},
SERIES = {LNCS},
VOLUME = {920},
PAGES = {228-243},
YEAR = {1995},
EDITOR = {Balas, Egon and Clausen, Jens},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Barany-Scarf-Shallcross/95,
AUTHOR = {B{\'{a}}r{\'{a}}ny, I. and Scarf, H.E. and Shallcross, D.},
TITLE = {The topological structure of maximal lattice free convex bodies: The general case},
BOOKTITLE = {Proceedings of the 4th International Conference on Integer Programming and Combinatorial Optimization, IPCO'95 (Copenhagen, Denmark, May 29-31, 1995)},
SERIES = {LNCS},
VOLUME = {920},
PAGES = {244-251},
YEAR = {1995},
EDITOR = {Balas, Egon and Clausen, Jens},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Crama-Spieksma/95,
AUTHOR = {Crama, Yves and Spieksma, Frits C.R.},
TITLE = {Scheduling jobs of equal length: Complexity, facets and computational results},
BOOKTITLE = {Proceedings of the 4th International Conference on Integer Programming and Combinatorial Optimization, IPCO'95 (Copenhagen, Denmark, May 29-31, 1995)},
SERIES = {LNCS},
VOLUME = {920},
PAGES = {277-291},
YEAR = {1995},
EDITOR = {Balas, Egon and Clausen, Jens},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Conforti-Cornuejols-Kapoor-Vuskovic/95,
AUTHOR = {Conforti, Michele and Cornu{\'{e}}jols, G{\'{e}}rard and Kapoor, Ajai and Vu{\v{s}}kovi{\'{c}}, Kristina},
TITLE = {A Mickey-Mouse decomposition theorem},
BOOKTITLE = {Proceedings of the 4th International Conference on Integer Programming and Combinatorial Optimization, IPCO'95 (Copenhagen, Denmark, May 29-31, 1995)},
SERIES = {LNCS},
VOLUME = {920},
PAGES = {321-328},
YEAR = {1995},
EDITOR = {Balas, Egon and Clausen, Jens},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Ageev-Kostochka-Szigeti/95,
AUTHOR = {Ageev, A.A. and Kostochka, A.V. and Szigeti, Z.},
TITLE = {A characterization of Seymour graphs},
BOOKTITLE = {Proceedings of the 4th International Conference on Integer Programming and Combinatorial Optimization, IPCO'95 (Copenhagen, Denmark, May 29-31, 1995)},
SERIES = {LNCS},
VOLUME = {920},
PAGES = {364-372},
YEAR = {1995},
EDITOR = {Balas, Egon and Clausen, Jens},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Bartels-Welsh/95,
AUTHOR = {Bartels, J. Eric and Welsh, Dominic J.A.},
TITLE = {The Markov chain of colourings},
BOOKTITLE = {Proceedings of the 4th International Conference on Integer Programming and Combinatorial Optimization, IPCO'95 (Copenhagen, Denmark, May 29-31, 1995)},
SERIES = {LNCS},
VOLUME = {920},
PAGES = {373-387},
YEAR = {1995},
EDITOR = {Balas, Egon and Clausen, Jens},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Ceria-Cornuejols-Dawande/95,
AUTHOR = {Ceria, Sebasti{\'{a}}n and Cornu{\'{e}}jols, G{\'{e}}rard and Dawande, Milind},
TITLE = {Combining and strengthening Gomory cuts},
BOOKTITLE = {Proceedings of the 4th International Conference on Integer Programming and Combinatorial Optimization, IPCO'95 (Copenhagen, Denmark, May 29-31, 1995)},
SERIES = {LNCS},
VOLUME = {920},
PAGES = {438-451},
YEAR = {1995},
EDITOR = {Balas, Egon and Clausen, Jens},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Abello-Kumar/95a,
AUTHOR = {Abello, James and Kumar, Krishna},
TITLE = {Visibility graphs of 2-spiral polygons},
BOOKTITLE = {Proceedings of the 2nd Latin American Symposium on Theoretical Informatics, LATIN'95 (Valparaiso, Chile, April 3-7, 1995)},
SERIES = {LNCS},
VOLUME = {911},
PAGES = {1-15},
YEAR = {1995},
EDITOR = {Baeza-Yates, Ricardo and Goles, Eric and Poblete, Patricio V.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Alonso-Schott/95,
AUTHOR = {Alonso, L. and Schott, R.},
TITLE = {Random generation of colored trees},
BOOKTITLE = {Proceedings of the 2nd Latin American Symposium on Theoretical Informatics, LATIN'95 (Valparaiso, Chile, April 3-7, 1995)},
SERIES = {LNCS},
VOLUME = {911},
PAGES = {16-35},
YEAR = {1995},
EDITOR = {Baeza-Yates, Ricardo and Goles, Eric and Poblete, Patricio V.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Asano-Ranjan-Roos-Welzl-Widmayer/95,
AUTHOR = {Asano, Tetsuo and Ranjan, Desh and Roos, Thomas and Welzl, Emo and Widmayer, Peter},
TITLE = {Space filling curves and their use in the design of geometric data structures},
BOOKTITLE = {Proceedings of the 2nd Latin American Symposium on Theoretical Informatics, LATIN'95 (Valparaiso, Chile, April 3-7, 1995)},
SERIES = {LNCS},
VOLUME = {911},
PAGES = {36-48},
YEAR = {1995},
EDITOR = {Baeza-Yates, Ricardo and Goles, Eric and Poblete, Patricio V.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Balasubramanian-Raman-Srinivasaraghavan/95,
AUTHOR = {Balasubramanian, R. and Raman, Venkatesh and Srinivasaraghavan, G.},
TITLE = {Tight bounds for finding degrees from the adjacency matrix},
BOOKTITLE = {Proceedings of the 2nd Latin American Symposium on Theoretical Informatics, LATIN'95 (Valparaiso, Chile, April 3-7, 1995)},
SERIES = {LNCS},
VOLUME = {911},
PAGES = {49-59},
YEAR = {1995},
EDITOR = {Baeza-Yates, Ricardo and Goles, Eric and Poblete, Patricio V.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Barrington-Straubing/95a,
AUTHOR = {Barrington, David Mix and Straubing, Howard},
TITLE = {Lower bounds for modular counting by circuits with modular gates},
BOOKTITLE = {Proceedings of the 2nd Latin American Symposium on Theoretical Informatics, LATIN'95 (Valparaiso, Chile, April 3-7, 1995)},
SERIES = {LNCS},
VOLUME = {911},
PAGES = {60-71},
YEAR = {1995},
EDITOR = {Baeza-Yates, Ricardo and Goles, Eric and Poblete, Patricio V.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Becker-Drechsler-Werchner/95a,
AUTHOR = {Becker, Bernd and Drechsler, Rolf and Werchner, Ralph},
TITLE = {On the relation between BDDs and FDDs},
BOOKTITLE = {Proceedings of the Second Latin American Symposium on Theoretical Informatics, LATIN'95 (Valparaiso, Chile, April 3-7, 1995)},
SERIES = {LNCS},
VOLUME = {911},
PAGES = {72-83},
YEAR = {1995},
EDITOR = {Baeza-Yates, Ricardo and Goles, Eric and Poblete, Patricio V.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=911&spage=72},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Blanchard-Maass/95,
AUTHOR = {Blanchard, F. and Maass, Alejandro},
TITLE = {On dynamical properties of generalized toggle automata},
BOOKTITLE = {Proceedings of the 2nd Latin American Symposium on Theoretical Informatics, LATIN'95 (Valparaiso, Chile, April 3-7, 1995)},
SERIES = {LNCS},
VOLUME = {911},
PAGES = {84-98},
YEAR = {1995},
EDITOR = {Baeza-Yates, Ricardo and Goles, Eric and Poblete, Patricio V.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Bloom-Esik/95a,
AUTHOR = {Bloom, Stephen L. and {\'{E}}sik, Zolt{\'{a}}n},
TITLE = {Free shuffle algebras in language varieties},
BOOKTITLE = {Proceedings of the 2nd Latin American Symposium on Theoretical Informatics, LATIN'95 (Valparaiso, Chile, April 3-7, 1995)},
SERIES = {LNCS},
VOLUME = {911},
PAGES = {99-111},
YEAR = {1995},
EDITOR = {Baeza-Yates, Ricardo and Goles, Eric and Poblete, Patricio V.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Bradford-Choppella-Rawlins/95,
AUTHOR = {Bradford, Phillip G. and Choppella, Venkatesh and Rawlins, Gregory J.E.},
TITLE = {Lower bounds for the matrix chain ordering problem},
BOOKTITLE = {Proceedings of the 2nd Latin American Symposium on Theoretical Informatics, LATIN'95 (Valparaiso, Chile, April 3-7, 1995)},
SERIES = {LNCS},
VOLUME = {911},
PAGES = {112-130},
YEAR = {1995},
EDITOR = {Baeza-Yates, Ricardo and Goles, Eric and Poblete, Patricio V.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Brands/95,
AUTHOR = {Brands, Stefan},
TITLE = {Off-line electronic cash based on secret-key certificates},
BOOKTITLE = {Proceedings of the 2nd Latin American Symposium on Theoretical Informatics, LATIN'95 (Valparaiso, Chile, April 3-7, 1995)},
SERIES = {LNCS},
VOLUME = {911},
PAGES = {131-166},
YEAR = {1995},
EDITOR = {Baeza-Yates, Ricardo and Goles, Eric and Poblete, Patricio V.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Bruyere-Hansel/95,
AUTHOR = {Bruy{\`{e}}re, V{\'{e}}ronique and Hansel, Georges},
TITLE = {Recognizable sets of numbers in nonstandard bases},
BOOKTITLE = {Proceedings of the 2nd Latin American Symposium on Theoretical Informatics, LATIN'95 (Valparaiso, Chile, April 3-7, 1995)},
SERIES = {LNCS},
VOLUME = {911},
PAGES = {167-179},
YEAR = {1995},
EDITOR = {Baeza-Yates, Ricardo and Goles, Eric and Poblete, Patricio V.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Buntrock-Niemann/95,
AUTHOR = {Buntrock, Gerhard and Niemann, Gundula},
TITLE = {On weak growing context-sensitive grammars},
BOOKTITLE = {Proceedings of the 2nd Latin American Symposium on Theoretical Informatics, LATIN'95 (Valparaiso, Chile, April 3-7, 1995)},
SERIES = {LNCS},
VOLUME = {911},
PAGES = {180-194},
YEAR = {1995},
EDITOR = {Baeza-Yates, Ricardo and Goles, Eric and Poblete, Patricio V.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Callejas_Bedregal-Acioly/95,
AUTHOR = {Callejas Bedregal, Benjam{\'{i}}n R. and Aci{\'{o}}ly, Benedito Melo},
TITLE = {Logic of Plotkin continuous domain},
BOOKTITLE = {Proceedings of the 2nd Latin American Symposium on Theoretical Informatics, LATIN'95 (Valparaiso, Chile, April 3-7, 1995)},
SERIES = {LNCS},
VOLUME = {911},
PAGES = {195-206},
YEAR = {1995},
EDITOR = {Baeza-Yates, Ricardo and Goles, Eric and Poblete, Patricio V.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Chaudhuri-Dubhashi/95,
AUTHOR = {Chaudhuri, Shiva and Dubhashi, Devdatt},
TITLE = {(Probabilistic) recurrence relations revisited},
BOOKTITLE = {Proceedings of the 2nd Latin American Symposium on Theoretical Informatics, LATIN'95 (Valparaiso, Chile, April 3-7, 1995)},
SERIES = {LNCS},
VOLUME = {911},
PAGES = {207-219},
YEAR = {1995},
EDITOR = {Baeza-Yates, Ricardo and Goles, Eric and Poblete, Patricio V.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Broy/95,
AUTHOR = {Broy, Manfred},
TITLE = {Advanced component interface specification},
BOOKTITLE = {Proceedings of the International Workshop on Theory and Practice of Parallel Programming, TPPP'94 (Sendai, Japan, November 7-9, 1994)},
SERIES = {LNCS},
VOLUME = {907},
PAGES = {369-392},
YEAR = {1995},
EDITOR = {Ito, Takayasu and Yonezawa, Akinori},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Bodlaender-Engelfriet/95,
AUTHOR = {Bodlaender, Hans L. and Engelfriet, Joost},
TITLE = {Domino treewidth},
BOOKTITLE = {Proceedings of the 20th International Workshop on Graph-Theoretic Concepts in Computer Science, WG'94 (Herrsching, Germany, June 16-18, 1994)},
SERIES = {LNCS},
VOLUME = {903},
PAGES = {1-13},
YEAR = {1995},
EDITOR = {Mayr, Ernst W. and Schmidt, Gunther and Tinhofer, Gottfried},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=903&spage=1},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Brandstadt-Chepoi-Dragan/95,
AUTHOR = {Brandst{\"a}dt, Andreas and Chepoi, Victor D. and Dragan, Feodor F.},
TITLE = {The algorithmic use of hypertree structure and maximum neighbourhood orderings},
BOOKTITLE = {Proceedings of the 20th International Workshop on Graph-Theoretic Concepts in Computer Science, WG'94 (Herrsching, Germany, June 16-18, 1994)},
SERIES = {LNCS},
VOLUME = {903},
PAGES = {65-80},
YEAR = {1995},
EDITOR = {Mayr, Ernst W. and Schmidt, Gunther and Tinhofer, Gottfried},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=903&spage=65},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Andreae-Nolle-Schreiber/95,
AUTHOR = {Andreae, Thomas and N{\"o}lle, Michael and Schreiber, Gerald},
TITLE = {Cartesian products of graphs as spanning subgraphs of de Bruijn graphs},
BOOKTITLE = {Proceedings of the 20th International Workshop on Graph-Theoretic Concepts in Computer Science, WG'94 (Herrsching, Germany, June 16-18, 1994)},
SERIES = {LNCS},
VOLUME = {903},
PAGES = {140-150},
YEAR = {1995},
EDITOR = {Mayr, Ernst W. and Schmidt, Gunther and Tinhofer, Gottfried},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=903&spage=140},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Bhagavathi-Bokka-Gurla-Olariu-Schwing/95,
AUTHOR = {Bhagavathi, D. and Bokka, V. and Gurla, H. and Olariu, S. and Schwing, J.L.},
TITLE = {Time-optimal tree computations on sparse meshes},
BOOKTITLE = {Proceedings of the 20th International Workshop on Graph-Theoretic Concepts in Computer Science, WG'94 (Herrsching, Germany, June 16-18, 1994)},
SERIES = {LNCS},
VOLUME = {903},
PAGES = {193-205},
YEAR = {1995},
EDITOR = {Mayr, Ernst W. and Schmidt, Gunther and Tinhofer, Gottfried},
KEYWORDS = {meshes with multiple broadcasting, binary trees, ordered trees, encoding, decoding, traversals, tree reconstruction, parentheses algorithms},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=903&spage=193},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Chaudhuri-Hagerup/95,
AUTHOR = {Chaudhuri, Shiva and Hagerup, Torben},
TITLE = {Prefix graphs and their applications},
BOOKTITLE = {Proceedings of the 20th International Workshop on Graph-Theoretic Concepts in Computer Science, WG'94 (Herrsching, Germany, June 16-18, 1994)},
SERIES = {LNCS},
VOLUME = {903},
PAGES = {206-218},
YEAR = {1995},
EDITOR = {Mayr, Ernst W. and Schmidt, Gunther and Tinhofer, Gottfried},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=903&spage=206},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Chen/95c,
AUTHOR = {Chen, Zhi-Zhong},
TITLE = {The maximal $f$-dependent set problem for planar graphs is in $NC$},
BOOKTITLE = {Proceedings of the 20th International Workshop on Graph-Theoretic Concepts in Computer Science, WG'94 (Herrsching, Germany, June 16-18, 1994)},
SERIES = {LNCS},
VOLUME = {903},
PAGES = {232-241},
YEAR = {1995},
EDITOR = {Mayr, Ernst W. and Schmidt, Gunther and Tinhofer, Gottfried},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=903&spage=232},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Bodlaender-Deogun-Jansen-Kloks-Kratsch-Muller-Tuza/95,
AUTHOR = {Bodlaender, H.L. and Deogun, J.S. and Jansen, K. and Kloks, T. and Kratsch, D. and M{\"u}ller, H. and Tuza, Zs.},
TITLE = {Rankings of graphs},
BOOKTITLE = {Proceedings of the 20th International Workshop on Graph-Theoretic Concepts in Computer Science, WG'94 (Herrsching, Germany, June 16-18, 1994)},
SERIES = {LNCS},
VOLUME = {903},
PAGES = {292-304},
YEAR = {1995},
EDITOR = {Mayr, Ernst W. and Schmidt, Gunther and Tinhofer, Gottfried},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=903&spage=292},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Bampis-Manoussakis-Milis/95,
AUTHOR = {Bampis, E. and Manoussakis, Y. and Milis, I.},
TITLE = {NC algorithms for antidirected Hamiltonian paths and cycles in tournaments},
BOOKTITLE = {Proceedings of the 20th International Workshop on Graph-Theoretic Concepts in Computer Science, WG'94 (Herrsching, Germany, June 16-18, 1994)},
SERIES = {LNCS},
VOLUME = {903},
PAGES = {387-394},
YEAR = {1995},
EDITOR = {Mayr, Ernst W. and Schmidt, Gunther and Tinhofer, Gottfried},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=903&spage=387},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Babel-Ponomarenko-Tinhofer/95,
AUTHOR = {Babel, Luitpold and Ponomarenko, Ilia and Tinhofer, Gottfried},
TITLE = {Directed path graph isomorphism},
BOOKTITLE = {Proceedings of the 20th International Workshop on Graph-Theoretic Concepts in Computer Science, WG'94 (Herrsching, Germany, June 16-18, 1994)},
SERIES = {LNCS},
VOLUME = {903},
PAGES = {395-406},
YEAR = {1995},
EDITOR = {Mayr, Ernst W. and Schmidt, Gunther and Tinhofer, Gottfried},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=903&spage=395},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Cai-Lipton-Longpre-Ogihara-Regan-Sivakumar/95,
AUTHOR = {Cai, Jin-Yi and Lipton, Richard J. and Longpr{\'e}, Luc and Ogihara, Mitsunori and Regan, Kenneth W. and Sivakumar, D.},
TITLE = {Communication complexity of key agreement on small ranges},
BOOKTITLE = {Proceedings of the 12th Annual Symposium on Theoretical Aspects of Computer Science, STACS'95 (Munich, Germany, March 2-4, 1995)},
SERIES = {LNCS},
VOLUME = {900},
PAGES = {38-49},
YEAR = {1995},
EDITOR = {Mayr, Ernst W. and Puech, Claude},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=900&spage=38},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Cadoli-Donini-Schaerf/95,
AUTHOR = {Cadoli, Marco and Donini, Francesco M. and Schaerf, Marco},
TITLE = {On compact representations of propositional circumscription},
BOOKTITLE = {Proceedings of the 12th Annual Symposium on Theoretical Aspects of Computer Science, STACS'95 (Munich, Germany, March 2-4, 1995)},
SERIES = {LNCS},
VOLUME = {900},
PAGES = {205-216},
YEAR = {1995},
EDITOR = {Mayr, Ernst W. and Puech, Claude},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=900&spage=205},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Boreale-Sangiorgi/95,
AUTHOR = {Boreale, Michele and Sangiorgi, Davide},
TITLE = {A fully abstract semantics for causality in the $\pi$-calculus},
BOOKTITLE = {Proceedings of the 12th Annual Symposium on Theoretical Aspects of Computer Science, STACS'95 (Munich, Germany, March 2-4, 1995)},
SERIES = {LNCS},
VOLUME = {900},
PAGES = {243-254},
YEAR = {1995},
EDITOR = {Mayr, Ernst W. and Puech, Claude},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=900&spage=243},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Bercoff/95,
AUTHOR = {Bercoff, Christiane},
TITLE = {A family of tag systems for paperfolding sequences},
BOOKTITLE = {Proceedings of the 12th Annual Symposium on Theoretical Aspects of Computer Science, STACS'95 (Munich, Germany, March 2-4, 1995)},
SERIES = {LNCS},
VOLUME = {900},
PAGES = {303-312},
YEAR = {1995},
EDITOR = {Mayr, Ernst W. and Puech, Claude},
KEYWORDS = {automata and formal languages, combinatorics on words},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=900&spage=303},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Buntrock-Otto/95,
AUTHOR = {Buntrock, Gerhard and Otto, Friedrich},
TITLE = {Growing context-sensitive languages and Church-Rosser languages},
BOOKTITLE = {Proceedings of the 12th Annual Symposium on Theoretical Aspects of Computer Science, STACS'95 (Munich, Germany, March 2-4, 1995)},
SERIES = {LNCS},
VOLUME = {900},
PAGES = {313-324},
YEAR = {1995},
EDITOR = {Mayr, Ernst W. and Puech, Claude},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=900&spage=313},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Babai-Kimmel-Lokam/95,
AUTHOR = {Babai, L{\'a}szl{\'o} and Kimmel, Peter G. and Lokam, Satyanarayana V.},
TITLE = {Simultaneous messages vs.\ communication},
BOOKTITLE = {Proceedings of the 12th Annual Symposium on Theoretical Aspects of Computer Science, STACS'95 (Munich, Germany, March 2-4, 1995)},
SERIES = {LNCS},
VOLUME = {900},
PAGES = {361-372},
YEAR = {1995},
EDITOR = {Mayr, Ernst W. and Puech, Claude},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=900&spage=361},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Bruyere-De_Felice/95,
AUTHOR = {Bruy{\`e}re, V{\'e}ronique and De Felice, Clelia},
TITLE = {Coding and strong coding in trace monoids},
BOOKTITLE = {Proceedings of the 12th Annual Symposium on Theoretical Aspects of Computer Science, STACS'95 (Munich, Germany, March 2-4, 1995)},
SERIES = {LNCS},
VOLUME = {900},
PAGES = {373-384},
YEAR = {1995},
EDITOR = {Mayr, Ernst W. and Puech, Claude},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=900&spage=373},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Antimirov/95,
AUTHOR = {Antimirov, Valentin},
TITLE = {Partial derivates of regular expressions and finite automata constructions},
BOOKTITLE = {Proceedings of the 12th Annual Symposium on Theoretical Aspects of Computer Science, STACS'95 (Munich, Germany, March 2-4, 1995)},
SERIES = {LNCS},
VOLUME = {900},
PAGES = {455-466},
YEAR = {1995},
EDITOR = {Mayr, Ernst W. and Puech, Claude},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=900&spage=455},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Bracho-Droste-Kuske/95,
AUTHOR = {Bracho, Felipe and Droste, Manfred and Kuske, Dietrich},
TITLE = {Dependence orders for computations of concurrent automata},
BOOKTITLE = {Proceedings of the 12th Annual Symposium on Theoretical Aspects of Computer Science, STACS'95 (Munich, Germany, March 2-4, 1995)},
SERIES = {LNCS},
VOLUME = {900},
PAGES = {467-478},
YEAR = {1995},
EDITOR = {Mayr, Ernst W. and Puech, Claude},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=900&spage=467},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Buhrman-Hermo/95,
AUTHOR = {Buhrman, Harry and Hermo, Montserrat},
TITLE = {On the sparse set conjecture for sets with low density},
BOOKTITLE = {Proceedings of the 12th Annual Symposium on Theoretical Aspects of Computer Science, STACS'95 (Munich, Germany, March 2-4, 1995)},
SERIES = {LNCS},
VOLUME = {900},
PAGES = {609-618},
YEAR = {1995},
EDITOR = {Mayr, Ernst W. and Puech, Claude},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=900&spage=609},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Arques-Michel/95,
AUTHOR = {Arqu{\`e}s, Didier G. and Michel, Christian J.},
TITLE = {A possible code in the genetic code},
BOOKTITLE = {Proceedings of the 12th Annual Symposium on Theoretical Aspects of Computer Science, STACS'95 (Munich, Germany, March 2-4, 1995)},
SERIES = {LNCS},
VOLUME = {900},
PAGES = {640-651},
YEAR = {1995},
EDITOR = {Mayr, Ernst W. and Puech, Claude},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=900&spage=640},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Bau-Kodukula-Kotlyar-Pingali-Stodghill/95,
AUTHOR = {Bau, David and Kodukula, Induprakas and Kotlyar, Vladimir and Pingali, Keshav and Stodghill, Paul},
TITLE = {Solving alignment using elementary linear algebra},
BOOKTITLE = {Proceedings of the 7th International Workshop on Languages and Compilers for Parallel Computing, (Ithaca, NY, August 8-10, 1994)},
SERIES = {LNCS},
VOLUME = {892},
PAGES = {46-60},
YEAR = {1995},
EDITOR = {Pingali, K. and Banerjee, U. and Gelernter, D. and Nicolau, A. and Padua, D.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Ayguade-Garcia-Girones-Labarta-Torres-Valero/95,
AUTHOR = {Ayguad{\'{e}}, Eduard and Garcia, Jordi and Giron{\'{e}}s, Merc{\`{e}} and Labarta, Jesus and Torres, Jordi and Valero, Mateo},
TITLE = {Detecting and using affinity in an automatic data distribution tool},
BOOKTITLE = {Proceedings of the 7th International Workshop on Languages and Compilers for Parallel Computing, (Ithaca, NY, August 8-10, 1994)},
SERIES = {LNCS},
VOLUME = {892},
PAGES = {61-75},
YEAR = {1995},
EDITOR = {Pingali, K. and Banerjee, U. and Gelernter, D. and Nicolau, A. and Padua, D.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Chatterjee-Gilbert-Schreiber-Sheffler/95,
AUTHOR = {Chatterjee, Siddhartha and Gilbert, John R. and Schreiber, Robert and Sheffler, Thomas J.},
TITLE = {Array distribution in data-parallel programs},
BOOKTITLE = {Proceedings of the 7th International Workshop on Languages and Compilers for Parallel Computing, (Ithaca, NY, August 8-10, 1994)},
SERIES = {LNCS},
VOLUME = {892},
PAGES = {76-91},
YEAR = {1995},
EDITOR = {Pingali, K. and Banerjee, U. and Gelernter, D. and Nicolau, A. and Padua, D.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Appelbe-Doddapaneni-Hardnett/95,
AUTHOR = {Appelbe, Bill and Doddapaneni, Srinivas and Hardnett, Charles},
TITLE = {A new algorithm for global optimization for parallelism and locality},
BOOKTITLE = {Proceedings of the 7th International Workshop on Languages and Compilers for Parallel Computing, (Ithaca, NY, August 8-10, 1994)},
SERIES = {LNCS},
VOLUME = {892},
PAGES = {125-140},
YEAR = {1995},
EDITOR = {Pingali, K. and Banerjee, U. and Gelernter, D. and Nicolau, A. and Padua, D.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Blume-Eigenmann-Faigin-Grout-Hoeflinger-Padua-Petersen-Pottenger-Rauchwerger-Tu-Weatherford/95,
AUTHOR = {Blume, William and Eigenmann, Rudolf and Faigin, Keith and Grout, John and Hoeflinger, Jay and Padua, David and Petersen, Paul and Pottenger, William and Rauchwerger, Lawrence and Tu, Peng and Weatherford, Stephen},
TITLE = {Polaris:Improving the effectiveness of parallelizing compilers},
BOOKTITLE = {Proceedings of the 7th International Workshop on Languages and Compilers for Parallel Computing, (Ithaca, NY, August 8-10, 1994)},
SERIES = {LNCS},
VOLUME = {892},
PAGES = {141-154},
YEAR = {1995},
EDITOR = {Pingali, K. and Banerjee, U. and Gelernter, D. and Nicolau, A. and Padua, D.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Burke-Carini-Choi-Hind/95,
AUTHOR = {Burke, Michael and Carini, Paul and Choi, Jong-Deok and Hind, Michael},
TITLE = {Flow-insensitive interprocedural alias analysis in the presence of pointers},
BOOKTITLE = {Proceedings of the 7th International Workshop on Languages and Compilers for Parallel Computing, (Ithaca, NY, August 8-10, 1994)},
SERIES = {LNCS},
VOLUME = {892},
PAGES = {234-250},
YEAR = {1995},
EDITOR = {Pingali, K. and Banerjee, U. and Gelernter, D. and Nicolau, A. and Padua, D.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Agrawal-Saltz/95,
AUTHOR = {Agrawal, Gagan and Saltz, Joel},
TITLE = {Interprocedural communication optimizations for distributed memory compilation},
BOOKTITLE = {Proceedings of the 7th International Workshop on Languages and Compilers for Parallel Computing, (Ithaca, NY, August 8-10, 1994)},
SERIES = {LNCS},
VOLUME = {892},
PAGES = {283-299},
YEAR = {1995},
EDITOR = {Pingali, K. and Banerjee, U. and Gelernter, D. and Nicolau, A. and Padua, D.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Bik-Knijnenburg-Wijshoff/95,
AUTHOR = {Bik, Aart J.C. and Knijnenburg, Peter M.W. and Wijshoff, Harry A.G.},
TITLE = {Reshaping access patterns for generating sparse codes},
BOOKTITLE = {Proceedings of the 7th International Workshop on Languages and Compilers for Parallel Computing, (Ithaca, NY, August 8-10, 1994)},
SERIES = {LNCS},
VOLUME = {892},
PAGES = {406-422},
YEAR = {1995},
EDITOR = {Pingali, K. and Banerjee, U. and Gelernter, D. and Nicolau, A. and Padua, D.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Bodin-Granston-Montaut/95,
AUTHOR = {Bodin, Fran{\c{c}}ois and Granston, Elana D. and Montaut, Thierry},
TITLE = {Evaluating two loop transformations for reducing multiple-writer false sharing},
BOOKTITLE = {Proceedings of the 7th International Workshop on Languages and Compilers for Parallel Computing, (Ithaca, NY, August 8-10, 1994)},
SERIES = {LNCS},
VOLUME = {892},
PAGES = {423-439},
YEAR = {1995},
EDITOR = {Pingali, K. and Banerjee, U. and Gelernter, D. and Nicolau, A. and Padua, D.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}