@incollection{Holloway-Ravindran-Gibbons/93,
AUTHOR = {Holloway, N.W. and Ravindran, S. and Gibbons, A.M.},
TITLE = {Approximating minimum weight perfect matchings for complete graphs satisfying the triangle inequality},
BOOKTITLE = {Proceedings of the 19th International Workshop on Graph-Theoretic Concepts in Computer Science. WG'93 (Utrecht, The Netherlands, June 16-18, 1993)},
SERIES = {LNCS},
VOLUME = {790},
PAGES = {11-20},
YEAR = {1993},
EDITOR = {van Leeuwen, Jan},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Bodlaender/93e,
AUTHOR = {Bodlaender, Hans},
TITLE = {On reduction algorithms for graphs with small treewidth},
BOOKTITLE = {Proceedings of the 19th International Workshop on Graph-Theoretic Concepts in Computer Science. WG'93 (Utrecht, The Netherlands, June 16-18, 1993)},
SERIES = {LNCS},
VOLUME = {790},
PAGES = {45-56},
YEAR = {1993},
EDITOR = {van Leeuwen, Jan},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Golumbic-Kaplan-Shamir/93,
AUTHOR = {Golumbic, Martin Charles and Kaplan, Haim and Shamir, Ron},
TITLE = {Algorithms and complexity of sandwich problems in graphs},
BOOKTITLE = {Proceedings of the 19th International Workshop on Graph-Theoretic Concepts in Computer Science. WG'93 (Utrecht, The Netherlands, June 16-18, 1993)},
SERIES = {LNCS},
VOLUME = {790},
PAGES = {57-69},
YEAR = {1993},
EDITOR = {van Leeuwen, Jan},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Alimonti-Leonardi-Marchetti-Spaccamela-Messeguer/93,
AUTHOR = {Alimonti, Paola and Leonardi, Stefano and Marchetti-Spaccamela, Alberto and Messeguer, Xavier},
TITLE = {Average case analysis of fully dynamic connectivity for directed graphs},
BOOKTITLE = {Proceedings of the 19th International Workshop on Graph-Theoretic Concepts in Computer Science. WG'93 (Utrecht, The Netherlands, June 16-18, 1993)},
SERIES = {LNCS},
VOLUME = {790},
PAGES = {87-98},
YEAR = {1993},
EDITOR = {van Leeuwen, Jan},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Ikovic-Lloyd/93,
AUTHOR = {Ikovi{\'c}, Zoran and Lloyd, Errol L.},
TITLE = {Fully dynamic maintenance of vertex cover},
BOOKTITLE = {Proceedings of the 19th International Workshop on Graph-Theoretic Concepts in Computer Science. WG'93 (Utrecht, The Netherlands, June 16-18, 1993)},
SERIES = {LNCS},
VOLUME = {790},
PAGES = {99-111},
YEAR = {1993},
EDITOR = {van Leeuwen, Jan},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Bodlaender/93f,
AUTHOR = {Bodlaender, Hans L.},
TITLE = {Dynamic algorithms for graphs with treewidth 2},
BOOKTITLE = {Proceedings of the 19th International Workshop on Graph-Theoretic Concepts in Computer Science. WG'93 (Utrecht, The Netherlands, June 16-18, 1993)},
SERIES = {LNCS},
VOLUME = {790},
PAGES = {112-124},
YEAR = {1993},
EDITOR = {van Leeuwen, Jan},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Brandstadt-Voss/93,
AUTHOR = {Brandst{\"a}dt, Andreas and Voss, Heinz-J{\"u}rgen},
TITLE = {Short disjoint cycles in graphs with degree constraints},
BOOKTITLE = {Proceedings of the 19th International Workshop on Graph-Theoretic Concepts in Computer Science. WG'93 (Utrecht, The Netherlands, June 16-18, 1993)},
SERIES = {LNCS},
VOLUME = {790},
PAGES = {125-131},
YEAR = {1993},
EDITOR = {van Leeuwen, Jan},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Havas-Majewski-Wormald-Czech/93,
AUTHOR = {Havas, George and Majewski, Bohdan S. and Wormald, Nicholas C. and Czech, Zbigniew J.},
TITLE = {Graphs, hypergraphs and hashing},
BOOKTITLE = {Proceedings of the 19th International Workshop on Graph-Theoretic Concepts in Computer Science. WG'93 (Utrecht, The Netherlands, June 16-18, 1993)},
SERIES = {LNCS},
VOLUME = {790},
PAGES = {153-165},
YEAR = {1993},
EDITOR = {van Leeuwen, Jan},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Kucera/93,
AUTHOR = {Ku{\v{c}}era, Lud{\v{e}}k},
TITLE = {Coloring $k$-colorable graphs in constant expected parallel time},
BOOKTITLE = {Proceedings of the 19th International Workshop on Graph-Theoretic Concepts in Computer Science. WG'93 (Utrecht, The Netherlands, June 16-18, 1993)},
SERIES = {LNCS},
VOLUME = {790},
PAGES = {166-176},
YEAR = {1993},
EDITOR = {van Leeuwen, Jan},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Jansen/93e,
AUTHOR = {Jansen, Klaus},
TITLE = {A rainbow about $T$-colorings for complete graphs},
BOOKTITLE = {Proceedings of the 19th International Workshop on Graph-Theoretic Concepts in Computer Science. WG'93 (Utrecht, The Netherlands, June 16-18, 1993)},
SERIES = {LNCS},
VOLUME = {790},
PAGES = {189-199},
YEAR = {1993},
EDITOR = {van Leeuwen, Jan},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Corneil-Olariu-Stewart/93,
AUTHOR = {Corneil, Derek G. and Olariu, Stephan and Stewart, Lorna},
TITLE = {Asteroidal triple-free graphs},
BOOKTITLE = {Proceedings of the 19th International Workshop on Graph-Theoretic Concepts in Computer Science. WG'93 (Utrecht, The Netherlands, June 16-18, 1993)},
SERIES = {LNCS},
VOLUME = {790},
PAGES = {211-224},
YEAR = {1993},
EDITOR = {van Leeuwen, Jan},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Dahlhaus/93c,
AUTHOR = {Dahlhaus, Elias},
TITLE = {The parallel complexity of elimination ordering procedures},
BOOKTITLE = {Proceedings of the 19th International Workshop on Graph-Theoretic Concepts in Computer Science. WG'93 (Utrecht, The Netherlands, June 16-18, 1993)},
SERIES = {LNCS},
VOLUME = {790},
PAGES = {225-236},
YEAR = {1993},
EDITOR = {van Leeuwen, Jan},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Brandstadt-Dragan-Chepoi-Voloshin/93,
AUTHOR = {Brandst{\"a}dt, Andreas and Dragan, Feodor F. and Chepoi, Victor D. and Voloshin, Vitaly I.},
TITLE = {Dually chordal graphs},
BOOKTITLE = {Proceedings of the 19th International Workshop on Graph-Theoretic Concepts in Computer Science. WG'93 (Utrecht, The Netherlands, June 16-18, 1993)},
SERIES = {LNCS},
VOLUME = {790},
PAGES = {237-251},
YEAR = {1993},
EDITOR = {van Leeuwen, Jan},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Desel/93,
AUTHOR = {Desel, J{\"o}rg},
TITLE = {Regular marked Petri nets},
BOOKTITLE = {Proceedings of the 19th International Workshop on Graph-Theoretic Concepts in Computer Science. WG'93 (Utrecht, The Netherlands, June 16-18, 1993)},
SERIES = {LNCS},
VOLUME = {790},
PAGES = {264-275},
YEAR = {1993},
EDITOR = {van Leeuwen, Jan},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Esparza-Stengel/93,
AUTHOR = {Esparza, Javier and Stengel, Bernhard von},
TITLE = {The asynchronous committee meeting problem},
BOOKTITLE = {Proceedings of the 19th International Workshop on Graph-Theoretic Concepts in Computer Science. WG'93 (Utrecht, The Netherlands, June 16-18, 1993)},
SERIES = {LNCS},
VOLUME = {790},
PAGES = {276-287},
YEAR = {1993},
EDITOR = {van Leeuwen, Jan},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Hromkovic-Klasing-Stohr/93,
AUTHOR = {Hromkovi{\v{c}}, Juraj and Klasing, Ralf and St{\"o}hr, Elena A.},
TITLE = {Gossiping in vertex-disjoint paths mode in interconnection networks},
BOOKTITLE = {Proceedings of the 19th International Workshop on Graph-Theoretic Concepts in Computer Science. WG'93 (Utrecht, The Netherlands, June 16-18, 1993)},
SERIES = {LNCS},
VOLUME = {790},
PAGES = {288-300},
YEAR = {1993},
EDITOR = {van Leeuwen, Jan},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Boillat/93,
AUTHOR = {Boillat, Jacques E.},
TITLE = {Fast load balancing in Cayley graphs and in circuits},
BOOKTITLE = {Proceedings of the 19th International Workshop on Graph-Theoretic Concepts in Computer Science. WG'93 (Utrecht, The Netherlands, June 16-18, 1993)},
SERIES = {LNCS},
VOLUME = {790},
PAGES = {315-326},
YEAR = {1993},
EDITOR = {van Leeuwen, Jan},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Kranakis-Krizanc-Ravi/93,
AUTHOR = {Kranakis, Evangelos and Krizanc, Danny and Ravi, S.S.},
TITLE = {On multi-label linear interval routing schemes},
BOOKTITLE = {Proceedings of the 19th International Workshop on Graph-Theoretic Concepts in Computer Science. WG'93 (Utrecht, The Netherlands, June 16-18, 1993)},
SERIES = {LNCS},
VOLUME = {790},
PAGES = {338-349},
YEAR = {1993},
EDITOR = {van Leeuwen, Jan},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Haldar/93,
AUTHOR = {Haldar, S.},
TITLE = {An 'All Pairs Shortest Paths' distributed algorithm using $2n^2$ messages},
BOOKTITLE = {Proceedings of the 19th International Workshop on Graph-Theoretic Concepts in Computer Science. WG'93 (Utrecht, The Netherlands, June 16-18, 1993)},
SERIES = {LNCS},
VOLUME = {790},
PAGES = {350-363},
YEAR = {1993},
EDITOR = {van Leeuwen, Jan},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Chen-Kanchi/93,
AUTHOR = {Chen, Jianer and Kanchi, Saroja P.},
TITLE = {Graph ear decompositions and graph embeddings},
BOOKTITLE = {Proceedings of the 19th International Workshop on Graph-Theoretic Concepts in Computer Science. WG'93 (Utrecht, The Netherlands, June 16-18, 1993)},
SERIES = {LNCS},
VOLUME = {790},
PAGES = {376-387},
YEAR = {1993},
EDITOR = {van Leeuwen, Jan},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Kant-He/93,
AUTHOR = {Kant, Goos and He, Xin},
TITLE = {Two algorithms for finding rectangular duals of planar graphs},
BOOKTITLE = {Proceedings of the 19th International Workshop on Graph-Theoretic Concepts in Computer Science. WG'93 (Utrecht, The Netherlands, June 16-18, 1993)},
SERIES = {LNCS},
VOLUME = {790},
PAGES = {396-410},
YEAR = {1993},
EDITOR = {van Leeuwen, Jan},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Kant/93a,
AUTHOR = {Kant, Goos},
TITLE = {A more compact visibility representation},
BOOKTITLE = {Proceedings of the 19th International Workshop on Graph-Theoretic Concepts in Computer Science. WG'93 (Utrecht, The Netherlands, June 16-18, 1993)},
SERIES = {LNCS},
VOLUME = {790},
PAGES = {411-424},
YEAR = {1993},
EDITOR = {van Leeuwen, Jan},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Hartmanis/93,
AUTHOR = {Hartmanis, Juris},
TITLE = {Some observations about the nature of computer science},
BOOKTITLE = {Proceedings of the 13th Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'93 (Bombay, India, December 15-17, 1993)},
SERIES = {LNCS},
VOLUME = {761},
PAGES = {1-12},
YEAR = {1993},
EDITOR = {Shyamasundar, R.K.},
URL = {http://dx.doi.org/10.1007/3-540-57529-4_39},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Ait-Kaci-Garrigue/93,
AUTHOR = {A{\"{i}}t-Kaci, Hassan and Garrigue, Jacques},
TITLE = {Label-selective $\lambda$-calculus syntax and confluence},
BOOKTITLE = {Proceedings of the 13th Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'93 (Bombay, India, December 15-17, 1993)},
SERIES = {LNCS},
VOLUME = {761},
PAGES = {24-40},
YEAR = {1993},
EDITOR = {Shyamasundar, R.K.},
URL = {http://dx.doi.org/10.1007/3-540-57529-4_41},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Barendsen-Smetsers/93,
AUTHOR = {Barendsen, Erik and Smetsers, Sjaak},
TITLE = {Conventional and uniqueness typing in graph rewrite systems},
BOOKTITLE = {Proceedings of the 13th Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'93 (Bombay, India, December 15-17, 1993)},
SERIES = {LNCS},
VOLUME = {761},
PAGES = {41-51},
YEAR = {1993},
EDITOR = {Shyamasundar, R.K.},
URL = {http://dx.doi.org/10.1007/3-540-57529-4_42},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Castagna/93,
AUTHOR = {Castagna, Giuseppe},
TITLE = {A meta-language for typed object-oriented languages},
BOOKTITLE = {Proceedings of the 13th Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'93 (Bombay, India, December 15-17, 1993)},
SERIES = {LNCS},
VOLUME = {761},
PAGES = {52-71},
YEAR = {1993},
EDITOR = {Shyamasundar, R.K.},
URL = {http://dx.doi.org/10.1007/3-540-57529-4_43},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Berry/93,
AUTHOR = {Berry, G{\'e}rard},
TITLE = {Preemption in concurrent systems},
BOOKTITLE = {Proceedings of the 13th Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'93 (Bombay, India, December 15-17, 1993)},
SERIES = {LNCS},
VOLUME = {761},
PAGES = {72-93},
YEAR = {1993},
EDITOR = {Shyamasundar, R.K.},
URL = {http://dx.doi.org/10.1007/3-540-57529-4_44},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Kulkarni-Mitter-Richardson-Tsitsiklis/93,
AUTHOR = {Kulkarni, S.R. and Mitter, S.K. and Richardson, T.J. and Tsitsiklis, J.N.},
TITLE = {Local versus non-local computation of length of digitized curves},
BOOKTITLE = {Proceedings of the 13th Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'93 (Bombay, India, December 15-17, 1993)},
SERIES = {LNCS},
VOLUME = {761},
PAGES = {94-103},
YEAR = {1993},
EDITOR = {Shyamasundar, R.K.},
URL = {http://dx.doi.org/10.1007/3-540-57529-4_45},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Lange-Niedermeier/93,
AUTHOR = {Lange, Klaus-J{\"o}rn and Niedermeier, Rolf},
TITLE = {Data-independences of parallel random access machines},
BOOKTITLE = {Proceedings of the 13th Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'93 (Bombay, India, December 15-17, 1993)},
SERIES = {LNCS},
VOLUME = {761},
PAGES = {104-113},
YEAR = {1993},
EDITOR = {Shyamasundar, R.K.},
URL = {http://dx.doi.org/10.1007/3-540-57529-4_46},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Aguzzi-Modigliani/93,
AUTHOR = {Aguzzi, G. and Modigliani, U.},
TITLE = {Proving termination of logic programs by transforming them into equivalent term rewriting systems},
BOOKTITLE = {Proceedings of the 13th Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'93 (Bombay, India, December 15-17, 1993)},
SERIES = {LNCS},
VOLUME = {761},
PAGES = {114-124},
YEAR = {1993},
EDITOR = {Shyamasundar, R.K.},
URL = {http://dx.doi.org/10.1007/3-540-57529-4_47},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Krishna_Rao/93,
AUTHOR = {Krishna Rao, M.R.K.},
TITLE = {Completeness of hierarchical combinations of term rewriting systems},
BOOKTITLE = {Proceedings of the 13th Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'93 (Bombay, India, December 15-17, 1993)},
SERIES = {LNCS},
VOLUME = {761},
PAGES = {125-138},
YEAR = {1993},
EDITOR = {Shyamasundar, R.K.},
URL = {http://dx.doi.org/10.1007/3-540-57529-4_48},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Dershowitz-Mitra/93,
AUTHOR = {Dershowitz, Nachum and Mitra, Subrata},
TITLE = {Higher-order and semantic unification},
BOOKTITLE = {Proceedings of the 13th Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'93 (Bombay, India, December 15-17, 1993)},
SERIES = {LNCS},
VOLUME = {761},
PAGES = {139-150},
YEAR = {1993},
EDITOR = {Shyamasundar, R.K.},
URL = {http://dx.doi.org/10.1007/3-540-57529-4_49},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Basin-Matthews/93,
AUTHOR = {Basin, David and Matthews, Se{\'a}n},
TITLE = {A conservative extension of first-order logic and its applications to theorem proving},
BOOKTITLE = {Proceedings of the 13th Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'93 (Bombay, India, December 15-17, 1993)},
SERIES = {LNCS},
VOLUME = {761},
PAGES = {151-160},
YEAR = {1993},
EDITOR = {Shyamasundar, R.K.},
URL = {http://dx.doi.org/10.1007/3-540-57529-4_50},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Fages/93,
AUTHOR = {Fages, Fran{\c{c}}ois},
TITLE = {On the semantics of optimization predicates in CLP languages},
BOOKTITLE = {Proceedings of the 13th Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'93 (Bombay, India, December 15-17, 1993)},
SERIES = {LNCS},
VOLUME = {761},
PAGES = {193-204},
YEAR = {1993},
EDITOR = {Shyamasundar, R.K.},
URL = {http://dx.doi.org/10.1007/3-540-57529-4_53},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Guha-Suzuki/93,
AUTHOR = {Guha, Sumanta and Suzuki, Ichiro},
TITLE = {Proximity problems and the Voronoi diagram on a rectilinear plane with rectangular obstacles},
BOOKTITLE = {Proceedings of the 13th Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'93 (Bombay, India, December 15-17, 1993)},
SERIES = {LNCS},
VOLUME = {761},
PAGES = {218-227},
YEAR = {1993},
EDITOR = {Shyamasundar, R.K.},
URL = {http://dx.doi.org/10.1007/3-540-57529-4_55},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Asberg-Blanco-Bose-Garcia-Lopez-Overmars-Toussaint-Wilfong-Zhu/93,
AUTHOR = {Asberg, B. and Blanco, G. and Bose, P. and Garcia-Lopez, J. and Overmars, M. and Toussaint, G. and Wilfong, G. and Zhu, B.},
TITLE = {Feasibility of design in stereolithography},
BOOKTITLE = {Proceedings of the 13th Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'93 (Bombay, India, December 15-17, 1993)},
SERIES = {LNCS},
VOLUME = {761},
PAGES = {228-237},
YEAR = {1993},
EDITOR = {Shyamasundar, R.K.},
URL = {http://dx.doi.org/10.1007/3-540-57529-4_56},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Halldorsson-Radhakrishnan-Subrahmanyam/93a,
AUTHOR = {Halld{\'o}rsson, Magn{\'u}s M. and Radhakrishnan, Jaikumar and Subrahmanyam, K.V.},
TITLE = {On some communication complexity problems related to threshold functions},
BOOKTITLE = {Proceedings of the 13th Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'93 (Bombay, India, December 15-17, 1993)},
SERIES = {LNCS},
VOLUME = {761},
PAGES = {248-259},
YEAR = {1993},
EDITOR = {Shyamasundar, R.K.},
URL = {http://dx.doi.org/10.1007/3-540-57529-4_58},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Cucker-Rossello/93,
AUTHOR = {Cucker, Felipe and Rossell{\'o}, Francesc},
TITLE = {Recursiveness over the complex numbers is time-bounded},
BOOKTITLE = {Proceedings of the 13th Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'93 (Bombay, India, December 15-17, 1993)},
SERIES = {LNCS},
VOLUME = {761},
PAGES = {260-267},
YEAR = {1993},
EDITOR = {Shyamasundar, R.K.},
URL = {http://dx.doi.org/10.1007/3-540-57529-4_59},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Antoine-Le_Goff-Pin/93,
AUTHOR = {Antoine, Christian and Le Goff, Bernard and Pin, Jean-Eric},
TITLE = {A graphic language based on timing diagrams},
BOOKTITLE = {Proceedings of the 13th Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'93 (Bombay, India, December 15-17, 1993)},
SERIES = {LNCS},
VOLUME = {761},
PAGES = {306-316},
YEAR = {1993},
EDITOR = {Shyamasundar, R.K.},
URL = {http://dx.doi.org/10.1007/3-540-57529-4_63},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Bacchus-Grove-Halpern-Koller/93,
AUTHOR = {Bacchus, Fahiem and Grove, Adam J. and Halpern, Joseph Y. and Koller, Daphne},
TITLE = {Generating degrees of belief from statistical information: An overview},
BOOKTITLE = {Proceedings of the 13th Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'93 (Bombay, India, December 15-17, 1993)},
SERIES = {LNCS},
VOLUME = {761},
PAGES = {318-325},
YEAR = {1993},
EDITOR = {Shyamasundar, R.K.},
URL = {http://dx.doi.org/10.1007/3-540-57529-4_65},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Cheng-Esparza-Palsberg/93,
AUTHOR = {Cheng, Allan and Esparza, Javier and Palsberg, Jens},
TITLE = {Complexity results for 1-safe nets},
BOOKTITLE = {Proceedings of the 13th Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'93 (Bombay, India, December 15-17, 1993)},
SERIES = {LNCS},
VOLUME = {761},
PAGES = {326-337},
YEAR = {1993},
EDITOR = {Shyamasundar, R.K.},
URL = {http://dx.doi.org/10.1007/3-540-57529-4_66},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Janin/93,
AUTHOR = {Janin, David},
TITLE = {Some results about logical descriptions of non deterministic behaviours},
BOOKTITLE = {Proceedings of the 13th Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'93 (Bombay, India, December 15-17, 1993)},
SERIES = {LNCS},
VOLUME = {761},
PAGES = {338-347},
YEAR = {1993},
EDITOR = {Shyamasundar, R.K.},
URL = {http://dx.doi.org/10.1007/3-540-57529-4_67},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Janicki-Koutny/93a,
AUTHOR = {Janicki, Ryszard and Koutny, Maciej},
TITLE = {Order structures and generalisations of Szpilrajn's theorem},
BOOKTITLE = {Proceedings of the 13th Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'93 (Bombay, India, December 15-17, 1993)},
SERIES = {LNCS},
VOLUME = {761},
PAGES = {348-357},
YEAR = {1993},
EDITOR = {Shyamasundar, R.K.},
URL = {http://dx.doi.org/10.1007/3-540-57529-4_68},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Kumar-Pandya/93a,
AUTHOR = {Kumar, K. Narayan and Pandya, Paritosh K.},
TITLE = {ICSP and its relationship with ACSP and CSP},
BOOKTITLE = {Proceedings of the 13th Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'93 (Bombay, India, December 15-17, 1993)},
SERIES = {LNCS},
VOLUME = {761},
PAGES = {358-372},
YEAR = {1993},
EDITOR = {Shyamasundar, R.K.},
URL = {http://dx.doi.org/10.1007/3-540-57529-4_69},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Honda-Yoshida/93,
AUTHOR = {Honda, Kohei and Yoshida, Nobuko},
TITLE = {On reduction-based process semantics},
BOOKTITLE = {Proceedings of the 13th Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'93 (Bombay, India, December 15-17, 1993)},
SERIES = {LNCS},
VOLUME = {761},
PAGES = {373-387},
YEAR = {1993},
EDITOR = {Shyamasundar, R.K.},
URL = {http://dx.doi.org/10.1007/3-540-57529-4_70},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Aggarwal-Kutten/93,
AUTHOR = {Aggarwal, Sudhanshu and Kutten, Shay},
TITLE = {Time optimal self-stabilizing spanning tree algorithms},
BOOKTITLE = {Proceedings of the 13th Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'93 (Bombay, India, December 15-17, 1993)},
SERIES = {LNCS},
VOLUME = {761},
PAGES = {400-410},
YEAR = {1993},
EDITOR = {Shyamasundar, R.K.},
URL = {http://dx.doi.org/10.1007/3-540-57529-4_72},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Dubhashi-Mehlhorn-Ranjan-Thiel/93,
AUTHOR = {Dubhashi, Devdatt P. and Mehlhorn, Kurt and Ranjan, Desh and Thiel, Christian},
TITLE = {Searching, sorting and randomised algorithms for central elements and ideal counting in posets},
BOOKTITLE = {Proceedings of the 13th Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'93 (Bombay, India, December 15-17, 1993)},
SERIES = {LNCS},
VOLUME = {761},
PAGES = {436-443},
YEAR = {1993},
EDITOR = {Shyamasundar, R.K.},
URL = {http://dx.doi.org/10.1007/3-540-57529-4_75},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Bhattacharyya-Nagaraja/93,
AUTHOR = {Bhattacharyya, P. and Nagaraja, G.},
TITLE = {Learning classes of regular and linear languages in Valiant's learnability framework},
BOOKTITLE = {Proceedings of the 13th Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'93 (Bombay, India, December 15-17, 1993)},
SERIES = {LNCS},
VOLUME = {761},
PAGES = {444-453},
YEAR = {1993},
EDITOR = {Shyamasundar, R.K.},
URL = {http://dx.doi.org/10.1007/3-540-57529-4_76},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Hasselbring/93,
AUTHOR = {Hasselbring, Wilhelm},
TITLE = {Prototyping parallel algorithms with ProSet-Linda},
BOOKTITLE = {Proceedings of the 2nd International ACPC Conference on Parallel Computation, ACPC'93 (Gmunden, Austria, October 4-6, 1993)},
SERIES = {LNCS},
VOLUME = {734},
PAGES = {135-150},
YEAR = {1993},
EDITOR = {Volkert, Jens},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=734&spage=135},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Albers/93,
AUTHOR = {Albers, Susanne},
TITLE = {The influence of lookahead in competitive paging algorithms (extended abstract)},
BOOKTITLE = {Proceedings of the 1st Annual European Symposium on Algorithms, ESA'93 (Bad Honnef, Germany, September 30 - October 2, 1993)},
SERIES = {LNCS},
VOLUME = {726},
PAGES = {1-12},
YEAR = {1993},
EDITOR = {Lengauer, Thomas},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=726&spage=1},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Atallah-Chen-Lee/93,
AUTHOR = {Atallah, Mikhail J. and Chen, Danny Z. and Lee, D.T.},
TITLE = {An optimal algorithm for shortest paths on weighted interval and circular-arc graphs, with applications},
BOOKTITLE = {Proceedings of the 1st Annual European Symposium on Algorithms, ESA'93 (Bad Honnef, Germany, September 30 - October 2, 1993)},
SERIES = {LNCS},
VOLUME = {726},
PAGES = {13-24},
YEAR = {1993},
EDITOR = {Lengauer, Thomas},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=726&spage=13},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Ben-Asher-Gordon-Schuster/93,
AUTHOR = {Ben-Asher, Yosi and Gordon, Dan and Schuster, Assaf},
TITLE = {Efficient self simulation algorithms for reconfigurable arrays},
BOOKTITLE = {Proceedings of the 1st Annual European Symposium on Algorithms, ESA'93 (Bad Honnef, Germany, September 30 - October 2, 1993)},
SERIES = {LNCS},
VOLUME = {726},
PAGES = {25-36},
YEAR = {1993},
EDITOR = {Lengauer, Thomas},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=726&spage=25},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Bertolazzi-Battista-Mannino/93,
AUTHOR = {Bertolazzi, Paola and Battista, Giuseppe Di and Mannino, Carlo},
TITLE = {Optimal upward planarity testing of single-source digraphs (extended abstract)},
BOOKTITLE = {Proceedings of the 1st Annual European Symposium on Algorithms, ESA'93 (Bad Honnef, Germany, September 30 - October 2, 1993)},
SERIES = {LNCS},
VOLUME = {726},
PAGES = {37-48},
YEAR = {1993},
EDITOR = {Lengauer, Thomas},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=726&spage=37},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Bhatt-Bilardi-Pucci-Ranade-Rosenberg-Schwabe/93,
AUTHOR = {Bhatt, S.N. and Bilardi, G. and Pucci, G. and Ranade, A. and Rosenberg, A.L. and Schwabe, E.J.},
TITLE = {On bufferless routing of variable-length messages in leveled networks},
BOOKTITLE = {Proceedings of the 1st Annual European Symposium on Algorithms, ESA'93 (Bad Honnef, Germany, September 30 - October 2, 1993)},
SERIES = {LNCS},
VOLUME = {726},
PAGES = {49-60},
YEAR = {1993},
EDITOR = {Lengauer, Thomas},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=726&spage=49},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Breslauer/93,
AUTHOR = {Breslauer, Dany},
TITLE = {Saving comparisons in the Crochemore-Perrin string matching algorithm},
BOOKTITLE = {Proceedings of the 1st Annual European Symposium on Algorithms, ESA'93 (Bad Honnef, Germany, September 30 - October 2, 1993)},
SERIES = {LNCS},
VOLUME = {726},
PAGES = {61-72},
YEAR = {1993},
EDITOR = {Lengauer, Thomas},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=726&spage=61},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Bruggemann-Klein/93,
AUTHOR = {Br{\"u}ggemann-Klein, Anne},
TITLE = {Unambiguity of extended regular expressions in SGML document grammars},
BOOKTITLE = {Proceedings of the 1st Annual European Symposium on Algorithms, ESA'93 (Bad Honnef, Germany, September 30 - October 2, 1993)},
SERIES = {LNCS},
VOLUME = {726},
PAGES = {73-84},
YEAR = {1993},
EDITOR = {Lengauer, Thomas},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=726&spage=73},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Bshouty/93a,
AUTHOR = {Bshouty, Nader H.},
TITLE = {On the direct sum conjecture in the straight line model},
BOOKTITLE = {Proceedings of the 1st Annual European Symposium on Algorithms, ESA'93 (Bad Honnef, Germany, September 30 - October 2, 1993)},
SERIES = {LNCS},
VOLUME = {726},
PAGES = {85-96},
YEAR = {1993},
EDITOR = {Lengauer, Thomas},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=726&spage=85},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Cohen-Tamassia/93,
AUTHOR = {Cohen, Robert F. and Tamassia, Roberto},
TITLE = {Combine and conquer: a general technique for dynamic algorithms (extended abstract)},
BOOKTITLE = {Proceedings of the 1st Annual European Symposium on Algorithms, ESA'93 (Bad Honnef, Germany, September 30 - October 2, 1993)},
SERIES = {LNCS},
VOLUME = {726},
PAGES = {97-108},
YEAR = {1993},
EDITOR = {Lengauer, Thomas},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=726&spage=97},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Datta-Maheshwari-Sack/93,
AUTHOR = {Datta, Amitava and Maheshwari, Anil and Sack, J{\"o}rg-R{\"u}diger},
TITLE = {Optimal CREW-PRAM Algorithms for direct dominance problems},
BOOKTITLE = {Proceedings of the 1st Annual European Symposium on Algorithms, ESA'93 (Bad Honnef, Germany, September 30 - October 2, 1993)},
SERIES = {LNCS},
VOLUME = {726},
PAGES = {109-120},
YEAR = {1993},
EDITOR = {Lengauer, Thomas},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=726&spage=109},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Devillers-Golin/93,
AUTHOR = {Devillers, Olivier and Golin, Mordecai},
TITLE = {Dog bites postman: Point location in the moving Voronoi diagram and related problems},
BOOKTITLE = {Proceedings of the 1st Annual European Symposium on Algorithms, ESA'93 (Bad Honnef, Germany, September 30 - October 2, 1993)},
SERIES = {LNCS},
VOLUME = {726},
PAGES = {133-144},
YEAR = {1993},
EDITOR = {Lengauer, Thomas},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=726&spage=133},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Diaz-Serna-Toran/93,
AUTHOR = {D{\'i}az, J. and Serna, M.J. and Tor{\'a}n, J.},
TITLE = {Parallel approximation schemes for problems on planar graphs (extended abstract)},
BOOKTITLE = {Proceedings of the 1st Annual European Symposium on Algorithms, ESA'93 (Bad Honnef, Germany, September 30 - October 2, 1993)},
SERIES = {LNCS},
VOLUME = {726},
PAGES = {145-156},
YEAR = {1993},
EDITOR = {Lengauer, Thomas},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=726&spage=145},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Fellows-Hallett-Wareham/93,
AUTHOR = {Fellows, Michael R. and Hallett, Michael T. and Wareham, H. Todd},
TITLE = {DNA physical mapping: Three ways difficult},
BOOKTITLE = {Proceedings of the 1st Annual European Symposium on Algorithms, ESA'93 (Bad Honnef, Germany, September 30 - October 2, 1993)},
SERIES = {LNCS},
VOLUME = {726},
PAGES = {157-168},
YEAR = {1993},
EDITOR = {Lengauer, Thomas},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=726&spage=157},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Flajolet-Zimmermann-Cutsem/93,
AUTHOR = {Flajolet, Philippe and Zimmermann, Paul and Cutsem, Bernard van},
TITLE = {A calculus of random generation},
BOOKTITLE = {Proceedings of the 1st Annual European Symposium on Algorithms, ESA'93 (Bad Honnef, Germany, September 30 - October 2, 1993)},
SERIES = {LNCS},
VOLUME = {726},
PAGES = {169-180},
YEAR = {1993},
EDITOR = {Lengauer, Thomas},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=726&spage=169},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Gerstel-Zaks/93,
AUTHOR = {Gerstel, O. and Zaks, S.},
TITLE = {The bit complexity of distributed sorting (extended abstract)},
BOOKTITLE = {Proceedings of the 1st Annual European Symposium on Algorithms, ESA'93 (Bad Honnef, Germany, September 30 - October 2, 1993)},
SERIES = {LNCS},
VOLUME = {726},
PAGES = {181-191},
YEAR = {1993},
EDITOR = {Lengauer, Thomas},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=726&spage=181},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Hagauer-Rote/93,
AUTHOR = {Hagauer, Johann and Rote, G{\"u}nter},
TITLE = {Three-clustering of points in the plane},
BOOKTITLE = {Proceedings of the 1st Annual European Symposium on Algorithms, ESA'93 (Bad Honnef, Germany, September 30 - October 2, 1993)},
SERIES = {LNCS},
VOLUME = {726},
PAGES = {192-199},
YEAR = {1993},
EDITOR = {Lengauer, Thomas},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=726&spage=192},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Hromkovic-Klasing-Stohr-Wagener/93,
AUTHOR = {Hromkovi{\v{c}}, Juraj and Klasing, Ralf and St{\"o}hr, Elena A. and Wagener, Hubert},
TITLE = {Gossiping in vertex-disjoint paths mode in d-dimensional grids and planar graphs (extended abstract)},
BOOKTITLE = {Proceedings of the 1st Annual European Symposium on Algorithms, ESA'93 (Bad Honnef, Germany, September 30 - October 2, 1993)},
SERIES = {LNCS},
VOLUME = {726},
PAGES = {200-211},
YEAR = {1993},
EDITOR = {Lengauer, Thomas},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=726&spage=200},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Italiano-La_Poutre-Rauch/93,
AUTHOR = {Italiano, Giuseppe F. and La Poutr{\'e}, Johannes A. and Rauch, Monika H.},
TITLE = {Fully dynamic planarity testing in planar embedded graphs (extended abstract)},
BOOKTITLE = {Proceedings of the 1st Annual European Symposium on Algorithms, ESA'93 (Bad Honnef, Germany, September 30 - October 2, 1993)},
SERIES = {LNCS},
VOLUME = {726},
PAGES = {212-223},
YEAR = {1993},
EDITOR = {Lengauer, Thomas},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=726&spage=212},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Ivkovic-Lloyd/93,
AUTHOR = {Ivkovi{\'c}, Zoran and Lloyd, Errol L.},
TITLE = {Fully dynamic algorithms for bin packing: Being (mostly) myopic helps},
BOOKTITLE = {Proceedings of the 1st Annual European Symposium on Algorithms, ESA'93 (Bad Honnef, Germany, September 30 - October 2, 1993)},
SERIES = {LNCS},
VOLUME = {726},
PAGES = {224-235},
YEAR = {1993},
EDITOR = {Lengauer, Thomas},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=726&spage=224},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Jordan/93a,
AUTHOR = {Jord{\'a}n, Tibor},
TITLE = {Increasing the vertex-connectivity in directed graphs},
BOOKTITLE = {Proceedings of the 1st Annual European Symposium on Algorithms, ESA'93 (Bad Honnef, Germany, September 30 - October 2, 1993)},
SERIES = {LNCS},
VOLUME = {726},
PAGES = {236-247},
YEAR = {1993},
EDITOR = {Lengauer, Thomas},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=726&spage=236},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Klinz-Rudolf-Woeginger/93,
AUTHOR = {Klinz, Bettina and Rudolf, R{\"u}diger and Woeginger, Gerhard J.},
TITLE = {On the recognition of permuted bottleneck Monge matrices},
BOOKTITLE = {Proceedings of the 1st Annual European Symposium on Algorithms, ESA'93 (Bad Honnef, Germany, September 30 - October 2, 1993)},
SERIES = {LNCS},
VOLUME = {726},
PAGES = {248-259},
YEAR = {1993},
EDITOR = {Lengauer, Thomas},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=726&spage=248},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Kloks-Bodlaender-Muller-Kratsch/93,
AUTHOR = {Kloks, T. and Bodlaender, H. and M{\"u}ller, H. and Kratsch, D.},
TITLE = {Computing treewidth and minimum fill-in: All you need are the minimal separators},
BOOKTITLE = {Proceedings of the 1st Annual European Symposium on Algorithms, ESA'93 (Bad Honnef, Germany, September 30 - October 2, 1993)},
SERIES = {LNCS},
VOLUME = {726},
PAGES = {260-271},
YEAR = {1993},
EDITOR = {Lengauer, Thomas},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=726&spage=260},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
NOTE = {see LNCS 855, p. 508 re error in paper},
}
@incollection{Kunde/93a,
AUTHOR = {Kunde, Manfred},
TITLE = {Block gossiping on grids and tori: Deterministic sorting and routing match the bisection bound},
BOOKTITLE = {Proceedings of the 1st Annual European Symposium on Algorithms, ESA'93 (Bad Honnef, Germany, September 30 - October 2, 1993)},
SERIES = {LNCS},
VOLUME = {726},
PAGES = {272-283},
YEAR = {1993},
EDITOR = {Lengauer, Thomas},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=726&spage=272},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Lenstra-Veldhorst-Veltman/93,
AUTHOR = {Lenstra, Jan Karel and Veldhorst, Marinus and Veltman, Bart},
TITLE = {The complexity of scheduling trees with communication delays},
BOOKTITLE = {Proceedings of the 1st Annual European Symposium on Algorithms, ESA'93 (Bad Honnef, Germany, September 30 - October 2, 1993)},
SERIES = {LNCS},
VOLUME = {726},
PAGES = {284-294},
YEAR = {1993},
EDITOR = {Lengauer, Thomas},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=726&spage=284},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Christensen-Hirshfeld-Moller/93,
AUTHOR = {Christensen, S{\o}ren and Hirshfeld, Yoram and Moller, Faron},
TITLE = {Bisimulation equivalence is decidable for basic parallel processes},
BOOKTITLE = {Proceedings of the 4th International Conference on Concurrency Theory. CONCUR '93 (Hildesheim, Germany, August 23-26, 1993)},
SERIES = {LNCS},
VOLUME = {715},
PAGES = {143-157},
YEAR = {1993},
EDITOR = {Best, Eike},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=715&spage=143},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Beauquier-Podelski/93,
AUTHOR = {Beauquier, Dani{\`e}le and Podelski, Andreas},
TITLE = {Rabin tree automata and finite monoids},
BOOKTITLE = {Proceedings of the 18th International Symposium on Mathematical Foundations of Computer Science, MFCS'93 (Gda{\'n}sk, Poland, August 30 - September 3, 1993)},
SERIES = {LNCS},
VOLUME = {711},
PAGES = {262-271},
YEAR = {1993},
EDITOR = {Borzyszkowski, Andrzej M. and Soko{\l}owski, Stefan},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=711&spage=262},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Gianantonio/93,
AUTHOR = {Gianantonio, Pietro Di},
TITLE = {Real number computability and domain theory},
BOOKTITLE = {Proceedings of the 18th International Symposium on Mathematical Foundations of Computer Science, MFCS'93 (Gda{\'n}sk, Poland, August 30 - September 3, 1993)},
SERIES = {LNCS},
VOLUME = {711},
PAGES = {413-422},
YEAR = {1993},
EDITOR = {Borzyszkowski, Andrzej M. and Soko{\l}owski, Stefan},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=711&spage=413},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Hromkovic-Kari-Kari/93,
AUTHOR = {Hromkovi{\v{c}}, Juraj and Kari, Jarkko and Kari, Lila},
TITLE = {Some hierarchies for the communication complexity measures of cooperating grammar systems},
BOOKTITLE = {Proceedings of the 18th International Symposium on Mathematical Foundations of Computer Science, MFCS'93 (Gda{\'n}sk, Poland, August 30 - September 3, 1993)},
SERIES = {LNCS},
VOLUME = {711},
PAGES = {495-505},
YEAR = {1993},
EDITOR = {Borzyszkowski, Andrzej M. and Soko{\l}owski, Stefan},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=711&spage=495},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Diekert/93b,
AUTHOR = {Diekert, Volker},
TITLE = {Rewriting, M{\"o}bius functions and semi-commutations},
BOOKTITLE = {Proceedings of the 9th International Conference on Fundamentals of Computation Theory. FCT '93 (Szeged, Hungary, August 1993)},
SERIES = {LNCS},
VOLUME = {710},
PAGES = {1-15},
YEAR = {1993},
EDITOR = {Zolt{\'a}n, {\'e}sik},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=710&spage=1},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Jiang-Li/93b,
AUTHOR = {Jiang, Tao and Li, Ming},
TITLE = {Approximating shortest superstrings with constraints},
BOOKTITLE = {Proceedings of the 3rd International Workshop on Algorithms and Data Structures, WADS'93 (Montr{\'e}al, Canada, August 11-13, 1993)},
SERIES = {LNCS},
VOLUME = {709},
PAGES = {385-396},
YEAR = {1993},
EDITOR = {Dehne, Frank and Sack, J{\"o}rg-R{\"u}diger and Santoro, Nicola and Whitesides, Sue},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=709&spage=385},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Kannan-Warnow/93,
AUTHOR = {Kannan, Sampath and Warnow, Tandy},
TITLE = {Tree reconstruction from partial orders},
BOOKTITLE = {Proceedings of the 3rd International Workshop on Algorithms and Data Structures, WADS'93 (Montr{\'e}al, Canada, August 11-13, 1993)},
SERIES = {LNCS},
VOLUME = {709},
PAGES = {397-408},
YEAR = {1993},
EDITOR = {Dehne, Frank and Sack, J{\"o}rg-R{\"u}diger and Santoro, Nicola and Whitesides, Sue},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=709&spage=397},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Khuller-Raghavachari-Young/93a,
AUTHOR = {Khuller, Samir and Raghavachari, Balaji and Young, Neal},
TITLE = {Designing multi-commodity flow trees},
BOOKTITLE = {Proceedings of the 3rd International Workshop on Algorithms and Data Structures, WADS'93 (Montr{\'e}al, Canada, August 11-13, 1993)},
SERIES = {LNCS},
VOLUME = {709},
PAGES = {433-441},
YEAR = {1993},
EDITOR = {Dehne, Frank and Sack, J{\"o}rg-R{\"u}diger and Santoro, Nicola and Whitesides, Sue},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=709&spage=433},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Blum/93,
AUTHOR = {Blum, Manuel},
TITLE = {Program result checking: A new approach to making programs more reliable},
BOOKTITLE = {Proceedings of the 20th International Colloquium on Automata, Languages and Programming, ICALP'93 (Lund, Sweden, July 5-9, 1993)},
SERIES = {LNCS},
VOLUME = {700},
PAGES = {1-14},
YEAR = {1993},
EDITOR = {Lingas, Andrzej and Karlsson, Rolf and Carlsson, Svante},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=700&spage=1},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Andersson-Mattsson/93,
AUTHOR = {Andersson, Arne and Mattsson, Christer},
TITLE = {Dynamic interpolation search in $o(\log\log n)$ time},
BOOKTITLE = {Proceedings of the 20th International Colloquium on Automata, Languages and Programming, ICALP'93 (Lund, Sweden, July 5-9, 1993)},
SERIES = {LNCS},
VOLUME = {700},
PAGES = {15-27},
YEAR = {1993},
EDITOR = {Lingas, Andrzej and Karlsson, Rolf and Carlsson, Svante},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=700&spage=15},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Frederickson/93c,
AUTHOR = {Frederickson, Greg N.},
TITLE = {Searching among intervals and compact routing tables},
BOOKTITLE = {Proceedings of the 20th International Colloquium on Automata, Languages and Programming, ICALP'93 (Lund, Sweden, July 5-9, 1993)},
SERIES = {LNCS},
VOLUME = {700},
PAGES = {28-39},
YEAR = {1993},
EDITOR = {Lingas, Andrzej and Karlsson, Rolf and Carlsson, Svante},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=700&spage=28},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Kann/93,
AUTHOR = {Kann, Viggo},
TITLE = {Polynomially bounded minimization problems which are hard to approximate},
BOOKTITLE = {Proceedings of the 20th International Colloquium on Automata, Languages and Programming, ICALP'93 (Lund, Sweden, July 5-9, 1993)},
SERIES = {LNCS},
VOLUME = {700},
PAGES = {52-63},
YEAR = {1993},
EDITOR = {Lingas, Andrzej and Karlsson, Rolf and Carlsson, Svante},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=700&spage=52},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Garg-Vazirani-Yannakakis/93,
AUTHOR = {Garg, Naveen and Vazirani, Vijay V. and Yannakakis, Mihalis},
TITLE = {Primal-dual approximation algorithms for integral flow and multicut in trees, with applications to matching and set cover},
BOOKTITLE = {Proceedings of the 20th International Colloquium on Automata, Languages and Programming, ICALP'93 (Lund, Sweden, July 5-9, 1993)},
SERIES = {LNCS},
VOLUME = {700},
PAGES = {64-75},
YEAR = {1993},
EDITOR = {Lingas, Andrzej and Karlsson, Rolf and Carlsson, Svante},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=700&spage=64},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Czumaj-Gibbons/93,
AUTHOR = {Czumaj, Artur and Gibbons, Alan},
TITLE = {Problems on pairs of trees and the four colour problem of planar graphs},
BOOKTITLE = {Proceedings of the 20th International Colloquium on Automata, Languages and Programming, ICALP'93 (Lund, Sweden, July 5-9, 1993)},
SERIES = {LNCS},
VOLUME = {700},
PAGES = {88-101},
YEAR = {1993},
EDITOR = {Lingas, Andrzej and Karlsson, Rolf and Carlsson, Svante},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=700&spage=88},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Kalyanasundaram-Pruhs/93a,
AUTHOR = {Kalyanasundaram, Bala and Pruhs, Kirk R.},
TITLE = {Constructing competitive tours from local information},
BOOKTITLE = {Proceedings of the 20th International Colloquium on Automata, Languages and Programming, ICALP'93 (Lund, Sweden, July 5-9, 1993)},
SERIES = {LNCS},
VOLUME = {700},
PAGES = {102-113},
YEAR = {1993},
EDITOR = {Lingas, Andrzej and Karlsson, Rolf and Carlsson, Svante},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=700&spage=102},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Bodlaender-Kloks-Kratsch/93,
AUTHOR = {Bodlaender, Hans and Kloks, Ton and Kratsch, Dieter},
TITLE = {Treewidth and pathwidth of permutation graphs},
BOOKTITLE = {Proceedings of the 20th International Colloquium on Automata, Languages and Programming, ICALP'93 (Lund, Sweden, July 5-9, 1993)},
SERIES = {LNCS},
VOLUME = {700},
PAGES = {114-125},
YEAR = {1993},
EDITOR = {Lingas, Andrzej and Karlsson, Rolf and Carlsson, Svante},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=700&spage=114},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Jaromczyk-Swiatek/93,
AUTHOR = {Jaromczyk, Jerzy W. and {\'S}wi{\c{a}}tek, Grzegorz},
TITLE = {A theory of even functionals and their algorithmic applications},
BOOKTITLE = {Proceedings of the 20th International Colloquium on Automata, Languages and Programming, ICALP'93 (Lund, Sweden, July 5-9, 1993)},
SERIES = {LNCS},
VOLUME = {700},
PAGES = {126-136},
YEAR = {1993},
EDITOR = {Lingas, Andrzej and Karlsson, Rolf and Carlsson, Svante},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=700&spage=126},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Flajolet-Golin/93,
AUTHOR = {Flajolet, Philippe and Golin, Mordecai},
TITLE = {Exact asymptotics of divide-and-conquer recurrences},
BOOKTITLE = {Proceedings of the 20th International Colloquium on Automata, Languages and Programming, ICALP'93 (Lund, Sweden, July 5-9, 1993)},
SERIES = {LNCS},
VOLUME = {700},
PAGES = {137-149},
YEAR = {1993},
EDITOR = {Lingas, Andrzej and Karlsson, Rolf and Carlsson, Svante},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=700&spage=137},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Kozen-Zaks/93,
AUTHOR = {Kozen, Dexter and Zaks, Shmuel},
TITLE = {Optimal bounds for the change-making problem},
BOOKTITLE = {Proceedings of the 20th International Colloquium on Automata, Languages and Programming, ICALP'93 (Lund, Sweden, July 5-9, 1993)},
SERIES = {LNCS},
VOLUME = {700},
PAGES = {150-161},
YEAR = {1993},
EDITOR = {Lingas, Andrzej and Karlsson, Rolf and Carlsson, Svante},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=700&spage=150},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Dillencourt-Smith/93,
AUTHOR = {Dillencourt, Michael B. and Smith, Warren D.},
TITLE = {A simple method for resolving degeneracies in Delaunay triangulations},
BOOKTITLE = {Proceedings of the 20th International Colloquium on Automata, Languages and Programming, ICALP'93 (Lund, Sweden, July 5-9, 1993)},
SERIES = {LNCS},
VOLUME = {700},
PAGES = {177-188},
YEAR = {1993},
EDITOR = {Lingas, Andrzej and Karlsson, Rolf and Carlsson, Svante},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=700&spage=177},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Hemachandra/93,
AUTHOR = {Hemachandra, Lane A.},
TITLE = {Fault-tolerance and complexity},
BOOKTITLE = {Proceedings of the 20th International Colloquium on Automata, Languages and Programming, ICALP'93 (Lund, Sweden, July 5-9, 1993)},
SERIES = {LNCS},
VOLUME = {700},
PAGES = {189-202},
YEAR = {1993},
EDITOR = {Lingas, Andrzej and Karlsson, Rolf and Carlsson, Svante},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=700&spage=189},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Karpinski-Verbeek/93,
AUTHOR = {Karpinski, Marek and Verbeek, Rutger},
TITLE = {On randomized versus deterministic computation},
BOOKTITLE = {Proceedings of the 20th International Colloquium on Automata, Languages and Programming, ICALP'93 (Lund, Sweden, July 5-9, 1993)},
SERIES = {LNCS},
VOLUME = {700},
PAGES = {227-240},
YEAR = {1993},
EDITOR = {Lingas, Andrzej and Karlsson, Rolf and Carlsson, Svante},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=700&spage=227},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Ablayev/93,
AUTHOR = {Ablayev, Farid},
TITLE = {Lower bounds for one-way probabilistic communication complexity},
BOOKTITLE = {Proceedings of the 20th International Colloquium on Automata, Languages and Programming, ICALP'93 (Lund, Sweden, July 5-9, 1993)},
SERIES = {LNCS},
VOLUME = {700},
PAGES = {241-252},
YEAR = {1993},
EDITOR = {Lingas, Andrzej and Karlsson, Rolf and Carlsson, Svante},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=700&spage=241},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Hagerup-Mehlhorn-Munro/93,
AUTHOR = {Hagerup, Torben and Mehlhorn, Kurt and Munro, J. Ian},
TITLE = {Maintaining discrete probability distributions optimally},
BOOKTITLE = {Proceedings of the 20th International Colloquium on Automata, Languages and Programming, ICALP'93 (Lund, Sweden, July 5-9, 1993)},
SERIES = {LNCS},
VOLUME = {700},
PAGES = {253-264},
YEAR = {1993},
EDITOR = {Lingas, Andrzej and Karlsson, Rolf and Carlsson, Svante},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=700&spage=253},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Franklin-Yung/93,
AUTHOR = {Franklin, Matthew and Yung, Moti},
TITLE = {Secure and efficient off-line digital money},
BOOKTITLE = {Proceedings of the 20th International Colloquium on Automata, Languages and Programming, ICALP'93 (Lund, Sweden, July 5-9, 1993)},
SERIES = {LNCS},
VOLUME = {700},
PAGES = {265-276},
YEAR = {1993},
EDITOR = {Lingas, Andrzej and Karlsson, Rolf and Carlsson, Svante},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=700&spage=265},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Juedes-Lathrop-Lutz/93,
AUTHOR = {Juedes, David W. and Lathrop, James I. and Lutz, Jack H.},
TITLE = {Computational depth and reducibility},
BOOKTITLE = {Proceedings of the 20th International Colloquium on Automata, Languages and Programming, ICALP'93 (Lund, Sweden, July 5-9, 1993)},
SERIES = {LNCS},
VOLUME = {700},
PAGES = {277-288},
YEAR = {1993},
EDITOR = {Lingas, Andrzej and Karlsson, Rolf and Carlsson, Svante},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=700&spage=277},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Baliga-Case/93,
AUTHOR = {Baliga, Ganesh and Case, John},
TITLE = {Learnability: Admissible, co-finite and hypersimple languages},
BOOKTITLE = {Proceedings of the 20th International Colloquium on Automata, Languages and Programming, ICALP'93 (Lund, Sweden, July 5-9, 1993)},
SERIES = {LNCS},
VOLUME = {700},
PAGES = {289-300},
YEAR = {1993},
EDITOR = {Lingas, Andrzej and Karlsson, Rolf and Carlsson, Svante},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=700&spage=289},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Jiang-Salomaa-Salomaa-Yu/93,
AUTHOR = {Jiang, Tao and Salomaa, Arto and Salomaa, Kai and Yu, Sheng},
TITLE = {Inclusion is undecidable for pattern languages},
BOOKTITLE = {Proceedings of the 20th International Colloquium on Automata, Languages and Programming, ICALP'93 (Lund, Sweden, July 5-9, 1993)},
SERIES = {LNCS},
VOLUME = {700},
PAGES = {301-312},
YEAR = {1993},
EDITOR = {Lingas, Andrzej and Karlsson, Rolf and Carlsson, Svante},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=700&spage=301},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Ibarra-Jiang-Tran-Wang/93a,
AUTHOR = {Ibarra, Oscar H. and Jiang, Tao and Tran, Nicholas and Wang, Hui},
TITLE = {New decidability results concerning two-way counter machines and applications},
BOOKTITLE = {Proceedings of the 20th International Colloquium on Automata, Languages and Programming, ICALP'93 (Lund, Sweden, July 5-9, 1993)},
SERIES = {LNCS},
VOLUME = {700},
PAGES = {313-324},
YEAR = {1993},
EDITOR = {Lingas, Andrzej and Karlsson, Rolf and Carlsson, Svante},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=700&spage=313},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Ebinger-Muscholl/93,
AUTHOR = {Ebinger, Werner and Muscholl, Anca},
TITLE = {Logical definability on infinite traces},
BOOKTITLE = {Proceedings of the 20th International Colloquium on Automata, Languages and Programming, ICALP'93 (Lund, Sweden, July 5-9, 1993)},
SERIES = {LNCS},
VOLUME = {700},
PAGES = {335-346},
YEAR = {1993},
EDITOR = {Lingas, Andrzej and Karlsson, Rolf and Carlsson, Svante},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=700&spage=335},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Gupta/93,
AUTHOR = {Gupta, Arvind},
TITLE = {Finite automata as characterizations of minor closed tree families},
BOOKTITLE = {Proceedings of the 20th International Colloquium on Automata, Languages and Programming, ICALP'93 (Lund, Sweden, July 5-9, 1993)},
SERIES = {LNCS},
VOLUME = {700},
PAGES = {359-370},
YEAR = {1993},
EDITOR = {Lingas, Andrzej and Karlsson, Rolf and Carlsson, Svante},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=700&spage=359},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Dolev-Malki/93,
AUTHOR = {Dolev, Danny and Malki, Dalia},
TITLE = {On distributed algorithms in a broadcast domain},
BOOKTITLE = {Proceedings of the 20th International Colloquium on Automata, Languages and Programming, ICALP'93 (Lund, Sweden, July 5-9, 1993)},
SERIES = {LNCS},
VOLUME = {700},
PAGES = {371-387},
YEAR = {1993},
EDITOR = {Lingas, Andrzej and Karlsson, Rolf and Carlsson, Svante},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=700&spage=371},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Chlebus-Diks-Pelc/93,
AUTHOR = {Chlebus, Bogdan S. and Diks, Krzysztof and Pelc, Andrzej},
TITLE = {Sparse networks supporting efficient reliable broadcasting},
BOOKTITLE = {Proceedings of the 20th International Colloquium on Automata, Languages and Programming, ICALP'93 (Lund, Sweden, July 5-9, 1993)},
SERIES = {LNCS},
VOLUME = {700},
PAGES = {388-397},
YEAR = {1993},
EDITOR = {Lingas, Andrzej and Karlsson, Rolf and Carlsson, Svante},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=700&spage=388},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Kirousis/93,
AUTHOR = {Kirousis, Lefteris M.},
TITLE = {Fast parallel constraint satisfaction},
BOOKTITLE = {Proceedings of the 20th International Colloquium on Automata, Languages and Programming, ICALP'93 (Lund, Sweden, July 5-9, 1993)},
SERIES = {LNCS},
VOLUME = {700},
PAGES = {418-429},
YEAR = {1993},
EDITOR = {Lingas, Andrzej and Karlsson, Rolf and Carlsson, Svante},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=700&spage=418},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Dumas/93,
AUTHOR = {Dumas, Ph.},
TITLE = {Algebraic aspects of B-regular series},
BOOKTITLE = {Proceedings of the 20th International Colloquium on Automata, Languages and Programming, ICALP'93 (Lund, Sweden, July 5-9, 1993)},
SERIES = {LNCS},
VOLUME = {700},
PAGES = {457-468},
YEAR = {1993},
EDITOR = {Lingas, Andrzej and Karlsson, Rolf and Carlsson, Svante},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=700&spage=457},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Cohen-Fredman/93,
AUTHOR = {Cohen, David M. and Fredman, Michael L.},
TITLE = {Products of finite state machines with full coverage},
BOOKTITLE = {Proceedings of the 20th International Colloquium on Automata, Languages and Programming, ICALP'93 (Lund, Sweden, July 5-9, 1993)},
SERIES = {LNCS},
VOLUME = {700},
PAGES = {469-477},
YEAR = {1993},
EDITOR = {Lingas, Andrzej and Karlsson, Rolf and Carlsson, Svante},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=700&spage=469},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Lepisto/93,
AUTHOR = {Lepist{\"o}, Arto},
TITLE = {On the power of periodic iteration of morphisms},
BOOKTITLE = {Proceedings of the 20th International Colloquium on Automata, Languages and Programming, ICALP'93 (Lund, Sweden, July 5-9, 1993)},
SERIES = {LNCS},
VOLUME = {700},
PAGES = {496-506},
YEAR = {1993},
EDITOR = {Lingas, Andrzej and Karlsson, Rolf and Carlsson, Svante},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=700&spage=496},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Jategaonkar-Meyer/93,
AUTHOR = {Jategaonkar, Lalita and Meyer, Albert R.},
TITLE = {Deciding true concurrency equivalences on finite safe nets},
BOOKTITLE = {Proceedings of the 20th International Colloquium on Automata, Languages and Programming, ICALP'93 (Lund, Sweden, July 5-9, 1993)},
SERIES = {LNCS},
VOLUME = {700},
PAGES = {519-531},
YEAR = {1993},
EDITOR = {Lingas, Andrzej and Karlsson, Rolf and Carlsson, Svante},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=700&spage=519},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Havelung-Larsen/93,
AUTHOR = {Havelung, Klaus and Larsen, Kim G.},
TITLE = {The fork calculus},
BOOKTITLE = {Proceedings of the 20th International Colloquium on Automata, Languages and Programming, ICALP'93 (Lund, Sweden, July 5-9, 1993)},
SERIES = {LNCS},
VOLUME = {700},
PAGES = {544-557},
YEAR = {1993},
EDITOR = {Lingas, Andrzej and Karlsson, Rolf and Carlsson, Svante},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=700&spage=544},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Inverardi-Priami-Yankelevich/93,
AUTHOR = {Inverardi, Paolo and Priami, Corrado and Yankelevich, Daniel},
TITLE = {Extended transition systems for parametric bisimulation},
BOOKTITLE = {Proceedings of the 20th International Colloquium on Automata, Languages and Programming, ICALP'93 (Lund, Sweden, July 5-9, 1993)},
SERIES = {LNCS},
VOLUME = {700},
PAGES = {558-569},
YEAR = {1993},
EDITOR = {Lingas, Andrzej and Karlsson, Rolf and Carlsson, Svante},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=700&spage=558},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Brown-Gurr/93,
AUTHOR = {Brown, Carolyn and Gurr, Doug},
TITLE = {Temporal logic and categories of Petri nets},
BOOKTITLE = {Proceedings of the 20th International Colloquium on Automata, Languages and Programming, ICALP'93 (Lund, Sweden, July 5-9, 1993)},
SERIES = {LNCS},
VOLUME = {700},
PAGES = {570-581},
YEAR = {1993},
EDITOR = {Lingas, Andrzej and Karlsson, Rolf and Carlsson, Svante},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=700&spage=570},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Hungar-Steffen/93,
AUTHOR = {Hungar, Hardi and Steffen, Bernhard},
TITLE = {Local model checking for context-free processes},
BOOKTITLE = {Proceedings of the 20th International Colloquium on Automata, Languages and Programming, ICALP'93 (Lund, Sweden, July 5-9, 1993)},
SERIES = {LNCS},
VOLUME = {700},
PAGES = {593-605},
YEAR = {1993},
EDITOR = {Lingas, Andrzej and Karlsson, Rolf and Carlsson, Svante},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=700&spage=593},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Abiteboul-Vianu/93,
AUTHOR = {Abiteboul, Serge and Vianu, Victor},
TITLE = {Computing on structures},
BOOKTITLE = {Proceedings of the 20th International Colloquium on Automata, Languages and Programming, ICALP'93 (Lund, Sweden, July 5-9, 1993)},
SERIES = {LNCS},
VOLUME = {700},
PAGES = {606-620},
YEAR = {1993},
EDITOR = {Lingas, Andrzej and Karlsson, Rolf and Carlsson, Svante},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=700&spage=606},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Contejean/93a,
AUTHOR = {Contejean, Evelyne},
TITLE = {A partial solution for $D$-unification based on a reduction to $AC1$-unification},
BOOKTITLE = {Proceedings of the 20th International Colloquium on Automata, Languages and Programming, ICALP'93 (Lund, Sweden, July 5-9, 1993)},
SERIES = {LNCS},
VOLUME = {700},
PAGES = {621-632},
YEAR = {1993},
EDITOR = {Lingas, Andrzej and Karlsson, Rolf and Carlsson, Svante},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=700&spage=621},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Codish-Falaschi-Marriott-Winsborough/93,
AUTHOR = {Codish, Michael and Falaschi, Moreno and Marriott, Kim and Winsborough, William},
TITLE = {Efficient analysis of concurrent constraint logic programs},
BOOKTITLE = {Proceedings of the 20th International Colloquium on Automata, Languages and Programming, ICALP'93 (Lund, Sweden, July 5-9, 1993)},
SERIES = {LNCS},
VOLUME = {700},
PAGES = {633-644},
YEAR = {1993},
EDITOR = {Lingas, Andrzej and Karlsson, Rolf and Carlsson, Svante},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=700&spage=633},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Barbanera-Fernandez/93,
AUTHOR = {Barbanera, Franco and Fern{\'a}ndez, Maribel},
TITLE = {Modularity of termination and confluence in combinations of rewrite systems with $\lambda_{\omega}$},
BOOKTITLE = {Proceedings of the 20th International Colloquium on Automata, Languages and Programming, ICALP'93 (Lund, Sweden, July 5-9, 1993)},
SERIES = {LNCS},
VOLUME = {700},
PAGES = {657-668},
YEAR = {1993},
EDITOR = {Lingas, Andrzej and Karlsson, Rolf and Carlsson, Svante},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=700&spage=657},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Bracho-Droste/93,
AUTHOR = {Bracho, Felipe and Droste, Manfred},
TITLE = {From domains to automata with concurrency},
BOOKTITLE = {Proceedings of the 20th International Colloquium on Automata, Languages and Programming, ICALP'93 (Lund, Sweden, July 5-9, 1993)},
SERIES = {LNCS},
VOLUME = {700},
PAGES = {669-681},
YEAR = {1993},
EDITOR = {Lingas, Andrzej and Karlsson, Rolf and Carlsson, Svante},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=700&spage=669},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Engelmann-Keller/93,
AUTHOR = {Engelmann, Curd and Keller, J{\"o}rg},
TITLE = {Simulation-based comparison of hash functions for emulated shared memory},
BOOKTITLE = {Proceedings of the 5th International Conference on Parallel Architectures and Languages Europe, PARLE'93 (Munich, Germany, June 1993)},
SERIES = {LNCS},
VOLUME = {694},
PAGES = {1-11},
YEAR = {1993},
EDITOR = {Bode, Arndt and Reeve, Mike and Wolf, Gottfried},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=694&spage=1},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Haines-Bohm/93,
AUTHOR = {Haines, Matthew and B{\"o}hm, Wim},
TITLE = {Task management, virtual shared memory, and multithreading in a distributed memory implementation of Sisal},
BOOKTITLE = {Proceedings of the 5th International Conference on Parallel Architectures and Languages Europe, PARLE'93 (Munich, Germany, June 1993)},
SERIES = {LNCS},
VOLUME = {694},
PAGES = {12-23},
YEAR = {1993},
EDITOR = {Bode, Arndt and Reeve, Mike and Wolf, Gottfried},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=694&spage=12},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Hagersten-Grindal-Landin-Saulsbury-Werner-Haridi/93,
AUTHOR = {Hagersten, Erik and Grindal, Mats and Landin, Anders and Saulsbury, Ashley and Werner, Bengt and Haridi, Seif},
TITLE = {Simulating the data diffusion machine},
BOOKTITLE = {Proceedings of the 5th International Conference on Parallel Architectures and Languages Europe, PARLE'93 (Munich, Germany, June 1993)},
SERIES = {LNCS},
VOLUME = {694},
PAGES = {24-41},
YEAR = {1993},
EDITOR = {Bode, Arndt and Reeve, Mike and Wolf, Gottfried},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=694&spage=24},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Ben-Asher-Runger-Schuster-Wilhelm/93,
AUTHOR = {Ben-Asher, Yosi and R{\"u}nger, Gudula and Schuster, Assaf and Wilhelm, Reinhard},
TITLE = {2DT-FP: An FP based programming language for efficient parallel programming of multiprocessor networks},
BOOKTITLE = {Proceedings of the 5th International Conference on Parallel Architectures and Languages Europe, PARLE'93 (Munich, Germany, June 1993)},
SERIES = {LNCS},
VOLUME = {694},
PAGES = {42-55},
YEAR = {1993},
EDITOR = {Bode, Arndt and Reeve, Mike and Wolf, Gottfried},
KEYWORDS = {parallel language, operational semantics},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=694&spage=42},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Hains-Foisy/93,
AUTHOR = {Hains, Ga{\'e}tan and Foisy, Christian},
TITLE = {The data-parallel categorical abstract machine},
BOOKTITLE = {Proceedings of the 5th International Conference on Parallel Architectures and Languages Europe, PARLE'93 (Munich, Germany, June 1993)},
SERIES = {LNCS},
VOLUME = {694},
PAGES = {56-67},
YEAR = {1993},
EDITOR = {Bode, Arndt and Reeve, Mike and Wolf, Gottfried},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=694&spage=56},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Cull-Larson/93,
AUTHOR = {Cull, Paul and Larson, Shawn M.},
TITLE = {Static and dynamic performance of the M{\"o}bius cubes},
BOOKTITLE = {Proceedings of the 5th International Conference on Parallel Architectures and Languages Europe, PARLE'93 (Munich, Germany, June 1993)},
SERIES = {LNCS},
VOLUME = {694},
PAGES = {92-103},
YEAR = {1993},
EDITOR = {Bode, Arndt and Reeve, Mike and Wolf, Gottfried},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=694&spage=92},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Darlington-Field-Harrison-Kelly-Sharp-Wu-While/93,
AUTHOR = {Darlington, J. and Field, A.J. and Harrison, P.G. and Kelly, P.H.J. and Sharp, D.W.N. and Wu, Q. and While, R.L.},
TITLE = {Parallel programming using skeleton functions},
BOOKTITLE = {Proceedings of the 5th International Conference on Parallel Architectures and Languages Europe, PARLE'93 (Munich, Germany, June 1993)},
SERIES = {LNCS},
VOLUME = {694},
PAGES = {146-160},
YEAR = {1993},
EDITOR = {Bode, Arndt and Reeve, Mike and Wolf, Gottfried},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=694&spage=146},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Fisher/93,
AUTHOR = {Fisher, Michael},
TITLE = {Concurrent METATEM --- a language for modelling reactive systems},
BOOKTITLE = {Proceedings of the 5th International Conference on Parallel Architectures and Languages Europe, PARLE'93 (Munich, Germany, June 1993)},
SERIES = {LNCS},
VOLUME = {694},
PAGES = {185-196},
YEAR = {1993},
EDITOR = {Bode, Arndt and Reeve, Mike and Wolf, Gottfried},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=694&spage=185},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Lin-McKinley-Esfahanian/93,
AUTHOR = {Lin, Xiaola and McKinley, Philip K. and Esfahanian, Abdol-Hossein},
TITLE = {Adaptive multicast wormhole routing in 2D mesh multicomputers},
BOOKTITLE = {Proceedings of the 5th International Conference on Parallel Architectures and Languages Europe, PARLE'93 (Munich, Germany, June 1993)},
SERIES = {LNCS},
VOLUME = {694},
PAGES = {228-241},
YEAR = {1993},
EDITOR = {Bode, Arndt and Reeve, Mike and Wolf, Gottfried},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=694&spage=228},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Kim-Chien/93,
AUTHOR = {Kim, Jae H. and Chien, Andrew A.},
TITLE = {The impact of packetization in wormhole-routed networks},
BOOKTITLE = {Proceedings of the 5th International Conference on Parallel Architectures and Languages Europe, PARLE'93 (Munich, Germany, June 1993)},
SERIES = {LNCS},
VOLUME = {694},
PAGES = {242-253},
YEAR = {1993},
EDITOR = {Bode, Arndt and Reeve, Mike and Wolf, Gottfried},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=694&spage=242},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Bevemyr-Lindgren-Millroth/93,
AUTHOR = {Bevemyr, Johan and Lindgren, Thomas and Millroth, H{\aa}kan},
TITLE = {Exploiting recursion-parallelism in Prolog},
BOOKTITLE = {Proceedings of the 5th International Conference on Parallel Architectures and Languages Europe, PARLE'93 (Munich, Germany, June 1993)},
SERIES = {LNCS},
VOLUME = {694},
PAGES = {279-290},
YEAR = {1993},
EDITOR = {Bode, Arndt and Reeve, Mike and Wolf, Gottfried},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=694&spage=279},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Ironmonger/93,
AUTHOR = {Ironmonger, Nicholas},
TITLE = {Trace-splitting for the parallel simulation of cache memory},
BOOKTITLE = {Proceedings of the 5th International Conference on Parallel Architectures and Languages Europe, PARLE'93 (Munich, Germany, June 1993)},
SERIES = {LNCS},
VOLUME = {694},
PAGES = {317-328},
YEAR = {1993},
EDITOR = {Bode, Arndt and Reeve, Mike and Wolf, Gottfried},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=694&spage=317},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Bennett-Kelly/93,
AUTHOR = {Bennett, Andrew J. and Kelly, Paul H.J.},
TITLE = {Locality and false sharing in coherent-cache parallel graph reduction},
BOOKTITLE = {Proceedings of the 5th International Conference on Parallel Architectures and Languages Europe, PARLE'93 (Munich, Germany, June 1993)},
SERIES = {LNCS},
VOLUME = {694},
PAGES = {329-340},
YEAR = {1993},
EDITOR = {Bode, Arndt and Reeve, Mike and Wolf, Gottfried},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=694&spage=329},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Chen/93d,
AUTHOR = {Chen, Guoying},
TITLE = {SLiD --- a cost-effective and scalable limited-directory scheme for cache coherence},
BOOKTITLE = {Proceedings of the 5th International Conference on Parallel Architectures and Languages Europe, PARLE'93 (Munich, Germany, June 1993)},
SERIES = {LNCS},
VOLUME = {694},
PAGES = {341-352},
YEAR = {1993},
EDITOR = {Bode, Arndt and Reeve, Mike and Wolf, Gottfried},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=694&spage=341},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Buchs-Guelfi/93,
AUTHOR = {Buchs, Didier and Guelfi, Nicolas},
TITLE = {Formal development of Actor programs using structured algebraic Petri nets},
BOOKTITLE = {Proceedings of the 5th International Conference on Parallel Architectures and Languages Europe, PARLE'93 (Munich, Germany, June 1993)},
SERIES = {LNCS},
VOLUME = {694},
PAGES = {353-366},
YEAR = {1993},
EDITOR = {Bode, Arndt and Reeve, Mike and Wolf, Gottfried},
KEYWORDS = {formal program development, modular specification, actor languages semantics, high-level Petri nets, algebraic abstract data types},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=694&spage=353},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Hankin-Metayer-Sands/93,
AUTHOR = {Hankin, Chris and M{\'e}tayer, Daniel Le and Sands, David},
TITLE = {A parallel programming style and its algebra of programs},
BOOKTITLE = {Proceedings of the 5th International Conference on Parallel Architectures and Languages Europe, PARLE'93 (Munich, Germany, June 1993)},
SERIES = {LNCS},
VOLUME = {694},
PAGES = {367-378},
YEAR = {1993},
EDITOR = {Bode, Arndt and Reeve, Mike and Wolf, Gottfried},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=694&spage=367},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Best-Hopkins/93,
AUTHOR = {Best, Eike and Hopkins, Richard P.},
TITLE = {$B(PN)^2$ --- a basic Petri net programming notation},
BOOKTITLE = {Proceedings of the 5th International Conference on Parallel Architectures and Languages Europe, PARLE'93 (Munich, Germany, June 1993)},
SERIES = {LNCS},
VOLUME = {694},
PAGES = {379-390},
YEAR = {1993},
EDITOR = {Bode, Arndt and Reeve, Mike and Wolf, Gottfried},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=694&spage=379},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Lai-Ko-Kuo/93,
AUTHOR = {Lai, Jenn-Shiang and Ko, Young-Ja and Kuo, Sy-Yen},
TITLE = {Artificial neural networks for the bipartite and $K$-partite subgraph problems},
BOOKTITLE = {Proceedings of the 5th International Conference on Parallel Architectures and Languages Europe, PARLE'93 (Munich, Germany, June 1993)},
SERIES = {LNCS},
VOLUME = {694},
PAGES = {426-437},
YEAR = {1993},
EDITOR = {Bode, Arndt and Reeve, Mike and Wolf, Gottfried},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=694&spage=426},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Kalyayev/93,
AUTHOR = {Kalyayev, I.A.},
TITLE = {Homogeneous neuronlike structures for optimization variational problem solving},
BOOKTITLE = {Proceedings of the 5th International Conference on Parallel Architectures and Languages Europe, PARLE'93 (Munich, Germany, June 1993)},
SERIES = {LNCS},
VOLUME = {694},
PAGES = {438-451},
YEAR = {1993},
EDITOR = {Bode, Arndt and Reeve, Mike and Wolf, Gottfried},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=694&spage=438},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Coroyer-Liu/93,
AUTHOR = {Coroyer, Christophe and Liu, Zhen},
TITLE = {Effectiveness of heuristics and simulated annealing for the scheduling of concurrent tasks --- an empirical comparison},
BOOKTITLE = {Proceedings of the 5th International Conference on Parallel Architectures and Languages Europe, PARLE'93 (Munich, Germany, June 1993)},
SERIES = {LNCS},
VOLUME = {694},
PAGES = {452-463},
YEAR = {1993},
EDITOR = {Bode, Arndt and Reeve, Mike and Wolf, Gottfried},
KEYWORDS = {scheduling, heuristics, simulated annealing, makespan, emprical comparison, parallel processing, precedence constraints},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=694&spage=452},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Ecker-Hirschberg/93,
AUTHOR = {Ecker, K. and Hirschberg, R.},
TITLE = {Task scheduling with restricted preemptions},
BOOKTITLE = {Proceedings of the 5th International Conference on Parallel Architectures and Languages Europe, PARLE'93 (Munich, Germany, June 1993)},
SERIES = {LNCS},
VOLUME = {694},
PAGES = {464-475},
YEAR = {1993},
EDITOR = {Bode, Arndt and Reeve, Mike and Wolf, Gottfried},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=694&spage=464},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Bareau-Caillaud-Jard-Thoraval/93,
AUTHOR = {Bareau, Cyrille and Caillaud, Beno{\^i}t and Jard, Claude and Thoraval, Ren{\'e}},
TITLE = {Correctness of automated distribution of sequential programs},
BOOKTITLE = {Proceedings of the 5th International Conference on Parallel Architectures and Languages Europe, PARLE'93 (Munich, Germany, June 1993)},
SERIES = {LNCS},
VOLUME = {694},
PAGES = {517-528},
YEAR = {1993},
EDITOR = {Bode, Arndt and Reeve, Mike and Wolf, Gottfried},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=694&spage=517},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Alonso-Mari/93,
AUTHOR = {Alonso, Luis M. and Mari, R. Pe{\~n}a},
TITLE = {Using state variables for the specification and verification of TCSP processes},
BOOKTITLE = {Proceedings of the 5th International Conference on Parallel Architectures and Languages Europe, PARLE'93 (Munich, Germany, June 1993)},
SERIES = {LNCS},
VOLUME = {694},
PAGES = {541-552},
YEAR = {1993},
EDITOR = {Bode, Arndt and Reeve, Mike and Wolf, Gottfried},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=694&spage=541},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Bampis-Haddad-Manoussakis-Santha/93,
AUTHOR = {Bampis, E. and Haddad, M. El and Manoussakis, Y. and Santha, M.},
TITLE = {A parallel reduction of Hamiltonian cycle to Hamiltonian path in tournaments},
BOOKTITLE = {Proceedings of the 5th International Conference on Parallel Architectures and Languages Europe, PARLE'93 (Munich, Germany, June 1993)},
SERIES = {LNCS},
VOLUME = {694},
PAGES = {553-560},
YEAR = {1993},
EDITOR = {Bode, Arndt and Reeve, Mike and Wolf, Gottfried},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=694&spage=553},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Bhagavathi-Olariu-Shen-Wilson/93,
AUTHOR = {Bhagavathi, D. and Olariu, S. and Shen, W. and Wilson, L.},
TITLE = {A unifying look at semigroup computations on meshes with mutliple broadcasting},
BOOKTITLE = {Proceedings of the 5th International Conference on Parallel Architectures and Languages Europe, PARLE'93 (Munich, Germany, June 1993)},
SERIES = {LNCS},
VOLUME = {694},
PAGES = {561-569},
YEAR = {1993},
EDITOR = {Bode, Arndt and Reeve, Mike and Wolf, Gottfried},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=694&spage=561},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Francis-Mathieson-Pannan/93,
AUTHOR = {Francis, Rhys and Mathieson, Ian and Pannan, Linda},
TITLE = {A fast, simple algorithm to balance a parallel multiway merge},
BOOKTITLE = {Proceedings of the 5th International Conference on Parallel Architectures and Languages Europe, PARLE'93 (Munich, Germany, June 1993)},
SERIES = {LNCS},
VOLUME = {694},
PAGES = {570-581},
YEAR = {1993},
EDITOR = {Bode, Arndt and Reeve, Mike and Wolf, Gottfried},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=694&spage=570},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Karl/93,
AUTHOR = {Karl, Wolfgang},
TITLE = {Some design aspects for VLIW architectures exploiting fine-grained parallelism},
BOOKTITLE = {Proceedings of the 5th International Conference on Parallel Architectures and Languages Europe, PARLE'93 (Munich, Germany, June 1993)},
SERIES = {LNCS},
VOLUME = {694},
PAGES = {582-599},
YEAR = {1993},
EDITOR = {Bode, Arndt and Reeve, Mike and Wolf, Gottfried},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=694&spage=582},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Farell-Kieronska/93,
AUTHOR = {Farell, C.A. and Kieronska, D.H.},
TITLE = {Load balanced optimisation of virtualised algorithms for implementation on massively parallel SIMD architectures},
BOOKTITLE = {Proceedings of the 5th International Conference on Parallel Architectures and Languages Europe, PARLE'93 (Munich, Germany, June 1993)},
SERIES = {LNCS},
VOLUME = {694},
PAGES = {600-609},
YEAR = {1993},
EDITOR = {Bode, Arndt and Reeve, Mike and Wolf, Gottfried},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=694&spage=600},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Akerholt-Hammond-Jones-Trinder/93,
AUTHOR = {Akerholt, G. and Hammond, K. and Jones, S. Peyton and Trinder, P.},
TITLE = {Processing transactions on GRIP, a parallel graph reducer},
BOOKTITLE = {Proceedings of the 5th International Conference on Parallel Architectures and Languages Europe, PARLE'93 (Munich, Germany, June 1993)},
SERIES = {LNCS},
VOLUME = {694},
PAGES = {634-647},
YEAR = {1993},
EDITOR = {Bode, Arndt and Reeve, Mike and Wolf, Gottfried},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=694&spage=634},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Kontoghiorghes-Clarke/93,
AUTHOR = {Kontoghiorghes, E.J. and Clarke, M.R.B.},
TITLE = {Computing the complete orthogonal decomposition using a SIMD array processor},
BOOKTITLE = {Proceedings of the 5th International Conference on Parallel Architectures and Languages Europe, PARLE'93 (Munich, Germany, June 1993)},
SERIES = {LNCS},
VOLUME = {694},
PAGES = {660-663},
YEAR = {1993},
EDITOR = {Bode, Arndt and Reeve, Mike and Wolf, Gottfried},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=694&spage=660},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Cannataro-Sergeyev-Spezzano-Talia/93,
AUTHOR = {Cannataro, M. and Sergeyev, Ya D. and Spezzano, G. and Talia, D.},
TITLE = {A dynamic load balancing strategy for massively parallel computers},
BOOKTITLE = {Proceedings of the 5th International Conference on Parallel Architectures and Languages Europe, PARLE'93 (Munich, Germany, June 1993)},
SERIES = {LNCS},
VOLUME = {694},
PAGES = {664-667},
YEAR = {1993},
EDITOR = {Bode, Arndt and Reeve, Mike and Wolf, Gottfried},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=694&spage=664},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Kunz/93,
AUTHOR = {Kunz, Thomas},
TITLE = {Issues in event abstraction},
BOOKTITLE = {Proceedings of the 5th International Conference on Parallel Architectures and Languages Europe, PARLE'93 (Munich, Germany, June 1993)},
SERIES = {LNCS},
VOLUME = {694},
PAGES = {668-671},
YEAR = {1993},
EDITOR = {Bode, Arndt and Reeve, Mike and Wolf, Gottfried},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=694&spage=668},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Koutny-Mancini-Pappalardo/93,
AUTHOR = {Koutny, Maciej and Mancini, Luigi V. and Pappalardo, Giuseppe},
TITLE = {Modelling replicated processing},
BOOKTITLE = {Proceedings of the 5th International Conference on Parallel Architectures and Languages Europe, PARLE'93 (Munich, Germany, June 1993)},
SERIES = {LNCS},
VOLUME = {694},
PAGES = {672-675},
YEAR = {1993},
EDITOR = {Bode, Arndt and Reeve, Mike and Wolf, Gottfried},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=694&spage=672},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Barragan-Roy/93,
AUTHOR = {Barragan, Luis Angel and Roy, Armando},
TITLE = {An empirical study of vision programs for data dependence analysis},
BOOKTITLE = {Proceedings of the 5th International Conference on Parallel Architectures and Languages Europe, PARLE'93 (Munich, Germany, June 1993)},
SERIES = {LNCS},
VOLUME = {694},
PAGES = {708-711},
YEAR = {1993},
EDITOR = {Bode, Arndt and Reeve, Mike and Wolf, Gottfried},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=694&spage=708},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Jones-Lins/93,
AUTHOR = {Jones, Richard E. and Lins, Rafael D.},
TITLE = {Cyclic weighted reference counting without delay},
BOOKTITLE = {Proceedings of the 5th International Conference on Parallel Architectures and Languages Europe, PARLE'93 (Munich, Germany, June 1993)},
SERIES = {LNCS},
VOLUME = {694},
PAGES = {712-715},
YEAR = {1993},
EDITOR = {Bode, Arndt and Reeve, Mike and Wolf, Gottfried},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=694&spage=712},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Anisimov/93,
AUTHOR = {Anisimov, Nikolay A.},
TITLE = {A disabling of event structures},
BOOKTITLE = {Proceedings of the 5th International Conference on Parallel Architectures and Languages Europe, PARLE'93 (Munich, Germany, June 1993)},
SERIES = {LNCS},
VOLUME = {694},
PAGES = {724-727},
YEAR = {1993},
EDITOR = {Bode, Arndt and Reeve, Mike and Wolf, Gottfried},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=694&spage=724},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Bernardeschi-Bondavalli-Simoncini/93,
AUTHOR = {Bernardeschi, Cinzia and Bondavalli, Andrea and Simoncini, Luca},
TITLE = {From data flow networks to process algebras},
BOOKTITLE = {Proceedings of the 5th International Conference on Parallel Architectures and Languages Europe, PARLE'93 (Munich, Germany, June 1993)},
SERIES = {LNCS},
VOLUME = {694},
PAGES = {740-743},
YEAR = {1993},
EDITOR = {Bode, Arndt and Reeve, Mike and Wolf, Gottfried},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=694&spage=740},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Heckler-Thiele/93,
AUTHOR = {Heckler, Christian and Thiele, Lothar},
TITLE = {Parallel complexity of lattice basis reduction and a floating-point parallel algorithm},
BOOKTITLE = {Proceedings of the 5th International Conference on Parallel Architectures and Languages Europe, PARLE'93 (Munich, Germany, June 1993)},
SERIES = {LNCS},
VOLUME = {694},
PAGES = {744-747},
YEAR = {1993},
EDITOR = {Bode, Arndt and Reeve, Mike and Wolf, Gottfried},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=694&spage=744},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Arcelli-Santo-Santo-Picariello/93,
AUTHOR = {Arcelli, Francesca and Santo, Massimo de and Santo, Michele di and Picariello, Antonio},
TITLE = {Computer vision applications experience with Actors},
BOOKTITLE = {Proceedings of the 5th International Conference on Parallel Architectures and Languages Europe, PARLE'93 (Munich, Germany, June 1993)},
SERIES = {LNCS},
VOLUME = {694},
PAGES = {748-751},
YEAR = {1993},
EDITOR = {Bode, Arndt and Reeve, Mike and Wolf, Gottfried},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=694&spage=748},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Ilin-Fet/93,
AUTHOR = {Il'in, V.P. and Fet, Ya I.},
TITLE = {Grid massively parallel processor},
BOOKTITLE = {Proceedings of the 5th International Conference on Parallel Architectures and Languages Europe, PARLE'93 (Munich, Germany, June 1993)},
SERIES = {LNCS},
VOLUME = {694},
PAGES = {752-755},
YEAR = {1993},
EDITOR = {Bode, Arndt and Reeve, Mike and Wolf, Gottfried},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=694&spage=752},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Li-Reeve-Schuerman-Veron-Bellone-Pradelles-Kolokouris-Stamatopoulos-Clark-Rawlings-Shirazi-Sardu/93,
AUTHOR = {Li, Liang-Liang and Reeve, Mike and Schuerman, Kees and V{\'e}ron, Andr{\'e} and Bellone, Jacques and Pradelles, Claudine and Kolokouris, Angelos and Stamatopoulos, Takis and Clark, Dominic and Rawlings, Chris and Shirazi, Jack and Sardu, Giuseppe},
TITLE = {APPLAUSE: Application \& Assessment of parallel programming using logic},
BOOKTITLE = {Proceedings of the 5th International Conference on Parallel Architectures and Languages Europe, PARLE'93 (Munich, Germany, June 1993)},
SERIES = {LNCS},
VOLUME = {694},
PAGES = {756-759},
YEAR = {1993},
EDITOR = {Bode, Arndt and Reeve, Mike and Wolf, Gottfried},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=694&spage=756},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Borrmann-Gelenbe-Hofstetter-Istavrinos-Klaus-Ward/93,
AUTHOR = {Borrmann, Lothar and Gelenbe, Erol and Hofstetter, Isabella and Istavrinos, Petro and Klaus, Karl and Ward, Mike},
TITLE = {EPOCH --- European parallel operating system based on Chorus},
BOOKTITLE = {Proceedings of the 5th International Conference on Parallel Architectures and Languages Europe, PARLE'93 (Munich, Germany, June 1993)},
SERIES = {LNCS},
VOLUME = {694},
PAGES = {760-763},
YEAR = {1993},
EDITOR = {Bode, Arndt and Reeve, Mike and Wolf, Gottfried},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=694&spage=760},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Ellis-Nutt/93,
AUTHOR = {Ellis, Clarence A. and Nutt, Gary J.},
TITLE = {Modeling and enactment of workflow systems},
BOOKTITLE = {Proceedings of the 14th International Conference on Application and Theory of Petri Nets, ICATPN'93 (Chicago, Illinois, June 21-25, 1993)},
SERIES = {LNCS},
VOLUME = {691},
PAGES = {1-16},
YEAR = {1993},
EDITOR = {Marsan, Marco Ajmone},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=691&spage=1},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Banares-Muro-Medrano-Villarroel/93,
AUTHOR = {Ba{\~n}ares, J.A. and Muro-Medrano, P.R. and Villarroel, J.L.},
TITLE = {Taking advantages of temporal redundancy in high level Petri nets implementations},
BOOKTITLE = {Proceedings of the 14th International Conference on Application and Theory of Petri Nets, ICATPN'93 (Chicago, Illinois, June 21-25, 1993)},
SERIES = {LNCS},
VOLUME = {691},
PAGES = {32-48},
YEAR = {1993},
EDITOR = {Ajmone Marsan, Marco},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=691&spage=32},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Barbeau-Bochmann/93,
AUTHOR = {Barbeau, Michel and Bochmann, Gregor von},
TITLE = {A subset of Lotos with the computational power of place/transition-nets},
BOOKTITLE = {Proceedings of the 14th International Conference on Application and Theory of Petri Nets, ICATPN'93 (Chicago, Illinois, June 21-25, 1993)},
SERIES = {LNCS},
VOLUME = {691},
PAGES = {49-68},
YEAR = {1993},
EDITOR = {Marsan, Marco Ajmone},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=691&spage=49},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Barkaoui-Dutheillet-Haddad/93,
AUTHOR = {Barkaoui, K. and Dutheillet, C. and Haddad, S.},
TITLE = {An efficient algorithm for finding structural deadlocks in colored Petri nets},
BOOKTITLE = {Proceedings of the 14th International Conference on Application and Theory of Petri Nets, ICATPN'93 (Chicago, Illinois, June 21-25, 1993)},
SERIES = {LNCS},
VOLUME = {691},
PAGES = {69-88},
YEAR = {1993},
EDITOR = {Ajmone Marsan, Marco},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=691&spage=69},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Bernardinello/93,
AUTHOR = {Bernardinello, Luca},
TITLE = {Synthesis of net systems},
BOOKTITLE = {Proceedings of the 14th International Conference on Application and Theory of Petri Nets, ICATPN'93 (Chicago, Illinois, June 21-25, 1993)},
SERIES = {LNCS},
VOLUME = {691},
PAGES = {89-105},
YEAR = {1993},
EDITOR = {Marsan, Marco Ajmone},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=691&spage=89},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Buchholz/93,
AUTHOR = {Buchholz, Peter},
TITLE = {Hierarchies in colored GSPNs},
BOOKTITLE = {Proceedings of the 14th International Conference on Application and Theory of Petri Nets, ICATPN'93 (Chicago, Illinois, June 21-25, 1993)},
SERIES = {LNCS},
VOLUME = {691},
PAGES = {106-125},
YEAR = {1993},
EDITOR = {Marsan, Marco Ajmone},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=691&spage=106},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Cao-Sanderson/93,
AUTHOR = {Cao, Tiehua and Sanderson, Arthur C.},
TITLE = {Variable reasoning and analysis about uncertainty with fuzzy Petri nets},
BOOKTITLE = {Proceedings of the 14th International Conference on Application and Theory of Petri Nets, ICATPN'93 (Chicago, Illinois, June 21-25, 1993)},
SERIES = {LNCS},
VOLUME = {691},
PAGES = {126-145},
YEAR = {1993},
EDITOR = {Marsan, Marco Ajmone},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=691&spage=126},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Chiola-Ferscha/93,
AUTHOR = {Chiola, Giovanni and Ferscha, Alois},
TITLE = {Distributed simulation of timed Petri nets: Exploiting the net structure to obtain efficiency},
BOOKTITLE = {Proceedings of the 14th International Conference on Application and Theory of Petri Nets, ICATPN'93 (Chicago, Illinois, June 21-25, 1993)},
SERIES = {LNCS},
VOLUME = {691},
PAGES = {146-165},
YEAR = {1993},
EDITOR = {Marsan, Marco Ajmone},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=691&spage=146},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Choi-Kulkarni-Trivedi/93,
AUTHOR = {Choi, Hoon and Kulkarni, Vidyadhar G. and Trivedi, Kishor S.},
TITLE = {Transient analysis of deterministic and stochastic Petri nets},
BOOKTITLE = {Proceedings of the 14th International Conference on Application and Theory of Petri Nets, ICATPN'93 (Chicago, Illinois, June 21-25, 1993)},
SERIES = {LNCS},
VOLUME = {691},
PAGES = {166-185},
YEAR = {1993},
EDITOR = {Marsan, Marco Ajmone},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=691&spage=166},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Christensen-Hansen/93,
AUTHOR = {Christensen, S{\o}ren and Hansen, Niels Damgaard},
TITLE = {Coloured Petri nets extended with place capacities, test arcs and inhibitor arcs},
BOOKTITLE = {Proceedings of the 14th International Conference on Application and Theory of Petri Nets, ICATPN'93 (Chicago, Illinois, June 21-25, 1993)},
SERIES = {LNCS},
VOLUME = {691},
PAGES = {186-205},
YEAR = {1993},
EDITOR = {Marsan, Marco Ajmone},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=691&spage=186},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Deng-Chang-Figueired-Perkusich/93,
AUTHOR = {Deng, Yi and Chang, S.K. and Figueired, Jorge C.A. de and Perkusich, Angelo},
TITLE = {Integrating software engineering methods and Petri nets for the specification and prototyping of complex information systems},
BOOKTITLE = {Proceedings of the 14th International Conference on Application and Theory of Petri Nets, ICATPN'93 (Chicago, Illinois, June 21-25, 1993)},
SERIES = {LNCS},
VOLUME = {691},
PAGES = {206-223},
YEAR = {1993},
EDITOR = {Marsan, Marco Ajmone},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=691&spage=206},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Desel-Esparza/93,
AUTHOR = {Desel, J{\"o}rg and Esparza, Javier},
TITLE = {Shortest paths in reachability graphs},
BOOKTITLE = {Proceedings of the 14th International Conference on Application and Theory of Petri Nets, ICATPN'93 (Chicago, Illinois, June 21-25, 1993)},
SERIES = {LNCS},
VOLUME = {691},
PAGES = {224-241},
YEAR = {1993},
EDITOR = {Marsan, Marco Ajmone},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=691&spage=224},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Devillers/93,
AUTHOR = {Devillers, Raymond},
TITLE = {Construction of S-invariants and S-components for refined Petri boxes},
BOOKTITLE = {Proceedings of the 14th International Conference on Application and Theory of Petri Nets, ICATPN'93 (Chicago, Illinois, June 21-25, 1993)},
SERIES = {LNCS},
VOLUME = {691},
PAGES = {242-261},
YEAR = {1993},
EDITOR = {Marsan, Marco Ajmone},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=691&spage=242},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Gomm-Kindler-Paech-Walter/93,
AUTHOR = {Gomm, D. and Kindler, E. and Paech, B. and Walter, R.},
TITLE = {Compositional liveness properties of EN-systems},
BOOKTITLE = {Proceedings of the 14th International Conference on Application and Theory of Petri Nets, ICATPN'93 (Chicago, Illinois, June 21-25, 1993)},
SERIES = {LNCS},
VOLUME = {691},
PAGES = {262-281},
YEAR = {1993},
EDITOR = {Marsan, Marco Ajmone},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=691&spage=262},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Hanisch/93,
AUTHOR = {Hanisch, Hans-Michael},
TITLE = {Analysis of place/transition nets with timed arcs and its application to batch process control},
BOOKTITLE = {Proceedings of the 14th International Conference on Application and Theory of Petri Nets, ICATPN'93 (Chicago, Illinois, June 21-25, 1993)},
SERIES = {LNCS},
VOLUME = {691},
PAGES = {282-299},
YEAR = {1993},
EDITOR = {Marsan, Marco Ajmone},
KEYWORDS = {timed Petri nets, system design, analysis, performance evaluation, batch process control},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=691&spage=282},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Ilie-Rojas/93,
AUTHOR = {Ili{\'e}, Jean-Michel and Rojas, Omar},
TITLE = {On well-formed nets and optimizations in enabling tests},
BOOKTITLE = {Proceedings of the 14th International Conference on Application and Theory of Petri Nets, ICATPN'93 (Chicago, Illinois, June 21-25, 1993)},
SERIES = {LNCS},
VOLUME = {691},
PAGES = {300-318},
YEAR = {1993},
EDITOR = {Marsan, Marco Ajmone},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=691&spage=300},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Kemper/93,
AUTHOR = {Kemper, Peter},
TITLE = {Linear time algorithm to find a minimal deadlock in a strongly connected free-choice net},
BOOKTITLE = {Proceedings of the 14th International Conference on Application and Theory of Petri Nets, ICATPN'93 (Chicago, Illinois, June 21-25, 1993)},
SERIES = {LNCS},
VOLUME = {691},
PAGES = {319-338},
YEAR = {1993},
EDITOR = {Marsan, Marco Ajmone},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=691&spage=319},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Berger-Lamontagne/93,
AUTHOR = {Berger, J. and Lamontagne, L.},
TITLE = {A colored Petri net model for a naval command and control system},
BOOKTITLE = {Proceedings of the 14th International Conference on Application and Theory of Petri Nets, ICATPN'93 (Chicago, Illinois, June 21-25, 1993)},
SERIES = {LNCS},
VOLUME = {691},
PAGES = {532-541},
YEAR = {1993},
EDITOR = {Marsan, Marco Ajmone},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=691&spage=532},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Capellmann-Dibold/93,
AUTHOR = {Capellmann, Carla and Dibold, Heinz},
TITLE = {Petri net based specifications of services in an intelligent network --- experiences gained from a test case application},
BOOKTITLE = {Proceedings of the 14th International Conference on Application and Theory of Petri Nets, ICATPN'93 (Chicago, Illinois, June 21-25, 1993)},
SERIES = {LNCS},
VOLUME = {691},
PAGES = {542-551},
YEAR = {1993},
EDITOR = {Marsan, Marco Ajmone},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=691&spage=542},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Cherkasova-Kotov-Rokicki/93,
AUTHOR = {Cherkasova, Ludmila and Kotov, Vadim and Rokicki, Thomas},
TITLE = {On net modeling of industrial size concurrent systems},
BOOKTITLE = {Proceedings of the 14th International Conference on Application and Theory of Petri Nets, ICATPN'93 (Chicago, Illinois, June 21-25, 1993)},
SERIES = {LNCS},
VOLUME = {691},
PAGES = {552-561},
YEAR = {1993},
EDITOR = {Marsan, Marco Ajmone},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=691&spage=552},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Hartley-Harvey/93,
AUTHOR = {Hartley, David A. and Harvey, David M.},
TITLE = {Analysis of the TMS320C40 communication channels using timed Petri nets},
BOOKTITLE = {Proceedings of the 14th International Conference on Application and Theory of Petri Nets, ICATPN'93 (Chicago, Illinois, June 21-25, 1993)},
SERIES = {LNCS},
VOLUME = {691},
PAGES = {562-571},
YEAR = {1993},
EDITOR = {Marsan, Marco Ajmone},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=691&spage=562},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Klas/93,
AUTHOR = {Klas, Guenter},
TITLE = {Protocol optimization for a packet-switched bus in case of burst traffic by means of GSPN},
BOOKTITLE = {Proceedings of the 14th International Conference on Application and Theory of Petri Nets, ICATPN'93 (Chicago, Illinois, June 21-25, 1993)},
SERIES = {LNCS},
VOLUME = {691},
PAGES = {572-581},
YEAR = {1993},
EDITOR = {Marsan, Marco Ajmone},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=691&spage=572},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Akutsu/93,
AUTHOR = {Akutsu, Tatsuya},
TITLE = {A linear time pattern matching algorithm between a string and a tree},
BOOKTITLE = {Proceedings of the 4th Annual Symposium on Combinatorial Pattern Matching, CPM'93 (Padova, Italy, June 2-4, 1993)},
SERIES = {LNCS},
VOLUME = {684},
PAGES = {1-10},
YEAR = {1993},
EDITOR = {Apostolico, A. and Crochemore, M. and Galil, Z. and Manber, U.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=684&spage=1},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Breslauer-Colussi-Toniolo/93a,
AUTHOR = {Breslauer, Dany and Colussi, Livio and Toniolo, Laura},
TITLE = {Tight comparison bounds for the string prefix-matching problem},
BOOKTITLE = {Proceedings of the 4th Annual Symposium on Combinatorial Pattern Matching, CPM'93 (Padova, Italy, June 2-4, 1993)},
SERIES = {LNCS},
VOLUME = {684},
PAGES = {11-19},
YEAR = {1993},
EDITOR = {Apostolico, A. and Crochemore, M. and Galil, Z. and Manber, U.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=684&spage=11},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Fischer-Norel-Nussinov-Wolfson/93,
AUTHOR = {Fischer, Daniel and Norel, Raquel and Nussinov, Ruth and Wolfson, Haim J.},
TITLE = {3-D docking of protein molecules},
BOOKTITLE = {Proceedings of the 4th Annual Symposium on Combinatorial Pattern Matching, CPM'93 (Padova, Italy, June 2-4, 1993)},
SERIES = {LNCS},
VOLUME = {684},
PAGES = {20-34},
YEAR = {1993},
EDITOR = {Apostolico, A. and Crochemore, M. and Galil, Z. and Manber, U.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=684&spage=20},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Garel/93,
AUTHOR = {Garel, Emmanuelle},
TITLE = {Minimal separators of two words},
BOOKTITLE = {Proceedings of the 4th Annual Symposium on Combinatorial Pattern Matching, CPM'93 (Padova, Italy, June 2-4, 1993)},
SERIES = {LNCS},
VOLUME = {684},
PAGES = {35-53},
YEAR = {1993},
EDITOR = {Apostolico, A. and Crochemore, M. and Galil, Z. and Manber, U.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=684&spage=35},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Iliopoulos-Moore-Park/93,
AUTHOR = {Iliopoulos, Costas S. and Moore, Dennis W.G. and Park, Kunsoo},
TITLE = {Covering a string},
BOOKTITLE = {Proceedings of the 4th Annual Symposium on Combinatorial Pattern Matching, CPM'93 (Padova, Italy, June 2-4, 1993)},
SERIES = {LNCS},
VOLUME = {684},
PAGES = {54-62},
YEAR = {1993},
EDITOR = {Apostolico, A. and Crochemore, M. and Galil, Z. and Manber, U.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=684&spage=54},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Irving-Fraser/93,
AUTHOR = {Irving, Robert W. and Fraser, Campbell B.},
TITLE = {On the worst-case behaviour of some approximation algorithms for the shortest common supersequence of $k$ strings},
BOOKTITLE = {Proceedings of the 4th Annual Symposium on Combinatorial Pattern Matching, CPM'93 (Padova, Italy, June 2-4, 1993)},
SERIES = {LNCS},
VOLUME = {684},
PAGES = {63-73},
YEAR = {1993},
EDITOR = {Apostolico, A. and Crochemore, M. and Galil, Z. and Manber, U.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=684&spage=63},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Kannan-Myers/93,
AUTHOR = {Kannan, Sampath K. and Myers, Eugene W.},
TITLE = {An algorithm for locating non-overlapping regions of maximum alignment score},
BOOKTITLE = {Proceedings of the 4th Annual Symposium on Combinatorial Pattern Matching, CPM'93 (Padova, Italy, June 2-4, 1993)},
SERIES = {LNCS},
VOLUME = {684},
PAGES = {74-86},
YEAR = {1993},
EDITOR = {Apostolico, A. and Crochemore, M. and Galil, Z. and Manber, U.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=684&spage=74},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Kececioglu-Sankoff/93,
AUTHOR = {Kececioglu, John and Sankoff, David},
TITLE = {Exact and approximation algorithms for the inversion distance between two chromosomes},
BOOKTITLE = {Proceedings of the 4th Annual Symposium on Combinatorial Pattern Matching, CPM'93 (Padova, Italy, June 2-4, 1993)},
SERIES = {LNCS},
VOLUME = {684},
PAGES = {87-105},
YEAR = {1993},
EDITOR = {Apostolico, A. and Crochemore, M. and Galil, Z. and Manber, U.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=684&spage=87},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Kececioglu/93,
AUTHOR = {Kececioglu, John},
TITLE = {The maximum weight trace problem in multiple sequence alignment},
BOOKTITLE = {Proceedings of the 4th Annual Symposium on Combinatorial Pattern Matching, CPM'93 (Padova, Italy, June 2-4, 1993)},
SERIES = {LNCS},
VOLUME = {684},
PAGES = {106-119},
YEAR = {1993},
EDITOR = {Apostolico, A. and Crochemore, M. and Galil, Z. and Manber, U.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=684&spage=106},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Landau-Schmidt/93,
AUTHOR = {Landau, Gad M. and Schmidt, Jeanette P.},
TITLE = {An algorithm for approximate tandem repeats},
BOOKTITLE = {Proceedings of the 4th Annual Symposium on Combinatorial Pattern Matching, CPM'93 (Padova, Italy, June 2-4, 1993)},
SERIES = {LNCS},
VOLUME = {684},
PAGES = {120-133},
YEAR = {1993},
EDITOR = {Apostolico, A. and Crochemore, M. and Galil, Z. and Manber, U.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=684&spage=120},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Landau-Vishkin/93,
AUTHOR = {Landau, Gad M. and Vishkin, Uzi},
TITLE = {Two dimensional pattern matching in a digitized image},
BOOKTITLE = {Proceedings of the 4th Annual Symposium on Combinatorial Pattern Matching, CPM'93 (Padova, Italy, June 2-4, 1993)},
SERIES = {LNCS},
VOLUME = {684},
PAGES = {134-151},
YEAR = {1993},
EDITOR = {Apostolico, A. and Crochemore, M. and Galil, Z. and Manber, U.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=684&spage=134},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Cosnard-Koiran/93,
AUTHOR = {Cosnard, Michel and Koiran, Pascal},
TITLE = {Relations between models of parallel abstract machines},
BOOKTITLE = {Proceedings of the 1st Heinz Nixdorf Symposium on Parallel Architectures and Their Efficient Use (Paderborn, Germany, November 1992)},
SERIES = {LNCS},
VOLUME = {678},
PAGES = {37-46},
YEAR = {1993},
EDITOR = {Meyer auf der Heide, F. and Monien, B. and Rosenberg, A.L.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=678&spage=37},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {Heinz Nixdorf Institute, Paderborn},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Formella-Massonne-Paul/93,
AUTHOR = {Formella, Arno and Massonne, Werner and Paul, Wolfgang J.},
TITLE = {Cost effectiveness of data flow machines and vector processors},
BOOKTITLE = {Proceedings of the 1st Heinz Nixdorf Symposium on Parallel Architectures and Their Efficient Use (Paderborn, Germany, November 1992)},
SERIES = {LNCS},
VOLUME = {678},
PAGES = {48-65},
YEAR = {1993},
EDITOR = {Meyer auf der Heide, F. and Monien, B. and Rosenberg, A.L.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=678&spage=48},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {Heinz Nixdorf Institute, Paderborn},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Leiserson/93,
AUTHOR = {Leiserson, Charles E.},
TITLE = {The networks of the Connection Machine CM-5},
BOOKTITLE = {Proceedings of the 1st Heinz Nixdorf Symposium on Parallel Architectures and Their Efficient Use (Paderborn, Germany, November 1992)},
SERIES = {LNCS},
VOLUME = {678},
PAGES = {66-67},
YEAR = {1993},
EDITOR = {Meyer auf der Heide, F. and Monien, B. and Rosenberg, A.L.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=678&spage=66},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {Heinz Nixdorf Institute, Paderborn},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Johnsson/93,
AUTHOR = {Johnsson, S. Lennart},
TITLE = {Massively parallel computing: Data distribution and communication},
BOOKTITLE = {Proceedings of the 1st Heinz Nixdorf Symposium on Parallel Architectures and Their Efficient Use (Paderborn, Germany, November 1992)},
SERIES = {LNCS},
VOLUME = {678},
PAGES = {68-92},
YEAR = {1993},
EDITOR = {Meyer auf der Heide, F. and Monien, B. and Rosenberg, A.L.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=678&spage=68},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {Heinz Nixdorf Institute, Paderborn},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Bertin-Roncin-Vuillemin/93,
AUTHOR = {Bertin, Patrice and Roncin, Didier and Vuillemin, Jean},
TITLE = {Programmable active memories: A performance assessment},
BOOKTITLE = {Proceedings of the 1st Heinz Nixdorf Symposium on Parallel Architectures and Their Efficient Use (Paderborn, Germany, November 1992)},
SERIES = {LNCS},
VOLUME = {678},
PAGES = {119-130},
YEAR = {1993},
EDITOR = {Meyer auf der Heide, F. and Monien, B. and Rosenberg, A.L.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=678&spage=119},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {Heinz Nixdorf Institute, Paderborn},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Leighton-Maggs/93,
AUTHOR = {Leighton, Tom and Maggs, Bruce},
TITLE = {The role of randomness in the design of interconnection networks},
BOOKTITLE = {Proceedings of the 1st Heinz Nixdorf Symposium on Parallel Architectures and Their Efficient Use (Paderborn, Germany, November 1992)},
SERIES = {LNCS},
VOLUME = {678},
PAGES = {131-145},
YEAR = {1993},
EDITOR = {Meyer auf der Heide, F. and Monien, B. and Rosenberg, A.L.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=678&spage=131},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {Heinz Nixdorf Institute, Paderborn},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Felperin-Raghavan-Upfal/93,
AUTHOR = {Felperin, Sergio and Raghavan, Prabhakar and Upfal, Eli},
TITLE = {An experimental study of wormhole routing in parallel computers},
BOOKTITLE = {Proceedings of the 1st Heinz Nixdorf Symposium on Parallel Architectures and Their Efficient Use (Paderborn, Germany, November 1992)},
SERIES = {LNCS},
VOLUME = {678},
PAGES = {156-165},
YEAR = {1993},
EDITOR = {Meyer auf der Heide, F. and Monien, B. and Rosenberg, A.L.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=678&spage=156},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {Heinz Nixdorf Institute, Paderborn},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Annexstein/93,
AUTHOR = {Annexstein, Fred S.},
TITLE = {Parallel implementations of graph embeddings},
BOOKTITLE = {Proceedings of the 1st Heinz Nixdorf Symposium on Parallel Architectures and Their Efficient Use (Paderborn, Germany, November 1992)},
SERIES = {LNCS},
VOLUME = {678},
PAGES = {207-217},
YEAR = {1993},
EDITOR = {Meyer auf der Heide, F. and Monien, B. and Rosenberg, A.L.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=678&spage=207},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {Heinz Nixdorf Institute, Paderborn},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Heydari-Sudborough/93,
AUTHOR = {Heydari, Mohammad H. and Sudborough, I. Hal},
TITLE = {On sorting by prefix reversals and the diameter of pancake networks},
BOOKTITLE = {Proceedings of the 1st Heinz Nixdorf Symposium on Parallel Architectures and Their Efficient Use (Paderborn, Germany, November 1992)},
SERIES = {LNCS},
VOLUME = {678},
PAGES = {218-227},
YEAR = {1993},
EDITOR = {Meyer auf der Heide, F. and Monien, B. and Rosenberg, A.L.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=678&spage=218},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {Heinz Nixdorf Institute, Paderborn},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Chehaibar/93,
AUTHOR = {Chehaibar, Ghassan},
TITLE = {Replacement of open interface subnets and stable state transformation equivalence},
BOOKTITLE = {Advances in Petri Nets 1993},
SERIES = {LNCS},
VOLUME = {674},
PAGES = {1-25},
YEAR = {1993},
EDITOR = {Rozenberg, Grzegorz},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=674&spage=1},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Cherkasova-Howell-Rosier/93,
AUTHOR = {Cherkasova, Ludmila and Howell, Rodney R. and Rosier, Louis E.},
TITLE = {Bounded self-stabilizing Petri nets},
BOOKTITLE = {Advances in Petri Nets 1993},
SERIES = {LNCS},
VOLUME = {674},
PAGES = {26-50},
YEAR = {1993},
EDITOR = {Rozenberg, Grzegorz},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=674&spage=26},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Couvreur-Haddad-Peyre/93,
AUTHOR = {Couvreur, J.M. and Haddad, S. and Peyre, J.F.},
TITLE = {Generative families of positive invariant in coloured nets sub-classes},
BOOKTITLE = {Advances in Petri Nets 1993},
SERIES = {LNCS},
VOLUME = {674},
PAGES = {51-70},
YEAR = {1993},
EDITOR = {Rozenberg, Grzegorz},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=674&spage=51},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{David-Alla/93,
AUTHOR = {David, Ren{\'e} and Alla, Hassane},
TITLE = {Autonomous and timed continuous Petri nets},
BOOKTITLE = {Advances in Petri Nets 1993},
SERIES = {LNCS},
VOLUME = {674},
PAGES = {71-90},
YEAR = {1993},
EDITOR = {Rozenberg, Grzegorz},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=674&spage=71},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Evans/93a,
AUTHOR = {Evans, John B.},
TITLE = {The Devnet: A Petri net for discrete event simulation},
BOOKTITLE = {Advances in Petri Nets 1993},
SERIES = {LNCS},
VOLUME = {674},
PAGES = {91-125},
YEAR = {1993},
EDITOR = {Rozenberg, Grzegorz},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=674&spage=91},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Ezpeleta-Couvreur-Silva/93,
AUTHOR = {Ezpeleta, J. and Couvreur, J.M. and Silva, M.},
TITLE = {A new technique for finding a generating family of siphons, traps and st-components. Application to colored Petri nets},
BOOKTITLE = {Advances in Petri Nets 1993},
SERIES = {LNCS},
VOLUME = {674},
PAGES = {126-147},
YEAR = {1993},
EDITOR = {Rozenberg, Grzegorz},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=674&spage=126},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Fehling/93,
AUTHOR = {Fehling, Rainer},
TITLE = {A concept of hierarchical Petri nets with building blocks},
BOOKTITLE = {Advances in Petri Nets 1993},
SERIES = {LNCS},
VOLUME = {674},
PAGES = {148-168},
YEAR = {1993},
EDITOR = {Rozenberg, Grzegorz},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=674&spage=148},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Feldbrugge/93,
AUTHOR = {Feldbrugge, Frits},
TITLE = {Petri net tool overview 1992},
BOOKTITLE = {Advances in Petri Nets 1993},
SERIES = {LNCS},
VOLUME = {674},
PAGES = {169-209},
YEAR = {1993},
EDITOR = {Rozenberg, Grzegorz},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=674&spage=169},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Finkel/93,
AUTHOR = {Finkel, Alain},
TITLE = {The minimal coverability graph for Petri nets},
BOOKTITLE = {Advances in Petri Nets 1993},
SERIES = {LNCS},
VOLUME = {674},
PAGES = {210-243},
YEAR = {1993},
EDITOR = {Rozenberg, Grzegorz},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=674&spage=210},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Gorrieri-Montanari/93,
AUTHOR = {Gorrieri, Roberto and Montanari, Ugo},
TITLE = {Distributed implementation of CCS},
BOOKTITLE = {Advances in Petri Nets 1993},
SERIES = {LNCS},
VOLUME = {674},
PAGES = {244-266},
YEAR = {1993},
EDITOR = {Rozenberg, Grzegorz},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=674&spage=244},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Gouet-Plo-Miguel-Ycart/93,
AUTHOR = {Gouet, R. and Plo, F. and Miguel, M. San and Ycart, B.},
TITLE = {Saturation conditions for stochastic Petri nets},
BOOKTITLE = {Advances in Petri Nets 1993},
SERIES = {LNCS},
VOLUME = {674},
PAGES = {267-280},
YEAR = {1993},
EDITOR = {Rozenberg, Grzegorz},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=674&spage=267},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Laftit-Proth-Xie/93,
AUTHOR = {Laftit, S. and Proth, J.M. and Xie, X.L.},
TITLE = {Marking optimization in timed event graphs},
BOOKTITLE = {Advances in Petri Nets 1993},
SERIES = {LNCS},
VOLUME = {674},
PAGES = {281-300},
YEAR = {1993},
EDITOR = {Rozenberg, Grzegorz},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=674&spage=281},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Li-Woodside/93,
AUTHOR = {Li, Yao and Woodside, C. Murray},
TITLE = {Iterative decomposition and aggregation of stochastic marked graph Petri nets},
BOOKTITLE = {Advances in Petri Nets 1993},
SERIES = {LNCS},
VOLUME = {674},
PAGES = {325-349},
YEAR = {1993},
EDITOR = {Rozenberg, Grzegorz},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=674&spage=325},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Calderbank-Fishburn-Rabinovich/93,
AUTHOR = {Calderbank, A.R. and Fishburn, P.C. and Rabinovich, A.},
TITLE = {Sequence based methods for data transmission and source compression},
BOOKTITLE = {Proceedings of the 10th International Symposium on Applied Algebra, Algebraic Algorithms and Error-Correcting Codes, AAECC'93 (San Juan de Puerto Rico, Puerto Rico, May 1993)},
SERIES = {LNCS},
VOLUME = {673},
PAGES = {1-12},
YEAR = {1993},
EDITOR = {Cohen, G{\'e}rard and Mora, Teo and Moreno, Oscar},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=673&spage=1},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Hammons-Kumar-Calderbank-Sloane-Sole/93,
AUTHOR = {Hammons, A. Roger, Jr. and Kumar, P. Vijay and Calderbank, A.R. and Sloane, N.J.A. and Sol{\'e}, Patrick},
TITLE = {On the apparent duality of the Kerdock and Preparata codes},
BOOKTITLE = {Proceedings of the 10th International Symposium on Applied Algebra, Algebraic Algorithms and Error-Correcting Codes, AAECC'93 (San Juan de Puerto Rico, Puerto Rico, May 1993)},
SERIES = {LNCS},
VOLUME = {673},
PAGES = {13-24},
YEAR = {1993},
EDITOR = {Cohen, G{\'e}rard and Mora, Teo and Moreno, Oscar},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=673&spage=13},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Levenshtein/93,
AUTHOR = {Levenshtein, Vladimir},
TITLE = {Bounds for codes as solutions of extremum problems for systems of orthogonal polynomials},
BOOKTITLE = {Proceedings of the 10th International Symposium on Applied Algebra, Algebraic Algorithms and Error-Correcting Codes, AAECC'93 (San Juan de Puerto Rico, Puerto Rico, May 1993)},
SERIES = {LNCS},
VOLUME = {673},
PAGES = {25-42},
YEAR = {1993},
EDITOR = {Cohen, G{\'e}rard and Mora, Teo and Moreno, Oscar},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=673&spage=25},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Bigatti-Conti-Robbiano-Traverso/93,
AUTHOR = {Bigatti, Anna Maria and Conti, Pasqualina and Robbiano, Lorenzo and Traverso, Carlo},
TITLE = {A ``Divide and Conquer'' algorithm for Hilbert-Poincar{\'e} series, multiplicity and dimension of monomial ideals},
BOOKTITLE = {Proceedings of the 10th International Symposium on Applied Algebra, Algebraic Algorithms and Error-Correcting Codes, AAECC'93 (San Juan de Puerto Rico, Puerto Rico, May 1993)},
SERIES = {LNCS},
VOLUME = {673},
PAGES = {76-88},
YEAR = {1993},
EDITOR = {Cohen, G{\'e}rard and Mora, Teo and Moreno, Oscar},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=673&spage=76},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Canny-Emiris/93,
AUTHOR = {Canny, John and Emiris, Ioannis},
TITLE = {An efficient algorithm for the sparse mixed resultant},
BOOKTITLE = {Proceedings of the 10th International Symposium on Applied Algebra, Algebraic Algorithms and Error-Correcting Codes, AAECC'93 (San Juan de Puerto Rico, Puerto Rico, May 1993)},
SERIES = {LNCS},
VOLUME = {673},
PAGES = {89-104},
YEAR = {1993},
EDITOR = {Cohen, G{\'e}rard and Mora, Teo and Moreno, Oscar},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=673&spage=89},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Fang-Tilborg-Sun-Honkala/93,
AUTHOR = {Fang, G. and Tilborg, H.C.A. van and Sun, F.W. and Honkala, I.S.},
TITLE = {Some features of binary block codes for correcting asymmetric errors},
BOOKTITLE = {Proceedings of the 10th International Symposium on Applied Algebra, Algebraic Algorithms and Error-Correcting Codes, AAECC'93 (San Juan de Puerto Rico, Puerto Rico, May 1993)},
SERIES = {LNCS},
VOLUME = {673},
PAGES = {105-120},
YEAR = {1993},
EDITOR = {Cohen, G{\'e}rard and Mora, Teo and Moreno, Oscar},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=673&spage=105},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Fellows-Koblitz/93,
AUTHOR = {Fellows, Michael R. and Koblitz, Neal},
TITLE = {Fixed-parameter complexity and cryptography},
BOOKTITLE = {Proceedings of the 10th International Symposium on Applied Algebra, Algebraic Algorithms and Error-Correcting Codes, AAECC'93 (San Juan de Puerto Rico, Puerto Rico, May 1993)},
SERIES = {LNCS},
VOLUME = {673},
PAGES = {121-131},
YEAR = {1993},
EDITOR = {Cohen, G{\'e}rard and Mora, Teo and Moreno, Oscar},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=673&spage=121},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Feng-Rao/93,
AUTHOR = {Feng, G.L. and Rao, T.R.N.},
TITLE = {A class of algebraic geometric codes from curves in high-dimensional projective spaces},
BOOKTITLE = {Proceedings of the 10th International Symposium on Applied Algebra, Algebraic Algorithms and Error-Correcting Codes, AAECC'93 (San Juan de Puerto Rico, Puerto Rico, May 1993)},
SERIES = {LNCS},
VOLUME = {673},
PAGES = {132-146},
YEAR = {1993},
EDITOR = {Cohen, G{\'e}rard and Mora, Teo and Moreno, Oscar},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=673&spage=132},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Gong/93,
AUTHOR = {Gong, Guang},
TITLE = {A new class of sequences: Mapping sequences},
BOOKTITLE = {Proceedings of the 10th International Symposium on Applied Algebra, Algebraic Algorithms and Error-Correcting Codes, AAECC'93 (San Juan de Puerto Rico, Puerto Rico, May 1993)},
SERIES = {LNCS},
VOLUME = {673},
PAGES = {147-161},
YEAR = {1993},
EDITOR = {Cohen, G{\'e}rard and Mora, Teo and Moreno, Oscar},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=673&spage=147},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Grigoriev-Karpinski/93,
AUTHOR = {Grigoriev, Dima and Karpinski, Marek},
TITLE = {A zero-test and an interpolation algorithm for the shifted sparse polynomials},
BOOKTITLE = {Proceedings of the 10th International Symposium on Applied Algebra, Algebraic Algorithms and Error-Correcting Codes, AAECC'93 (San Juan de Puerto Rico, Puerto Rico, May 1993)},
SERIES = {LNCS},
VOLUME = {673},
PAGES = {162-169},
YEAR = {1993},
EDITOR = {Cohen, G{\'e}rard and Mora, Teo and Moreno, Oscar},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=673&spage=162},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Hong/93,
AUTHOR = {Hong, Hoon},
TITLE = {Parallelization of quantifier elimination on a workstation network},
BOOKTITLE = {Proceedings of the 10th International Symposium on Applied Algebra, Algebraic Algorithms and Error-Correcting Codes, AAECC'93 (San Juan de Puerto Rico, Puerto Rico, May 1993)},
SERIES = {LNCS},
VOLUME = {673},
PAGES = {170-179},
YEAR = {1993},
EDITOR = {Cohen, G{\'e}rard and Mora, Teo and Moreno, Oscar},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=673&spage=170},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Janwa-Wilson/93,
AUTHOR = {Janwa, H. and Wilson, R.M.},
TITLE = {Hyperplane sections of Fermat varieties in $P^3$ in char.\ 2 and some applications to cyclic codes},
BOOKTITLE = {Proceedings of the 10th International Symposium on Applied Algebra, Algebraic Algorithms and Error-Correcting Codes, AAECC'93 (San Juan de Puerto Rico, Puerto Rico, May 1993)},
SERIES = {LNCS},
VOLUME = {673},
PAGES = {180-194},
YEAR = {1993},
EDITOR = {Cohen, G{\'e}rard and Mora, Teo and Moreno, Oscar},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=673&spage=180},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Kaltofen/93a,
AUTHOR = {Kaltofen, Erich},
TITLE = {Analysis of Coppersmith's block Wiedemann algorithm for the parallel solution of sparse linear systems},
BOOKTITLE = {Proceedings of the 10th International Symposium on Applied Algebra, Algebraic Algorithms and Error-Correcting Codes, AAECC'93 (San Juan de Puerto Rico, Puerto Rico, May 1993)},
SERIES = {LNCS},
VOLUME = {673},
PAGES = {195-212},
YEAR = {1993},
EDITOR = {Cohen, G{\'e}rard and Mora, Teo and Moreno, Oscar},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=673&spage=195},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Koseleff/93,
AUTHOR = {Koseleff, P.-V.},
TITLE = {Relations among Lie formal series and constructions of symplectic integrators},
BOOKTITLE = {Proceedings of the 10th International Symposium on Applied Algebra, Algebraic Algorithms and Error-Correcting Codes, AAECC'93 (San Juan de Puerto Rico, Puerto Rico, May 1993)},
SERIES = {LNCS},
VOLUME = {673},
PAGES = {213-230},
YEAR = {1993},
EDITOR = {Cohen, G{\'e}rard and Mora, Teo and Moreno, Oscar},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=673&spage=213},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Lachaud/93,
AUTHOR = {Lachaud, Gilles},
TITLE = {Exponential sums as discrete Fourier transform with invariant phase functions},
BOOKTITLE = {Proceedings of the 10th International Symposium on Applied Algebra, Algebraic Algorithms and Error-Correcting Codes, AAECC'93 (San Juan de Puerto Rico, Puerto Rico, May 1993)},
SERIES = {LNCS},
VOLUME = {673},
PAGES = {231-243},
YEAR = {1993},
EDITOR = {Cohen, G{\'e}rard and Mora, Teo and Moreno, Oscar},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=673&spage=231},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Lempel-Seroussi/93,
AUTHOR = {Lempel, Abraham and Seroussi, Gadiel},
TITLE = {Application of finite fields to memory interleaving},
BOOKTITLE = {Proceedings of the 10th International Symposium on Applied Algebra, Algebraic Algorithms and Error-Correcting Codes, AAECC'93 (San Juan de Puerto Rico, Puerto Rico, May 1993)},
SERIES = {LNCS},
VOLUME = {673},
PAGES = {244-256},
YEAR = {1993},
EDITOR = {Cohen, G{\'e}rard and Mora, Teo and Moreno, Oscar},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=673&spage=244},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Castellani/93,
AUTHOR = {Castellani, Ilaria},
TITLE = {Causal and distributed semantics for concurrent},
BOOKTITLE = {Proceedings of the 10th Annual Symposium on Theoretical Aspects of Computer Science, STACS'93 (W{\"u}rzburg, Germany, February 25-27, 1993)},
SERIES = {LNCS},
VOLUME = {665},
PAGES = {1},
YEAR = {1993},
EDITOR = {Enjalbert, P. and Finkel, A. and Wagner, K.W.},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {GI, afcet},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
PCOMMENT = {abstract only},
}
@incollection{Kobler/93,
AUTHOR = {K{\"o}bler, Johannes},
TITLE = {Locating P/poly optimally in the extended low hierarchy},
BOOKTITLE = {Proceedings of the 10th Annual Symposium on Theoretical Aspects of Computer Science, STACS'93 (W{\"u}rzburg, Germany, February 25-27, 1993)},
SERIES = {LNCS},
VOLUME = {665},
PAGES = {28-37},
YEAR = {1993},
EDITOR = {Enjalbert, P. and Finkel, A. and Wagner, K.W.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=665&spage=28},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {GI, afcet},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Devienne-Lebegue-Routier/93,
AUTHOR = {Devienne, Philippe and Leb{\`e}gue, Patrick and Routier, Jean-Christophe},
TITLE = {Halting problem of one binary Horn clause is undecidable},
BOOKTITLE = {Proceedings of the 10th Annual Symposium on Theoretical Aspects of Computer Science, STACS'93 (W{\"u}rzburg, Germany, February 25-27, 1993)},
SERIES = {LNCS},
VOLUME = {665},
PAGES = {48-57},
YEAR = {1993},
EDITOR = {Enjalbert, P. and Finkel, A. and Wagner, K.W.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=665&spage=48},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {GI, afcet},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Chaochen-Hansen-Sestoft/93,
AUTHOR = {Chaochen, Zhou and Hansen, Michael R. and Sestoft, Peter},
TITLE = {Decidability and undecidability results for duration calculus},
BOOKTITLE = {Proceedings of the 10th Annual Symposium on Theoretical Aspects of Computer Science, STACS'93 (W{\"u}rzburg, Germany, February 25-27, 1993)},
SERIES = {LNCS},
VOLUME = {665},
PAGES = {58-68},
YEAR = {1993},
EDITOR = {Enjalbert, P. and Finkel, A. and Wagner, K.W.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=665&spage=58},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {GI, afcet},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Eiter-Gottlob/93a,
AUTHOR = {Eiter, Thomas and Gottlob, Georg},
TITLE = {The complexity of logic-based abduction},
BOOKTITLE = {Proceedings of the 10th Annual Symposium on Theoretical Aspects of Computer Science, STACS'93 (W{\"u}rzburg, Germany, February 25-27, 1993)},
SERIES = {LNCS},
VOLUME = {665},
PAGES = {70-79},
YEAR = {1993},
EDITOR = {Enjalbert, P. and Finkel, A. and Wagner, K.W.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=665&spage=70},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {GI, afcet},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Kloks-Kratsch/93,
AUTHOR = {Kloks, T. and Kratsch, D.},
TITLE = {Treewidth of chordal bipartite graphs},
BOOKTITLE = {Proceedings of the 10th Annual Symposium on Theoretical Aspects of Computer Science, STACS'93 (W{\"u}rzburg, Germany, February 25-27, 1993)},
SERIES = {LNCS},
VOLUME = {665},
PAGES = {80-89},
YEAR = {1993},
EDITOR = {Enjalbert, P. and Finkel, A. and Wagner, K.W.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=665&spage=80},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {GI, afcet},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Huckenbeck/93,
AUTHOR = {Huckenbeck, Ulrich},
TITLE = {On paths in networks with valves},
BOOKTITLE = {Proceedings of the 10th Annual Symposium on Theoretical Aspects of Computer Science, STACS'93 (W{\"u}rzburg, Germany, February 25-27, 1993)},
SERIES = {LNCS},
VOLUME = {665},
PAGES = {90-99},
YEAR = {1993},
EDITOR = {Enjalbert, P. and Finkel, A. and Wagner, K.W.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=665&spage=90},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {GI, afcet},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Desel-Reisig/93,
AUTHOR = {Desel, J{\"o}rg and Reisig, Wolfgang},
TITLE = {The synthesis problem of Petri nets},
BOOKTITLE = {Proceedings of the 10th Annual Symposium on Theoretical Aspects of Computer Science, STACS'93 (W{\"u}rzburg, Germany, February 25-27, 1993)},
SERIES = {LNCS},
VOLUME = {665},
PAGES = {120-129},
YEAR = {1993},
EDITOR = {Enjalbert, P. and Finkel, A. and Wagner, K.W.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=665&spage=120},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {GI, afcet},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Best-Devillers-Esparza/93,
AUTHOR = {Best, Eike and Devillers, Raymond and Esparza, Javier},
TITLE = {General refinement and recursion operators for the Petri box calculus},
BOOKTITLE = {Proceedings of the 10th Annual Symposium on Theoretical Aspects of Computer Science, STACS'93 (W{\"u}rzburg, Germany, February 25-27, 1993)},
SERIES = {LNCS},
VOLUME = {665},
PAGES = {130-140},
YEAR = {1993},
EDITOR = {Enjalbert, P. and Finkel, A. and Wagner, K.W.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=665&spage=130},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {GI, afcet},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Bonacina-Hsiang/93,
AUTHOR = {Bonacina, Maria Paola and Hsiang, Jieh},
TITLE = {On fairness in distributed automated deduction},
BOOKTITLE = {Proceedings of the 10th Annual Symposium on Theoretical Aspects of Computer Science, STACS'93 (W{\"u}rzburg, Germany, February 25-27, 1993)},
SERIES = {LNCS},
VOLUME = {665},
PAGES = {141-152},
YEAR = {1993},
EDITOR = {Enjalbert, P. and Finkel, A. and Wagner, K.W.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=665&spage=141},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {GI, afcet},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Allender-Balcazar-Immerman/93,
AUTHOR = {Allender, Eric and Balc{\'a}zar, Jos{\'e} and Immerman, Neil},
TITLE = {A first-order isomorphism theorem},
BOOKTITLE = {Proceedings of the 10th Annual Symposium on Theoretical Aspects of Computer Science, STACS'93 (W{\"u}rzburg, Germany, February 25-27, 1993)},
SERIES = {LNCS},
VOLUME = {665},
PAGES = {163-174},
YEAR = {1993},
EDITOR = {Enjalbert, P. and Finkel, A. and Wagner, K.W.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=665&spage=163},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {GI, afcet},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Buhrman-Hoene-Torenvliet/93,
AUTHOR = {Buhrman, Harry and Hoene, Albrecht and Torenvliet, Leen},
TITLE = {Splittings, robustness and structure of complete sets},
BOOKTITLE = {Proceedings of the 10th Annual Symposium on Theoretical Aspects of Computer Science, STACS'93 (W{\"u}rzburg, Germany, February 25-27, 1993)},
SERIES = {LNCS},
VOLUME = {665},
PAGES = {175-184},
YEAR = {1993},
EDITOR = {Enjalbert, P. and Finkel, A. and Wagner, K.W.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=665&spage=175},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {GI, afcet},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Hemachandra-Jha/93,
AUTHOR = {Hemachandra, Lane A. and Jha, Sudhir K.},
TITLE = {Defying upward and downward separation},
BOOKTITLE = {Proceedings of the 10th Annual Symposium on Theoretical Aspects of Computer Science, STACS'93 (W{\"u}rzburg, Germany, February 25-27, 1993)},
SERIES = {LNCS},
VOLUME = {665},
PAGES = {185-195},
YEAR = {1993},
EDITOR = {Enjalbert, P. and Finkel, A. and Wagner, K.W.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=665&spage=185},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {GI, afcet},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Hoene-Nickelsen/93,
AUTHOR = {Hoene, Albrecht and Nickelsen, Arfst},
TITLE = {Counting, selecting, and sorting by query-bounded machines},
BOOKTITLE = {Proceedings of the 10th Annual Symposium on Theoretical Aspects of Computer Science, STACS'93 (W{\"u}rzburg, Germany, February 25-27, 1993)},
SERIES = {LNCS},
VOLUME = {665},
PAGES = {196-205},
YEAR = {1993},
EDITOR = {Enjalbert, P. and Finkel, A. and Wagner, K.W.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=665&spage=196},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {GI, afcet},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Jantzen-Petersen/93,
AUTHOR = {Jantzen, M. and Petersen, H.},
TITLE = {Cancellation in context-free languages: Enrichment by reduction},
BOOKTITLE = {Proceedings of the 10th Annual Symposium on Theoretical Aspects of Computer Science, STACS'93 (W{\"u}rzburg, Germany, February 25-27, 1993)},
SERIES = {LNCS},
VOLUME = {665},
PAGES = {206-215},
YEAR = {1993},
EDITOR = {Enjalbert, P. and Finkel, A. and Wagner, K.W.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=665&spage=206},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {GI, afcet},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Cassaigne/93a,
AUTHOR = {Cassaigne, Julien},
TITLE = {Counting overlap-free binary words},
BOOKTITLE = {Proceedings of the 10th Annual Symposium on Theoretical Aspects of Computer Science, STACS'93 (W{\"u}rzburg, Germany, February 25-27, 1993)},
SERIES = {LNCS},
VOLUME = {665},
PAGES = {216-225},
YEAR = {1993},
EDITOR = {Enjalbert, P. and Finkel, A. and Wagner, K.W.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=665&spage=216},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {GI, afcet},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Krob-Lalonde/93,
AUTHOR = {Krob, D. and Lalonde, P.},
TITLE = {Partially commutative Lyndon words},
BOOKTITLE = {Proceedings of the 10th Annual Symposium on Theoretical Aspects of Computer Science, STACS'93 (W{\"u}rzburg, Germany, February 25-27, 1993)},
SERIES = {LNCS},
VOLUME = {665},
PAGES = {237-246},
YEAR = {1993},
EDITOR = {Enjalbert, P. and Finkel, A. and Wagner, K.W.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=665&spage=237},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {GI, afcet},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Formann/93,
AUTHOR = {Formann, Michael},
TITLE = {Weighted closest pairs},
BOOKTITLE = {Proceedings of the 10th Annual Symposium on Theoretical Aspects of Computer Science, STACS'93 (W{\"u}rzburg, Germany, February 25-27, 1993)},
SERIES = {LNCS},
VOLUME = {665},
PAGES = {270-281},
YEAR = {1993},
EDITOR = {Enjalbert, P. and Finkel, A. and Wagner, K.W.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=665&spage=270},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {GI, afcet},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Czumaj/93,
AUTHOR = {Czumaj, Artur},
TITLE = {Parallel algorithm for the matrix chain product and the optimal triangulation problems (extended abstract)},
BOOKTITLE = {Proceedings of the 10th Annual Symposium on Theoretical Aspects of Computer Science, STACS'93 (W{\"u}rzburg, Germany, February 25-27, 1993)},
SERIES = {LNCS},
VOLUME = {665},
PAGES = {294-305},
YEAR = {1993},
EDITOR = {Enjalbert, P. and Finkel, A. and Wagner, K.W.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=665&spage=294},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {GI, afcet},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Dessmark-Lingas-Maheshwari/93,
AUTHOR = {Dessmark, Anders and Lingas, Andrzej and Maheshwari, Anil},
TITLE = {Multi-list ranking: complexity and applications},
BOOKTITLE = {Proceedings of the 10th Annual Symposium on Theoretical Aspects of Computer Science, STACS'93 (W{\"u}rzburg, Germany, February 25-27, 1993)},
SERIES = {LNCS},
VOLUME = {665},
PAGES = {306-316},
YEAR = {1993},
EDITOR = {Enjalbert, P. and Finkel, A. and Wagner, K.W.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=665&spage=306},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {GI, afcet},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Kucera-Mehlhorn-Preis-Schwarzenecker/93,
AUTHOR = {Ku{\v{c}}era, L. and Mehlhorn, K. and Preis, B. and Schwarzenecker, E.},
TITLE = {Exact algorithms for a geometric packing problem (extended abstract)},
BOOKTITLE = {Proceedings of the 10th Annual Symposium on Theoretical Aspects of Computer Science, STACS'93 (W{\"u}rzburg, Germany, February 25-27, 1993)},
SERIES = {LNCS},
VOLUME = {665},
PAGES = {317-322},
YEAR = {1993},
EDITOR = {Enjalbert, P. and Finkel, A. and Wagner, K.W.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=665&spage=317},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {GI, afcet},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Culik-Dube/93c,
AUTHOR = {{\v{C}}ulik II, Karel and Dube, Simant},
TITLE = {Efficient compression of wavelet coefficients for smooth and fractal-like data (extended abstract)},
BOOKTITLE = {Proceedings of the 10th Annual Symposium on Theoretical Aspects of Computer Science, STACS'93 (W{\"u}rzburg, Germany, February 25-27, 1993)},
SERIES = {LNCS},
VOLUME = {665},
PAGES = {343-353},
YEAR = {1993},
EDITOR = {Enjalbert, P. and Finkel, A. and Wagner, K.W.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=665&spage=343},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {GI, afcet},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Ibarra-Jiang-Tran-Wang/93b,
AUTHOR = {Ibarra, Oscar H. and Jiang, Tao and Tran, Nicholas and Wang, Hui},
TITLE = {On the equivalence of two-way pushdown automata and counter machines over bounded languages},
BOOKTITLE = {Proceedings of the 10th Annual Symposium on Theoretical Aspects of Computer Science, STACS'93 (W{\"u}rzburg, Germany, February 25-27, 1993)},
SERIES = {LNCS},
VOLUME = {665},
PAGES = {354-364},
YEAR = {1993},
EDITOR = {Enjalbert, P. and Finkel, A. and Wagner, K.W.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=665&spage=354},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {GI, afcet},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Cosnard-Garzon-Koiran/93,
AUTHOR = {Cosnard, Michel and Garzon, Max and Koiran, Pascal},
TITLE = {Computability properties of low-dimensional dynamical systems},
BOOKTITLE = {Proceedings of the 10th Annual Symposium on Theoretical Aspects of Computer Science, STACS'93 (W{\"u}rzburg, Germany, February 25-27, 1993)},
SERIES = {LNCS},
VOLUME = {665},
PAGES = {365-373},
YEAR = {1993},
EDITOR = {Enjalbert, P. and Finkel, A. and Wagner, K.W.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=665&spage=365},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {GI, afcet},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Abrahamson-Downey-Fellows/93,
AUTHOR = {Abrahamson, Karl A. and Downey, Rodney G. and Fellows, Michael R.},
TITLE = {Fixed-parameter intractability II (extended abstract)},
BOOKTITLE = {Proceedings of the 10th Annual Symposium on Theoretical Aspects of Computer Science, STACS'93 (W{\"u}rzburg, Germany, February 25-27, 1993)},
SERIES = {LNCS},
VOLUME = {665},
PAGES = {374-385},
YEAR = {1993},
EDITOR = {Enjalbert, P. and Finkel, A. and Wagner, K.W.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=665&spage=374},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {GI, afcet},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Fich-Impagliazzo-Kapron-King-Kutylowski/93,
AUTHOR = {Fich, Faith E. and Impagliazzo, Russell and Kapron, Bruce and King, Valerie and Kuty{\l}owski, Miros{\l}aw},
TITLE = {Limits on the power of parallel random access machines with weak forms of write conflict resolution},
BOOKTITLE = {Proceedings of the 10th Annual Symposium on Theoretical Aspects of Computer Science, STACS'93 (W{\"u}rzburg, Germany, February 25-27, 1993)},
SERIES = {LNCS},
VOLUME = {665},
PAGES = {386-397},
YEAR = {1993},
EDITOR = {Enjalbert, P. and Finkel, A. and Wagner, K.W.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=665&spage=386},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {GI, afcet},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Fenner-Homer-Ogiwara-Selman/93,
AUTHOR = {Fenner, Stephen and Homer, Steve and Ogiwara, Mitsunori and Selman, Alan L.},
TITLE = {On using oracles that compute values},
BOOKTITLE = {Proceedings of the 10th Annual Symposium on Theoretical Aspects of Computer Science, STACS'93 (W{\"u}rzburg, Germany, February 25-27, 1993)},
SERIES = {LNCS},
VOLUME = {665},
PAGES = {398-407},
YEAR = {1993},
EDITOR = {Enjalbert, P. and Finkel, A. and Wagner, K.W.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=665&spage=398},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {GI, afcet},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
NOTE = {note list of corrections},
}
@incollection{Gengler/93,
AUTHOR = {Gengler, Romain},
TITLE = {Multicounter automata with sublogarithmic reversal bounds},
BOOKTITLE = {Proceedings of the 10th Annual Symposium on Theoretical Aspects of Computer Science, STACS'93 (W{\"u}rzburg, Germany, February 25-27, 1993)},
SERIES = {LNCS},
VOLUME = {665},
PAGES = {408-417},
YEAR = {1993},
EDITOR = {Enjalbert, P. and Finkel, A. and Wagner, K.W.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=665&spage=408},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {GI, afcet},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Hungar/93,
AUTHOR = {Hungar, Hardi},
TITLE = {The complexity of verifying functional programs},
BOOKTITLE = {Proceedings of the 10th Annual Symposium on Theoretical Aspects of Computer Science, STACS'93 (W{\"u}rzburg, Germany, February 25-27, 1993)},
SERIES = {LNCS},
VOLUME = {665},
PAGES = {428-439},
YEAR = {1993},
EDITOR = {Enjalbert, P. and Finkel, A. and Wagner, K.W.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=665&spage=428},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {GI, afcet},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Lentfert-Swierstra/93,
AUTHOR = {Lentfert, P.J.A. and Swierstra, S.D.},
TITLE = {Towards the formal design of self-stabilizing distributed algorithms},
BOOKTITLE = {Proceedings of the 10th Annual Symposium on Theoretical Aspects of Computer Science, STACS'93 (W{\"u}rzburg, Germany, February 25-27, 1993)},
SERIES = {LNCS},
VOLUME = {665},
PAGES = {440-451},
YEAR = {1993},
EDITOR = {Enjalbert, P. and Finkel, A. and Wagner, K.W.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=665&spage=440},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {GI, afcet},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Fenner-Fortnow-Li/93,
AUTHOR = {Fenner, Stephen and Fortnow, Lance and Li, Lide},
TITLE = {Gap-definability as a closure property},
BOOKTITLE = {Proceedings of the 10th Annual Symposium on Theoretical Aspects of Computer Science, STACS'93 (W{\"u}rzburg, Germany, February 25-27, 1993)},
SERIES = {LNCS},
VOLUME = {665},
PAGES = {484-493},
YEAR = {1993},
EDITOR = {Enjalbert, P. and Finkel, A. and Wagner, K.W.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=665&spage=484},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {GI, afcet},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Choffrut-Guerra/93,
AUTHOR = {Choffrut, C. and Guerra, L.},
TITLE = {On the logical definability of some rational trace languages},
BOOKTITLE = {Proceedings of the 10th Annual Symposium on Theoretical Aspects of Computer Science, STACS'93 (W{\"u}rzburg, Germany, February 25-27, 1993)},
SERIES = {LNCS},
VOLUME = {665},
PAGES = {494-504},
YEAR = {1993},
EDITOR = {Enjalbert, P. and Finkel, A. and Wagner, K.W.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=665&spage=494},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {GI, afcet},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Gilleron-Tison-Tommasi/93a,
AUTHOR = {Gilleron, R{\'e}mi and Tison, Sophie and Tommasi, Marc},
TITLE = {Solving systems of set constraints using tree automata},
BOOKTITLE = {Proceedings of the 10th Annual Symposium on Theoretical Aspects of Computer Science, STACS'93 (W{\"u}rzburg, Germany, February 25-27, 1993)},
SERIES = {LNCS},
VOLUME = {665},
PAGES = {505-514},
YEAR = {1993},
EDITOR = {Enjalbert, P. and Finkel, A. and Wagner, K.W.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=665&spage=505},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {GI, afcet},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Babai/93,
AUTHOR = {Babai, L{\'a}szl{\'o}},
TITLE = {Transparent (holographic) proofs},
BOOKTITLE = {Proceedings of the 10th Annual Symposium on Theoretical Aspects of Computer Science, STACS'93 (W{\"u}rzburg, Germany, February 25-27, 1993)},
SERIES = {LNCS},
VOLUME = {665},
PAGES = {525-534},
YEAR = {1993},
EDITOR = {Enjalbert, P. and Finkel, A. and Wagner, K.W.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=665&spage=525},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {GI, afcet},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Beaudry-McKenzie-Peladeau/93,
AUTHOR = {Beaudry, Martin and McKenzie, Pierre and P{\'e}ladeau, Pierre},
TITLE = {Circuits with monoidal gates (extended abstract)},
BOOKTITLE = {Proceedings of the 10th Annual Symposium on Theoretical Aspects of Computer Science, STACS'93 (W{\"u}rzburg, Germany, February 25-27, 1993)},
SERIES = {LNCS},
VOLUME = {665},
PAGES = {555-565},
YEAR = {1993},
EDITOR = {Enjalbert, P. and Finkel, A. and Wagner, K.W.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=665&spage=555},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {GI, afcet},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Istrail-Zivkovic/93,
AUTHOR = {Istrail, Sorin and Zivkovic, Dejan},
TITLE = {A non-probabilistic switching lemma for the Sipser function},
BOOKTITLE = {Proceedings of the 10th Annual Symposium on Theoretical Aspects of Computer Science, STACS'93 (W{\"u}rzburg, Germany, February 25-27, 1993)},
SERIES = {LNCS},
VOLUME = {665},
PAGES = {566-575},
YEAR = {1993},
EDITOR = {Enjalbert, P. and Finkel, A. and Wagner, K.W.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=665&spage=566},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {GI, afcet},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Gergov-Meinel/93b,
AUTHOR = {Gergov, Jordan and Meinel, Christoph},
TITLE = {Frontiers of feasible and probabilistic feasible boolean manipulation with branching programs},
BOOKTITLE = {Proceedings of the 10th Annual Symposium on Theoretical Aspects of Computer Science, STACS'93 (W{\"u}rzburg, Germany, February 25-27, 1993)},
SERIES = {LNCS},
VOLUME = {665},
PAGES = {576-585},
YEAR = {1993},
EDITOR = {Enjalbert, P. and Finkel, A. and Wagner, K.W.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=665&spage=576},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {GI, afcet},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Diekert-Muscholl/93,
AUTHOR = {Diekert, Volker and Muscholl, Anca},
TITLE = {Deterministic asynchronous automata for infinite traces (extended abstract)},
BOOKTITLE = {Proceedings of the 10th Annual Symposium on Theoretical Aspects of Computer Science, STACS'93 (W{\"u}rzburg, Germany, February 25-27, 1993)},
SERIES = {LNCS},
VOLUME = {665},
PAGES = {617-628},
YEAR = {1993},
EDITOR = {Enjalbert, P. and Finkel, A. and Wagner, K.W.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=665&spage=617},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {GI, afcet},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Baliga-Case-Jain/93,
AUTHOR = {Baliga, Ganesh and Case, John and Jain, Sanjay},
TITLE = {Language learning with some negative information},
BOOKTITLE = {Proceedings of the 10th Annual Symposium on Theoretical Aspects of Computer Science, STACS'93 (W{\"u}rzburg, Germany, February 25-27, 1993)},
SERIES = {LNCS},
VOLUME = {665},
PAGES = {672-681},
YEAR = {1993},
EDITOR = {Enjalbert, P. and Finkel, A. and Wagner, K.W.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=665&spage=672},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {GI, afcet},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Lange-Zeugmann/93a,
AUTHOR = {Lange, Steffen and Zeugmann, Thomas},
TITLE = {Language learning with a bounded number of mind changes},
BOOKTITLE = {Proceedings of the 10th Annual Symposium on Theoretical Aspects of Computer Science, STACS'93 (W{\"u}rzburg, Germany, February 25-27, 1993)},
SERIES = {LNCS},
VOLUME = {665},
PAGES = {682-691},
YEAR = {1993},
EDITOR = {Enjalbert, P. and Finkel, A. and Wagner, K.W.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=665&spage=682},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {GI, afcet},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Blundo-Santis-Vaccaro/93,
AUTHOR = {Blundo, Carlo and Santis, Alfredo de and Vaccaro, Ugo},
TITLE = {Efficient sharing of many secrets},
BOOKTITLE = {Proceedings of the 10th Annual Symposium on Theoretical Aspects of Computer Science, STACS'93 (W{\"u}rzburg, Germany, February 25-27, 1993)},
SERIES = {LNCS},
VOLUME = {665},
PAGES = {692-703},
YEAR = {1993},
EDITOR = {Enjalbert, P. and Finkel, A. and Wagner, K.W.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=665&spage=692},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {GI, afcet},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Drexler-Reif-Schellhorn-Stenzel-Stephan-Wolpers/93,
AUTHOR = {Drexler, Rainer and Reif, Wolfgang and Schellhorn, Gerhard and Stenzel, Kurt and Stephan, Werner and Wolpers, Andreas},
TITLE = {The KIV system: A tool for formal program development},
BOOKTITLE = {Proceedings of the 10th Annual Symposium on Theoretical Aspects of Computer Science, STACS'93 (W{\"u}rzburg, Germany, February 25-27, 1993)},
SERIES = {LNCS},
VOLUME = {665},
PAGES = {704-705},
YEAR = {1993},
EDITOR = {Enjalbert, P. and Finkel, A. and Wagner, K.W.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=665&spage=704},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {GI, afcet},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Hofting-Wanke-Balmosan-Bergmann/93,
AUTHOR = {H{\"o}fting, Franz and Wanke, Egon and Balmo{\^s}an, Aurel and Bergmann, Curd},
TITLE = {1st grade --- A system for implementation, testing and animation of graph algorithms},
BOOKTITLE = {Proceedings of the 10th Annual Symposium on Theoretical Aspects of Computer Science, STACS'93 (W{\"u}rzburg, Germany, February 25-27, 1993)},
SERIES = {LNCS},
VOLUME = {665},
PAGES = {706-707},
YEAR = {1993},
EDITOR = {Enjalbert, P. and Finkel, A. and Wagner, K.W.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=665&spage=706},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {GI, afcet},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Kaufl/93,
AUTHOR = {K{\"a}ufl, Thomas},
TITLE = {The program verifier Tatzelwurm},
BOOKTITLE = {Proceedings of the 10th Annual Symposium on Theoretical Aspects of Computer Science, STACS'93 (W{\"u}rzburg, Germany, February 25-27, 1993)},
SERIES = {LNCS},
VOLUME = {665},
PAGES = {708-709},
YEAR = {1993},
EDITOR = {Enjalbert, P. and Finkel, A. and Wagner, K.W.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=665&spage=708},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {GI, afcet},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Brandstadt/93,
AUTHOR = {Brandst{\"a}dt, Andreas},
TITLE = {On improved time bounds for permutation graph problems},
BOOKTITLE = {Proceedings of the 18th International Workshop on Graph-Theoretic Concepts in Computer Science, WG'92 (Wiesbaden-Naurod, Germany, June 19-20, 1992)},
SERIES = {LNCS},
VOLUME = {657},
PAGES = {1-10},
YEAR = {1993},
EDITOR = {Mayr, E.W.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=657&spage=1},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Hsu/93,
AUTHOR = {Hsu, Wen-Lian},
TITLE = {A simple test for interval graphs},
BOOKTITLE = {Proceedings of the 18th International Workshop on Graph-Theoretic Concepts in Computer Science, WG'92 (Wiesbaden-Naurod, Germany, June 19-20, 1992)},
SERIES = {LNCS},
VOLUME = {657},
PAGES = {11-16},
YEAR = {1993},
EDITOR = {Mayr, E.W.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=657&spage=11},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Felsner/93,
AUTHOR = {Felsner, Stefan},
TITLE = {Tolerance graphs and orders},
BOOKTITLE = {Proceedings of the 18th International Workshop on Graph-Theoretic Concepts in Computer Science, WG'92 (Wiesbaden-Naurod, Germany, June 19-20, 1992)},
SERIES = {LNCS},
VOLUME = {657},
PAGES = {17-26},
YEAR = {1993},
EDITOR = {Mayr, E.W.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=657&spage=17},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Jansen/93b,
AUTHOR = {Jansen, Klaus},
TITLE = {On scheduling problems restricted to interval orders},
BOOKTITLE = {Proceedings of the 18th International Workshop on Graph-Theoretic Concepts in Computer Science, WG'92 (Wiesbaden-Naurod, Germany, June 19-20, 1992)},
SERIES = {LNCS},
VOLUME = {657},
PAGES = {27-36},
YEAR = {1993},
EDITOR = {Mayr, E.W.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=657&spage=27},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Bodlaender-Jansen-Woeginger/93,
AUTHOR = {Bodlaender, Hans L. and Jansen, Klaus and Woeginger, Gerhard J.},
TITLE = {Scheduling with incompatible jobs},
BOOKTITLE = {Proceedings of the 18th International Workshop on Graph-Theoretic Concepts in Computer Science, WG'92 (Wiesbaden-Naurod, Germany, June 19-20, 1992)},
SERIES = {LNCS},
VOLUME = {657},
PAGES = {37-49},
YEAR = {1993},
EDITOR = {Mayr, E.W.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=657&spage=37},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Jansen-Scheffler/93,
AUTHOR = {Jansen, Klaus and Scheffler, Petra},
TITLE = {Generalized coloring for tree-like graphs},
BOOKTITLE = {Proceedings of the 18th International Workshop on Graph-Theoretic Concepts in Computer Science, WG'92 (Wiesbaden-Naurod, Germany, June 19-20, 1992)},
SERIES = {LNCS},
VOLUME = {657},
PAGES = {50-59},
YEAR = {1993},
EDITOR = {Mayr, E.W.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=657&spage=50},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Dahlhaus/93,
AUTHOR = {Dahlhaus, Elias},
TITLE = {Optimal (parallel) algorithms for the all-to-all vertices distance problem for certain graph classes},
BOOKTITLE = {Proceedings of the 18th International Workshop on Graph-Theoretic Concepts in Computer Science, WG'92 (Wiesbaden-Naurod, Germany, June 19-20, 1992)},
SERIES = {LNCS},
VOLUME = {657},
PAGES = {60-69},
YEAR = {1993},
EDITOR = {Mayr, E.W.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=657&spage=60},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Hromkovic/93,
AUTHOR = {Hromkovi{\v{c}}, Juraj},
TITLE = {Topology of parallel networks and computational complexity},
BOOKTITLE = {Proceedings of the 18th International Workshop on Graph-Theoretic Concepts in Computer Science, WG'92 (Wiesbaden-Naurod, Germany, June 19-20, 1992)},
SERIES = {LNCS},
VOLUME = {657},
PAGES = {70-77},
YEAR = {1993},
EDITOR = {Mayr, E.W.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=657&spage=70},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Bodlaender/93,
AUTHOR = {Bodlaender, Hans L.},
TITLE = {Kayles on special classes of graphs --- An application of Sprague-Grundy theory},
BOOKTITLE = {Proceedings of the 18th International Workshop on Graph-Theoretic Concepts in Computer Science, WG'92 (Wiesbaden-Naurod, Germany, June 19-20, 1992)},
SERIES = {LNCS},
VOLUME = {657},
PAGES = {90-102},
YEAR = {1993},
EDITOR = {Mayr, E.W.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=657&spage=90},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Chen/93e,
AUTHOR = {Chen, Jianer},
TITLE = {A linear time algorithm for isomorphism of graphs of bounded average genus},
BOOKTITLE = {Proceedings of the 18th International Workshop on Graph-Theoretic Concepts in Computer Science, WG'92 (Wiesbaden-Naurod, Germany, June 19-20, 1992)},
SERIES = {LNCS},
VOLUME = {657},
PAGES = {103-113},
YEAR = {1993},
EDITOR = {Mayr, E.W.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=657&spage=103},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Bhatia-Leighton-Makedon-Norton/93,
AUTHOR = {Bhatia, Dinesh and Leighton, Tom and Makedon, Fillia and Norton, Carolyn H.},
TITLE = {Improved algorithms for routing on two-dimensional grids},
BOOKTITLE = {Proceedings of the 18th International Workshop on Graph-Theoretic Concepts in Computer Science, WG'92 (Wiesbaden-Naurod, Germany, June 19-20, 1992)},
SERIES = {LNCS},
VOLUME = {657},
PAGES = {114-122},
YEAR = {1993},
EDITOR = {Mayr, E.W.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=657&spage=114},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Ihler/93,
AUTHOR = {Ihler, Edmund},
TITLE = {Minimum rectilinear Steiner trees for intervals on two parallel lines},
BOOKTITLE = {Proceedings of the 18th International Workshop on Graph-Theoretic Concepts in Computer Science, WG'92 (Wiesbaden-Naurod, Germany, June 19-20, 1992)},
SERIES = {LNCS},
VOLUME = {657},
PAGES = {123-134},
YEAR = {1993},
EDITOR = {Mayr, E.W.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=657&spage=123},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Gerstel-Zaks/93a,
AUTHOR = {Gerstel, O. and Zaks, S.},
TITLE = {A new characterization of tree medians with applications to distributed algorithms},
BOOKTITLE = {Proceedings of the 18th International Workshop on Graph-Theoretic Concepts in Computer Science, WG'92 (Wiesbaden-Naurod, Germany, June 19-20, 1992)},
SERIES = {LNCS},
VOLUME = {657},
PAGES = {135-144},
YEAR = {1993},
EDITOR = {Mayr, E.W.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=657&spage=135},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Dinitz/93,
AUTHOR = {Dinitz, Efim},
TITLE = {The 3-edge components and a structured description of all 3-edge-cuts in a graph},
BOOKTITLE = {Proceedings of the 18th International Workshop on Graph-Theoretic Concepts in Computer Science, WG'92 (Wiesbaden-Naurod, Germany, June 19-20, 1992)},
SERIES = {LNCS},
VOLUME = {657},
PAGES = {145-157},
YEAR = {1993},
EDITOR = {Mayr, E.W.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=657&spage=145},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Chen-Kanevsky/93,
AUTHOR = {Chen, Jianer and Kanevsky, Arkady},
TITLE = {On assembly of 4-connected graphs},
BOOKTITLE = {Proceedings of the 18th International Workshop on Graph-Theoretic Concepts in Computer Science, WG'92 (Wiesbaden-Naurod, Germany, June 19-20, 1992)},
SERIES = {LNCS},
VOLUME = {657},
PAGES = {158-169},
YEAR = {1993},
EDITOR = {Mayr, E.W.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=657&spage=158},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Jamison-Olariu/93,
AUTHOR = {Jamison, Beverly and Olariu, Stephan},
TITLE = {On the homogeneous decomposition of graphs},
BOOKTITLE = {Proceedings of the 18th International Workshop on Graph-Theoretic Concepts in Computer Science, WG'92 (Wiesbaden-Naurod, Germany, June 19-20, 1992)},
SERIES = {LNCS},
VOLUME = {657},
PAGES = {170-183},
YEAR = {1993},
EDITOR = {Mayr, E.W.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=657&spage=170},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Das-Mao/93,
AUTHOR = {Das, Sajal K. and Mao, Aisheng},
TITLE = {Embeddings in recursive combinatorial networks},
BOOKTITLE = {Proceedings of the 18th International Workshop on Graph-Theoretic Concepts in Computer Science, WG'92 (Wiesbaden-Naurod, Germany, June 19-20, 1992)},
SERIES = {LNCS},
VOLUME = {657},
PAGES = {184-204},
YEAR = {1993},
EDITOR = {Mayr, E.W.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=657&spage=184},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Cournier-Habib/93,
AUTHOR = {Cournier, Alain and Habib, Michel},
TITLE = {An efficient algorithm to recognize prime undirected graphs},
BOOKTITLE = {Proceedings of the 18th International Workshop on Graph-Theoretic Concepts in Computer Science, WG'92 (Wiesbaden-Naurod, Germany, June 19-20, 1992)},
SERIES = {LNCS},
VOLUME = {657},
PAGES = {212-224},
YEAR = {1993},
EDITOR = {Mayr, E.W.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=657&spage=212},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Felsner-Wagner/93,
AUTHOR = {Felsner, Stefan and Wagner, Dorothea},
TITLE = {On the complexity of partial order properties},
BOOKTITLE = {Proceedings of the 18th International Workshop on Graph-Theoretic Concepts in Computer Science, WG'92 (Wiesbaden-Naurod, Germany, June 19-20, 1992)},
SERIES = {LNCS},
VOLUME = {657},
PAGES = {225-235},
YEAR = {1993},
EDITOR = {Mayr, E.W.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=657&spage=225},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Kant/93,
AUTHOR = {Kant, Goos},
TITLE = {Hexagonal grid drawings},
BOOKTITLE = {Proceedings of the 18th International Workshop on Graph-Theoretic Concepts in Computer Science, WG'92 (Wiesbaden-Naurod, Germany, June 19-20, 1992)},
SERIES = {LNCS},
VOLUME = {657},
PAGES = {263-276},
YEAR = {1993},
EDITOR = {Mayr, E.W.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=657&spage=263},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Erwig/93,
AUTHOR = {Erwig, Martin},
TITLE = {Graph algorithms = iteration + data structures? The structure of graph algorithms and a corresponding style of programming},
BOOKTITLE = {Proceedings of the 18th International Workshop on Graph-Theoretic Concepts in Computer Science, WG'92 (Wiesbaden-Naurod, Germany, June 19-20, 1992)},
SERIES = {LNCS},
VOLUME = {657},
PAGES = {277-292},
YEAR = {1993},
EDITOR = {Mayr, E.W.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=657&spage=277},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Alimonti-Feuerstein/93,
AUTHOR = {Alimonti, Paola and Feuerstein, Esteban},
TITLE = {Petri nets, hypergraphs and conflicts (preliminary version)},
BOOKTITLE = {Proceedings of the 18th International Workshop on Graph-Theoretic Concepts in Computer Science, WG'92 (Wiesbaden-Naurod, Germany, June 19-20, 1992)},
SERIES = {LNCS},
VOLUME = {657},
PAGES = {293-309},
YEAR = {1993},
EDITOR = {Mayr, E.W.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=657&spage=293},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Gergov-Meinel/93,
AUTHOR = {Gergov, Jordan and Meinel, Christoph},
TITLE = {Analysis and manipulation of boolean functions in terms of decision graphs},
BOOKTITLE = {Proceedings of the 18th International Workshop on Graph-Theoretic Concepts in Computer Science, WG'92 (Wiesbaden-Naurod, Germany, June 19-20, 1992)},
SERIES = {LNCS},
VOLUME = {657},
PAGES = {310-320},
YEAR = {1993},
EDITOR = {Mayr, E.W.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=657&spage=310},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}