@incollection{Couveignes-Diaz-Frias-Rougemont-Santha/94,
AUTHOR = {Couveignes, Jean-Marc and Diaz-Frias, Juan Francisco and Rougemont, Michel de and Santha, Miklos},
TITLE = {On the interactive complexity of graph reliability},
BOOKTITLE = {Proceedings of the 14th Conference on Foundations of Software Technology and Theoretical Computer Science (Madras, India, December 15-17, 1994)},
SERIES = {LNCS},
VOLUME = {880},
PAGES = {12-23},
YEAR = {1994},
EDITOR = {Thiagarajan, P.S.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Dietzfelbinger-Huhne/94,
AUTHOR = {Dietzfelbinger, Martin and H{\"u}hne, Martin},
TITLE = {Matching upper and lower bounds for simulations of several tapes on one multidimensional tape},
BOOKTITLE = {Proceedings of the 14th Conference on Foundations of Software Technology and Theoretical Computer Science (Madras, India, December 15-17, 1994)},
SERIES = {LNCS},
VOLUME = {880},
PAGES = {24-35},
YEAR = {1994},
EDITOR = {Thiagarajan, P.S.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Caussinnus-Lemieux/94,
AUTHOR = {Caussinnus, Herv{\'{e}} and Lemieux, Fran{\c{c}}ois},
TITLE = {The complexity of computing over quasigroups},
BOOKTITLE = {Proceedings of the 14th Conference on Foundations of Software Technology and Theoretical Computer Science (Madras, India, December 15-17, 1994)},
SERIES = {LNCS},
VOLUME = {880},
PAGES = {36-47},
YEAR = {1994},
EDITOR = {Thiagarajan, P.S.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Coquand-Dybjer/94,
AUTHOR = {Coquand, Thierry and Dybjer, Peter},
TITLE = {Inductive definitions and type theory --- an introduction (preliminary version)},
BOOKTITLE = {Proceedings of the 14th Conference on Foundations of Software Technology and Theoretical Computer Science (Madras, India, December 15-17, 1994)},
SERIES = {LNCS},
VOLUME = {880},
PAGES = {60-76},
YEAR = {1994},
EDITOR = {Thiagarajan, P.S.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Broy-Hinkel-Nipkow-Prehofer-Schieder/94,
AUTHOR = {Broy, Manfred and Hinkel, Ursula and Nipkow, Tobias and Prehofer, Christian and Schieder, Birgit},
TITLE = {Interpreter verification for a functional language},
BOOKTITLE = {Proceedings of the 14th Conference on Foundations of Software Technology and Theoretical Computer Science (Madras, India, December 15-17, 1994)},
SERIES = {LNCS},
VOLUME = {880},
PAGES = {77-88},
YEAR = {1994},
EDITOR = {Thiagarajan, P.S.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Frigioni-Marchetti-Spaccamela-Nanni/94a,
AUTHOR = {Frigioni, Daniele and Marchetti-Spaccamela, Alberto and Nanni, Umberto},
TITLE = {Incremental algorithms for the single-source shortest path problem},
BOOKTITLE = {Proceedings of the 14th Conference on Foundations of Software Technology and Theoretical Computer Science (Madras, India, December 15-17, 1994)},
SERIES = {LNCS},
VOLUME = {880},
PAGES = {113-124},
YEAR = {1994},
EDITOR = {Thiagarajan, P.S.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Arikati-Maheshwari/94a,
AUTHOR = {Arikati, Srinivasa Rao and Maheshwari, Anil},
TITLE = {An $O(n)$ algorithm for realizing degree sequences},
BOOKTITLE = {Proceedings of the 14th Conference on Foundations of Software Technology and Theoretical Computer Science (Madras, India, December 15-17, 1994)},
SERIES = {LNCS},
VOLUME = {880},
PAGES = {125-136},
YEAR = {1994},
EDITOR = {Thiagarajan, P.S.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Dahlhaus/94c,
AUTHOR = {Dahlhaus, Elias},
TITLE = {Efficient parallel and linear time sequential split decomposition},
BOOKTITLE = {Proceedings of the 14th Conference on Foundations of Software Technology and Theoretical Computer Science (Madras, India, December 15-17, 1994)},
SERIES = {LNCS},
VOLUME = {880},
PAGES = {171-180},
YEAR = {1994},
EDITOR = {Thiagarajan, P.S.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Biswas-Prasad-Pal/94,
AUTHOR = {Biswas, Supriya and Prasad, D. Chithra and Pal, Sudepkumar Prasant},
TITLE = {Algorithms for convex visibility problems},
BOOKTITLE = {Proceedings of the 14th Conference on Foundations of Software Technology and Theoretical Computer Science (Madras, India, December 15-17, 1994)},
SERIES = {LNCS},
VOLUME = {880},
PAGES = {181-192},
YEAR = {1994},
EDITOR = {Thiagarajan, P.S.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Amadio-Prasad/94,
AUTHOR = {Amadio, Roberto M. and Prasad, Sanjiva},
TITLE = {Localities and failures},
BOOKTITLE = {Proceedings of the 14th Conference on Foundations of Software Technology and Theoretical Computer Science (Madras, India, December 15-17, 1994)},
SERIES = {LNCS},
VOLUME = {880},
PAGES = {205-216},
YEAR = {1994},
EDITOR = {Thiagarajan, P.S.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Fortnow/94a,
AUTHOR = {Fortnow, Lance},
TITLE = {My favorite ten complexity theorems of the past decade},
BOOKTITLE = {Proceedings of the 14th Conference on Foundations of Software Technology and Theoretical Computer Science (Madras, India, December 15-17, 1994)},
SERIES = {LNCS},
VOLUME = {880},
PAGES = {256-275},
YEAR = {1994},
EDITOR = {Thiagarajan, P.S.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Arora-Santosh-Saran-Vazirani/94,
AUTHOR = {Arora, Vivek and Santosh, Vempala and Saran, Huzur and Vazirani, Vijay V.},
TITLE = {A limited-backtrack greedy schema for approximation algorithms},
BOOKTITLE = {Proceedings of the 14th Conference on Foundations of Software Technology and Theoretical Computer Science (Madras, India, December 15-17, 1994)},
SERIES = {LNCS},
VOLUME = {880},
PAGES = {318-329},
YEAR = {1994},
EDITOR = {Thiagarajan, P.S.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Crescenzi-Trevisan/94,
AUTHOR = {Crescenzi, Pierluigi and Trevisan, Luca},
TITLE = {On approximation scheme preserving reducibility and its applications},
BOOKTITLE = {Proceedings of the 14th Conference on Foundations of Software Technology and Theoretical Computer Science (Madras, India, December 15-17, 1994)},
SERIES = {LNCS},
VOLUME = {880},
PAGES = {330-341},
YEAR = {1994},
EDITOR = {Thiagarajan, P.S.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Desel-Radola/94,
AUTHOR = {Desel, J{\"o}rg and Radola, Micaela-Daphne},
TITLE = {Proving non-reachability by modulo-place-invariants},
BOOKTITLE = {Proceedings of the 14th Conference on Foundations of Software Technology and Theoretical Computer Science (Madras, India, December 15-17, 1994)},
SERIES = {LNCS},
VOLUME = {880},
PAGES = {366-377},
YEAR = {1994},
EDITOR = {Thiagarajan, P.S.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Estivill-Castro-Wood/94,
AUTHOR = {Estivill-Castro, Vladimir and Wood, Derick},
TITLE = {Foundations for faster external sorting},
BOOKTITLE = {Proceedings of the 14th Conference on Foundations of Software Technology and Theoretical Computer Science (Madras, India, December 15-17, 1994)},
SERIES = {LNCS},
VOLUME = {880},
PAGES = {414-425},
YEAR = {1994},
EDITOR = {Thiagarajan, P.S.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Hooker-Vinay/94,
AUTHOR = {Hooker, J.N. and Vinay, V.},
TITLE = {Branching rules for satisfiability},
BOOKTITLE = {Proceedings of the 14th Conference on Foundations of Software Technology and Theoretical Computer Science (Madras, India, December 15-17, 1994)},
SERIES = {LNCS},
VOLUME = {880},
PAGES = {426-437},
YEAR = {1994},
EDITOR = {Thiagarajan, P.S.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Andersen-Kaae-Keable-Owczarz-Wasniewski-Zlatev/94,
AUTHOR = {Andersen, B.S. and Kaae, P. and Keable, C. and Owczarz, W. and Wa{\'s}niewski, J. and Zlatev, Z.},
TITLE = {PVM implementations of advection-chemistry modules of air pollution models},
BOOKTITLE = {Proceedings of the 1st International Workshop on Parallel Scientific Computing, PARA'94 (Lyngby, Denmark, June 20-23, 1994)},
SERIES = {LNCS},
VOLUME = {879},
PAGES = {11-16},
YEAR = {1994},
EDITOR = {Dongarra, Jack and Wa{\'s}niewski, Jerzy},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Antonuccio-Delogu-Becciani/94,
AUTHOR = {Antonuccio-Delogu, V. and Becciani, U.},
TITLE = {A parallel tree $N$-body code for heterogeneous clusters},
BOOKTITLE = {Proceedings of the 1st International Workshop on Parallel Scientific Computing, PARA'94 (Lyngby, Denmark, June 20-23, 1994)},
SERIES = {LNCS},
VOLUME = {879},
PAGES = {17-32},
YEAR = {1994},
EDITOR = {Dongarra, Jack and Wa{\'s}niewski, Jerzy},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Badia-Vidal/94,
AUTHOR = {Bad{\'{i}}a, Jos{\'{e}} M. and Vidal, Antonio M.},
TITLE = {Parallel computation of the eigenstructure of Toeplitz-plus-Hankel matrices on multicomputers},
BOOKTITLE = {Proceedings of the 1st International Workshop on Parallel Scientific Computing, PARA'94 (Lyngby, Denmark, June 20-23, 1994)},
SERIES = {LNCS},
VOLUME = {879},
PAGES = {33-40},
YEAR = {1994},
EDITOR = {Dongarra, Jack and Wa{\'s}niewski, Jerzy},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Balle-Pedersen/94,
AUTHOR = {Balle, Susanne M. and Pedersen, Palle M.},
TITLE = {Singular value decomposition on the connection machine CM-5/CM-5E},
BOOKTITLE = {Proceedings of the 1st International Workshop on Parallel Scientific Computing, PARA'94 (Lyngby, Denmark, June 20-23, 1994)},
SERIES = {LNCS},
VOLUME = {879},
PAGES = {41-50},
YEAR = {1994},
EDITOR = {Dongarra, Jack and Wa{\'s}niewski, Jerzy},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Barker-Yingqun/94,
AUTHOR = {Barker, V.A. and Yingqun, Chen},
TITLE = {Computing eigenvalues of sparse matrices on the connection machine},
BOOKTITLE = {Proceedings of the 1st International Workshop on Parallel Scientific Computing, PARA'94 (Lyngby, Denmark, June 20-23, 1994)},
SERIES = {LNCS},
VOLUME = {879},
PAGES = {51-58},
YEAR = {1994},
EDITOR = {Dongarra, Jack and Wa{\'s}niewski, Jerzy},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Bendtsen/94,
AUTHOR = {Bendtsen, Claus},
TITLE = {Preliminary experiences with extrapolation methods for parallel solution of differential algebraic equations},
BOOKTITLE = {Proceedings of the 1st International Workshop on Parallel Scientific Computing, PARA'94 (Lyngby, Denmark, June 20-23, 1994)},
SERIES = {LNCS},
VOLUME = {879},
PAGES = {59-66},
YEAR = {1994},
EDITOR = {Dongarra, Jack and Wa{\'s}niewski, Jerzy},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Berkhin-Brown/94,
AUTHOR = {Berkhin, Pavel and Brown, John},
TITLE = {A transform approach to fast matrix multiplication},
BOOKTITLE = {Proceedings of the 1st International Workshop on Parallel Scientific Computing, PARA'94 (Lyngby, Denmark, June 20-23, 1994)},
SERIES = {LNCS},
VOLUME = {879},
PAGES = {67-79},
YEAR = {1994},
EDITOR = {Dongarra, Jack and Wa{\'s}niewski, Jerzy},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Billing/94,
AUTHOR = {Billing, Gert D.},
TITLE = {Quantum mechanical treatment of reactive scattering problems},
BOOKTITLE = {Proceedings of the 1st International Workshop on Parallel Scientific Computing, PARA'94 (Lyngby, Denmark, June 20-23, 1994)},
SERIES = {LNCS},
VOLUME = {879},
PAGES = {80-88},
YEAR = {1994},
EDITOR = {Dongarra, Jack and Wa{\'s}niewski, Jerzy},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Bode-Eicker-Lippert-Schilling-Ueberholz/94,
AUTHOR = {Bode, A. and Eicker, N. and Lippert, Th. and Schilling, K. and Ueberholz, P.},
TITLE = {Visualizing the critical dynamics of monopole current clusters --- global/local programming on the connection machine CM-5},
BOOKTITLE = {Proceedings of the 1st International Workshop on Parallel Scientific Computing, PARA'94 (Lyngby, Denmark, June 20-23, 1994)},
SERIES = {LNCS},
VOLUME = {879},
PAGES = {89-99},
YEAR = {1994},
EDITOR = {Dongarra, Jack and Wa{\'s}niewski, Jerzy},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Boryczko-Kitowski-Moscinski/94,
AUTHOR = {Boryczko, K. and Kitowski, J. and Mo{\'s}ci{\'n}ski, J.},
TITLE = {Load-balancing procedure for distributed short-range molecular dynamics},
BOOKTITLE = {Proceedings of the 1st International Workshop on Parallel Scientific Computing, PARA'94 (Lyngby, Denmark, June 20-23, 1994)},
SERIES = {LNCS},
VOLUME = {879},
PAGES = {100-109},
YEAR = {1994},
EDITOR = {Dongarra, Jack and Wa{\'s}niewski, Jerzy},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Brown-Hansen-Wasniewski-Zlatev/94,
AUTHOR = {Brown, John and Hansen, Per Christian and Wa{\'s}niewski, Jerzy and Zlatev, Zahari},
TITLE = {Comparison of massively parallel SIMD computers using air pollution models},
BOOKTITLE = {Proceedings of the 1st International Workshop on Parallel Scientific Computing, PARA'94 (Lyngby, Denmark, June 20-23, 1994)},
SERIES = {LNCS},
VOLUME = {879},
PAGES = {110-126},
YEAR = {1994},
EDITOR = {Dongarra, Jack and Wa{\'s}niewski, Jerzy},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Bubak-Moscinski-Pogoda-Zdechlikiewicz/94,
AUTHOR = {Bubak, M. and Mo{\'s}ci{\'n}ski, J. and Pogoda, M. and Zdechlikiewicz, W.},
TITLE = {Parallel distributed 2-D short-range molecular dynamics on networked workstations},
BOOKTITLE = {Proceedings of the 1st International Workshop on Parallel Scientific Computing, PARA'94 (Lyngby, Denmark, June 20-23, 1994)},
SERIES = {LNCS},
VOLUME = {879},
PAGES = {127-135},
YEAR = {1994},
EDITOR = {Dongarra, Jack and Wa{\'s}niewski, Jerzy},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Bubak-Moscinski-Slota/94,
AUTHOR = {Bubak, M. and Mo{\'s}ci{\'n}ski, J. and Slota, R.},
TITLE = {Implementation of parallel lattice gas program on workstations under PVM},
BOOKTITLE = {Proceedings of the 1st International Workshop on Parallel Scientific Computing, PARA'94 (Lyngby, Denmark, June 20-23, 1994)},
SERIES = {LNCS},
VOLUME = {879},
PAGES = {136-146},
YEAR = {1994},
EDITOR = {Dongarra, Jack and Wa{\'s}niewski, Jerzy},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Choi-Dongarra-Pozo-Walker/94,
AUTHOR = {Choi, Jaeyoung and Dongarra, Jack J. and Pozo, Roldan and Walker, David W.},
TITLE = {Constructing numerical software libraries for high-performance computing environments},
BOOKTITLE = {Proceedings of the 1st International Workshop on Parallel Scientific Computing, PARA'94 (Lyngby, Denmark, June 20-23, 1994)},
SERIES = {LNCS},
VOLUME = {879},
PAGES = {147-168},
YEAR = {1994},
EDITOR = {Dongarra, Jack and Wa{\'s}niewski, Jerzy},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Dayde-Duff/94,
AUTHOR = {Dayd{\'{e}}, Michel J. and Duff, Iain S.},
TITLE = {The CERFACS experience},
BOOKTITLE = {Proceedings of the 1st International Workshop on Parallel Scientific Computing, PARA'94 (Lyngby, Denmark, June 20-23, 1994)},
SERIES = {LNCS},
VOLUME = {879},
PAGES = {169-176},
YEAR = {1994},
EDITOR = {Dongarra, Jack and Wa{\'s}niewski, Jerzy},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Dohmen/94a,
AUTHOR = {Dohmen, Renate},
TITLE = {Towards an automatic portation of programs from nCUBE2 to KSR1},
BOOKTITLE = {Proceedings of the 1st International Workshop on Parallel Scientific Computing, PARA'94 (Lyngby, Denmark, June 20-23, 1994)},
SERIES = {LNCS},
VOLUME = {879},
PAGES = {177-189},
YEAR = {1994},
EDITOR = {Dongarra, Jack and Wa{\'s}niewski, Jerzy},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Elinov-Monakhov-Ushatinsky/94,
AUTHOR = {Elinov, V.D. and Monakhov, O.G. and Ushatinsky, I.I.},
TITLE = {Seismic data processing: Parallel and conservative computations on the multitransputer system},
BOOKTITLE = {Proceedings of the 1st International Workshop on Parallel Scientific Computing, PARA'94 (Lyngby, Denmark, June 20-23, 1994)},
SERIES = {LNCS},
VOLUME = {879},
PAGES = {190-193},
YEAR = {1994},
EDITOR = {Dongarra, Jack and Wa{\'s}niewski, Jerzy},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Fet-Vazhenin/94,
AUTHOR = {Fet, Ya.I. and Vazhenin, A.P.},
TITLE = {Heterogeneous processing: A combined approach},
BOOKTITLE = {Proceedings of the 1st International Workshop on Parallel Scientific Computing, PARA'94 (Lyngby, Denmark, June 20-23, 1994)},
SERIES = {LNCS},
VOLUME = {879},
PAGES = {194-206},
YEAR = {1994},
EDITOR = {Dongarra, Jack and Wa{\'s}niewski, Jerzy},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Filippone-Sales/94,
AUTHOR = {Filippone, Salvatore and Sales, Maria Loredana},
TITLE = {Experiences in numerical software on IBM distributed memory architectures},
BOOKTITLE = {Proceedings of the 1st International Workshop on Parallel Scientific Computing, PARA'94 (Lyngby, Denmark, June 20-23, 1994)},
SERIES = {LNCS},
VOLUME = {879},
PAGES = {207-218},
YEAR = {1994},
EDITOR = {Dongarra, Jack and Wa{\'s}niewski, Jerzy},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Freeman-Bull/94,
AUTHOR = {Freeman, T.L. and Bull, J.M.},
TITLE = {Shared memory and message passing implementations of parallel algorithms for numerical integration},
BOOKTITLE = {Proceedings of the 1st International Workshop on Parallel Scientific Computing, PARA'94 (Lyngby, Denmark, June 20-23, 1994)},
SERIES = {LNCS},
VOLUME = {879},
PAGES = {219-228},
YEAR = {1994},
EDITOR = {Dongarra, Jack and Wa{\'s}niewski, Jerzy},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Gajecki-Moscinski/94,
AUTHOR = {Gaj{\c{e}}cki, M. and Mo{\'s}ci{\'n}ski, J.},
TITLE = {A new algorithm for the traveling salesman problem on networked workstations},
BOOKTITLE = {Proceedings of the 1st International Workshop on Parallel Scientific Computing, PARA'94 (Lyngby, Denmark, June 20-23, 1994)},
SERIES = {LNCS},
VOLUME = {879},
PAGES = {229-235},
YEAR = {1994},
EDITOR = {Dongarra, Jack and Wa{\'s}niewski, Jerzy},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Geist/94,
AUTHOR = {Geist, G.A.},
TITLE = {Cluster computing: The wave of the future?},
BOOKTITLE = {Proceedings of the 1st International Workshop on Parallel Scientific Computing, PARA'94 (Lyngby, Denmark, June 20-23, 1994)},
SERIES = {LNCS},
VOLUME = {879},
PAGES = {236-246},
YEAR = {1994},
EDITOR = {Dongarra, Jack and Wa{\'s}niewski, Jerzy},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Grosz-Roll-Schoenauer/94,
AUTHOR = {Grosz, L. and Roll, C. and Schoenauer, W.},
TITLE = {Nonlinear finite element problems on parallel computers},
BOOKTITLE = {Proceedings of the 1st International Workshop on Parallel Scientific Computing, PARA'94 (Lyngby, Denmark, June 20-23, 1994)},
SERIES = {LNCS},
VOLUME = {879},
PAGES = {247-261},
YEAR = {1994},
EDITOR = {Dongarra, Jack and Wa{\'s}niewski, Jerzy},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Hakula-Malinen-Kallberg-Valve/94,
AUTHOR = {Hakula, Harri and Malinen, Jouni and Kallberg, Petri and Valve, Pekka},
TITLE = {The finite element method applied to the exterior Helmholtz problem on the IBM SP-1},
BOOKTITLE = {Proceedings of the 1st International Workshop on Parallel Scientific Computing, PARA'94 (Lyngby, Denmark, June 20-23, 1994)},
SERIES = {LNCS},
VOLUME = {879},
PAGES = {262-269},
YEAR = {1994},
EDITOR = {Dongarra, Jack and Wa{\'s}niewski, Jerzy},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Hammarling/94,
AUTHOR = {Hammarling, Sven},
TITLE = {The challenge of portable libraries for high performance machines},
BOOKTITLE = {Proceedings of the 1st International Workshop on Parallel Scientific Computing, PARA'94 (Lyngby, Denmark, June 20-23, 1994)},
SERIES = {LNCS},
VOLUME = {879},
PAGES = {270-286},
YEAR = {1994},
EDITOR = {Dongarra, Jack and Wa{\'s}niewski, Jerzy},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Hansen/94,
AUTHOR = {Hansen, Per Christian},
TITLE = {Parallel issues of regularization problems},
BOOKTITLE = {Proceedings of the 1st International Workshop on Parallel Scientific Computing, PARA'94 (Lyngby, Denmark, June 20-23, 1994)},
SERIES = {LNCS},
VOLUME = {879},
PAGES = {287-295},
YEAR = {1994},
EDITOR = {Dongarra, Jack and Wa{\'s}niewski, Jerzy},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Hansen-Ostromsky-Zlatev/94,
AUTHOR = {Hansen, P.C. and Ostromsky, Tz. and Zlatev, Z.},
TITLE = {Two enhancements in a partitioned sparse code},
BOOKTITLE = {Proceedings of the 1st International Workshop on Parallel Scientific Computing, PARA'94 (Lyngby, Denmark, June 20-23, 1994)},
SERIES = {LNCS},
VOLUME = {879},
PAGES = {296-303},
YEAR = {1994},
EDITOR = {Dongarra, Jack and Wa{\'s}niewski, Jerzy},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Harrod-Sidani/94,
AUTHOR = {Harrod, William J. and Sidani, Majed},
TITLE = {Numerical algorithms for the Cray T3D},
BOOKTITLE = {Proceedings of the 1st International Workshop on Parallel Scientific Computing, PARA'94 (Lyngby, Denmark, June 20-23, 1994)},
SERIES = {LNCS},
VOLUME = {879},
PAGES = {304-311},
YEAR = {1994},
EDITOR = {Dongarra, Jack and Wa{\'s}niewski, Jerzy},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Hunding/94,
AUTHOR = {Hunding, A.},
TITLE = {Nonlinear dynamics in biochemical control systems},
BOOKTITLE = {Proceedings of the 1st International Workshop on Parallel Scientific Computing, PARA'94 (Lyngby, Denmark, June 20-23, 1994)},
SERIES = {LNCS},
VOLUME = {879},
PAGES = {312-317},
YEAR = {1994},
EDITOR = {Dongarra, Jack and Wa{\'s}niewski, Jerzy},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Foster-Kesselman/94,
AUTHOR = {Foster, Ian and Kesselman, Carl},
TITLE = {Language constructs and runtime systems for compositional parallel programming},
BOOKTITLE = {Proceedings of the 3rd Joint International Conference on Vector and Parallel Processing, CONPAR'94 - VAPP VI (Linz, Austria, September 6-8, 1994)},
SERIES = {LNCS},
VOLUME = {854},
PAGES = {5-16},
YEAR = {1994},
EDITOR = {Buchberger, Bruno and Volkert, Jens},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Ferscha-Johnson/94,
AUTHOR = {Ferscha, A. and Johnson, J.},
TITLE = {Performance oriented development of SPMD programs based on task structure specifications},
BOOKTITLE = {Proceedings of the 3rd Joint International Conference on Vector and Parallel Processing, CONPAR'94 - VAPP VI (Linz, Austria, September 6-8, 1994)},
SERIES = {LNCS},
VOLUME = {854},
PAGES = {53-65},
YEAR = {1994},
EDITOR = {Buchberger, Bruno and Volkert, Jens},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Grabner-Kranzlmuller/94,
AUTHOR = {Grabner, Siegfried and Kranzlm{\"u}ller, Dieter},
TITLE = {Monitoring for detecting bugs and blocking communication},
BOOKTITLE = {Proceedings of the 3rd Joint International Conference on Vector and Parallel Processing, CONPAR'94 - VAPP VI (Linz, Austria, September 6-8, 1994)},
SERIES = {LNCS},
VOLUME = {854},
PAGES = {66-75},
YEAR = {1994},
EDITOR = {Buchberger, Bruno and Volkert, Jens},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Bouge-Le_Guyadec-Utard-Virot/94,
AUTHOR = {Boug{\'{e}}, Luc and Le Guyadec, Yann and Utard, Gil and Virot, Bernard},
TITLE = {On the expressivity of a weakest precondition calculus for a simple data-parallel programming language (short version)},
BOOKTITLE = {Proceedings of the 3rd Joint International Conference on Vector and Parallel Processing, CONPAR'94 - VAPP VI (Linz, Austria, September 6-8, 1994)},
SERIES = {LNCS},
VOLUME = {854},
PAGES = {100-111},
YEAR = {1994},
EDITOR = {Buchberger, Bruno and Volkert, Jens},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Arvind-McConnell/94,
AUTHOR = {Arvind, D.K. and McConnell, B.R.J.},
TITLE = {Towards the synthesis of asynchronous concurrent programs},
BOOKTITLE = {Proceedings of the 3rd Joint International Conference on Vector and Parallel Processing, CONPAR'94 - VAPP VI (Linz, Austria, September 6-8, 1994)},
SERIES = {LNCS},
VOLUME = {854},
PAGES = {124-135},
YEAR = {1994},
EDITOR = {Buchberger, Bruno and Volkert, Jens},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Geerling/94,
AUTHOR = {Geerling, A. Max},
TITLE = {Formal derivation of SIMD parallelism from non-linear recursive specifications},
BOOKTITLE = {Proceedings of the 3rd Joint International Conference on Vector and Parallel Processing, CONPAR'94 - VAPP VI (Linz, Austria, September 6-8, 1994)},
SERIES = {LNCS},
VOLUME = {854},
PAGES = {136-147},
YEAR = {1994},
EDITOR = {Buchberger, Bruno and Volkert, Jens},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Fitzpatrick-Harmer-Boyle/94,
AUTHOR = {Fitzpatrick, Stephen and Harmer, T.J. and Boyle, J.M.},
TITLE = {Deriving efficient parallel implementations of algorithms operating on general sparse matrices using automatic program transformation},
BOOKTITLE = {Proceedings of the 3rd Joint International Conference on Vector and Parallel Processing, CONPAR'94 - VAPP VI (Linz, Austria, September 6-8, 1994)},
SERIES = {LNCS},
VOLUME = {854},
PAGES = {148-159},
YEAR = {1994},
EDITOR = {Buchberger, Bruno and Volkert, Jens},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Detert-Gerndt/94,
AUTHOR = {Detert, Ulrich and Gerndt, Michael},
TITLE = {TOP$^2$ tool suite for the development and testing of parallel applications},
BOOKTITLE = {Proceedings of the Third Joint International Conference on Vector and Parallel Processing, CONPAR'94 - VAPP VI (Linz, Austria, September 6-8, 1994)},
SERIES = {LNCS},
VOLUME = {854},
PAGES = {196-207},
YEAR = {1994},
EDITOR = {Buchberger, Bruno and Volkert, Jens},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=854&spage=196},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Amor-Martin-Blanco-Plata-Rivera-Arguello/94,
AUTHOR = {Amor, Margarita and Mart{\'{i}}n, Mar{\'{i}}a J. and Blanco, Dora and Plata, Oscar G. and Rivera, Francisco F. and Arg{\"u}ello, Francisco},
TITLE = {Vectorization of the radix $r$ self-sorting FFT},
BOOKTITLE = {Proceedings of the 3rd Joint International Conference on Vector and Parallel Processing, CONPAR'94 - VAPP VI (Linz, Austria, September 6-8, 1994)},
SERIES = {LNCS},
VOLUME = {854},
PAGES = {208-217},
YEAR = {1994},
EDITOR = {Buchberger, Bruno and Volkert, Jens},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Clint-Weston-Flannagan/94,
AUTHOR = {Clint, M. and Weston, J.S. and Flannagan, J.B.},
TITLE = {Efficient Gram-Schmidt orthogonalisation on an array processor},
BOOKTITLE = {Proceedings of the 3rd Joint International Conference on Vector and Parallel Processing, CONPAR'94 - VAPP VI (Linz, Austria, September 6-8, 1994)},
SERIES = {LNCS},
VOLUME = {854},
PAGES = {218-228},
YEAR = {1994},
EDITOR = {Buchberger, Bruno and Volkert, Jens},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Di_Martino-Iannello/94,
AUTHOR = {Di Martino, Beniamino and Iannello, Giulio},
TITLE = {Parallelization of non-simultaneous iterative methods for systems of linear equations},
BOOKTITLE = {Proceedings of the 3rd Joint International Conference on Vector and Parallel Processing, CONPAR'94 - VAPP VI (Linz, Austria, September 6-8, 1994)},
SERIES = {LNCS},
VOLUME = {854},
PAGES = {253-264},
YEAR = {1994},
EDITOR = {Buchberger, Bruno and Volkert, Jens},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Akl-Lindon/94,
AUTHOR = {Akl, Selim G. and Lindon, Lorrie Fava},
TITLE = {Paradigms admitting superunitary behaviour in parallel computation},
BOOKTITLE = {Proceedings of the 3rd Joint International Conference on Vector and Parallel Processing, CONPAR'94 - VAPP VI (Linz, Austria, September 6-8, 1994)},
SERIES = {LNCS},
VOLUME = {854},
PAGES = {301-312},
YEAR = {1994},
EDITOR = {Buchberger, Bruno and Volkert, Jens},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Hong-Loidl/94,
AUTHOR = {Hong, Hoon and Loidl, Hans Wolfgang},
TITLE = {Parallel computation of modular multivariate polynomial resultants on a shared memory machine},
BOOKTITLE = {Proceedings of the 3rd Joint International Conference on Vector and Parallel Processing, CONPAR'94 - VAPP VI (Linz, Austria, September 6-8, 1994)},
SERIES = {LNCS},
VOLUME = {854},
PAGES = {325-336},
YEAR = {1994},
EDITOR = {Buchberger, Bruno and Volkert, Jens},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Dion-Gengler-Ubeda/94,
AUTHOR = {Dion, Mich{\`{e}}le and Gengler, Marc and Ub{\'{e}}da, St{\'{e}}phane},
TITLE = {Comparing two probabilistic models of the computational complexity of the branch and bound algorithm},
BOOKTITLE = {Proceedings of the 3rd Joint International Conference on Vector and Parallel Processing, CONPAR'94 - VAPP VI (Linz, Austria, September 6-8, 1994)},
SERIES = {LNCS},
VOLUME = {854},
PAGES = {359-370},
YEAR = {1994},
EDITOR = {Buchberger, Bruno and Volkert, Jens},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Chen/94k,
AUTHOR = {Chen, Jingsen},
TITLE = {Parallel heap construction using multiple selection},
BOOKTITLE = {Proceedings of the 3rd Joint International Conference on Vector and Parallel Processing, CONPAR'94 - VAPP VI (Linz, Austria, September 6-8, 1994)},
SERIES = {LNCS},
VOLUME = {854},
PAGES = {371-380},
YEAR = {1994},
EDITOR = {Buchberger, Bruno and Volkert, Jens},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Gorton-Chan-Jelly/94,
AUTHOR = {Gorton, Ian and Chan, Toong Shoon and Jelly, Innes},
TITLE = {Engineering high quality parallel software using PARSE},
BOOKTITLE = {Proceedings of the 3rd Joint International Conference on Vector and Parallel Processing, CONPAR'94 - VAPP VI (Linz, Austria, September 6-8, 1994)},
SERIES = {LNCS},
VOLUME = {854},
PAGES = {381-392},
YEAR = {1994},
EDITOR = {Buchberger, Bruno and Volkert, Jens},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Berrendorf-Gerndt-Lahjomri-Priol/94,
AUTHOR = {Berrendorf, Rudolf and Gerndt, Michael and Lahjomri, Zakaria and Priol, Thierry},
TITLE = {A comparison of shared virtual memory and message passing programming techniques based on a finite element application},
BOOKTITLE = {Proceedings of the 3rd Joint International Conference on Vector and Parallel Processing, CONPAR'94 - VAPP VI (Linz, Austria, September 6-8, 1994)},
SERIES = {LNCS},
VOLUME = {854},
PAGES = {461-472},
YEAR = {1994},
EDITOR = {Buchberger, Bruno and Volkert, Jens},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Dohmen/94,
AUTHOR = {Dohmen, Renate},
TITLE = {Comparison between a message passing and a global shared memory parallel computer by means of a concrete Monte-Carlo algorithm},
BOOKTITLE = {Proceedings of the 3rd Joint International Conference on Vector and Parallel Processing, CONPAR'94 - VAPP VI (Linz, Austria, September 6-8, 1994)},
SERIES = {LNCS},
VOLUME = {854},
PAGES = {473-484},
YEAR = {1994},
EDITOR = {Buchberger, Bruno and Volkert, Jens},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Bulck-Held-Kluge-Pantke-Rathsack-Scholz-Schroder/94,
AUTHOR = {B{\"u}lck, Torsten and Held, Achim and Kluge, Werner and Pantke, Stefan and Rathsack, Carsten and Scholz, Sven-Bodo and Schr{\"o}der, Raimund},
TITLE = {Experience with the implementation of a concurrent graph reduction system on an nCUBE/2 platform},
BOOKTITLE = {Proceedings of the 3rd Joint International Conference on Vector and Parallel Processing, CONPAR'94 - VAPP VI (Linz, Austria, September 6-8, 1994)},
SERIES = {LNCS},
VOLUME = {854},
PAGES = {497-508},
YEAR = {1994},
EDITOR = {Buchberger, Bruno and Volkert, Jens},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Hammond-Mattson-Jones/94,
AUTHOR = {Hammond, Kevin and Mattson, Jim S., Jr. and Jones, Simon L. Peyton},
TITLE = {Automatic spark strategies and granularity for a parallel functional language reducer},
BOOKTITLE = {Proceedings of the 3rd Joint International Conference on Vector and Parallel Processing, CONPAR'94 - VAPP VI (Linz, Austria, September 6-8, 1994)},
SERIES = {LNCS},
VOLUME = {854},
PAGES = {521-532},
YEAR = {1994},
EDITOR = {Buchberger, Bruno and Volkert, Jens},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Hogg-Lloyd-Hughes/94,
AUTHOR = {Hogg, R.S. and Lloyd, D.W. and Hughes, W.I.},
TITLE = {Self-timed communication strategies for massively parallel systolic architectures},
BOOKTITLE = {Proceedings of the 3rd Joint International Conference on Vector and Parallel Processing, CONPAR'94 - VAPP VI (Linz, Austria, September 6-8, 1994)},
SERIES = {LNCS},
VOLUME = {854},
PAGES = {557-567},
YEAR = {1994},
EDITOR = {Buchberger, Bruno and Volkert, Jens},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Feng-Gao-Yuen/94,
AUTHOR = {Feng, M.D. and Gao, Y.Q. and Yuen, C.K.},
TITLE = {Distributed Linda tuplespace algorithms and implementations},
BOOKTITLE = {Proceedings of the 3rd Joint International Conference on Vector and Parallel Processing, CONPAR'94 - VAPP VI (Linz, Austria, September 6-8, 1994)},
SERIES = {LNCS},
VOLUME = {854},
PAGES = {581-592},
YEAR = {1994},
EDITOR = {Buchberger, Bruno and Volkert, Jens},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Bailey-Newey-Sitsky-Stanton/94,
AUTHOR = {Bailey, Peter and Newey, Macolm and Sitsky, David and Stanton, Robin},
TITLE = {Supporting coarse and fine grain parallelism in an extension of ML},
BOOKTITLE = {Proceedings of the 3rd Joint International Conference on Vector and Parallel Processing, CONPAR'94 - VAPP VI (Linz, Austria, September 6-8, 1994)},
SERIES = {LNCS},
VOLUME = {854},
PAGES = {593-604},
YEAR = {1994},
EDITOR = {Buchberger, Bruno and Volkert, Jens},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Calvin-Colombet-Desprez-Jargot-Michallon-Tourancheau-Trystram/94,
AUTHOR = {Calvin, C. and Colombet, L. and Desprez, F. and Jargot, B. and Michallon, P. and Tourancheau, B. and Trystram, D.},
TITLE = {Towards mixed computation/communication in parallel scientific libraries},
BOOKTITLE = {Proceedings of the 3rd Joint International Conference on Vector and Parallel Processing, CONPAR'94 - VAPP VI (Linz, Austria, September 6-8, 1994)},
SERIES = {LNCS},
VOLUME = {854},
PAGES = {605-615},
YEAR = {1994},
EDITOR = {Buchberger, Bruno and Volkert, Jens},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Bagley-Wilsey-Abu-Ghazaleh/94,
AUTHOR = {Bagley, Ross A. and Wilsey, Philip A. and Abu-Ghazaleh, Nael B.},
TITLE = {Composing functional unit blocks for efficient interpretation of MIMD code sequences on SIMD processors},
BOOKTITLE = {Proceedings of the 3rd Joint International Conference on Vector and Parallel Processing, CONPAR'94 - VAPP VI (Linz, Austria, September 6-8, 1994)},
SERIES = {LNCS},
VOLUME = {854},
PAGES = {616-627},
YEAR = {1994},
EDITOR = {Buchberger, Bruno and Volkert, Jens},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Govindarajan-Altman-Gao/94,
AUTHOR = {Govindarajan, R. and Altman, Erik R. and Gao, Guang R.},
TITLE = {A framework for resource-constrained rate-optimal software pipelining},
BOOKTITLE = {Proceedings of the 3rd Joint International Conference on Vector and Parallel Processing, CONPAR'94 - VAPP VI (Linz, Austria, September 6-8, 1994)},
SERIES = {LNCS},
VOLUME = {854},
PAGES = {640-651},
YEAR = {1994},
EDITOR = {Buchberger, Bruno and Volkert, Jens},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Berthou/94,
AUTHOR = {Berthou, Jean-Yves},
TITLE = {Design of a meta-parallelizer for large scientific applications},
BOOKTITLE = {Proceedings of the 3rd Joint International Conference on Vector and Parallel Processing, CONPAR'94 - VAPP VI (Linz, Austria, September 6-8, 1994)},
SERIES = {LNCS},
VOLUME = {854},
PAGES = {652-663},
YEAR = {1994},
EDITOR = {Buchberger, Bruno and Volkert, Jens},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Chapman-Mehrotra-Van_Rosendale-Zima/94,
AUTHOR = {Chapman, Barbara and Mehrotra, Piyush and Van Rosendale, John and Zima, Hans},
TITLE = {A software architecture for multidisciplinary applications: Integrating task and data parallelism},
BOOKTITLE = {Proceedings of the 3rd Joint International Conference on Vector and Parallel Processing, CONPAR'94 - VAPP VI (Linz, Austria, September 6-8, 1994)},
SERIES = {LNCS},
VOLUME = {854},
PAGES = {664-676},
YEAR = {1994},
EDITOR = {Buchberger, Bruno and Volkert, Jens},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Griebl-Lengauer/94,
AUTHOR = {Griebl, Martin and Lengauer, Christian},
TITLE = {On scanning space-time mapped while loops},
BOOKTITLE = {Proceedings of the 3rd Joint International Conference on Vector and Parallel Processing, CONPAR'94 - VAPP VI (Linz, Austria, September 6-8, 1994)},
SERIES = {LNCS},
VOLUME = {854},
PAGES = {677-688},
YEAR = {1994},
EDITOR = {Buchberger, Bruno and Volkert, Jens},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Andonov-Rajopadhye/94,
AUTHOR = {Andonov, Rumen and Rajopadhye, Sanjay},
TITLE = {Optimal tile sizing},
BOOKTITLE = {Proceedings of the 3rd Joint International Conference on Vector and Parallel Processing, CONPAR'94 - VAPP VI (Linz, Austria, September 6-8, 1994)},
SERIES = {LNCS},
VOLUME = {854},
PAGES = {701-712},
YEAR = {1994},
EDITOR = {Buchberger, Bruno and Volkert, Jens},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Bouchitte-Boulet-Darte-Robert/94,
AUTHOR = {Bouchitt{\'{e}}, Vincent and Boulet, Pierre and Darte, Alain and Robert, Yves},
TITLE = {Evaluating array expressions on massively parallel machines with communication/computation overlap},
BOOKTITLE = {Proceedings of the 3rd Joint International Conference on Vector and Parallel Processing, CONPAR'94 - VAPP VI (Linz, Austria, September 6-8, 1994)},
SERIES = {LNCS},
VOLUME = {854},
PAGES = {713-724},
YEAR = {1994},
EDITOR = {Buchberger, Bruno and Volkert, Jens},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Chen-Lau/94,
AUTHOR = {Chen, Guihai and Lau, Francis C.M.},
TITLE = {Laying out Midimew networks with constant dilation},
BOOKTITLE = {Proceedings of the 3rd Joint International Conference on Vector and Parallel Processing, CONPAR'94 - VAPP VI (Linz, Austria, September 6-8, 1994)},
SERIES = {LNCS},
VOLUME = {854},
PAGES = {773-784},
YEAR = {1994},
EDITOR = {Buchberger, Bruno and Volkert, Jens},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Fraigniaud-Gavoille/94,
AUTHOR = {Fraigniaud, Pierre and Gavoille, Cyril},
TITLE = {Optimal interval routing},
BOOKTITLE = {Proceedings of the 3rd Joint International Conference on Vector and Parallel Processing, CONPAR'94 - VAPP VI (Linz, Austria, September 6-8, 1994)},
SERIES = {LNCS},
VOLUME = {854},
PAGES = {785-796},
YEAR = {1994},
EDITOR = {Buchberger, Bruno and Volkert, Jens},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Ferreira-Lejbman-Song/94a,
AUTHOR = {Ferreira, A. and Lejbman, A. Goldman vel and Song, S.W.},
TITLE = {Broadcasting in bus interconnection networks},
BOOKTITLE = {Proceedings of the 3rd Joint International Conference on Vector and Parallel Processing, CONPAR'94 - VAPP VI (Linz, Austria, September 6-8, 1994)},
SERIES = {LNCS},
VOLUME = {854},
PAGES = {797-807},
YEAR = {1994},
EDITOR = {Buchberger, Bruno and Volkert, Jens},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Deserable/94,
AUTHOR = {D{\'{e}}s{\'{e}}rable, Dominique},
TITLE = {Broadcasting in the arrowhead torus},
BOOKTITLE = {Proceedings of the 3rd Joint International Conference on Vector and Parallel Processing, CONPAR'94 - VAPP VI (Linz, Austria, September 6-8, 1994)},
SERIES = {LNCS},
VOLUME = {854},
PAGES = {808-819},
YEAR = {1994},
EDITOR = {Buchberger, Bruno and Volkert, Jens},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Haritaoglu-Aykanat/94,
AUTHOR = {Haritao{\u{g}}lu, {\.I}smail and Aykanat, Cevdet},
TITLE = {An efficient mapping heuristic for mesh-connected parallel architectures based on mean field annealing},
BOOKTITLE = {Proceedings of the 3rd Joint International Conference on Vector and Parallel Processing, CONPAR'94 - VAPP VI (Linz, Austria, September 6-8, 1994)},
SERIES = {LNCS},
VOLUME = {854},
PAGES = {820-831},
YEAR = {1994},
EDITOR = {Buchberger, Bruno and Volkert, Jens},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Elleuch-Kanawati-Muntean-Talbi/94,
AUTHOR = {Elleuch, A. and Kanawati, R. and Muntean, T. and Talbi, E.-G.},
TITLE = {Dynamic load balancing mechanisms for a parallel operating system kernel},
BOOKTITLE = {Proceedings of the 3rd Joint International Conference on Vector and Parallel Processing, CONPAR'94 - VAPP VI (Linz, Austria, September 6-8, 1994)},
SERIES = {LNCS},
VOLUME = {854},
PAGES = {866-877},
YEAR = {1994},
EDITOR = {Buchberger, Bruno and Volkert, Jens},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Becker-Knight/94,
AUTHOR = {Becker, Matthew E. and Knight, Thomas F., Jr.},
TITLE = {Fast arbitration in dilated routers},
BOOKTITLE = {Proceedings of the 1st International Workshop on Parallel Computer Routing and Communication, PCRCW'94 (Seattle, Washington, May 16-18 May, 1994)},
SERIES = {LNCS},
VOLUME = {853},
PAGES = {16-30},
YEAR = {1994},
EDITOR = {Bolding, Kevin and Snyder, Lawrence},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Duato-Lopez/94,
AUTHOR = {Duato, Jos{\'{e}} and L{\'{o}}pez, Pedro},
TITLE = {Performance evaluation of adaptive routing algorithms for $k$-ary $n$-cubes},
BOOKTITLE = {Proceedings of the 1st International Workshop on Parallel Computer Routing and Communication, PCRCW'94 (Seattle, Washington, May 16-18 May, 1994)},
SERIES = {LNCS},
VOLUME = {853},
PAGES = {45-59},
YEAR = {1994},
EDITOR = {Bolding, Kevin and Snyder, Lawrence},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Chinn/94,
AUTHOR = {Chinn, Donald D.},
TITLE = {The performance of adaptive routers on worst case permutations},
BOOKTITLE = {Proceedings of the 1st International Workshop on Parallel Computer Routing and Communication, PCRCW'94 (Seattle, Washington, May 16-18 May, 1994)},
SERIES = {LNCS},
VOLUME = {853},
PAGES = {60-71},
YEAR = {1994},
EDITOR = {Bolding, Kevin and Snyder, Lawrence},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Chiang-Ni/94,
AUTHOR = {Chiang, Chi Ming and Ni, Lionel M.},
TITLE = {Multi-address encoding for multicast},
BOOKTITLE = {Proceedings of the 1st International Workshop on Parallel Computer Routing and Communication, PCRCW'94 (Seattle, Washington, May 16-18 May, 1994)},
SERIES = {LNCS},
VOLUME = {853},
PAGES = {146-160},
YEAR = {1994},
EDITOR = {Bolding, Kevin and Snyder, Lawrence},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Abali-Aykanat/94,
AUTHOR = {Abali, B{\"u}lent and Aykanat, Cevdet},
TITLE = {Routing algorithms for IBM SP1},
BOOKTITLE = {Proceedings of the 1st International Workshop on Parallel Computer Routing and Communication, PCRCW'94 (Seattle, Washington, May 16-18 May, 1994)},
SERIES = {LNCS},
VOLUME = {853},
PAGES = {161-175},
YEAR = {1994},
EDITOR = {Bolding, Kevin and Snyder, Lawrence},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Heller/94,
AUTHOR = {Heller, Steve},
TITLE = {Congestion-free routing on the CM-5 data router},
BOOKTITLE = {Proceedings of the 1st International Workshop on Parallel Computer Routing and Communication, PCRCW'94 (Seattle, Washington, May 16-18 May, 1994)},
SERIES = {LNCS},
VOLUME = {853},
PAGES = {176-184},
YEAR = {1994},
EDITOR = {Bolding, Kevin and Snyder, Lawrence},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Chong-Brewer-Leighton-Knight/94a,
AUTHOR = {Chong, Frederic T. and Brewer, Eric A. and Leighton, F. Thomson and Knight, Thomas F., Jr.},
TITLE = {Packaging and multiplexing of hierarchical scalable expanders},
BOOKTITLE = {Proceedings of the 1st International Workshop on Parallel Computer Routing and Communication, PCRCW'94 (Seattle, Washington, May 16-18 May, 1994)},
SERIES = {LNCS},
VOLUME = {853},
PAGES = {200-214},
YEAR = {1994},
EDITOR = {Bolding, Kevin and Snyder, Lawrence},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Eslick-DeHon-Knight/94,
AUTHOR = {Eslick, Ian and DeHon, Andr{\'{e}} and Knight, Thomas, Jr.},
TITLE = {Guaranteeing idempotence for tightly-coupled, fault-tolerant networks},
BOOKTITLE = {Proceedings of the 1st International Workshop on Parallel Computer Routing and Communication, PCRCW'94 (Seattle, Washington, May 16-18 May, 1994)},
SERIES = {LNCS},
VOLUME = {853},
PAGES = {215-225},
YEAR = {1994},
EDITOR = {Bolding, Kevin and Snyder, Lawrence},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Bolding-Yost/94,
AUTHOR = {Bolding, Kevin and Yost, William},
TITLE = {Design of a router for fault-tolerant networks},
BOOKTITLE = {Proceedings of the 1st International Workshop on Parallel Computer Routing and Communication, PCRCW'94 (Seattle, Washington, May 16-18 May, 1994)},
SERIES = {LNCS},
VOLUME = {853},
PAGES = {226-240},
YEAR = {1994},
EDITOR = {Bolding, Kevin and Snyder, Lawrence},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Dally-Dennison-Harris-Kan-Xanthopoulus/94,
AUTHOR = {Dally, William J. and Dennison, Larry R. and Harris, David and Kan, Kinhong and Xanthopoulus, Thucydides},
TITLE = {The reliable router: A reliable and high-performance communication substrate for parallel computers},
BOOKTITLE = {Proceedings of the 1st International Workshop on Parallel Computer Routing and Communication, PCRCW'94 (Seattle, Washington, May 16-18 May, 1994)},
SERIES = {LNCS},
VOLUME = {853},
PAGES = {241-255},
YEAR = {1994},
EDITOR = {Bolding, Kevin and Snyder, Lawrence},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Dubnicki-Li-Mesarina/94,
AUTHOR = {Dubnicki, Cezary and Li, Kai and Mesarina, Malena},
TITLE = {Network interface support for user-level buffer management},
BOOKTITLE = {Proceedings of the 1st International Workshop on Parallel Computer Routing and Communication, PCRCW'94 (Seattle, Washington, May 16-18 May, 1994)},
SERIES = {LNCS},
VOLUME = {853},
PAGES = {256-265},
YEAR = {1994},
EDITOR = {Bolding, Kevin and Snyder, Lawrence},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Davis-Hodgson-Robinson-Cherkasova-Kotov-Rokicki/94,
AUTHOR = {Davis, A. and Hodgson, R. and Robinson, I. and Cherkasova, L. and Kotov, V. and Rokicki, T.},
TITLE = {R2: A damped adaptive router design},
BOOKTITLE = {Proceedings of the 1st International Workshop on Parallel Computer Routing and Communication, PCRCW'94 (Seattle, Washington, May 16-18 May, 1994)},
SERIES = {LNCS},
VOLUME = {853},
PAGES = {295-309},
YEAR = {1994},
EDITOR = {Bolding, Kevin and Snyder, Lawrence},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Boughton/94,
AUTHOR = {Boughton, G. Andrew},
TITLE = {Arctic routing chip},
BOOKTITLE = {Proceedings of the 1st International Workshop on Parallel Computer Routing and Communication, PCRCW'94 (Seattle, Washington, May 16-18 May, 1994)},
SERIES = {LNCS},
VOLUME = {853},
PAGES = {310-317},
YEAR = {1994},
EDITOR = {Bolding, Kevin and Snyder, Lawrence},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Cheatham/94,
AUTHOR = {Cheatham, Thomas},
TITLE = {Models, languages, and compiler technology for high performance computers},
BOOKTITLE = {Proceedings of the 19th International Symposium on Mathematical Foundations of Computer Science, MFCS'94 (Ko{\v{s}}ice, Slovakia, August 22-26, 1994)},
SERIES = {LNCS},
VOLUME = {841},
PAGES = {3-26},
YEAR = {1994},
EDITOR = {Pr{\'{i}}vara, Igor and Rovan, Branislv and Ru{\v{z}}i{\v{c}}ka, Peter},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Cosnard-Matamala/94,
AUTHOR = {Cosnard, Michel and Matamala, Mart{\'{i}}n},
TITLE = {On NC-real complexity classes for additive circuits and their relations with NC},
BOOKTITLE = {Proceedings of the 19th International Symposium on Mathematical Foundations of Computer Science, MFCS'94 (Ko{\v{s}}ice, Slovakia, August 22-26, 1994)},
SERIES = {LNCS},
VOLUME = {841},
PAGES = {27-37},
YEAR = {1994},
EDITOR = {Pr{\'{i}}vara, Igor and Rovan, Branislv and Ru{\v{z}}i{\v{c}}ka, Peter},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Duris-Rolim/94b,
AUTHOR = {{\v{D}}uri{\v{s}}, Pavol and Rolim, Jos{\'{e}} D.P.},
TITLE = {E-complete sets do not have optimal polynomial time approximations},
BOOKTITLE = {Proceedings of the 19th International Symposium on Mathematical Foundations of Computer Science, MFCS'94 (Ko{\v{s}}ice, Slovakia, August 22-26, 1994)},
SERIES = {LNCS},
VOLUME = {841},
PAGES = {38-51},
YEAR = {1994},
EDITOR = {Pr{\'{i}}vara, Igor and Rovan, Branislv and Ru{\v{z}}i{\v{c}}ka, Peter},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Bloom-Esik/94,
AUTHOR = {Bloom, Stephen L. and {\'{E}}sik, Zolt{\'{a}}n},
TITLE = {Solving polynomial fixed point equations},
BOOKTITLE = {Proceedings of the 19th International Symposium on Mathematical Foundations of Computer Science, MFCS'94 (Ko{\v{s}}ice, Slovakia, August 22-26, 1994)},
SERIES = {LNCS},
VOLUME = {841},
PAGES = {52-67},
YEAR = {1994},
EDITOR = {Pr{\'{i}}vara, Igor and Rovan, Branislv and Ru{\v{z}}i{\v{c}}ka, Peter},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Albers/94,
AUTHOR = {Albers, Susanne},
TITLE = {A competitive analysis of the list update problem with lookahead},
BOOKTITLE = {Proceedings of the 19th International Symposium on Mathematical Foundations of Computer Science, MFCS'94 (Ko{\v{s}}ice, Slovakia, August 22-26, 1994)},
SERIES = {LNCS},
VOLUME = {841},
PAGES = {201-210},
YEAR = {1994},
EDITOR = {Pr{\'{i}}vara, Igor and Rovan, Branislv and Ru{\v{z}}i{\v{c}}ka, Peter},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Alessi-Dezani-Ciancaglini-deLiguoro/94,
AUTHOR = {Alessi, F. and Dezani-Ciancaglini, M. and de'Liguoro, U.},
TITLE = {May and must convergency in concurrent $\lambda$-calculus},
BOOKTITLE = {Proceedings of the 19th International Symposium on Mathematical Foundations of Computer Science, MFCS'94 (Ko{\v{s}}ice, Slovakia, August 22-26, 1994)},
SERIES = {LNCS},
VOLUME = {841},
PAGES = {211-220},
YEAR = {1994},
EDITOR = {Pr{\'{i}}vara, Igor and Rovan, Branislv and Ru{\v{z}}i{\v{c}}ka, Peter},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Ambos-Spies-Neis-Terwijn/94,
AUTHOR = {Ambos-Spies, Klaus and Neis, Hans-Christian and Terwijn, Sebastiaan A.},
TITLE = {Genericity and measure for exponential time},
BOOKTITLE = {Proceedings of the 19th International Symposium on Mathematical Foundations of Computer Science, MFCS'94 (Ko{\v{s}}ice, Slovakia, August 22-26, 1994)},
SERIES = {LNCS},
VOLUME = {841},
PAGES = {221-232},
YEAR = {1994},
EDITOR = {Pr{\'{i}}vara, Igor and Rovan, Branislv and Ru{\v{z}}i{\v{c}}ka, Peter},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Baeza-Yates/94,
AUTHOR = {Baeza-Yates, Ricardo A.},
TITLE = {Analysis of bounded disorder},
BOOKTITLE = {Proceedings of the 19th International Symposium on Mathematical Foundations of Computer Science, MFCS'94 (Ko{\v{s}}ice, Slovakia, August 22-26, 1994)},
SERIES = {LNCS},
VOLUME = {841},
PAGES = {233-244},
YEAR = {1994},
EDITOR = {Pr{\'{i}}vara, Igor and Rovan, Branislv and Ru{\v{z}}i{\v{c}}ka, Peter},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Bertoni-Mereghetti-Pighizzini/94a,
AUTHOR = {Bertoni, Alberto and Mereghetti, Carlo and Pighizzini, Giovanni},
TITLE = {On languages accepted with simultaneous complexity bounds and their ranking problem},
BOOKTITLE = {Proceedings of the 19th International Symposium on Mathematical Foundations of Computer Science, MFCS'94 (Ko{\v{s}}ice, Slovakia, August 22-26, 1994)},
SERIES = {LNCS},
VOLUME = {841},
PAGES = {245-255},
YEAR = {1994},
EDITOR = {Pr{\'{i}}vara, Igor and Rovan, Branislv and Ru{\v{z}}i{\v{c}}ka, Peter},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Bouabdallah-Heydemann-Opatrny-Sotteau/94,
AUTHOR = {Bouabdallah, A. and Heydemann, M.C. and Opatrny, J. and Sotteau, D.},
TITLE = {Embedding complete binary trees into star networks},
BOOKTITLE = {Proceedings of the 19th International Symposium on Mathematical Foundations of Computer Science, MFCS'94 (Ko{\v{s}}ice, Slovakia, August 22-26, 1994)},
SERIES = {LNCS},
VOLUME = {841},
PAGES = {266-275},
YEAR = {1994},
EDITOR = {Pr{\'{i}}vara, Igor and Rovan, Branislv and Ru{\v{z}}i{\v{c}}ka, Peter},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Damm-Holzer/94,
AUTHOR = {Damm, Carsten and Holzer, Markus},
TITLE = {Inductive counting below Logspace},
BOOKTITLE = {Proceedings of the 19th International Symposium on Mathematical Foundations of Computer Science, MFCS'94 (Ko{\v{s}}ice, Slovakia, August 22-26, 1994)},
SERIES = {LNCS},
VOLUME = {841},
PAGES = {276-285},
YEAR = {1994},
EDITOR = {Pr{\'{i}}vara, Igor and Rovan, Branislv and Ru{\v{z}}i{\v{c}}ka, Peter},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Dassow/94,
AUTHOR = {Dassow, J{\"u}rgen},
TITLE = {Decision problems for edge grammars},
BOOKTITLE = {Proceedings of the 19th International Symposium on Mathematical Foundations of Computer Science, MFCS'94 (Ko{\v{s}}ice, Slovakia, August 22-26, 1994)},
SERIES = {LNCS},
VOLUME = {841},
PAGES = {286-295},
YEAR = {1994},
EDITOR = {Pr{\'{i}}vara, Igor and Rovan, Branislv and Ru{\v{z}}i{\v{c}}ka, Peter},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Dehne-Klein/94,
AUTHOR = {Dehne, Frank and Klein, Rolf},
TITLE = {"The Big Sweep": On the power of the wavefront approach to Voronoi diagrams},
BOOKTITLE = {Proceedings of the 19th International Symposium on Mathematical Foundations of Computer Science, MFCS'94 (Ko{\v{s}}ice, Slovakia, August 22-26, 1994)},
SERIES = {LNCS},
VOLUME = {841},
PAGES = {296-305},
YEAR = {1994},
EDITOR = {Pr{\'{i}}vara, Igor and Rovan, Branislv and Ru{\v{z}}i{\v{c}}ka, Peter},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Denejko-Diks-Pelc-Piotrow/94,
AUTHOR = {Denejko, Piotr and Diks, Krzysztof and Pelc, Andrzej and Piotr{\'{o}}w, Marek},
TITLE = {Reliable minimum finding comparator networks},
BOOKTITLE = {Proceedings of the 19th International Symposium on Mathematical Foundations of Computer Science, MFCS'94 (Ko{\v{s}}ice, Slovakia, August 22-26, 1994)},
SERIES = {LNCS},
VOLUME = {841},
PAGES = {306-315},
YEAR = {1994},
EDITOR = {Pr{\'{i}}vara, Igor and Rovan, Branislv and Ru{\v{z}}i{\v{c}}ka, Peter},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Dessmark-Lingas-Garrido/94,
AUTHOR = {Dessmark, Anders and Lingas, Andrzej and Garrido, Oscar},
TITLE = {On parallel complexity of maximum $f$-matching and the degree sequence problem},
BOOKTITLE = {Proceedings of the 19th International Symposium on Mathematical Foundations of Computer Science, MFCS'94 (Ko{\v{s}}ice, Slovakia, August 22-26, 1994)},
SERIES = {LNCS},
VOLUME = {841},
PAGES = {316-325},
YEAR = {1994},
EDITOR = {Pr{\'i}vara, Igor and Rovan, Branislv and Ru{\v{z}}i{\v{c}}ka, Peter},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=841&spage=316},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Dietzfelbinger-Hromkovic-Schnitger/94,
AUTHOR = {Dietzfelbinger, Martin and Hromkovi{\v{c}}, Juraj and Schnitger, Georg},
TITLE = {A comparison of two lower bound methods for communication complexity},
BOOKTITLE = {Proceedings of the 19th International Symposium on Mathematical Foundations of Computer Science, MFCS'94 (Ko{\v{s}}ice, Slovakia, August 22-26, 1994)},
SERIES = {LNCS},
VOLUME = {841},
PAGES = {326-335},
YEAR = {1994},
EDITOR = {Pr{\'{i}}vara, Igor and Rovan, Branislv and Ru{\v{z}}i{\v{c}}ka, Peter},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Ferrari-Montanari-Quaglia/94,
AUTHOR = {Ferrari, GianLuigi and Montanari, Ugo and Quaglia, Paola},
TITLE = {A $\pi$-calculus with explicit substitutions: The late semantics},
BOOKTITLE = {Proceedings of the 19th International Symposium on Mathematical Foundations of Computer Science, MFCS'94 (Ko{\v{s}}ice, Slovakia, August 22-26, 1994)},
SERIES = {LNCS},
VOLUME = {841},
PAGES = {342-351},
YEAR = {1994},
EDITOR = {Pr{\'{i}}vara, Igor and Rovan, Branislv and Ru{\v{z}}i{\v{c}}ka, Peter},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Forti-Honsell-Lenisa/94,
AUTHOR = {Forti, Marco and Honsell, Furio and Lenisa, Marina},
TITLE = {Processes and hyperuniverses},
BOOKTITLE = {Proceedings of the 19th International Symposium on Mathematical Foundations of Computer Science, MFCS'94 (Ko{\v{s}}ice, Slovakia, August 22-26, 1994)},
SERIES = {LNCS},
VOLUME = {841},
PAGES = {352-363},
YEAR = {1994},
EDITOR = {Pr{\'{i}}vara, Igor and Rovan, Branislv and Ru{\v{z}}i{\v{c}}ka, Peter},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Frayman-Kanevsky-Kirchherr/94,
AUTHOR = {Frayman, Felix and Kanevsky, Valery and Kirchherr, Walter},
TITLE = {The combinatorial complexity of a finite string},
BOOKTITLE = {Proceedings of the 19th International Symposium on Mathematical Foundations of Computer Science, MFCS'94 (Ko{\v{s}}ice, Slovakia, August 22-26, 1994)},
SERIES = {LNCS},
VOLUME = {841},
PAGES = {364-372},
YEAR = {1994},
EDITOR = {Pr{\'{i}}vara, Igor and Rovan, Branislv and Ru{\v{z}}i{\v{c}}ka, Peter},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Gold/94,
AUTHOR = {Gold, R.},
TITLE = {A fully abstract semantics for termination in petri nets},
BOOKTITLE = {Proceedings of the 19th International Symposium on Mathematical Foundations of Computer Science, MFCS'94 (Ko{\v{s}}ice, Slovakia, August 22-26, 1994)},
SERIES = {LNCS},
VOLUME = {841},
PAGES = {373-382},
YEAR = {1994},
EDITOR = {Pr{\'{i}}vara, Igor and Rovan, Branislv and Ru{\v{z}}i{\v{c}}ka, Peter},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Alves-Laurent-Spyratos/94,
AUTHOR = {Alves, M. Halfeld Ferrari and Laurent, D. and Spyratos, N.},
TITLE = {Passive and active rules in deductive databases},
BOOKTITLE = {Proceedings of the 19th International Symposium on Mathematical Foundations of Computer Science, MFCS'94 (Ko{\v{s}}ice, Slovakia, August 22-26, 1994)},
SERIES = {LNCS},
VOLUME = {841},
PAGES = {383-392},
YEAR = {1994},
EDITOR = {Pr{\'{i}}vara, Igor and Rovan, Branislv and Ru{\v{z}}i{\v{c}}ka, Peter},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Hegedues/94,
AUTHOR = {Hegedues, T.},
TITLE = {Combinatorial results on the complexity of teaching and learning},
BOOKTITLE = {Proceedings of the 19th International Symposium on Mathematical Foundations of Computer Science, MFCS'94 (Ko{\v{s}}ice, Slovakia, August 22-26, 1994)},
SERIES = {LNCS},
VOLUME = {841},
PAGES = {393-402},
YEAR = {1994},
EDITOR = {Pr{\'{i}}vara, Igor and Rovan, Branislv and Ru{\v{z}}i{\v{c}}ka, Peter},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Hermo/94,
AUTHOR = {Hermo, M.},
TITLE = {Degrees and reducibilities of easy tally sets},
BOOKTITLE = {Proceedings of the 19th International Symposium on Mathematical Foundations of Computer Science, MFCS'94 (Ko{\v{s}}ice, Slovakia, August 22-26, 1994)},
SERIES = {LNCS},
VOLUME = {841},
PAGES = {403-412},
YEAR = {1994},
EDITOR = {Pr{\'{i}}vara, Igor and Rovan, Branislv and Ru{\v{z}}i{\v{c}}ka, Peter},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Hoogeboom-Pas/94,
AUTHOR = {Hoogeboom, H.J. and Pas, P. ten},
TITLE = {Mso definable text languages},
BOOKTITLE = {Proceedings of the 19th International Symposium on Mathematical Foundations of Computer Science, MFCS'94 (Ko{\v{s}}ice, Slovakia, August 22-26, 1994)},
SERIES = {LNCS},
VOLUME = {841},
PAGES = {413-422},
YEAR = {1994},
EDITOR = {Pr{\'{i}}vara, Igor and Rovan, Branislv and Ru{\v{z}}i{\v{c}}ka, Peter},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Hromkovic-Kari-Kari-Pardubska/94,
AUTHOR = {Hromkovic, J. and Kari, J. and Kari, L. and Pardubska, D.},
TITLE = {Two lower bounds on distributive generation of languages},
BOOKTITLE = {Proceedings of the 19th International Symposium on Mathematical Foundations of Computer Science, MFCS'94 (Ko{\v{s}}ice, Slovakia, August 22-26, 1994)},
SERIES = {LNCS},
VOLUME = {841},
PAGES = {423-432},
YEAR = {1994},
EDITOR = {Pr{\'{i}}vara, Igor and Rovan, Branislv and Ru{\v{z}}i{\v{c}}ka, Peter},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Chao-Tanada-Tsujii/94,
AUTHOR = {Chao, Jinhui and Tanada, Kazuo and Tsujii, Shigeo},
TITLE = {Design of elliptic curves with controllable lower boundary of extension degree for reduction attacks},
BOOKTITLE = {Proceedings of the 14th Annual International Conference on Advances in Cryptology, CRYPTO'94 (Santa Barbara, California, August 21-25, 1994)},
SERIES = {LNCS},
VOLUME = {839},
PAGES = {50-55},
YEAR = {1994},
EDITOR = {Desmedt, Yvo G.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Biehl-Buchmann-Thiel/94,
AUTHOR = {Biehl, Ingrid and Buchmann, Johannes and Thiel, Christoph},
TITLE = {Cryptographic protocols based on discrete logarithms in real-quadratic orders},
BOOKTITLE = {Proceedings of the 14th Annual International Conference on Advances in Cryptology, CRYPTO'94 (Santa Barbara, California, August 21-25, 1994)},
SERIES = {LNCS},
VOLUME = {839},
PAGES = {56-60},
YEAR = {1994},
EDITOR = {Desmedt, Yvo G.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Bleichenbacher-Maurer/94,
AUTHOR = {Bleichenbacher, Daniel and Maurer, Ueli M.},
TITLE = {Directed acyclic graphs, one-way functions and digital signatures},
BOOKTITLE = {Proceedings of the 14th Annual International Conference on Advances in Cryptology, CRYPTO'94 (Santa Barbara, California, August 21-25, 1994)},
SERIES = {LNCS},
VOLUME = {839},
PAGES = {75-82},
YEAR = {1994},
EDITOR = {Desmedt, Yvo G.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Delos-Quisquater/94,
AUTHOR = {Delos, Olivier and Quisquater, Jean-Jacques},
TITLE = {An identity-based signature scheme with bounded life-span},
BOOKTITLE = {Proceedings of the 14th Annual International Conference on Advances in Cryptology, CRYPTO'94 (Santa Barbara, California, August 21-25, 1994)},
SERIES = {LNCS},
VOLUME = {839},
PAGES = {83-94},
YEAR = {1994},
EDITOR = {Desmedt, Yvo G.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Horvath-Magliveras-Trung/94,
AUTHOR = {Horv{\'{a}}th, Tam{\'{a}}s and Magliveras, Spyros S. and Trung, Tran van},
TITLE = {A parallel permutation multiplier for a PGM crypto-chip},
BOOKTITLE = {Proceedings of the 14th Annual International Conference on Advances in Cryptology, CRYPTO'94 (Santa Barbara, California, August 21-25, 1994)},
SERIES = {LNCS},
VOLUME = {839},
PAGES = {108-113},
YEAR = {1994},
EDITOR = {Desmedt, Yvo G.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Davis-Ihaka-Fenstermacher/94,
AUTHOR = {Davis, Don and Ihaka, Ross and Fenstermacher, Philip},
TITLE = {Cryptographic randomness from air turbulence in disk drives},
BOOKTITLE = {Proceedings of the 14th Annual International Conference on Advances in Cryptology, CRYPTO'94 (Santa Barbara, California, August 21-25, 1994)},
SERIES = {LNCS},
VOLUME = {839},
PAGES = {114-120},
YEAR = {1994},
EDITOR = {Desmedt, Yvo G.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Gehrmann/94,
AUTHOR = {Gehrmann, Christian},
TITLE = {Cryptanalysis of the Gemmell and Naor multiround authentication protocol},
BOOKTITLE = {Proceedings of the 14th Annual International Conference on Advances in Cryptology, CRYPTO'94 (Santa Barbara, California, August 21-25, 1994)},
SERIES = {LNCS},
VOLUME = {839},
PAGES = {121-128},
YEAR = {1994},
EDITOR = {Desmedt, Yvo G.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Blundo-De_Santis-Di_Crescenzo-Gaggia-Vaccaro/94,
AUTHOR = {Blundo, Carlo and De Santis, Alfredo and Di Crescenzo, Giovanni and Gaggia, Antonio Giorgio and Vaccaro, Ugo},
TITLE = {Multi-secret sharing schemes},
BOOKTITLE = {Proceedings of the 14th Annual International Conference on Advances in Cryptology, CRYPTO'94 (Santa Barbara, California, August 21-25, 1994)},
SERIES = {LNCS},
VOLUME = {839},
PAGES = {150-163},
YEAR = {1994},
EDITOR = {Desmedt, Yvo G.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Cramer-Damgard-Schoenmakers/94,
AUTHOR = {Cramer, Ronald and Damg{\aa}rd, Ivan and Schoenmakers, Berry},
TITLE = {Proofs of partial knowledge and simplified design of witness hiding protocols},
BOOKTITLE = {Proceedings of the 14th Annual International Conference on Advances in Cryptology, CRYPTO'94 (Santa Barbara, California, August 21-25, 1994)},
SERIES = {LNCS},
VOLUME = {839},
PAGES = {174-187},
YEAR = {1994},
EDITOR = {Desmedt, Yvo G.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Girault-Stern/94,
AUTHOR = {Girault, Marc and Stern, Jacques},
TITLE = {On the length of cryptographic hash-values used in identification schemes},
BOOKTITLE = {Proceedings of the 14th Annual International Conference on Advances in Cryptology, CRYPTO'94 (Santa Barbara, California, August 21-25, 1994)},
SERIES = {LNCS},
VOLUME = {839},
PAGES = {202-215},
YEAR = {1994},
EDITOR = {Desmedt, Yvo G.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Bellare-Goldreich-Goldwasser/94,
AUTHOR = {Bellare, Mihir and Goldreich, Oded and Goldwasser, Shafi},
TITLE = {Incremental cryptography: The case of hashing and signing},
BOOKTITLE = {Proceedings of the 14th Annual International Conference on Advances in Cryptology, CRYPTO'94 (Santa Barbara, California, August 21-25, 1994)},
SERIES = {LNCS},
VOLUME = {839},
PAGES = {216-233},
YEAR = {1994},
EDITOR = {Desmedt, Yvo G.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Dwork-Naor/94,
AUTHOR = {Dwork, Cynthia and Naor, Moni},
TITLE = {An efficient existentially unforgeable signature scheme and its applications},
BOOKTITLE = {Proceedings of the 14th Annual International Conference on Advances in Cryptology, CRYPTO'94 (Santa Barbara, California, August 21-25, 1994)},
SERIES = {LNCS},
VOLUME = {839},
PAGES = {234-246},
YEAR = {1994},
EDITOR = {Desmedt, Yvo G.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Bierbrauer-Gopalakrishnan-Stinson/94,
AUTHOR = {Bierbrauer, J{\"u}rgen and Gopalakrishnan, K. and Stinson, D.R.},
TITLE = {Bounds for resilient functions and orthogonal arrays},
BOOKTITLE = {Proceedings of the 14th Annual International Conference on Advances in Cryptology, CRYPTO'94 (Santa Barbara, California, August 21-25, 1994)},
SERIES = {LNCS},
VOLUME = {839},
PAGES = {247-256},
YEAR = {1994},
EDITOR = {Desmedt, Yvo G.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Chor-Fiat-Naor/94,
AUTHOR = {Chor, Benny and Fiat, Amos and Naor, Moni},
TITLE = {Tracing traitors},
BOOKTITLE = {Proceedings of the 14th Annual International Conference on Advances in Cryptology, CRYPTO'94 (Santa Barbara, California, August 21-25, 1994)},
SERIES = {LNCS},
VOLUME = {839},
PAGES = {257-270},
YEAR = {1994},
EDITOR = {Desmedt, Yvo G.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Coppersmith/94,
AUTHOR = {Coppersmith, Don},
TITLE = {Attack on the cryptographic scheme NIKS-TAS},
BOOKTITLE = {Proceedings of the 14th Annual International Conference on Advances in Cryptology, CRYPTO'94 (Santa Barbara, California, August 21-25, 1994)},
SERIES = {LNCS},
VOLUME = {839},
PAGES = {294-307},
YEAR = {1994},
EDITOR = {Desmedt, Yvo G.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Burmester/94,
AUTHOR = {Burmester, Mike},
TITLE = {On the risk of opening distributed keys},
BOOKTITLE = {Proceedings of the 14th Annual International Conference on Advances in Cryptology, CRYPTO'94 (Santa Barbara, California, August 21-25, 1994)},
SERIES = {LNCS},
VOLUME = {839},
PAGES = {308-317},
YEAR = {1994},
EDITOR = {Desmedt, Yvo G.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Beth-Lazic-Mathias/94,
AUTHOR = {Beth, Th. and Lazic, D.E. and Mathias, A.},
TITLE = {Cryptanalysis of cryptosystems based on remote chaos replication},
BOOKTITLE = {Proceedings of the 14th Annual International Conference on Advances in Cryptology, CRYPTO'94 (Santa Barbara, California, August 21-25, 1994)},
SERIES = {LNCS},
VOLUME = {839},
PAGES = {318-331},
YEAR = {1994},
EDITOR = {Desmedt, Yvo G.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Bellare-Kilian-Rogaway/94,
AUTHOR = {Bellare, Mihir and Kilian, Joe and Rogaway, Phillip},
TITLE = {The security of cipher block chaining},
BOOKTITLE = {Proceedings of the 14th Annual International Conference on Advances in Cryptology, CRYPTO'94 (Santa Barbara, California, August 21-25, 1994)},
SERIES = {LNCS},
VOLUME = {839},
PAGES = {341-358},
YEAR = {1994},
EDITOR = {Desmedt, Yvo G.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Gilbert-Chauvaud/94,
AUTHOR = {Gilbert, Henri and Chauvaud, Pascal},
TITLE = {A chosen plaintext attack of the 16-round Khufu cryptosystem},
BOOKTITLE = {Proceedings of the 14th Annual International Conference on Advances in Cryptology, CRYPTO'94 (Santa Barbara, California, August 21-25, 1994)},
SERIES = {LNCS},
VOLUME = {839},
PAGES = {359-368},
YEAR = {1994},
EDITOR = {Desmedt, Yvo G.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Canetti-Herzberg/94,
AUTHOR = {Canetti, Ran and Herzberg, Amir},
TITLE = {Maintaining security in the presence of transient faults},
BOOKTITLE = {Proceedings of the 14th Annual International Conference on Advances in Cryptology, CRYPTO'94 (Santa Barbara, California, August 21-25, 1994)},
SERIES = {LNCS},
VOLUME = {839},
PAGES = {425-438},
YEAR = {1994},
EDITOR = {Desmedt, Yvo G.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Courcoubetis/94,
AUTHOR = {Courcoubetis, Costas},
TITLE = {From timed graphs to hybrid automata},
BOOKTITLE = {Proceedings of the 5th International Conference on Concurrency Theory, CONCUR'94 (Uppsala, Sweden, August 22-25, 1994)},
SERIES = {LNCS},
VOLUME = {836},
PAGES = {160},
YEAR = {1994},
EDITOR = {Jonsson, Bengt and Parrow, Joachim},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Dill/94,
AUTHOR = {Dill, D.},
TITLE = {Hierarchical models of synchronous circuits},
BOOKTITLE = {Proceedings of the 5th International Conference on Concurrency Theory, CONCUR'94 (Uppsala, Sweden, August 22-25, 1994)},
SERIES = {LNCS},
VOLUME = {836},
PAGES = {161},
YEAR = {1994},
EDITOR = {Jonsson, Bengt and Parrow, Joachim},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Fernandez-Sifakis-Simone/94,
AUTHOR = {Fernandez, J.C. and Sifakis, J. and Simone, R. de},
TITLE = {Model-based verification methods and tools},
BOOKTITLE = {Proceedings of the 5th International Conference on Concurrency Theory, CONCUR'94 (Uppsala, Sweden, August 22-25, 1994)},
SERIES = {LNCS},
VOLUME = {836},
PAGES = {64},
YEAR = {1994},
EDITOR = {Jonsson, Bengt and Parrow, Joachim},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Girard/94,
AUTHOR = {Girard, Jean-Yves},
TITLE = {Geometry of interaction},
BOOKTITLE = {Proceedings of the 5th International Conference on Concurrency Theory, CONCUR'94 (Uppsala, Sweden, August 22-25, 1994)},
SERIES = {LNCS},
VOLUME = {836},
PAGES = {1},
YEAR = {1994},
EDITOR = {Jonsson, Bengt and Parrow, Joachim},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Hirshfeld-Moller/94,
AUTHOR = {Hirshfeld, Yoram and Moller, Faron},
TITLE = {A fast algorithm for deciding bisimilarity of normed context-free processes},
BOOKTITLE = {Proceedings of the 5th International Conference on Concurrency Theory, CONCUR'94 (Uppsala, Sweden, August 22-25, 1994)},
SERIES = {LNCS},
VOLUME = {836},
PAGES = {48-63},
YEAR = {1994},
EDITOR = {Jonsson, Bengt and Parrow, Joachim},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Girkar-Moll/94,
AUTHOR = {Girkar, Mahesh and Moll, Robert},
TITLE = {New results on the analysis of concurrent systems with an indefinite number of processes},
BOOKTITLE = {Proceedings of the 5th International Conference on Concurrency Theory, CONCUR'94 (Uppsala, Sweden, August 22-25, 1994)},
SERIES = {LNCS},
VOLUME = {836},
PAGES = {65-80},
YEAR = {1994},
EDITOR = {Jonsson, Bengt and Parrow, Joachim},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Bouajjani-Echahed-Robbana/94,
AUTHOR = {Bouajjani, Ahmed and Echahed, Rachid and Robbana, Riadh},
TITLE = {Verification of nonregular temporal properties for context-free processes},
BOOKTITLE = {Proceedings of the 5th International Conference on Concurrency Theory, CONCUR'94 (Uppsala, Sweden, August 22-25, 1994)},
SERIES = {LNCS},
VOLUME = {836},
PAGES = {81-97},
YEAR = {1994},
EDITOR = {Jonsson, Bengt and Parrow, Joachim},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Burkart-Steffen/94,
AUTHOR = {Burkart, Olaf and Steffen, Bernhard},
TITLE = {Pushdown processes: Parallel composition and model checking},
BOOKTITLE = {Proceedings of the 5th International Conference on Concurrency Theory, CONCUR'94 (Uppsala, Sweden, August 22-25, 1994)},
SERIES = {LNCS},
VOLUME = {836},
PAGES = {98-113},
YEAR = {1994},
EDITOR = {Jonsson, Bengt and Parrow, Joachim},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Cockett-Spooner/94,
AUTHOR = {Cockett, J.R.B. and Spooner, D.A.},
TITLE = {SProc categorically},
BOOKTITLE = {Proceedings of the 5th International Conference on Concurrency Theory, CONCUR'94 (Uppsala, Sweden, August 22-25, 1994)},
SERIES = {LNCS},
VOLUME = {836},
PAGES = {146-159},
YEAR = {1994},
EDITOR = {Jonsson, Bengt and Parrow, Joachim},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Alur-Courcoubetis-Henzinger/94,
AUTHOR = {Alur, Rajeev and Courcoubetis, Costas and Henzinger, Thomas A.},
TITLE = {The observational power of clocks},
BOOKTITLE = {Proceedings of the 5th International Conference on Concurrency Theory, CONCUR'94 (Uppsala, Sweden, August 22-25, 1994)},
SERIES = {LNCS},
VOLUME = {836},
PAGES = {162-177},
YEAR = {1994},
EDITOR = {Jonsson, Bengt and Parrow, Joachim},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Gunawardena/94,
AUTHOR = {Gunawardena, Jeremy},
TITLE = {A dynamic approach to timed behaviour},
BOOKTITLE = {Proceedings of the 5th International Conference on Concurrency Theory, CONCUR'94 (Uppsala, Sweden, August 22-25, 1994)},
SERIES = {LNCS},
VOLUME = {836},
PAGES = {178-193},
YEAR = {1994},
EDITOR = {Jonsson, Bengt and Parrow, Joachim},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Boreale-Nicola/94,
AUTHOR = {Boreale, Michele and Nicola, Rocco De},
TITLE = {A symbolic semantics for the $\pi$-calculus},
BOOKTITLE = {Proceedings of the 5th International Conference on Concurrency Theory, CONCUR'94 (Uppsala, Sweden, August 22-25, 1994)},
SERIES = {LNCS},
VOLUME = {836},
PAGES = {299-314},
YEAR = {1994},
EDITOR = {Jonsson, Bengt and Parrow, Joachim},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=836&spage=299},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Back-Wright/94,
AUTHOR = {Back, R.J.R. and Wright, J. von},
TITLE = {Trace refinement of action systems},
BOOKTITLE = {Proceedings of the 5th International Conference on Concurrency Theory, CONCUR'94 (Uppsala, Sweden, August 22-25, 1994)},
SERIES = {LNCS},
VOLUME = {836},
PAGES = {367-384},
YEAR = {1994},
EDITOR = {Jonsson, Bengt and Parrow, Joachim},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Bezem-Groote/94,
AUTHOR = {Bezem, M. and Groote, Jan Friso},
TITLE = {Invariants in process algebra with data},
BOOKTITLE = {Proceedings of the 5th International Conference on Concurrency Theory, CONCUR'94 (Uppsala, Sweden, August 22-25, 1994)},
SERIES = {LNCS},
VOLUME = {836},
PAGES = {401-416},
YEAR = {1994},
EDITOR = {Jonsson, Bengt and Parrow, Joachim},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Cleaveland-Riely/94,
AUTHOR = {Cleaveland, Rance and Riely, James},
TITLE = {Testing-based abstractions for value-passing systems},
BOOKTITLE = {Proceedings of the 5th International Conference on Concurrency Theory, CONCUR'94 (Uppsala, Sweden, August 22-25, 1994)},
SERIES = {LNCS},
VOLUME = {836},
PAGES = {417-432},
YEAR = {1994},
EDITOR = {Jonsson, Bengt and Parrow, Joachim},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Aceto/94b,
AUTHOR = {Aceto, Luca},
TITLE = {Deriving complete inference systems for a class of GSOS languages generating regular behaviours},
BOOKTITLE = {Proceedings of the 5th International Conference on Concurrency Theory, CONCUR'94 (Uppsala, Sweden, August 22-25, 1994)},
SERIES = {LNCS},
VOLUME = {836},
PAGES = {449-464},
YEAR = {1994},
EDITOR = {Jonsson, Bengt and Parrow, Joachim},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Baeten-Bergstra/94,
AUTHOR = {Baeten, J.C.M. and Bergstra, J.A.},
TITLE = {Process algebra with partial choice},
BOOKTITLE = {Proceedings of the 5th International Conference on Concurrency Theory, CONCUR'94 (Uppsala, Sweden, August 22-25, 1994)},
SERIES = {LNCS},
VOLUME = {836},
PAGES = {465-480},
YEAR = {1994},
EDITOR = {Jonsson, Bengt and Parrow, Joachim},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Graham/94,
AUTHOR = {Graham, Ronald L.},
TITLE = {Quasi-random combinatorial structures},
BOOKTITLE = {Proceedings of the 5th International Symposium on Algorithms and Computation, ISAAC'94 (Beijing, P.R. China, August 25-27, 1994)},
SERIES = {LNCS},
VOLUME = {834},
PAGES = {10-10},
YEAR = {1994},
EDITOR = {Du, Ding-Zhu and Zhang, Xiang-Sun},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Bose-Houle-Toussaint/94,
AUTHOR = {Bose, Prosenjit and Houle, Michael E. and Toussaint, Godfried},
TITLE = {Every set of disjoint line segments admits a binary tree},
BOOKTITLE = {Proceedings of the 5th International Symposium on Algorithms and Computation, ISAAC'94 (Beijing, P.R. China, August 25-27, 1994)},
SERIES = {LNCS},
VOLUME = {834},
PAGES = {20-28},
YEAR = {1994},
EDITOR = {Du, Ding-Zhu and Zhang, Xiang-Sun},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Akutsu/94b,
AUTHOR = {Akutsu, Tatsuya},
TITLE = {On determining the congruity of point sets in higher dimensions},
BOOKTITLE = {Proceedings of the 5th International Symposium on Algorithms and Computation, ISAAC'94 (Beijing, P.R. China, August 25-27, 1994)},
SERIES = {LNCS},
VOLUME = {834},
PAGES = {38-46},
YEAR = {1994},
EDITOR = {Du, Ding-Zhu and Zhang, Xiang-Sun},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Book-Watanabe/94,
AUTHOR = {Book, Ronald V. and Watanabe, Osamu},
TITLE = {On random hard sets for $NP$},
BOOKTITLE = {Proceedings of the 5th International Symposium on Algorithms and Computation, ISAAC'94 (Beijing, P.R. China, August 25-27, 1994)},
SERIES = {LNCS},
VOLUME = {834},
PAGES = {47-55},
YEAR = {1994},
EDITOR = {Du, Ding-Zhu and Zhang, Xiang-Sun},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=834&spage=47},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Hemaspaandra-Naik-Ogihara-Selman/94,
AUTHOR = {Hemaspaandra, Lane A. and Naik, Ashish V. and Ogihara, Mitsunori and Selman, Alan L.},
TITLE = {Computing solutions uniquely collapses the polynomial hierarchy},
BOOKTITLE = {Proceedings of the 5th International Symposium on Algorithms and Computation, ISAAC'94 (Beijing, P.R. China, August 25-27, 1994)},
SERIES = {LNCS},
VOLUME = {834},
PAGES = {56-64},
YEAR = {1994},
EDITOR = {Du, Ding-Zhu and Zhang, Xiang-Sun},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=834&spage=56},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Arvind-Kobler-Schuler/94,
AUTHOR = {Arvind, V. and K{\"o}bler, J. and Schuler, R.},
TITLE = {On helping and interactive proof systems},
BOOKTITLE = {Proceedings of the 5th International Symposium on Algorithms and Computation, ISAAC'94 (Beijing, P.R. China, August 25-27, 1994)},
SERIES = {LNCS},
VOLUME = {834},
PAGES = {137-145},
YEAR = {1994},
EDITOR = {Du, Ding-Zhu and Zhang, Xiang-Sun},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Gu-Gu/94,
AUTHOR = {Gu, Jun and Gu, Qian-Ping},
TITLE = {Average time complexity of the SAT1.2 algorithm},
BOOKTITLE = {Proceedings of the 5th International Symposium on Algorithms and Computation, ISAAC'94 (Beijing, P.R. China, August 25-27, 1994)},
SERIES = {LNCS},
VOLUME = {834},
PAGES = {146-154},
YEAR = {1994},
EDITOR = {Du, Ding-Zhu and Zhang, Xiang-Sun},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Chen/94i,
AUTHOR = {Chen, Jingsen},
TITLE = {Average cost to produce partial orders},
BOOKTITLE = {Proceedings of the 5th International Symposium on Algorithms and Computation, ISAAC'94 (Beijing, P.R. China, August 25-27, 1994)},
SERIES = {LNCS},
VOLUME = {834},
PAGES = {155-163},
YEAR = {1994},
EDITOR = {Du, Ding-Zhu and Zhang, Xiang-Sun},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Cai-Hirsch/94,
AUTHOR = {Cai, Jin-Yi and Hirsch, Michael D.},
TITLE = {Rotation distance, triangulations of planar surfaces and hyperbolic geometry},
BOOKTITLE = {Proceedings of the 5th International Symposium on Algorithms and Computation, ISAAC'94 (Beijing, P.R. China, August 25-27, 1994)},
SERIES = {LNCS},
VOLUME = {834},
PAGES = {172-180},
YEAR = {1994},
EDITOR = {Du, Ding-Zhu and Zhang, Xiang-Sun},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Chen-Smith/94,
AUTHOR = {Chen, Yongmao and Smith, Terence R.},
TITLE = {Finitely representable spatial objects and efficient computation},
BOOKTITLE = {Proceedings of the 5th International Symposium on Algorithms and Computation, ISAAC'94 (Beijing, P.R. China, August 25-27, 1994)},
SERIES = {LNCS},
VOLUME = {834},
PAGES = {181-189},
YEAR = {1994},
EDITOR = {Du, Ding-Zhu and Zhang, Xiang-Sun},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Gopalakrishnan-Rangan/94,
AUTHOR = {Gopalakrishnan, C.P. and Rangan, C. Pandu},
TITLE = {Edge-disjoint paths in permutation graphs},
BOOKTITLE = {Proceedings of the 5th International Symposium on Algorithms and Computation, ISAAC'94 (Beijing, P.R. China, August 25-27, 1994)},
SERIES = {LNCS},
VOLUME = {834},
PAGES = {208-216},
YEAR = {1994},
EDITOR = {Du, Ding-Zhu and Zhang, Xiang-Sun},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Gu/94,
AUTHOR = {Gu, Jun},
TITLE = {Multispace search: A new optimization approach},
BOOKTITLE = {Proceedings of the 5th International Symposium on Algorithms and Computation, ISAAC'94 (Beijing, P.R. China, August 25-27, 1994)},
SERIES = {LNCS},
VOLUME = {834},
PAGES = {252-260},
YEAR = {1994},
EDITOR = {Du, Ding-Zhu and Zhang, Xiang-Sun},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Arikati-Maheshwari/94,
AUTHOR = {Arikati, Srinivasa and Maheshwari, Anil},
TITLE = {Realizing degree sequences in parallel},
BOOKTITLE = {Proceedings of the 5th International Symposium on Algorithms and Computation, ISAAC'94 (Beijing, P.R. China, August 25-27, 1994)},
SERIES = {LNCS},
VOLUME = {834},
PAGES = {261-269},
YEAR = {1994},
EDITOR = {Du, Ding-Zhu and Zhang, Xiang-Sun},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=834&spage=261},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Chen-Hu/94,
AUTHOR = {Chen, Danny Z. and Hu, Xiaobo},
TITLE = {Fast and efficient operations on parallel priority queues},
BOOKTITLE = {Proceedings of the 5th International Symposium on Algorithms and Computation, ISAAC'94 (Beijing, P.R. China, August 25-27, 1994)},
SERIES = {LNCS},
VOLUME = {834},
PAGES = {279-287},
YEAR = {1994},
EDITOR = {Du, Ding-Zhu and Zhang, Xiang-Sun},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Carlsson-Chen-Mattsson/94,
AUTHOR = {Carlsson, Svante and Chen, Jingsen and Mattsson, Christer},
TITLE = {Heaps with bits},
BOOKTITLE = {Proceedings of the 5th International Symposium on Algorithms and Computation, ISAAC'94 (Beijing, P.R. China, August 25-27, 1994)},
SERIES = {LNCS},
VOLUME = {834},
PAGES = {288-296},
YEAR = {1994},
EDITOR = {Du, Ding-Zhu and Zhang, Xiang-Sun},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Gu-Peng/94a,
AUTHOR = {Gu, Qian-Ping and Peng, Shietung},
TITLE = {$k$-pairwise cluster fault tolerant routing in hypercubes},
BOOKTITLE = {Proceedings of the 5th International Symposium on Algorithms and Computation, ISAAC'94 (Beijing, P.R. China, August 25-27, 1994)},
SERIES = {LNCS},
VOLUME = {834},
PAGES = {342-350},
YEAR = {1994},
EDITOR = {Du, Ding-Zhu and Zhang, Xiang-Sun},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Ambos-Spies-Terwijn-Zheng/94,
AUTHOR = {Ambos-Spies, Klaus and Terwijn, Sebastiaan A. and Zheng, Xizhong},
TITLE = {Resource bounded randomness and weakly complete problems},
BOOKTITLE = {Proceedings of the 5th International Symposium on Algorithms and Computation, ISAAC'94 (Beijing, P.R. China, August 25-27, 1994)},
SERIES = {LNCS},
VOLUME = {834},
PAGES = {369-377},
YEAR = {1994},
EDITOR = {Du, Ding-Zhu and Zhang, Xiang-Sun},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Fortnow-Rogers/94,
AUTHOR = {Fortnow, Lance and Rogers, John},
TITLE = {Separability and one-way functions},
BOOKTITLE = {Proceedings of the 5th International Symposium on Algorithms and Computation, ISAAC'94 (Beijing, P.R. China, August 25-27, 1994)},
SERIES = {LNCS},
VOLUME = {834},
PAGES = {396-404},
YEAR = {1994},
EDITOR = {Du, Ding-Zhu and Zhang, Xiang-Sun},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Akutsu-Halldorsson/94,
AUTHOR = {Akutsu, Tatsuya and Halld{\'{o}}rsson, Magn{\'{u}}s M.},
TITLE = {On the approximation of largest common subtrees and largest common point sets},
BOOKTITLE = {Proceedings of the 5th International Symposium on Algorithms and Computation, ISAAC'94 (Beijing, P.R. China, August 25-27, 1994)},
SERIES = {LNCS},
VOLUME = {834},
PAGES = {405-413},
YEAR = {1994},
EDITOR = {Du, Ding-Zhu and Zhang, Xiang-Sun},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Ding/94a,
AUTHOR = {Ding, Jiyu},
TITLE = {The generating algorithm for quasi-full Steiner trees},
BOOKTITLE = {Proceedings of the 5th International Symposium on Algorithms and Computation, ISAAC'94 (Beijing, P.R. China, August 25-27, 1994)},
SERIES = {LNCS},
VOLUME = {834},
PAGES = {428-432},
YEAR = {1994},
EDITOR = {Du, Ding-Zhu and Zhang, Xiang-Sun},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Hui-Martel/94,
AUTHOR = {Hui, Lucas Chi Kwong and Martel, Charles U.},
TITLE = {Analysing deletions in competitive self-adjusting linear list algorithms},
BOOKTITLE = {Proceedings of the 5th International Symposium on Algorithms and Computation, ISAAC'94 (Beijing, P.R. China, August 25-27, 1994)},
SERIES = {LNCS},
VOLUME = {834},
PAGES = {433-441},
YEAR = {1994},
EDITOR = {Du, Ding-Zhu and Zhang, Xiang-Sun},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Abuaiadh-Kingston/94,
AUTHOR = {Abuaiadh, Diab and Kingston, Jeffrey H.},
TITLE = {Are Fibonacci heaps optimal?},
BOOKTITLE = {Proceedings of the 5th International Symposium on Algorithms and Computation, ISAAC'94 (Beijing, P.R. China, August 25-27, 1994)},
SERIES = {LNCS},
VOLUME = {834},
PAGES = {442-450},
YEAR = {1994},
EDITOR = {Du, Ding-Zhu and Zhang, Xiang-Sun},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Hsieh-Ho/94,
AUTHOR = {Hsieh, Sun-Yuan and Ho, Chin-Wen},
TITLE = {An efficient parallel strategy for recognizing series-parallel graphs},
BOOKTITLE = {Proceedings of the 5th International Symposium on Algorithms and Computation, ISAAC'94 (Beijing, P.R. China, August 25-27, 1994)},
SERIES = {LNCS},
VOLUME = {834},
PAGES = {496-504},
YEAR = {1994},
EDITOR = {Du, Ding-Zhu and Zhang, Xiang-Sun},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Chin-Wang/94,
AUTHOR = {Chin, Francis Y. and Wang, Cao An},
TITLE = {On greedy tetrahedralization of points in 3d},
BOOKTITLE = {Proceedings of the 5th International Symposium on Algorithms and Computation, ISAAC'94 (Beijing, P.R. China, August 25-27, 1994)},
SERIES = {LNCS},
VOLUME = {834},
PAGES = {532-540},
YEAR = {1994},
EDITOR = {Du, Ding-Zhu and Zhang, Xiang-Sun},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Fujiyoshi-Kajitani-Niitsu/94,
AUTHOR = {Fujiyoshi, Kunihiro and Kajitani, Yoji and Niitsu, Hiroshi},
TITLE = {The totally-perfect bipartite graph and its construction},
BOOKTITLE = {Proceedings of the 5th International Symposium on Algorithms and Computation, ISAAC'94 (Beijing, P.R. China, August 25-27, 1994)},
SERIES = {LNCS},
VOLUME = {834},
PAGES = {541-549},
YEAR = {1994},
EDITOR = {Du, Ding-Zhu and Zhang, Xiang-Sun},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Chen/94j,
AUTHOR = {Chen, Lin},
TITLE = {Revisiting circular arc graphs},
BOOKTITLE = {Proceedings of the 5th International Symposium on Algorithms and Computation, ISAAC'94 (Beijing, P.R. China, August 25-27, 1994)},
SERIES = {LNCS},
VOLUME = {834},
PAGES = {559-566},
YEAR = {1994},
EDITOR = {Du, Ding-Zhu and Zhang, Xiang-Sun},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Hosaka-Takenaga-Yajima/94,
AUTHOR = {Hosaka, Kazuhisa and Takenaga, Yasuhiko and Yajima, Shuzo},
TITLE = {On the size of ordered binary decision diagrams representing threshold functions},
BOOKTITLE = {Proceedings of the 5th International Symposium on Algorithms and Computation, ISAAC'94 (Beijing, P.R. China, August 25-27, 1994)},
SERIES = {LNCS},
VOLUME = {834},
PAGES = {584-592},
YEAR = {1994},
EDITOR = {Du, Ding-Zhu and Zhang, Xiang-Sun},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Biehl/94,
AUTHOR = {Biehl, Ingrid},
TITLE = {Definition and existence of super complexity cores},
BOOKTITLE = {Proceedings of the 5th International Symposium on Algorithms and Computation, ISAAC'94 (Beijing, P.R. China, August 25-27, 1994)},
SERIES = {LNCS},
VOLUME = {834},
PAGES = {600-606},
YEAR = {1994},
EDITOR = {Du, Ding-Zhu and Zhang, Xiang-Sun},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Deng/94a,
AUTHOR = {Deng, Xiaotie},
TITLE = {A convex hull algorithm on coarse-grained multiprocessors},
BOOKTITLE = {Proceedings of the 5th International Symposium on Algorithms and Computation, ISAAC'94 (Beijing, P.R. China, August 25-27, 1994)},
SERIES = {LNCS},
VOLUME = {834},
PAGES = {634-642},
YEAR = {1994},
EDITOR = {Du, Ding-Zhu and Zhang, Xiang-Sun},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Asano/94,
AUTHOR = {Asano, Tetsuo},
TITLE = {Reporting and counting intersections of lines within a polygon},
BOOKTITLE = {Proceedings of the 5th International Symposium on Algorithms and Computation, ISAAC'94 (Beijing, P.R. China, August 25-27, 1994)},
SERIES = {LNCS},
VOLUME = {834},
PAGES = {652-659},
YEAR = {1994},
EDITOR = {Du, Ding-Zhu and Zhang, Xiang-Sun},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Havas-Lian/94,
AUTHOR = {Havas, George and Lian, Jin Xian},
TITLE = {A new problem in string searching},
BOOKTITLE = {Proceedings of the 5th International Symposium on Algorithms and Computation, ISAAC'94 (Beijing, P.R. China, August 25-27, 1994)},
SERIES = {LNCS},
VOLUME = {834},
PAGES = {660-668},
YEAR = {1994},
EDITOR = {Du, Ding-Zhu and Zhang, Xiang-Sun},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Bao-Igarashi/94,
AUTHOR = {Bao, Feng and Igarashi, Yoshihide},
TITLE = {A randomized algorithm to Finite Automata Public Key Cryptosystem},
BOOKTITLE = {Proceedings of the 5th International Symposium on Algorithms and Computation, ISAAC'94 (Beijing, P.R. China, August 25-27, 1994)},
SERIES = {LNCS},
VOLUME = {834},
PAGES = {678-686},
YEAR = {1994},
EDITOR = {Du, Ding-Zhu and Zhang, Xiang-Sun},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Hirshfeld/94a,
AUTHOR = {Hirshfeld, Yoram},
TITLE = {Petri nets and the equivalence problem},
BOOKTITLE = {Proceedings with Selected Papers of the 7th Workshop on Computer Science Logic, CSL'93 (Swansea, United Kingdom, September 13-17, 1993)},
SERIES = {LNCS},
VOLUME = {832},
PAGES = {165-174},
YEAR = {1994},
EDITOR = {B{\"o}rger, Egon and Gurevich, Yuri and Meinke, Karl},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=832&spage=165},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Habib-Nourine/94,
AUTHOR = {Habib, Michel and Nourine, Lhouari},
TITLE = {Bit-vector encoding for partially ordered sets},
BOOKTITLE = {Proceedings of the International Workshop on Orders, Algorithms, and Applications, ORDAL'94 (Lyon, France, July 4-8, 1994)},
SERIES = {LNCS},
VOLUME = {831},
PAGES = {1-12},
YEAR = {1994},
EDITOR = {Bouchitt{\'{e}}, Vincent and Morvan, Michel},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Bogart/94,
AUTHOR = {Bogart, Kenneth P.},
TITLE = {Intervals and orders: What comes after interval orders?},
BOOKTITLE = {Proceedings of the International Workshop on Orders, Algorithms, and Applications, ORDAL'94 (Lyon, France, July 4-8, 1994)},
SERIES = {LNCS},
VOLUME = {831},
PAGES = {13-32},
YEAR = {1994},
EDITOR = {Bouchitt{\'{e}}, Vincent and Morvan, Michel},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Hashemi-Rival/94,
AUTHOR = {Hashemi, S. Mehdi and Rival, Ivan},
TITLE = {Upward drawings to fit surfaces},
BOOKTITLE = {Proceedings of the International Workshop on Orders, Algorithms, and Applications, ORDAL'94 (Lyon, France, July 4-8, 1994)},
SERIES = {LNCS},
VOLUME = {831},
PAGES = {53-58},
YEAR = {1994},
EDITOR = {Bouchitt{\'{e}}, Vincent and Morvan, Michel},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Cattel-Dinneen/94,
AUTHOR = {Cattel, Kevin and Dinneen, Michael J.},
TITLE = {A characterization of graphs with vertex cover up to five},
BOOKTITLE = {Proceedings of the International Workshop on Orders, Algorithms, and Applications, ORDAL'94 (Lyon, France, July 4-8, 1994)},
SERIES = {LNCS},
VOLUME = {831},
PAGES = {86-99},
YEAR = {1994},
EDITOR = {Bouchitt{\'{e}}, Vincent and Morvan, Michel},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Gustedt-Steger/94,
AUTHOR = {Gustedt, Jens and Steger, Angelika},
TITLE = {Testing hereditary properties efficiently on average},
BOOKTITLE = {Proceedings of the International Workshop on Orders, Algorithms, and Applications, ORDAL'94 (Lyon, France, July 4-8, 1994)},
SERIES = {LNCS},
VOLUME = {831},
PAGES = {100-116},
YEAR = {1994},
EDITOR = {Bouchitt{\'{e}}, Vincent and Morvan, Michel},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Franciosa-Talamo/94,
AUTHOR = {Franciosa, Paolo G. and Talamo, Maurizio},
TITLE = {Orders, $k$-sets and fast halfplane search on paged memory},
BOOKTITLE = {Proceedings of the International Workshop on Orders, Algorithms, and Applications, ORDAL'94 (Lyon, France, July 4-8, 1994)},
SERIES = {LNCS},
VOLUME = {831},
PAGES = {117-127},
YEAR = {1994},
EDITOR = {Bouchitt{\'{e}}, Vincent and Morvan, Michel},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Capelle/94,
AUTHOR = {Capelle, Christian},
TITLE = {Representation of an order as union of interval orders},
BOOKTITLE = {Proceedings of the International Workshop on Orders, Algorithms, and Applications, ORDAL'94 (Lyon, France, July 4-8, 1994)},
SERIES = {LNCS},
VOLUME = {831},
PAGES = {143-161},
YEAR = {1994},
EDITOR = {Bouchitt{\'{e}}, Vincent and Morvan, Michel},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Dahlhaus/94b,
AUTHOR = {Dahlhaus, Elias},
TITLE = {The computation of the jump number of convex graphs},
BOOKTITLE = {Proceedings of the International Workshop on Orders, Algorithms, and Applications, ORDAL'94 (Lyon, France, July 4-8, 1994)},
SERIES = {LNCS},
VOLUME = {831},
PAGES = {176-185},
YEAR = {1994},
EDITOR = {Bouchitt{\'{e}}, Vincent and Morvan, Michel},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Fernau-Staiger/94,
AUTHOR = {Fernau, Henning and Staiger, Ludwig},
TITLE = {Valuations and unambiguity of languages, with applications to fractal geometry},
BOOKTITLE = {Proceedings of the 21st International Colloquium on Automata, Languages and Programming, ICALP'94 (Jerusalem, Israel, July 11-14, 1994)},
SERIES = {LNCS},
VOLUME = {820},
PAGES = {11-22},
YEAR = {1994},
EDITOR = {Abiteboul, Serge and Shamir, Eli},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=820&spage=11},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Cerans/94,
AUTHOR = {{\v{C}}er{\=a}ns, K{\=a}rlis},
TITLE = {Deciding properties of integral relational automata},
BOOKTITLE = {Proceedings of the 21st International Colloquium on Automata, Languages and Programming, ICALP'94 (Jerusalem, Israel, July 11-14, 1994)},
SERIES = {LNCS},
VOLUME = {820},
PAGES = {35-46},
YEAR = {1994},
EDITOR = {Abiteboul, Serge and Shamir, Eli},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=820&spage=35},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Aumann-Bar-Ilan-Feige/94,
AUTHOR = {Aumann, Yonatan and Bar-Ilan, Judit and Feige, Uriel},
TITLE = {On the cost of recomputing: Tight bounds on pebbling with faults},
BOOKTITLE = {Proceedings of the 21st International Colloquium on Automata, Languages and Programming, ICALP'94 (Jerusalem, Israel, July 11-14, 1994)},
SERIES = {LNCS},
VOLUME = {820},
PAGES = {47-58},
YEAR = {1994},
EDITOR = {Abiteboul, Serge and Shamir, Eli},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=820&spage=47},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Asarin-Maler/94,
AUTHOR = {Asarin, Eugene and Maler, Oded},
TITLE = {On some relations between dynamical systems and transition systems},
BOOKTITLE = {Proceedings of the 21st International Colloquium on Automata, Languages and Programming, ICALP'94 (Jerusalem, Israel, July 11-14, 1994)},
SERIES = {LNCS},
VOLUME = {820},
PAGES = {59-72},
YEAR = {1994},
EDITOR = {Abiteboul, Serge and Shamir, Eli},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=820&spage=59},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Globerman-Harel/94,
AUTHOR = {Globerman, Noa and Harel, David},
TITLE = {Complexity results for multi-pebble automata and their logics},
BOOKTITLE = {Proceedings of the 21st International Colloquium on Automata, Languages and Programming, ICALP'94 (Jerusalem, Israel, July 11-14, 1994)},
SERIES = {LNCS},
VOLUME = {820},
PAGES = {73-82},
YEAR = {1994},
EDITOR = {Abiteboul, Serge and Shamir, Eli},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=820&spage=73},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Gyssens-Van_den_Bussche-Gucht/94,
AUTHOR = {Gyssens, Marc and Van den Bussche, Jan and Gucht, Dirk van},
TITLE = {Expressiveness of efficient semi-deterministic choice constructs},
BOOKTITLE = {Proceedings of the 21st International Colloquium on Automata, Languages and Programming, ICALP'94 (Jerusalem, Israel, July 11-14, 1994)},
SERIES = {LNCS},
VOLUME = {820},
PAGES = {106-117},
YEAR = {1994},
EDITOR = {Abiteboul, Serge and Shamir, Eli},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=820&spage=106},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Gradel-Gurevich/94,
AUTHOR = {Gr{\"a}del, Erich and Gurevich, Yuri},
TITLE = {Tailoring recursion for complexity},
BOOKTITLE = {Proceedings of the 21st International Colloquium on Automata, Languages and Programming, ICALP'94 (Jerusalem, Israel, July 11-14, 1994)},
SERIES = {LNCS},
VOLUME = {820},
PAGES = {118-129},
YEAR = {1994},
EDITOR = {Abiteboul, Serge and Shamir, Eli},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=820&spage=118},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Corradini-Nicola/94,
AUTHOR = {Corradini, Flavio and Nicola, Rocco de},
TITLE = {Distribution and locality of concurrent systems},
BOOKTITLE = {Proceedings of the 21st International Colloquium on Automata, Languages and Programming, ICALP'94 (Jerusalem, Israel, July 11-14, 1994)},
SERIES = {LNCS},
VOLUME = {820},
PAGES = {154-165},
YEAR = {1994},
EDITOR = {Abiteboul, Serge and Shamir, Eli},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=820&spage=154},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Gawlick-Segala-Sogaard-Andersen-Lynch/94,
AUTHOR = {Gawlick, Rainer and Segala, Roberto and S{\o}gaard-Andersen, Jorgen and Lynch, Nancy},
TITLE = {Liveness in timed and untimed systems},
BOOKTITLE = {Proceedings of the 21st International Colloquium on Automata, Languages and Programming, ICALP'94 (Jerusalem, Israel, July 11-14, 1994)},
SERIES = {LNCS},
VOLUME = {820},
PAGES = {166-177},
YEAR = {1994},
EDITOR = {Abiteboul, Serge and Shamir, Eli},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=820&spage=166},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Hariharan-Muthukrishnan/94,
AUTHOR = {Hariharan, Ramesh and Muthukrishnan, S.},
TITLE = {Optimal parallel algorithms for prefix matching},
BOOKTITLE = {Proceedings of the 21st International Colloquium on Automata, Languages and Programming, ICALP'94 (Jerusalem, Israel, July 11-14, 1994)},
SERIES = {LNCS},
VOLUME = {820},
PAGES = {203-214},
YEAR = {1994},
EDITOR = {Abiteboul, Serge and Shamir, Eli},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=820&spage=203},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Amir-Benson-Farach/94b,
AUTHOR = {Amir, Amihood and Benson, Gary and Farach, Martin},
TITLE = {Optimal two-dimensional compressed matching},
BOOKTITLE = {Proceedings of the 21st International Colloquium on Automata, Languages and Programming, ICALP'94 (Jerusalem, Israel, July 11-14, 1994)},
SERIES = {LNCS},
VOLUME = {820},
PAGES = {215-226},
YEAR = {1994},
EDITOR = {Abiteboul, Serge and Shamir, Eli},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=820&spage=215},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Gil-Matias/94b,
AUTHOR = {Gil, Joseph and Matias, Yossi},
TITLE = {Simple fast parallel hashing},
BOOKTITLE = {Proceedings of the 21st International Colloquium on Automata, Languages and Programming, ICALP'94 (Jerusalem, Israel, July 11-14, 1994)},
SERIES = {LNCS},
VOLUME = {820},
PAGES = {239-250},
YEAR = {1994},
EDITOR = {Abiteboul, Serge and Shamir, Eli},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=820&spage=239},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Buhrman-Torenvliet/94,
AUTHOR = {Buhrman, Harry and Torenvliet, Leen},
TITLE = {On the cutting edge of relativization: The resource bounded injury method},
BOOKTITLE = {Proceedings of the 21st International Colloquium on Automata, Languages and Programming, ICALP'94 (Jerusalem, Israel, July 11-14, 1994)},
SERIES = {LNCS},
VOLUME = {820},
PAGES = {263-273},
YEAR = {1994},
EDITOR = {Abiteboul, Serge and Shamir, Eli},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=820&spage=263},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Birget-Margolis-Meakin-Weil/94,
AUTHOR = {Birget, J.-C. and Margolis, S. and Meakin, J. and Weil, P.},
TITLE = {PSPACE-completeness of certain algorithmic problems on the subgroups of free groups},
BOOKTITLE = {Proceedings of the 21st International Colloquium on Automata, Languages and Programming, ICALP'94 (Jerusalem, Israel, July 11-14, 1994)},
SERIES = {LNCS},
VOLUME = {820},
PAGES = {274-285},
YEAR = {1994},
EDITOR = {Abiteboul, Serge and Shamir, Eli},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=820&spage=274},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Hennessy/94a,
AUTHOR = {Hennessy, M.},
TITLE = {Higher-order processes and their models},
BOOKTITLE = {Proceedings of the 21st International Colloquium on Automata, Languages and Programming, ICALP'94 (Jerusalem, Israel, July 11-14, 1994)},
SERIES = {LNCS},
VOLUME = {820},
PAGES = {286-303},
YEAR = {1994},
EDITOR = {Abiteboul, Serge and Shamir, Eli},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=820&spage=286},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Abdulla-Jonsson/94,
AUTHOR = {Abdulla, Parosh Aziz and Jonsson, Bengt},
TITLE = {Undecidable verification problems for programs with unreliable channels},
BOOKTITLE = {Proceedings of the 21st International Colloquium on Automata, Languages and Programming, ICALP'94 (Jerusalem, Israel, July 11-14, 1994)},
SERIES = {LNCS},
VOLUME = {820},
PAGES = {316-327},
YEAR = {1994},
EDITOR = {Abiteboul, Serge and Shamir, Eli},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=820&spage=316},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Fix-Schneider/94,
AUTHOR = {Fix, Limor and Schneider, Fred B.},
TITLE = {Reasoning about programs by exploiting the environment},
BOOKTITLE = {Proceedings of the 21st International Colloquium on Automata, Languages and Programming, ICALP'94 (Jerusalem, Israel, July 11-14, 1994)},
SERIES = {LNCS},
VOLUME = {820},
PAGES = {328-339},
YEAR = {1994},
EDITOR = {Abiteboul, Serge and Shamir, Eli},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=820&spage=328},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Brauner/94,
AUTHOR = {Br{\"a}uner, Torben},
TITLE = {A model of intuitionistic affine logic from stable domain theory},
BOOKTITLE = {Proceedings of the 21st International Colloquium on Automata, Languages and Programming, ICALP'94 (Jerusalem, Israel, July 11-14, 1994)},
SERIES = {LNCS},
VOLUME = {820},
PAGES = {340-351},
YEAR = {1994},
EDITOR = {Abiteboul, Serge and Shamir, Eli},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=820&spage=340},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Aziz-Singhal-Balarin-Brayton-Sangiovanni-Vincentelli/94,
AUTHOR = {Aziz, Adnan and Singhal, Vigyan and Balarin, Felice and Brayton, Robert K. and Sangiovanni-Vincentelli, Alberto L.},
TITLE = {Equivalences for fair Kripke structures},
BOOKTITLE = {Proceedings of the 21st International Colloquium on Automata, Languages and Programming, ICALP'94 (Jerusalem, Israel, July 11-14, 1994)},
SERIES = {LNCS},
VOLUME = {820},
PAGES = {364-375},
YEAR = {1994},
EDITOR = {Abiteboul, Serge and Shamir, Eli},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=820&spage=364},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Droste/94,
AUTHOR = {Droste, Manfred},
TITLE = {A Kleene theorem for recognizable languages over concurrency monoids},
BOOKTITLE = {Proceedings of the 21st International Colloquium on Automata, Languages and Programming, ICALP'94 (Jerusalem, Israel, July 11-14, 1994)},
SERIES = {LNCS},
VOLUME = {820},
PAGES = {388-399},
YEAR = {1994},
EDITOR = {Abiteboul, Serge and Shamir, Eli},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=820&spage=388},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Hotz-Pitsch/94,
AUTHOR = {Hotz, G{\"u}nter and Pitsch, Gisela},
TITLE = {Fast uniform analysis of coupled-context-free languages},
BOOKTITLE = {Proceedings of the 21st International Colloquium on Automata, Languages and Programming, ICALP'94 (Jerusalem, Israel, July 11-14, 1994)},
SERIES = {LNCS},
VOLUME = {820},
PAGES = {412-423},
YEAR = {1994},
EDITOR = {Abiteboul, Serge and Shamir, Eli},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=820&spage=412},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Caron-Comon-Coquide-Dauchet-Jacquemard/94,
AUTHOR = {Caron, Anne-C{\'e}cile and Comon, Hubert and Coquid{\'e}, Jean-Luc and Dauchet, Max and Jacquemard, Florent},
TITLE = {Pumping, cleaning and symbolic constraints solving},
BOOKTITLE = {Proceedings of the 21st International Colloquium on Automata, Languages and Programming, ICALP'94 (Jerusalem, Israel, July 11-14, 1994)},
SERIES = {LNCS},
VOLUME = {820},
PAGES = {436-449},
YEAR = {1994},
EDITOR = {Abiteboul, Serge and Shamir, Eli},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=820&spage=436},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Hintermeier-Kirchner-Kirchner/94,
AUTHOR = {Hintermeier, Claus and Kirchner, Claude and Kirchner, H{\'e}l{\`e}ne},
TITLE = {Dynamically-typed computations for order-sorted equational presentations},
BOOKTITLE = {Proceedings of the 21st International Colloquium on Automata, Languages and Programming, ICALP'94 (Jerusalem, Israel, July 11-14, 1994)},
SERIES = {LNCS},
VOLUME = {820},
PAGES = {450-461},
YEAR = {1994},
EDITOR = {Abiteboul, Serge and Shamir, Eli},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=820&spage=450},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Garg-Vazirani-Yannakakis/94,
AUTHOR = {Garg, Naveen and Vazirani, Vijay V. and Yannakakis, Mihalis},
TITLE = {Multiway cuts in directed and node weighted graphs},
BOOKTITLE = {Proceedings of the 21st International Colloquium on Automata, Languages and Programming, ICALP'94 (Jerusalem, Israel, July 11-14, 1994)},
SERIES = {LNCS},
VOLUME = {820},
PAGES = {487-498},
YEAR = {1994},
EDITOR = {Abiteboul, Serge and Shamir, Eli},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=820&spage=487},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Feige/94,
AUTHOR = {Feige, Uriel},
TITLE = {A fast randomized LOGSPACE algorithm for graph connectivity},
BOOKTITLE = {Proceedings of the 21st International Colloquium on Automata, Languages and Programming, ICALP'94 (Jerusalem, Israel, July 11-14, 1994)},
SERIES = {LNCS},
VOLUME = {820},
PAGES = {499-507},
YEAR = {1994},
EDITOR = {Abiteboul, Serge and Shamir, Eli},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=820&spage=499},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Hofting-Wanke/94,
AUTHOR = {H{\"o}fting, F. and Wanke, E.},
TITLE = {Polynomial time analysis of toroidal periodic graphs},
BOOKTITLE = {Proceedings of the 21st International Colloquium on Automata, Languages and Programming, ICALP'94 (Jerusalem, Israel, July 11-14, 1994)},
SERIES = {LNCS},
VOLUME = {820},
PAGES = {544-555},
YEAR = {1994},
EDITOR = {Abiteboul, Serge and Shamir, Eli},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=820&spage=544},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Bonizzoni/94a,
AUTHOR = {Bonizzoni, P.},
TITLE = {A tight lower bound for primitivity in $k$-structures},
BOOKTITLE = {Proceedings of the 21st International Colloquium on Automata, Languages and Programming, ICALP'94 (Jerusalem, Israel, July 11-14, 1994)},
SERIES = {LNCS},
VOLUME = {820},
PAGES = {556-567},
YEAR = {1994},
EDITOR = {Abiteboul, Serge and Shamir, Eli},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=820&spage=556},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Blundo-Vaccaro/94,
AUTHOR = {Blundo, Carlo and Vaccaro, Alfredo de Santis aund Ugo},
TITLE = {Randomness in distribution protocols},
BOOKTITLE = {Proceedings of the 21st International Colloquium on Automata, Languages and Programming, ICALP'94 (Jerusalem, Israel, July 11-14, 1994)},
SERIES = {LNCS},
VOLUME = {820},
PAGES = {568-579},
YEAR = {1994},
EDITOR = {Abiteboul, Serge and Shamir, Eli},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=820&spage=568},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Freivalds-Karpinski/94a,
AUTHOR = {Freivalds, R{\=u}si{\c{n}}{\u{s}} and Karpinski, Marek},
TITLE = {Lower space bounds for randomized computation},
BOOKTITLE = {Proceedings of the 21st International Colloquium on Automata, Languages and Programming, ICALP'94 (Jerusalem, Israel, July 11-14, 1994)},
SERIES = {LNCS},
VOLUME = {820},
PAGES = {580-592},
YEAR = {1994},
EDITOR = {Abiteboul, Serge and Shamir, Eli},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=820&spage=580},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Golin-Young/94,
AUTHOR = {Golin, Mordecai J. and Young, Neal},
TITLE = {Prefix codes: Equiprobable words, unequal letter costs},
BOOKTITLE = {Proceedings of the 21st International Colloquium on Automata, Languages and Programming, ICALP'94 (Jerusalem, Israel, July 11-14, 1994)},
SERIES = {LNCS},
VOLUME = {820},
PAGES = {605-617},
YEAR = {1994},
EDITOR = {Abiteboul, Serge and Shamir, Eli},
KEYWORDS = {algorithms, Huffman codes, prefix codes, trees},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=820&spage=605},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Boniol/94,
AUTHOR = {Boniol, Fr{\'e}d{\'e}ric},
TITLE = {CoReA: A synchronous calculus of parallel communicating reactive automata},
BOOKTITLE = {Proceedings of the 6th International Conference on Parallel Architectures and Languages Europe, PARLE'94 (Athens, Greece, July 4-8, 1994)},
SERIES = {LNCS},
VOLUME = {817},
PAGES = {611-622},
YEAR = {1994},
EDITOR = {Halatsis, C. and Maritsas, D. and Philokyprou, G. and Theodoridis, S.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=817&spage=611},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Clarke/94,
AUTHOR = {Clarke, Edmund M.},
TITLE = {Automatic verification of finite-state concurrent systems},
BOOKTITLE = {Proceedings of the 15th International Conference. Application and Theory of Petri Nets 1994 (Zaragoza, Spain, June 20-24, 1994)},
SERIES = {LNCS},
VOLUME = {815},
PAGES = {1},
YEAR = {1994},
EDITOR = {Valette, Robert},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{DiCesare-Kulp-Gile-List/94,
AUTHOR = {DiCesare, Frank and Kulp, Paul T. and Gile, Michael and List, George},
TITLE = {The application of Petri nets to the modeling, analysis and control of intelligent urban traffic networks},
BOOKTITLE = {Proceedings of the 15th International Conference. Application and Theory of Petri Nets 1994 (Zaragoza, Spain, June 20-24, 1994)},
SERIES = {LNCS},
VOLUME = {815},
PAGES = {2-15},
YEAR = {1994},
EDITOR = {Valette, Robert},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Anglano-Portinale/94,
AUTHOR = {Anglano, Cosimo and Portinale, Luigi},
TITLE = {B-W analysis: A backward reachability analysis for diagnostic problem solving suitable to parallel implementation},
BOOKTITLE = {Proceedings of the 15th International Conference. Application and Theory of Petri Nets 1994 (Zaragoza, Spain, June 20-24, 1994)},
SERIES = {LNCS},
VOLUME = {815},
PAGES = {39-58},
YEAR = {1994},
EDITOR = {Valette, Robert},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Bennacer-Florin-Fraize-Natkin/94,
AUTHOR = {Bennacer, N. and Florin, G. and Fraize, C. and Natkin, S.},
TITLE = {Probabilistic validation of a remote procedure call protocol},
BOOKTITLE = {Proceedings of the 15th International Conference. Application and Theory of Petri Nets 1994 (Zaragoza, Spain, June 20-24, 1994)},
SERIES = {LNCS},
VOLUME = {815},
PAGES = {59-78},
YEAR = {1994},
EDITOR = {Valette, Robert},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Berthelot-Boucheneb/94,
AUTHOR = {Berthelot, G{\'{e}}rard and Boucheneb, Hanifa},
TITLE = {Occurrence graphs for interval timed coloured nets},
BOOKTITLE = {Proceedings of the 15th International Conference. Application and Theory of Petri Nets 1994 (Zaragoza, Spain, June 20-24, 1994)},
SERIES = {LNCS},
VOLUME = {815},
PAGES = {79-98},
YEAR = {1994},
EDITOR = {Valette, Robert},
KEYWORDS = {interval timed coloured Petri nets, occurrence graph},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Briz-Colom/94,
AUTHOR = {Briz, J.L. and Colom, J.M.},
TITLE = {Implementation of weighted place/transition nets based on linear enabling functions},
BOOKTITLE = {Proceedings of the 15th International Conference. Application and Theory of Petri Nets 1994 (Zaragoza, Spain, June 20-24, 1994)},
SERIES = {LNCS},
VOLUME = {815},
PAGES = {99-118},
YEAR = {1994},
EDITOR = {Valette, Robert},
KEYWORDS = {simulation of weighted place-transition systems, timed Petri nets, linear enabling functions, structure and behavior of nets},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Buchholz/94,
AUTHOR = {Buchholz, Peter},
TITLE = {Hierarchical high level Petri nets for complex system analysis},
BOOKTITLE = {Proceedings of the 15th International Conference. Application and Theory of Petri Nets 1994 (Zaragoza, Spain, June 20-24, 1994)},
SERIES = {LNCS},
VOLUME = {815},
PAGES = {119-138},
YEAR = {1994},
EDITOR = {Valette, Robert},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Chiola-Franceschinis-Gaeta/94,
AUTHOR = {Chiola, G. and Franceschinis, G. and Gaeta, R.},
TITLE = {Modeling symmetric computer architectures by SWNs},
BOOKTITLE = {Proceedings of the 15th International Conference. Application and Theory of Petri Nets 1994 (Zaragoza, Spain, June 20-24, 1994)},
SERIES = {LNCS},
VOLUME = {815},
PAGES = {139-158},
YEAR = {1994},
EDITOR = {Valette, Robert},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Christensen-Hansen/94,
AUTHOR = {Christensen, Soren and Hansen, Niels Damgaard},
TITLE = {Coloured Petri nets extended with channels for synchronous communication},
BOOKTITLE = {Proceedings of the 15th International Conference. Application and Theory of Petri Nets 1994 (Zaragoza, Spain, June 20-24, 1994)},
SERIES = {LNCS},
VOLUME = {815},
PAGES = {159-178},
YEAR = {1994},
EDITOR = {Valette, Robert},
KEYWORDS = {coloured Petri nets, synchronous communication, channels, modular specifications, re-usable models, invariant analysis},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Ciardo/94,
AUTHOR = {Ciardo, Gianfranco},
TITLE = {Petri nets with marking-dependet arc cardinality: Properties and analysis},
BOOKTITLE = {Proceedings of the 15th International Conference. Application and Theory of Petri Nets 1994 (Zaragoza, Spain, June 20-24, 1994)},
SERIES = {LNCS},
VOLUME = {815},
PAGES = {179-198},
YEAR = {1994},
EDITOR = {Valette, Robert},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Couvreur-Paviot-Adet/94,
AUTHOR = {Couvreur, J.M. and Paviot-Adet, E.},
TITLE = {New structural invariant for Petri nets analysis},
BOOKTITLE = {Proceedings of the 15th International Conference. Application and Theory of Petri Nets 1994 (Zaragoza, Spain, June 20-24, 1994)},
SERIES = {LNCS},
VOLUME = {815},
PAGES = {199-218},
YEAR = {1994},
EDITOR = {Valette, Robert},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Diaz-Senac/94,
AUTHOR = {Diaz, Michel and S{\'{e}}nac, Patrick},
TITLE = {Timed stream Petri nets: A model for timed multimedia information},
BOOKTITLE = {Proceedings of the 15th International Conference. Application and Theory of Petri Nets 1994 (Zaragoza, Spain, June 20-24, 1994)},
SERIES = {LNCS},
VOLUME = {815},
PAGES = {219-238},
YEAR = {1994},
EDITOR = {Valette, Robert},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Dietz-Schreiber/94,
AUTHOR = {Dietz, Cheryl and Schreiber, Gerlinde},
TITLE = {A term representation of P/T systems},
BOOKTITLE = {Proceedings of the 15th International Conference. Application and Theory of Petri Nets 1994 (Zaragoza, Spain, June 20-24, 1994)},
SERIES = {LNCS},
VOLUME = {815},
PAGES = {239-257},
YEAR = {1994},
EDITOR = {Valette, Robert},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Donatelli/94,
AUTHOR = {Donatelli, Susanna},
TITLE = {Superposed generalized stochastic Petri nets: Definition and efficient solution},
BOOKTITLE = {Proceedings of the 15th International Conference. Application and Theory of Petri Nets 1994 (Zaragoza, Spain, June 20-24, 1994)},
SERIES = {LNCS},
VOLUME = {815},
PAGES = {258-277},
YEAR = {1994},
EDITOR = {Valette, Robert},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Genrich-Hanisch-Wollhaf/94,
AUTHOR = {Genrich, Hartmann J. and Hanisch, Hans-Michael and W{\"o}llhaf, Konrad},
TITLE = {Verification of recipe-based control procedures by means of predicate/transition nets},
BOOKTITLE = {Proceedings of the 15th International Conference. Application and Theory of Petri Nets 1994 (Zaragoza, Spain, June 20-24, 1994)},
SERIES = {LNCS},
VOLUME = {815},
PAGES = {278-297},
YEAR = {1994},
EDITOR = {Valette, Robert},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Benson/94,
AUTHOR = {Benson, Gary},
TITLE = {A space efficient algorithm for finding the best non-overlapping alignment score},
BOOKTITLE = {Proceedings of the 5th Annual Symposium on Combinatorial Pattern Matching, CPM'94 (Asilomar, CA, USA, June 5-8, 1994)},
SERIES = {LNCS},
VOLUME = {807},
PAGES = {1-14},
YEAR = {1994},
EDITOR = {Crochemore, Maxime and Gusfield, Dan},
URL = {http://dx.doi.org/10.1007/3-540-58094-8_1},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Bodlaender-Downey-Fellows-Wareham/94,
AUTHOR = {Bodlaender, Hans and Downey, Rodney G. and Fellows, Michael R. and Wareham, Harold T.},
TITLE = {The parameterized complexity of sequence alignment and consensus},
BOOKTITLE = {Proceedings of the 5th Annual Symposium on Combinatorial Pattern Matching, CPM'94 (Asilomar, CA, USA, June 5-8, 1994)},
SERIES = {LNCS},
VOLUME = {807},
PAGES = {15-30},
YEAR = {1994},
EDITOR = {Crochemore, Maxime and Gusfield, Dan},
URL = {http://dx.doi.org/10.1007/3-540-58094-8_2},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Chao/94,
AUTHOR = {Chao, Kun-Mao},
TITLE = {Computing all suboptimal alignments in linear space},
BOOKTITLE = {Proceedings of the 5th Annual Symposium on Combinatorial Pattern Matching, CPM'94 (Asilomar, CA, USA, June 5-8, 1994)},
SERIES = {LNCS},
VOLUME = {807},
PAGES = {31-42},
YEAR = {1994},
EDITOR = {Crochemore, Maxime and Gusfield, Dan},
URL = {http://dx.doi.org/10.1007/3-540-58094-8_3},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Bafna-Lawler-Pevzner/94,
AUTHOR = {Bafna, Vineet and Lawler, Eugene L. and Pevzner, Pavel A.},
TITLE = {Approximation algorithms for multiple sequence alignment},
BOOKTITLE = {Proceedings of the 5th Annual Symposium on Combinatorial Pattern Matching, CPM'94 (Asilomar, CA, USA, June 5-8, 1994)},
SERIES = {LNCS},
VOLUME = {807},
PAGES = {43-53},
YEAR = {1994},
EDITOR = {Crochemore, Maxime and Gusfield, Dan},
URL = {http://dx.doi.org/10.1007/3-540-58094-8_4},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Huang/94c,
AUTHOR = {Huang, Xiaoqiu},
TITLE = {A context dependent method for comparing sequences},
BOOKTITLE = {Proceedings of the 5th Annual Symposium on Combinatorial Pattern Matching, CPM'94 (Asilomar, CA, USA, June 5-8, 1994)},
SERIES = {LNCS},
VOLUME = {807},
PAGES = {54-63},
YEAR = {1994},
EDITOR = {Crochemore, Maxime and Gusfield, Dan},
URL = {http://dx.doi.org/10.1007/3-540-58094-8_5},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Cobbs/94,
AUTHOR = {Cobbs, Archie L.},
TITLE = {Fast identification of approximately matching substrings},
BOOKTITLE = {Proceedings of the 5th Annual Symposium on Combinatorial Pattern Matching, CPM'94 (Asilomar, CA, USA, June 5-8, 1994)},
SERIES = {LNCS},
VOLUME = {807},
PAGES = {64-74},
YEAR = {1994},
EDITOR = {Crochemore, Maxime and Gusfield, Dan},
URL = {http://dx.doi.org/10.1007/3-540-58094-8_6},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Huang-Pevzner-Miller/94,
AUTHOR = {Huang, Xiaoqiu and Pevzner, Pavel A. and Miller, Webb},
TITLE = {Parametric recomputing in alignment graphs},
BOOKTITLE = {Proceedings of the 5th Annual Symposium on Combinatorial Pattern Matching, CPM'94 (Asilomar, CA, USA, June 5-8, 1994)},
SERIES = {LNCS},
VOLUME = {807},
PAGES = {87-101},
YEAR = {1994},
EDITOR = {Crochemore, Maxime and Gusfield, Dan},
URL = {http://dx.doi.org/10.1007/3-540-58094-8_8},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Alexander/94,
AUTHOR = {Alexander, Kenneth S.},
TITLE = {Shortest common superstrings for strings of random letters},
BOOKTITLE = {Proceedings of the 5th Annual Symposium on Combinatorial Pattern Matching, CPM'94 (Asilomar, CA, USA, June 5-8, 1994)},
SERIES = {LNCS},
VOLUME = {807},
PAGES = {164-172},
YEAR = {1994},
EDITOR = {Crochemore, Maxime and Gusfield, Dan},
URL = {http://dx.doi.org/10.1007/3-540-58094-8_15},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Breslauer/94a,
AUTHOR = {Breslauer, Dany},
TITLE = {Dictionary-matching on unbounded alphabets: Uniform length dictionaries},
BOOKTITLE = {Proceedings of the 5th Annual Symposium on Combinatorial Pattern Matching, CPM'94 (Asilomar, CA, USA, June 5-8, 1994)},
SERIES = {LNCS},
VOLUME = {807},
PAGES = {184-197},
YEAR = {1994},
EDITOR = {Crochemore, Maxime and Gusfield, Dan},
URL = {http://dx.doi.org/10.1007/3-540-58094-8_17},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Baeza-Yates-Cunto-Manber-Wu/94,
AUTHOR = {Baeza-Yates, Ricardo and Cunto, Walter and Manber, Udi and Wu, Sun},
TITLE = {Proximity matching using fixed-queries trees},
BOOKTITLE = {Proceedings of the 5th Annual Symposium on Combinatorial Pattern Matching, CPM'94 (Asilomar, CA, USA, June 5-8, 1994)},
SERIES = {LNCS},
VOLUME = {807},
PAGES = {198-212},
YEAR = {1994},
EDITOR = {Crochemore, Maxime and Gusfield, Dan},
URL = {http://dx.doi.org/10.1007/3-540-58094-8_18},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Akutsu/94a,
AUTHOR = {Akutsu, Tatsuya},
TITLE = {Approximate string matching with don't care characters},
BOOKTITLE = {Proceedings of the 5th Annual Symposium on Combinatorial Pattern Matching, CPM'94 (Asilomar, CA, USA, June 5-8, 1994)},
SERIES = {LNCS},
VOLUME = {807},
PAGES = {240-249},
YEAR = {1994},
EDITOR = {Crochemore, Maxime and Gusfield, Dan},
URL = {http://dx.doi.org/10.1007/3-540-58094-8_21},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Chang-Marr/94,
AUTHOR = {Chang, William I. and Marr, Thomas G.},
TITLE = {Approximate string matching and local similarity},
BOOKTITLE = {Proceedings of the 5th Annual Symposium on Combinatorial Pattern Matching, CPM'94 (Asilomar, CA, USA, June 5-8, 1994)},
SERIES = {LNCS},
VOLUME = {807},
PAGES = {259-273},
YEAR = {1994},
EDITOR = {Crochemore, Maxime and Gusfield, Dan},
URL = {http://dx.doi.org/10.1007/3-540-58094-8_23},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Benveniste-Caspi-le_Guernic-Halbwachs/94,
AUTHOR = {Benveniste, Albert and Caspi, Paul and le Guernic, Paul and Halbwachs, Nicholas},
TITLE = {Data-flow synchronous languages},
BOOKTITLE = {Proceedings of the REX School/Symposium on a Decade of Concurrency --- Reflections and Perspectives (Noordwijkerhout, The Netherlands, June 1-4, 1993)},
SERIES = {LNCS},
VOLUME = {803},
PAGES = {1-45},
YEAR = {1994},
EDITOR = {de Bakker, J.W. and Roever, W.-P. de and Rozenberg, G.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Bergstra-Ponse-Wamel/94,
AUTHOR = {Bergstra, J.A. and Ponse, A. and Wamel, J.J. van},
TITLE = {Process algebra with backtracking},
BOOKTITLE = {Proceedings of the REX School/Symposium on a Decade of Concurrency --- Reflections and Perspectives (Noordwijkerhout, The Netherlands, June 1-4, 1993)},
SERIES = {LNCS},
VOLUME = {803},
PAGES = {46-91},
YEAR = {1994},
EDITOR = {de Bakker, J.W. and Roever, W.-P. de and Rozenberg, G.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Boudol/94a,
AUTHOR = {Boudol, G{\'{e}}rard},
TITLE = {Some chemical abstract machines},
BOOKTITLE = {Proceedings of the REX School/Symposium on a Decade of Concurrency --- Reflections and Perspectives (Noordwijkerhout, The Netherlands, June 1-4, 1993)},
SERIES = {LNCS},
VOLUME = {803},
PAGES = {92-123},
YEAR = {1994},
EDITOR = {de Bakker, J.W. and Roever, W.-P. de and Rozenberg, G.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Clarke-Grumberg-Long/94,
AUTHOR = {Clarke, E. and Grumberg, O. and Long, D.},
TITLE = {Verification tools for finite-state concurrent systems},
BOOKTITLE = {Proceedings of the REX School/Symposium on a Decade of Concurrency --- Reflections and Perspectives (Noordwijkerhout, The Netherlands, June 1-4, 1993)},
SERIES = {LNCS},
VOLUME = {803},
PAGES = {124-175},
YEAR = {1994},
EDITOR = {de Bakker, J.W. and Roever, W.-P. de and Rozenberg, G.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Engberg-Winskel/94,
AUTHOR = {Engberg, Uffe and Winskel, Glynn},
TITLE = {Linear logic on Petri nets},
BOOKTITLE = {Proceedings of the REX School/Symposium on a Decade of Concurrency --- Reflections and Perspectives (Noordwijkerhout, The Netherlands, June 1-4, 1993)},
SERIES = {LNCS},
VOLUME = {803},
PAGES = {176-229},
YEAR = {1994},
EDITOR = {de Bakker, J.W. and Roever, W.-P. de and Rozenberg, G.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Hartmanis-Chari/94,
AUTHOR = {Hartmanis, Juris and Chari, Suresh},
TITLE = {On the intellectual terrain around $NP$},
BOOKTITLE = {Proceedings of the 2nd Italian Conference on Algorithms and Complexity, CIAC'94 (Rome, Italy, February 23-25, 1994)},
SERIES = {LNCS},
VOLUME = {778},
PAGES = {1-11},
YEAR = {1994},
EDITOR = {Bonuccelli, M. and Crescenzi, P. and Petreschi, R.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Garg-Tamassia/94,
AUTHOR = {Garg, Ashim and Tamassia, Roberto},
TITLE = {Advances in graph drawing},
BOOKTITLE = {Proceedings of the 2nd Italian Conference on Algorithms and Complexity, CIAC'94 (Rome, Italy, February 23-25, 1994)},
SERIES = {LNCS},
VOLUME = {778},
PAGES = {12-21},
YEAR = {1994},
EDITOR = {Bonuccelli, M. and Crescenzi, P. and Petreschi, R.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Alimonti/94,
AUTHOR = {Alimonti, Paola},
TITLE = {New local search approximation techniques for maximum generalized satisfiability problems},
BOOKTITLE = {Proceedings of the 2nd Italian Conference on Algorithms and Complexity, CIAC'94 (Rome, Italy, February 23-25, 1994)},
SERIES = {LNCS},
VOLUME = {778},
PAGES = {40-53},
YEAR = {1994},
EDITOR = {Bonuccelli, M. and Crescenzi, P. and Petreschi, R.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Bergadano-Varricchio/94,
AUTHOR = {Bergadano, F. and Varricchio, S.},
TITLE = {Learning behaviors of automata from multiplicity and equivalence queries},
BOOKTITLE = {Proceedings of the 2nd Italian Conference on Algorithms and Complexity, CIAC'94 (Rome, Italy, February 23-25, 1994)},
SERIES = {LNCS},
VOLUME = {778},
PAGES = {54-62},
YEAR = {1994},
EDITOR = {Bonuccelli, M. and Crescenzi, P. and Petreschi, R.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Bernasconi-Codenotti/94,
AUTHOR = {Bernasconi, A. and Codenotti, B.},
TITLE = {Measures of Boolean function complexity based on harmonic analysis},
BOOKTITLE = {Proceedings of the 2nd Italian Conference on Algorithms and Complexity, CIAC'94 (Rome, Italy, February 23-25, 1994)},
SERIES = {LNCS},
VOLUME = {778},
PAGES = {63-72},
YEAR = {1994},
EDITOR = {Bonuccelli, M. and Crescenzi, P. and Petreschi, R.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Clementi-Impagliazzo/94,
AUTHOR = {Clementi, A. and Impagliazzo, R.},
TITLE = {Graph theory and interactive protocols for reachability problems on finite cellular automata},
BOOKTITLE = {Proceedings of the 2nd Italian Conference on Algorithms and Complexity, CIAC'94 (Rome, Italy, February 23-25, 1994)},
SERIES = {LNCS},
VOLUME = {778},
PAGES = {73-90},
YEAR = {1994},
EDITOR = {Bonuccelli, M. and Crescenzi, P. and Petreschi, R.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Dekel-Hu/94a,
AUTHOR = {Dekel, Eliezer and Hu, Jie},
TITLE = {Parallel pruning decomposition (PDS) and biconnected components of graphs},
BOOKTITLE = {Proceedings of the 2nd Italian Conference on Algorithms and Complexity, CIAC'94 (Rome, Italy, February 23-25, 1994)},
SERIES = {LNCS},
VOLUME = {778},
PAGES = {91-108},
YEAR = {1994},
EDITOR = {Bonuccelli, M. and Crescenzi, P. and Petreschi, R.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Even-Litman/94a,
AUTHOR = {Even, Shimon and Litman, Ami},
TITLE = {A unified scheme for routing in expander based networks},
BOOKTITLE = {Proceedings of the 2nd Italian Conference on Algorithms and Complexity, CIAC'94 (Rome, Italy, February 23-25, 1994)},
SERIES = {LNCS},
VOLUME = {778},
PAGES = {125-135},
YEAR = {1994},
EDITOR = {Bonuccelli, M. and Crescenzi, P. and Petreschi, R.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Frigioni-Marchetti-Spaccamela-Nanni/94,
AUTHOR = {Frigioni, Daniele and Marchetti-Spaccamela, Alberto and Nanni, Umberto},
TITLE = {Dynamization of backtrack-free search for the constraint satisfaction problem},
BOOKTITLE = {Proceedings of the 2nd Italian Conference on Algorithms and Complexity, CIAC'94 (Rome, Italy, February 23-25, 1994)},
SERIES = {LNCS},
VOLUME = {778},
PAGES = {136-151},
YEAR = {1994},
EDITOR = {Bonuccelli, M. and Crescenzi, P. and Petreschi, R.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Hofri-Shachnai/94,
AUTHOR = {Hofri, Micha and Shachnai, Hadas},
TITLE = {Efficient reorganization of binary search trees},
BOOKTITLE = {Proceedings of the 2nd Italian Conference on Algorithms and Complexity, CIAC'94 (Rome, Italy, February 23-25, 1994)},
SERIES = {LNCS},
VOLUME = {778},
PAGES = {152-166},
YEAR = {1994},
EDITOR = {Bonuccelli, M. and Crescenzi, P. and Petreschi, R.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Devienne-Lebegue-Routier-Wurtz/94,
AUTHOR = {Devienne, Philippe and Leb{\`e}gue, Patrick and Routier, Jean-Christophe and W{\"u}rtz, J{\"o}rg},
TITLE = {One binary Horn clause is enough},
BOOKTITLE = {Proceedings of the 11th Annual Symposium on Theoretical Aspects of Computer Science, STACS'94 (Caen, France, February 24-26, 1994)},
SERIES = {LNCS},
VOLUME = {775},
PAGES = {21-32},
YEAR = {1994},
EDITOR = {Enjalbert, P. and Mayr, E.W. and Wagner, K.W.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=775&spage=21},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Bensaou-Guessarian/94,
AUTHOR = {Bensaou, N. and Guessarian, I.},
TITLE = {Transforming constraint logic programs},
BOOKTITLE = {Proceedings of the 11th Annual Symposium on Theoretical Aspects of Computer Science, STACS'94 (Caen, France, February 24-26, 1994)},
SERIES = {LNCS},
VOLUME = {775},
PAGES = {33-46},
YEAR = {1994},
EDITOR = {Enjalbert, P. and Mayr, E.W. and Wagner, K.W.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=775&spage=33},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Goubault/94,
AUTHOR = {Goubault, Jean},
TITLE = {The complexity of resource-bounded first-order classical logic},
BOOKTITLE = {Proceedings of the 11th Annual Symposium on Theoretical Aspects of Computer Science, STACS'94 (Caen, France, February 24-26, 1994)},
SERIES = {LNCS},
VOLUME = {775},
PAGES = {59-70},
YEAR = {1994},
EDITOR = {Enjalbert, P. and Mayr, E.W. and Wagner, K.W.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=775&spage=59},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Benhamou-Sais-Siegel/94,
AUTHOR = {Benhamou, Belaid and Sais, Lakhdar and Siegel, Pierre},
TITLE = {Two proof procedures for a cardinality based language in propositional calculus},
BOOKTITLE = {Proceedings of the 11th Annual Symposium on Theoretical Aspects of Computer Science, STACS'94 (Caen, France, February 24-26, 1994)},
SERIES = {LNCS},
VOLUME = {775},
PAGES = {71-82},
YEAR = {1994},
EDITOR = {Enjalbert, P. and Mayr, E.W. and Wagner, K.W.},
KEYWORDS = {theorem proving, propositional calculus, symmetry and cardinality},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=775&spage=71},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Etessami-Immerman/94,
AUTHOR = {Etessami, Kousha and Immerman, Neil},
TITLE = {Reachability and the power of local ordering},
BOOKTITLE = {Proceedings of the 11th Annual Symposium on Theoretical Aspects of Computer Science, STACS'94 (Caen, France, February 24-26, 1994)},
SERIES = {LNCS},
VOLUME = {775},
PAGES = {123-135},
YEAR = {1994},
EDITOR = {Enjalbert, P. and Mayr, E.W. and Wagner, K.W.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=775&spage=123},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Comon-Jacquemard/94,
AUTHOR = {Comon, Hubert and Jacquemard, Florent},
TITLE = {Ground reducibility and automata with disequality constraints},
BOOKTITLE = {Proceedings of the 11th Annual Symposium on Theoretical Aspects of Computer Science, STACS'94 (Caen, France, February 24-26, 1994)},
SERIES = {LNCS},
VOLUME = {775},
PAGES = {151-162},
YEAR = {1994},
EDITOR = {Enjalbert, P. and Mayr, E.W. and Wagner, K.W.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=775&spage=151},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Chlebus-Gasieniec/94,
AUTHOR = {Chlebus, Bogdan S. and G{\c{a}}sieniec, Leszek},
TITLE = {Optimal pattern matching on meshes},
BOOKTITLE = {Proceedings of the 11th Annual Symposium on Theoretical Aspects of Computer Science, STACS'94 (Caen, France, February 24-26, 1994)},
SERIES = {LNCS},
VOLUME = {775},
PAGES = {213-224},
YEAR = {1994},
EDITOR = {Enjalbert, P. and Mayr, E.W. and Wagner, K.W.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=775&spage=213},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Hofmann-Pierce/94,
AUTHOR = {Hofmann, Martin and Pierce, Benjamin},
TITLE = {A unifying type-theoretic framework for objects},
BOOKTITLE = {Proceedings of the 11th Annual Symposium on Theoretical Aspects of Computer Science, STACS'94 (Caen, France, February 24-26, 1994)},
SERIES = {LNCS},
VOLUME = {775},
PAGES = {251-262},
YEAR = {1994},
EDITOR = {Enjalbert, P. and Mayr, E.W. and Wagner, K.W.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=775&spage=251},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Avenhaus-Becker/94,
AUTHOR = {Avenhaus, J{\"u}rgen and Becker, Klaus},
TITLE = {Operational specifications with built-ins},
BOOKTITLE = {Proceedings of the 11th Annual Symposium on Theoretical Aspects of Computer Science, STACS'94 (Caen, France, February 24-26, 1994)},
SERIES = {LNCS},
VOLUME = {775},
PAGES = {263-274},
YEAR = {1994},
EDITOR = {Enjalbert, P. and Mayr, E.W. and Wagner, K.W.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=775&spage=263},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Gribomont-Hagelstein/94,
AUTHOR = {Gribomont, E. Pascal and Hagelstein, Jacques},
TITLE = {Reactive variables for system specification and design},
BOOKTITLE = {Proceedings of the 11th Annual Symposium on Theoretical Aspects of Computer Science, STACS'94 (Caen, France, February 24-26, 1994)},
SERIES = {LNCS},
VOLUME = {775},
PAGES = {275-286},
YEAR = {1994},
EDITOR = {Enjalbert, P. and Mayr, E.W. and Wagner, K.W.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=775&spage=275},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Alvarez-Jenner/94,
AUTHOR = {{\'A}lvarez, Carme and Jenner, Birgit},
TITLE = {On adaptive dlogtime and polylogtime reductions},
BOOKTITLE = {Proceedings of the 11th Annual Symposium on Theoretical Aspects of Computer Science, STACS'94 (Caen, France, February 24-26, 1994)},
SERIES = {LNCS},
VOLUME = {775},
PAGES = {301-312},
YEAR = {1994},
EDITOR = {Enjalbert, P. and Mayr, E.W. and Wagner, K.W.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=775&spage=301},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Arnold/94,
AUTHOR = {Arnold, Andr{\'e}},
TITLE = {Hypertransition systems},
BOOKTITLE = {Proceedings of the 11th Annual Symposium on Theoretical Aspects of Computer Science, STACS'94 (Caen, France, February 24-26, 1994)},
SERIES = {LNCS},
VOLUME = {775},
PAGES = {327-338},
YEAR = {1994},
EDITOR = {Enjalbert, P. and Mayr, E.W. and Wagner, K.W.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=775&spage=327},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Bruyere-De_Felice-Guaiana/94,
AUTHOR = {Bruy{\`e}re, V{\'e}ronique and De Felice, Clelia and Guaiana, Giovanna},
TITLE = {Coding with traces},
BOOKTITLE = {Proceedings of the 11th Annual Symposium on Theoretical Aspects of Computer Science, STACS'94 (Caen, France, February 24-26, 1994)},
SERIES = {LNCS},
VOLUME = {775},
PAGES = {353-364},
YEAR = {1994},
EDITOR = {Enjalbert, P. and Mayr, E.W. and Wagner, K.W.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=775&spage=353},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Giammarresi-Restivo-Seibert-Thomas/94,
AUTHOR = {Giammarresi, Dora and Restivo, Antonio and Seibert, Sebastian and Thomas, Wolfgang},
TITLE = {Monadic second-order logic over pictures and recognizability by tiling systems},
BOOKTITLE = {Proceedings of the 11th Annual Symposium on Theoretical Aspects of Computer Science, STACS'94 (Caen, France, February 24-26, 1994)},
SERIES = {LNCS},
VOLUME = {775},
PAGES = {365-375},
YEAR = {1994},
EDITOR = {Enjalbert, P. and Mayr, E.W. and Wagner, K.W.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=775&spage=365},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Delest-Dubernard/94,
AUTHOR = {Delest, Maylis and Dubernard, Jean-Philippe},
TITLE = {$q$-grammars: Results, implementation},
BOOKTITLE = {Proceedings of the 11th Annual Symposium on Theoretical Aspects of Computer Science, STACS'94 (Caen, France, February 24-26, 1994)},
SERIES = {LNCS},
VOLUME = {775},
PAGES = {377-388},
YEAR = {1994},
EDITOR = {Enjalbert, P. and Mayr, E.W. and Wagner, K.W.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=775&spage=377},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Book-Lutz-Martin/94,
AUTHOR = {Book, Ronald V. and Lutz, Jack H. and Martin, David M., Jr.},
TITLE = {The global power of additional queries to random oracles},
BOOKTITLE = {Proceedings of the 11th Annual Symposium on Theoretical Aspects of Computer Science, STACS'94 (Caen, France, February 24-26, 1994)},
SERIES = {LNCS},
VOLUME = {775},
PAGES = {403-414},
YEAR = {1994},
EDITOR = {Enjalbert, P. and Mayr, E.W. and Wagner, K.W.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=775&spage=403},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Datta/94a,
AUTHOR = {Datta, Amitava},
TITLE = {Efficient parallel algorithms for geometric $k$-clustering problems},
BOOKTITLE = {Proceedings of the 11th Annual Symposium on Theoretical Aspects of Computer Science, STACS'94 (Caen, France, February 24-26, 1994)},
SERIES = {LNCS},
VOLUME = {775},
PAGES = {475-486},
YEAR = {1994},
EDITOR = {Enjalbert, P. and Mayr, E.W. and Wagner, K.W.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=775&spage=475},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Apostolico-Breslauer-Galil/94,
AUTHOR = {Apostolico, Alberto and Breslauer, Dany and Galil, Zvi},
TITLE = {Parallel detection of all palindromes in a string},
BOOKTITLE = {Proceedings of the 11th Annual Symposium on Theoretical Aspects of Computer Science, STACS'94 (Caen, France, February 24-26, 1994)},
SERIES = {LNCS},
VOLUME = {775},
PAGES = {497-506},
YEAR = {1994},
EDITOR = {Enjalbert, P. and Mayr, E.W. and Wagner, K.W.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=775&spage=497},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Cai-Chen-Downey-Fellows/94,
AUTHOR = {Cai, Liming and Chen, Jianer and Downey, Rodney and Fellows, Michael},
TITLE = {On the structure of parameterized problems in $NP$},
BOOKTITLE = {Proceedings of the 11th Annual Symposium on Theoretical Aspects of Computer Science, STACS'94 (Caen, France, February 24-26, 1994)},
SERIES = {LNCS},
VOLUME = {775},
PAGES = {509-520},
YEAR = {1994},
EDITOR = {Enjalbert, P. and Mayr, E.W. and Wagner, K.W.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=775&spage=509},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Amaldi-Kann/94,
AUTHOR = {Amaldi, Edoardo and Kann, Viggo},
TITLE = {On the approximability of finding maximum feasible subsystems of linear systems},
BOOKTITLE = {Proceedings of the 11th Annual Symposium on Theoretical Aspects of Computer Science, STACS'94 (Caen, France, February 24-26, 1994)},
SERIES = {LNCS},
VOLUME = {775},
PAGES = {521-532},
YEAR = {1994},
EDITOR = {Enjalbert, P. and Mayr, E.W. and Wagner, K.W.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=775&spage=521},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Borchert/94,
AUTHOR = {Borchert, Bernd},
TITLE = {On the acceptance power of regular languages},
BOOKTITLE = {Proceedings of the 11th Annual Symposium on Theoretical Aspects of Computer Science, STACS'94 (Caen, France, February 24-26, 1994)},
SERIES = {LNCS},
VOLUME = {775},
PAGES = {533-541},
YEAR = {1994},
EDITOR = {Enjalbert, P. and Mayr, E.W. and Wagner, K.W.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=775&spage=533},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Hertrampf/94,
AUTHOR = {Hertrampf, Ulrich},
TITLE = {Complexity classes with finite acceptance types},
BOOKTITLE = {Proceedings of the 11th Annual Symposium on Theoretical Aspects of Computer Science, STACS'94 (Caen, France, February 24-26, 1994)},
SERIES = {LNCS},
VOLUME = {775},
PAGES = {543-553},
YEAR = {1994},
EDITOR = {Enjalbert, P. and Mayr, E.W. and Wagner, K.W.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=775&spage=543},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Buntrock-Lorys/94,
AUTHOR = {Buntrock, Gerhard and Lory{\'s}, Krzysztof},
TITLE = {The variable membership problem: Succinctness versus complexity},
BOOKTITLE = {Proceedings of the 11th Annual Symposium on Theoretical Aspects of Computer Science, STACS'94 (Caen, France, February 24-26, 1994)},
SERIES = {LNCS},
VOLUME = {775},
PAGES = {595-606},
YEAR = {1994},
EDITOR = {Enjalbert, P. and Mayr, E.W. and Wagner, K.W.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=775&spage=595},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Harel/94,
AUTHOR = {Harel, David},
TITLE = {Towards a theory of recursive structures},
BOOKTITLE = {Proceedings of the 11th Annual Symposium on Theoretical Aspects of Computer Science, STACS'94 (Caen, France, February 24-26, 1994)},
SERIES = {LNCS},
VOLUME = {775},
PAGES = {633-645},
YEAR = {1994},
EDITOR = {Enjalbert, P. and Mayr, E.W. and Wagner, K.W.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=775&spage=633},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Arimura-Shinohara-Otsuki/94,
AUTHOR = {Arimura, Hiroki and Shinohara, Takeshi and Otsuki, Setsuko},
TITLE = {Finding minimal generalizations for unions of pattern languages and its application to inductive inference from positive data},
BOOKTITLE = {Proceedings of the 11th Annual Symposium on Theoretical Aspects of Computer Science, STACS'94 (Caen, France, February 24-26, 1994)},
SERIES = {LNCS},
VOLUME = {775},
PAGES = {649-660},
YEAR = {1994},
EDITOR = {Enjalbert, P. and Mayr, E.W. and Wagner, K.W.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=775&spage=649},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Dancik-Paterson/94,
AUTHOR = {Dan{\v{c}}{\'i}k, Vlado and Paterson, Mike},
TITLE = {Upper bounds for the expected length of a longest common subsequence of two binary sequences},
BOOKTITLE = {Proceedings of the 11th Annual Symposium on Theoretical Aspects of Computer Science, STACS'94 (Caen, France, February 24-26, 1994)},
SERIES = {LNCS},
VOLUME = {775},
PAGES = {669-678},
YEAR = {1994},
EDITOR = {Enjalbert, P. and Mayr, E.W. and Wagner, K.W.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=775&spage=669},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Dragan-Brandstadt/94,
AUTHOR = {Dragan, Feodor F. and Brandst{\"a}dt, Andreas},
TITLE = {Dominating cliques in graphs with hypertree structure},
BOOKTITLE = {Proceedings of the 11th Annual Symposium on Theoretical Aspects of Computer Science, STACS'94 (Caen, France, February 24-26, 1994)},
SERIES = {LNCS},
VOLUME = {775},
PAGES = {735-746},
YEAR = {1994},
EDITOR = {Enjalbert, P. and Mayr, E.W. and Wagner, K.W.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=775&spage=735},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Deogun-Kloks-Kratsch-Muller/94,
AUTHOR = {Deogun, J.S. and Kloks, T. and Kratsch, D. and M{\"u}ller, H.},
TITLE = {On vertex ranking for permutation and other graphs},
BOOKTITLE = {Proceedings of the 11th Annual Symposium on Theoretical Aspects of Computer Science, STACS'94 (Caen, France, February 24-26, 1994)},
SERIES = {LNCS},
VOLUME = {775},
PAGES = {747-758},
YEAR = {1994},
EDITOR = {Enjalbert, P. and Mayr, E.W. and Wagner, K.W.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=775&spage=747},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Bodlaender-Jansen/94,
AUTHOR = {Bodlaender, Hans L. and Jansen, Klaus},
TITLE = {On the complexity of the maximum cut problem},
BOOKTITLE = {Proceedings of the 11th Annual Symposium on Theoretical Aspects of Computer Science, STACS'94 (Caen, France, February 24-26, 1994)},
SERIES = {LNCS},
VOLUME = {775},
PAGES = {769-780},
YEAR = {1994},
EDITOR = {Enjalbert, P. and Mayr, E.W. and Wagner, K.W.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=775&spage=769},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}