@article{Wang-Zhang-Chau/97,
AUTHOR = {Wang, Ke and Zhang, Weining and Chau, Siu-Cheng},
TITLE = {Weakly independent database schemes},
JOURNAL = {Acta Inf.},
VOLUME = {34},
NUMBER = {1},
PAGES = {1-22},
YEAR = {1997},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@article{Keesmaat-Kleijn/97,
AUTHOR = {Keesmaat, N.W. and Kleijn, H.C.M.},
TITLE = {Net-based control versus rational control --- The relation between ITNC vector languages and rational relations},
JOURNAL = {Acta Inf.},
VOLUME = {34},
NUMBER = {1},
PAGES = {23-57},
YEAR = {1997},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@article{Fulop-Vagvolgyi/97,
AUTHOR = {F{\"u}l{\"o}p, Zolt{\'{a}}n and V{\'{a}}gv{\"o}lgyi, S{\'{a}}ndor},
TITLE = {Minimal equational representations of recognizable tree languages},
JOURNAL = {Acta Inf.},
VOLUME = {34},
NUMBER = {1},
PAGES = {59-84},
YEAR = {1997},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@article{Esparza/97,
AUTHOR = {Esparza, Javier},
TITLE = {Decidability of model checking for infinite-state concurrent systems},
JOURNAL = {Acta Inf.},
VOLUME = {34},
NUMBER = {2},
PAGES = {85-107},
YEAR = {1997},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@article{Eiter-Mannila/97,
AUTHOR = {Eiter, Thomas and Mannila, Heikki},
TITLE = {Distance measures for point sets and their computation},
JOURNAL = {Acta Inf.},
VOLUME = {34},
NUMBER = {2},
PAGES = {109-133},
YEAR = {1997},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@article{Levene-Loizou/97,
AUTHOR = {Levene, Mark and Loizou, George},
TITLE = {The additivity problem for functional dependencies in incomplete relations},
JOURNAL = {Acta Inf.},
VOLUME = {34},
NUMBER = {2},
PAGES = {135-149},
YEAR = {1997},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@article{Culik-Kari/97,
AUTHOR = {Culik II, Karel and Kari, Jarkko},
TITLE = {Computational fractal geometry with WFA},
JOURNAL = {Acta Inf.},
VOLUME = {34},
NUMBER = {2},
PAGES = {151-166},
YEAR = {1997},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@article{Orman/97,
AUTHOR = {Orman, Levent V.},
TITLE = {Relational database constraints as counterexamples},
JOURNAL = {Acta Inf.},
VOLUME = {34},
NUMBER = {3},
PAGES = {167-189},
YEAR = {1997},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@article{Rus-Pemmaraju/97,
AUTHOR = {Rus, Teodor and Pemmaraju, Sriram},
TITLE = {Using graph coloring in an algebraic compiler},
JOURNAL = {Acta Inf.},
VOLUME = {34},
NUMBER = {3},
PAGES = {191-209},
YEAR = {1997},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@article{Shapiro/97,
AUTHOR = {Shapiro, Alexander},
TITLE = {A generalized distribution model for random recursive trees},
JOURNAL = {Acta Inf.},
VOLUME = {34},
NUMBER = {3},
PAGES = {211-216},
YEAR = {1997},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@article{Hakala-Kortelainen/97,
AUTHOR = {Hakala, Ismo and Kortelainen, Juha},
TITLE = {On the system of word equations $x^i_1 x^i_2 \cdots x^i_m = y^i_1 y^i_2 \cdots y^i_n (i=1,2, ...)$ in a free monoid},
JOURNAL = {Acta Inf.},
VOLUME = {34},
NUMBER = {3},
PAGES = {217-230},
YEAR = {1997},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0001-5903&volume=34&issue=3&spage=217},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@article{Djidjev-Venkatesan/97,
AUTHOR = {Djidjev, Hristo N. and Venkatesan, Shankar M.},
TITLE = {Reduced constants for simple cycle graph separation},
JOURNAL = {Acta Inf.},
VOLUME = {34},
NUMBER = {3},
PAGES = {231-243},
YEAR = {1997},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@article{Savicky-Wegener/97,
AUTHOR = {Savick{\'y}, Petr and Wegener, Ingo},
TITLE = {Efficient algorithms for the transformation between different types of binary decision diagrams},
JOURNAL = {Acta Inf.},
VOLUME = {34},
NUMBER = {4},
PAGES = {245-256},
YEAR = {1997},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0001-5903&volume=34&issue=4&spage=245},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@article{Mitrana/97,
AUTHOR = {Mitrana, Victor},
TITLE = {On the interdependence between shuffle and crossing-over operations},
JOURNAL = {Acta Inf.},
VOLUME = {34},
NUMBER = {4},
PAGES = {257-266},
YEAR = {1997},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@article{Russmann/97,
AUTHOR = {Ru{\"ss}mann, Arnd},
TITLE = {Dynamic $LL(k)$ parsing},
JOURNAL = {Acta Inf.},
VOLUME = {34},
NUMBER = {4},
PAGES = {267-289},
YEAR = {1997},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@article{Corradini-Nicola/97,
AUTHOR = {Corradini, Flavio and Nicola, Rocco de},
TITLE = {Locality based semantics for process algebras},
JOURNAL = {Acta Inf.},
VOLUME = {34},
NUMBER = {4},
PAGES = {291-324},
YEAR = {1997},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@article{Yamazaki/97,
AUTHOR = {Yamazaki, Koichi},
TITLE = {A hierarchy of the class of apex $NLC$ graph languages by bounds on the number of nonterminal nodes in productions},
JOURNAL = {Acta Inf.},
VOLUME = {34},
NUMBER = {5},
PAGES = {325-335},
YEAR = {1997},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@article{Liang-Chang/97,
AUTHOR = {Liang, Y. Daniel and Chang, Maw-Shang},
TITLE = {Minimum feedback vertex sets in cocomparability graphs and convex bipartite graphs},
JOURNAL = {Acta Inf.},
VOLUME = {34},
NUMBER = {5},
PAGES = {337-346},
YEAR = {1997},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@article{Culik-Dube/97,
AUTHOR = {Culik II, Karel and Dube, Simant},
TITLE = {Implementing Daubechies wavelet transform with weighted finite automata},
JOURNAL = {Acta Inf.},
VOLUME = {34},
NUMBER = {5},
PAGES = {347-366},
YEAR = {1997},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@article{Janicki-Koutny/97,
AUTHOR = {Janicki, Ryszard and Koutny, Maciej},
TITLE = {Fundamentals of modelling concurrency using discrete relational structures},
JOURNAL = {Acta Inf.},
VOLUME = {34},
NUMBER = {5},
PAGES = {367-388},
YEAR = {1997},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@article{Morita-Nishihara-Yamamoto-Zhang/97,
AUTHOR = {Morita, Kenichi and Nishihara, Noritaka and Yamamoto, Yasunori and Zhang, Zhiguo},
TITLE = {A hierarchy of uniquely parsable grammar classes and deterministic acceptors},
JOURNAL = {Acta Inf.},
VOLUME = {34},
NUMBER = {5},
PAGES = {389-410},
YEAR = {1997},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0001-5903&volume=34&issue=5&spage=389},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@article{Trogemann-Gente/97,
AUTHOR = {Trogemann, Georg and Gente, Matthias},
TITLE = {Performance analysis of parallel programs based on directed acyclic graphs},
JOURNAL = {Acta Inf.},
VOLUME = {34},
NUMBER = {6},
PAGES = {411-428},
YEAR = {1997},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@article{Efe-Eleser/97,
AUTHOR = {Efe, Kemal and Eleser, Nancy},
TITLE = {An optimal emulator and VLSI layout for complete binary trees},
JOURNAL = {Acta Inf.},
VOLUME = {34},
NUMBER = {6},
PAGES = {429-447},
YEAR = {1997},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@article{Barbuti-Francesco-Santone/97,
AUTHOR = {Barbuti, R. and Francesco, N. de and Santone, A.},
TITLE = {Algebraic computational models of OR-parallel execution of Prolog},
JOURNAL = {Acta Inf.},
VOLUME = {34},
NUMBER = {6},
PAGES = {449-489},
YEAR = {1997},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@article{Stephens/97,
AUTHOR = {Stephens, Robert},
TITLE = {A survey of stream processing},
JOURNAL = {Acta Inf.},
VOLUME = {34},
NUMBER = {7},
PAGES = {491-541},
YEAR = {1997},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@article{Rangarajan-Huang-Tripathi/97,
AUTHOR = {Rangarajan, Sampath and Huang, Yennun and Tripathi, Satish K.},
TITLE = {On the scalability and mean-time to failure of $k$ resilient protocols},
JOURNAL = {Acta Inf.},
VOLUME = {34},
NUMBER = {7},
PAGES = {543-556},
YEAR = {1997},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@article{Brisaboa-Hernandez/97,
AUTHOR = {Brisaboa, Nieves R. and Hern{\'{a}}ndez, H{\'{e}}ctor J.},
TITLE = {Testing bag-containment of conjunctive queries},
JOURNAL = {Acta Inf.},
VOLUME = {34},
NUMBER = {7},
PAGES = {557-578},
YEAR = {1997},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@article{Hui-Chanson/97,
AUTHOR = {Hui, Chi-Chung and Chanson, Samuel T.},
TITLE = {Minimal communication cost software construction in the Internet environment},
JOURNAL = {Acta Inf.},
VOLUME = {34},
NUMBER = {8},
PAGES = {579-595},
YEAR = {1997},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@article{Nymeyer-Katoen/97,
AUTHOR = {Nymeyer, A. and Katoen, J.-P.},
TITLE = {Code generation based on formal BURS theory and heuristic search},
JOURNAL = {Acta Inf.},
VOLUME = {34},
NUMBER = {8},
PAGES = {597-635},
YEAR = {1997},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@article{Aczel-Ertel/97,
AUTHOR = {Acz{\'{e}}l, J{\'{a}}nos and Ertel, Wolfgang},
TITLE = {A new formula for speedup and its characterization},
JOURNAL = {Acta Inf.},
VOLUME = {34},
NUMBER = {8},
PAGES = {637-652},
YEAR = {1997},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@article{Hsieh/97,
AUTHOR = {Hsieh, C. Samuel},
TITLE = {A fine-grained data-flow analysis framework},
JOURNAL = {Acta Inf.},
VOLUME = {34},
NUMBER = {9},
PAGES = {653-665},
YEAR = {1997},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@article{Garg-Tomlinson/97,
AUTHOR = {Garg, Vijay K. and Tomlinson, Alexander I.},
TITLE = {Using the causal domain to specify and verify distributed programs},
JOURNAL = {Acta Inf.},
VOLUME = {34},
NUMBER = {9},
PAGES = {667-686},
YEAR = {1997},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@article{Burnetas-Solow-Agarwal/97,
AUTHOR = {Burnetas, Apostolos and Solow, Daniel and Agarwal, Rishi},
TITLE = {An analysis and implementation of an efficient in-place bucket sort},
JOURNAL = {Acta Inf.},
VOLUME = {34},
NUMBER = {9},
PAGES = {687-700},
YEAR = {1997},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@article{Baier-Majster-Cederbaum/97,
AUTHOR = {Baier, Christel and Majster-Cederbaum, Mila E.},
TITLE = {Metric semantics from partial order semantics},
JOURNAL = {Acta Inf.},
VOLUME = {34},
NUMBER = {9},
PAGES = {701-735},
YEAR = {1997},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@article{Poetzsch-Heffter/97,
AUTHOR = {Poetzsch-Heffter, Arnd},
TITLE = {Prototyping realistic programming languages based on formal specifications},
JOURNAL = {Acta Inf.},
VOLUME = {34},
NUMBER = {10},
PAGES = {737-772},
YEAR = {1997},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@article{Engelfriet-Vereijken/97,
AUTHOR = {Engelfriet, Joost and Vereijken, Jan Joris},
TITLE = {Context-free graph grammars and concatenation of graphs},
JOURNAL = {Acta Inf.},
VOLUME = {34},
NUMBER = {10},
PAGES = {773-803},
YEAR = {1997},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@article{Corradini-Gorrieri-Roccetti/97,
AUTHOR = {Corradini, Flavio and Gorrieri, Roberto and Roccetti, Marco},
TITLE = {Performance preorder and competitive equivalence},
JOURNAL = {Acta Inf.},
VOLUME = {34},
NUMBER = {11},
PAGES = {805-835},
YEAR = {1997},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@article{Fernau/97,
AUTHOR = {Fernau, Henning},
TITLE = {Unconditional transfer in regulated rewriting},
JOURNAL = {Acta Inf.},
VOLUME = {34},
NUMBER = {11},
PAGES = {837-857},
YEAR = {1997},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@article{Hemaspaandra-Rothe-Wechsung/97,
AUTHOR = {Hemaspaandra, Lane A. and Rothe, J{\"o}rg and Wechsung, Gerd},
TITLE = {Easy sets and hard certificate schemes},
JOURNAL = {Acta Inf.},
VOLUME = {34},
NUMBER = {11},
PAGES = {859-879},
YEAR = {1997},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@article{Bruno-Coffman/97,
AUTHOR = {Bruno, John and Coffman, E.G., Jr.},
TITLE = {Optimal fault-tolerant computing on multiprocessor systems},
JOURNAL = {Acta Inf.},
VOLUME = {34},
NUMBER = {12},
PAGES = {881-904},
YEAR = {1997},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@article{Laurent-Luong-Spyratos/97,
AUTHOR = {Laurent, D. and Luong, V. Phan and Spyratos, N.},
TITLE = {The use of deleted tuples in database querying and updating},
JOURNAL = {Acta Inf.},
VOLUME = {34},
NUMBER = {12},
PAGES = {905-925},
YEAR = {1997},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@article{ter_Hofstede-Lippe-Weide/97,
AUTHOR = {ter Hofstede, A.H.M. and Lippe, E. and Weide, Th.P. van der},
TITLE = {Applications of a categorical framework for conceptual data modeling},
JOURNAL = {Acta Inf.},
VOLUME = {34},
NUMBER = {12},
PAGES = {927-963},
YEAR = {1997},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}