@incollection{Brassard/95,
AUTHOR = {Brassard, Gilles},
TITLE = {A quantum jump in computer science},
BOOKTITLE = {Computer Science Today: Recent Trends and Developments},
SERIES = {LNCS},
VOLUME = {1000},
PAGES = {1-14},
YEAR = {1995},
EDITOR = {van Leeuwen, J.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Steels-Tokoro/95,
AUTHOR = {Steels, Luc and Tokoro, Mario},
TITLE = {Artificial life and real world computing},
BOOKTITLE = {Computer Science Today: Recent Trends and Developments},
SERIES = {LNCS},
VOLUME = {1000},
PAGES = {15-28},
YEAR = {1995},
EDITOR = {van Leeuwen, J.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Siegelmann/95,
AUTHOR = {Siegelmann, Hava T.},
TITLE = {Recurrent neural networks},
BOOKTITLE = {Computer Science Today: Recent Trends and Developments},
SERIES = {LNCS},
VOLUME = {1000},
PAGES = {29-45},
YEAR = {1995},
EDITOR = {van Leeuwen, J.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{McColl/95,
AUTHOR = {McColl, W.F.},
TITLE = {Scalable computing},
BOOKTITLE = {Computer Science Today: Recent Trends and Developments},
SERIES = {LNCS},
VOLUME = {1000},
PAGES = {46-61},
YEAR = {1995},
EDITOR = {van Leeuwen, J.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Monien-Diekmann-Feldmann-Klasing-Luling-Menzel-Romke-Schroeder/95,
AUTHOR = {Monien, Burkhard and Diekmann, Ralf and Feldmann, Rainer and Klasing, Ralf and L{\"u}ling, Reinhard and Menzel, Knut and R{\"o}mke, Thomas and Schroeder, Ulf-Peter},
TITLE = {Efficient use of parallel and distributed systems: From theory to practice},
BOOKTITLE = {Computer Science Today: Recent Trends and Developments},
SERIES = {LNCS},
VOLUME = {1000},
PAGES = {62-77},
YEAR = {1995},
EDITOR = {van Leeuwen, J.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Snyder/95,
AUTHOR = {Snyder, Lawrence},
TITLE = {Experimental validation of models of parallel computation},
BOOKTITLE = {Computer Science Today: Recent Trends and Developments},
SERIES = {LNCS},
VOLUME = {1000},
PAGES = {78-100},
YEAR = {1995},
EDITOR = {van Leeuwen, J.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Wiedermann/95,
AUTHOR = {Wiedermann, Ji{\v{r}}{\'{i}}},
TITLE = {Quo vadetis, parallel machine models?},
BOOKTITLE = {Computer Science Today: Recent Trends and Developments},
SERIES = {LNCS},
VOLUME = {1000},
PAGES = {101-114},
YEAR = {1995},
EDITOR = {van Leeuwen, J.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Bai-Day-Demmel-Dongarra-Gu-Ruhe-Vorst/95,
AUTHOR = {Bai, Zhaojun and Day, David and Demmel, James and Dongarra, Jack and Gu, Ming and Ruhe, Axel and Vorst, Henk van der},
TITLE = {Templates for linear algebra problems},
BOOKTITLE = {Computer Science Today: Recent Trends and Developments},
SERIES = {LNCS},
VOLUME = {1000},
PAGES = {115-140},
YEAR = {1995},
EDITOR = {van Leeuwen, J.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Beth-Klappenecker-Minkwitz-Nuckel/95,
AUTHOR = {Beth, Thomas and Klappenecker, Andreas and Minkwitz, Torsten and N{\"u}ckel, Armin},
TITLE = {The ART behind IDEAS},
BOOKTITLE = {Computer Science Today: Recent Trends and Developments},
SERIES = {LNCS},
VOLUME = {1000},
PAGES = {141-158},
YEAR = {1995},
EDITOR = {van Leeuwen, J.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Adleman/95,
AUTHOR = {Adleman, Leonard M.},
TITLE = {Algorithmic number theory and its relationship to computational complexity},
BOOKTITLE = {Computer Science Today: Recent Trends and Developments},
SERIES = {LNCS},
VOLUME = {1000},
PAGES = {159-171},
YEAR = {1995},
EDITOR = {van Leeuwen, J.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Nakano-Zhou-Nishizeki/95,
AUTHOR = {Nakano, Shin-ichi and Zhou, Xiao and Nishizeki, Takao},
TITLE = {Edge-coloring algorithms},
BOOKTITLE = {Computer Science Today: Recent Trends and Developments},
SERIES = {LNCS},
VOLUME = {1000},
PAGES = {172-183},
YEAR = {1995},
EDITOR = {van Leeuwen, J.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Hannenhalli-Pevzner/95a,
AUTHOR = {Hannenhalli, Sridhar and Pevzner, Pavel A.},
TITLE = {Towards a computational theory of genome rearrangements},
BOOKTITLE = {Computer Science Today: Recent Trends and Developments},
SERIES = {LNCS},
VOLUME = {1000},
PAGES = {184-202},
YEAR = {1995},
EDITOR = {van Leeuwen, J.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Herlihy-Rajsbaum/95,
AUTHOR = {Herlihy, Maurice and Rajsbaum, Sergio},
TITLE = {Algebraic topology and distributed computing --- A primer},
BOOKTITLE = {Computer Science Today: Recent Trends and Developments},
SERIES = {LNCS},
VOLUME = {1000},
PAGES = {203-217},
YEAR = {1995},
EDITOR = {van Leeuwen, J.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Anuchitanukul-Manna-Uribe/95,
AUTHOR = {Anuchitanukul, Anuchit and Manna, Zohar and Uribe, Tom{\'{a}}s E.},
TITLE = {Differential BBDs},
BOOKTITLE = {Computer Science Today: Recent Trends and Developments},
SERIES = {LNCS},
VOLUME = {1000},
PAGES = {218-233},
YEAR = {1995},
EDITOR = {van Leeuwen, J.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Agarwal-Sharir/95,
AUTHOR = {Agarwal, Pankaj K. and Sharir, Micha},
TITLE = {Algorithmic techniques for geometric optimization},
BOOKTITLE = {Computer Science Today: Recent Trends and Developments},
SERIES = {LNCS},
VOLUME = {1000},
PAGES = {234-253},
YEAR = {1995},
EDITOR = {van Leeuwen, J.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Nievergelt-Gasser-Maser-Wirth/95,
AUTHOR = {Nievergelt, J{\"u}rg and Gasser, Ralph and M{\"a}ser, Fabian and Wirth, Christoph},
TITLE = {All the needles in a haystack: Can exhaustive search overcome combinatorial chaos?},
BOOKTITLE = {Computer Science Today: Recent Trends and Developments},
SERIES = {LNCS},
VOLUME = {1000},
PAGES = {254-274},
YEAR = {1995},
EDITOR = {van Leeuwen, J.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Radcliffe-Surry/95,
AUTHOR = {Radcliffe, Nicholas J. and Surry, Patrick D.},
TITLE = {Fundamental limitations on search algorithms: Evolutionary computing in perspective},
BOOKTITLE = {Computer Science Today: Recent Trends and Developments},
SERIES = {LNCS},
VOLUME = {1000},
PAGES = {275-291},
YEAR = {1995},
EDITOR = {van Leeuwen, J.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Broy/95a,
AUTHOR = {Broy, Manfred},
TITLE = {Mathematical system models as a basis of software engineering},
BOOKTITLE = {Computer Science Today: Recent Trends and Developments},
SERIES = {LNCS},
VOLUME = {1000},
PAGES = {292-306},
YEAR = {1995},
EDITOR = {van Leeuwen, J.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Shaw-Garlan/95,
AUTHOR = {Shaw, Mary and Garlan, David},
TITLE = {Formulations and formalisms in software architecture},
BOOKTITLE = {Computer Science Today: Recent Trends and Developments},
SERIES = {LNCS},
VOLUME = {1000},
PAGES = {307-323},
YEAR = {1995},
EDITOR = {van Leeuwen, J.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Smolka/95a,
AUTHOR = {Smolka, Gert},
TITLE = {The Oz programming model},
BOOKTITLE = {Computer Science Today: Recent Trends and Developments},
SERIES = {LNCS},
VOLUME = {1000},
PAGES = {324-343},
YEAR = {1995},
EDITOR = {van Leeuwen, J.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=1000&spage=324},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Wood/95a,
AUTHOR = {Wood, Derick},
TITLE = {Standard generalized markup language: Mathematical and philosophical issues},
BOOKTITLE = {Computer Science Today: Recent Trends and Developments},
SERIES = {LNCS},
VOLUME = {1000},
PAGES = {344-365},
YEAR = {1995},
EDITOR = {van Leeuwen, J.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Gries-Schneider/95a,
AUTHOR = {Gries, David and Schneider, Fred B.},
TITLE = {Avoiding the undefined by underspecification},
BOOKTITLE = {Computer Science Today: Recent Trends and Developments},
SERIES = {LNCS},
VOLUME = {1000},
PAGES = {366-373},
YEAR = {1995},
EDITOR = {van Leeuwen, J.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Harel/95,
AUTHOR = {Harel, David},
TITLE = {Towards a theory of recursive structures},
BOOKTITLE = {Computer Science Today: Recent Trends and Developments},
SERIES = {LNCS},
VOLUME = {1000},
PAGES = {374-391},
YEAR = {1995},
EDITOR = {van Leeuwen, J.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=1000&spage=374},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Pratt/95b,
AUTHOR = {Pratt, Vaughan},
TITLE = {Chu spaces and their interpretation as concurrent objects},
BOOKTITLE = {Computer Science Today: Recent Trends and Developments},
SERIES = {LNCS},
VOLUME = {1000},
PAGES = {392-405},
YEAR = {1995},
EDITOR = {van Leeuwen, J.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Bruynooghe-Codish-Mulkers/95,
AUTHOR = {Bruynooghe, Maurice and Codish, Michael and Mulkers, Anne},
TITLE = {Abstracting unification: A key step in the design of logic program analyses},
BOOKTITLE = {Computer Science Today: Recent Trends and Developments},
SERIES = {LNCS},
VOLUME = {1000},
PAGES = {406-425},
YEAR = {1995},
EDITOR = {van Leeuwen, J.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Anderson-Needham/95,
AUTHOR = {Anderson, Ross and Needham, Roger},
TITLE = {Programming Satan's computer},
BOOKTITLE = {Computer Science Today: Recent Trends and Developments},
SERIES = {LNCS},
VOLUME = {1000},
PAGES = {426-440},
YEAR = {1995},
EDITOR = {van Leeuwen, J.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Reisig/95a,
AUTHOR = {Reisig, Wolfgang},
TITLE = {Petri Net models of distributed algorithms},
BOOKTITLE = {Computer Science Today: Recent Trends and Developments},
SERIES = {LNCS},
VOLUME = {1000},
PAGES = {441-454},
YEAR = {1995},
EDITOR = {van Leeuwen, J.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Clarke-Jha/95,
AUTHOR = {Clarke, E.M. and Jha, S.},
TITLE = {Symmetry and induction in model checking},
BOOKTITLE = {Computer Science Today: Recent Trends and Developments},
SERIES = {LNCS},
VOLUME = {1000},
PAGES = {455-470},
YEAR = {1995},
EDITOR = {van Leeuwen, J.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Vardi/95a,
AUTHOR = {Vardi, Moshe Y.},
TITLE = {Alternating automata and program verification},
BOOKTITLE = {Computer Science Today: Recent Trends and Developments},
SERIES = {LNCS},
VOLUME = {1000},
PAGES = {471-485},
YEAR = {1995},
EDITOR = {van Leeuwen, J.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Sandewall/95,
AUTHOR = {Sandewall, Erik},
TITLE = {Reasoning about actions and change with ramification},
BOOKTITLE = {Computer Science Today: Recent Trends and Developments},
SERIES = {LNCS},
VOLUME = {1000},
PAGES = {486-504},
YEAR = {1995},
EDITOR = {van Leeuwen, J.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Eklundh/95,
AUTHOR = {Eklundh, Jan-Olof},
TITLE = {Trends in active vision},
BOOKTITLE = {Computer Science Today: Recent Trends and Developments},
SERIES = {LNCS},
VOLUME = {1000},
PAGES = {505-517},
YEAR = {1995},
EDITOR = {van Leeuwen, J.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Li-Vitanyi/95a,
AUTHOR = {Li, Ming and Vit{\'{a}}nyi, Paul},
TITLE = {Computational machine learning in theory and praxis},
BOOKTITLE = {Computer Science Today: Recent Trends and Developments},
SERIES = {LNCS},
VOLUME = {1000},
PAGES = {518-535},
YEAR = {1995},
EDITOR = {van Leeuwen, J.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Yager/95,
AUTHOR = {Yager, Ronald R.},
TITLE = {Fuzzy sets as a tool for modeling},
BOOKTITLE = {Computer Science Today: Recent Trends and Developments},
SERIES = {LNCS},
VOLUME = {1000},
PAGES = {536-548},
YEAR = {1995},
EDITOR = {van Leeuwen, J.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{van_Rijsbergen/95,
AUTHOR = {van Rijsbergen, C.J.},
TITLE = {Information retrieval and informative reasoning},
BOOKTITLE = {Computer Science Today: Recent Trends and Developments},
SERIES = {LNCS},
VOLUME = {1000},
PAGES = {549-559},
YEAR = {1995},
EDITOR = {van Leeuwen, J.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Vossen/95,
AUTHOR = {Vossen, Gottfried},
TITLE = {Database transaction models},
BOOKTITLE = {Computer Science Today: Recent Trends and Developments},
SERIES = {LNCS},
VOLUME = {1000},
PAGES = {560-574},
YEAR = {1995},
EDITOR = {van Leeuwen, J.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Bulterman-Hardman/95,
AUTHOR = {Bulterman, Dick C.A. and Hardman, Lynda},
TITLE = {Multimedia authoring tools: State of the art and research challenges},
BOOKTITLE = {Computer Science Today: Recent Trends and Developments},
SERIES = {LNCS},
VOLUME = {1000},
PAGES = {575-591},
YEAR = {1995},
EDITOR = {van Leeuwen, J.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Kappner-Steinmetz/95,
AUTHOR = {K{\"a}ppner, Thomas and Steinmetz, Ralf},
TITLE = {Computational models for distributed multimedia applications},
BOOKTITLE = {Computer Science Today: Recent Trends and Developments},
SERIES = {LNCS},
VOLUME = {1000},
PAGES = {592-607},
YEAR = {1995},
EDITOR = {van Leeuwen, J.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Maurer/95,
AUTHOR = {Maurer, Hermann},
TITLE = {Hypermedia systems as Internet tools},
BOOKTITLE = {Computer Science Today: Recent Trends and Developments},
SERIES = {LNCS},
VOLUME = {1000},
PAGES = {608-624},
YEAR = {1995},
EDITOR = {van Leeuwen, J.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}