@article{Biskup-Dublish-Sagiv/95,
AUTHOR = {Biskup, Joachim and Dublish, Pratul and Sagiv, Yehoshua},
TITLE = {Optimization of a subclass of conjunctive queries},
JOURNAL = {Acta Inf.},
VOLUME = {32},
PAGES = {1-26},
YEAR = {1995},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@article{Drabent/95,
AUTHOR = {Drabent, Wlodzimierz},
TITLE = {What is failure? An approach to constructive negation},
JOURNAL = {Acta Inf.},
VOLUME = {32},
PAGES = {27-59},
YEAR = {1995},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@article{de_Guzman-Ojeda-Valverde/95,
AUTHOR = {de Guzm{\'{a}}n, I.P. and Ojeda, M. and Valverde, A.},
TITLE = {A formal identification between tuples and lists with and application to list-arithmetic categories},
JOURNAL = {Acta Inf.},
VOLUME = {32},
PAGES = {61-78},
YEAR = {1995},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@article{Vaidyanathan-Hartmann-Varshney/95,
AUTHOR = {Vaidyanathan, Ramachandran and Hartmann, Carlos R.P. and Varshney, Pramod K.},
TITLE = {Parallel integer sorting using small operations},
JOURNAL = {Acta Inf.},
VOLUME = {32},
PAGES = {79-92},
YEAR = {1995},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@article{Chin-Hagiya/95,
AUTHOR = {Chin, Wei-Ngan and Hagiya, Masami},
TITLE = {A transformation method for dynamic-sized tabulation},
JOURNAL = {Acta Inf.},
VOLUME = {32},
PAGES = {93-115},
YEAR = {1995},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@article{Walz-Johnson/95,
AUTHOR = {Walz, Janet A. and Johnson, Gregory F.},
TITLE = {Inductive attribute grammars: A basis for incremental program execution},
JOURNAL = {Acta Inf.},
VOLUME = {32},
PAGES = {117-144},
YEAR = {1995},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@article{Hsu-Page/95,
AUTHOR = {Hsu, W.-J. and Page, C.V.},
TITLE = {Parallel tree contraction and prefix computations on a large family of interconnection topologies},
JOURNAL = {Acta Inf.},
VOLUME = {32},
PAGES = {145-153},
YEAR = {1995},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@article{Kirousis-Veneris/95,
AUTHOR = {Kirousis, Lefteris M. and Veneris, Andreas G.},
TITLE = {Efficient algorithms for checking the atomicity of a run of read and write operations},
JOURNAL = {Acta Inf.},
VOLUME = {32},
PAGES = {155-170},
YEAR = {1995},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@article{Eiter/95,
AUTHOR = {Eiter, Thomas},
TITLE = {Generating Boolean $\mu$-expressions},
JOURNAL = {Acta Inf.},
VOLUME = {32},
PAGES = {171-187},
YEAR = {1995},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@article{Cherkasova-Howell-Rosier/95,
AUTHOR = {Cherkasova, Ludmila and Howell, Rodney R. and Rosier, Louis E.},
TITLE = {Bounded self-stabilizing Petri nets},
JOURNAL = {Acta Inf.},
VOLUME = {32},
PAGES = {189-207},
YEAR = {1995},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0001-5903&volume=32&spage=189},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@article{Le_Charlier-Hentenryck/95,
AUTHOR = {Le Charlier, Baudouin and Hentenryck, Pascal Van},
TITLE = {Reexecution in abstract interpretation of Prolog},
JOURNAL = {Acta Inf.},
VOLUME = {32},
PAGES = {209-253},
YEAR = {1995},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@article{Buchsbaum-Sundar-Tarjan/95,
AUTHOR = {Buchsbaum, Adam L. and Sundar, Rajamani and Tarjan, Robert E.},
TITLE = {Lazy structure sharing for query optimization},
JOURNAL = {Acta Inf.},
VOLUME = {32},
PAGES = {255-270},
YEAR = {1995},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@article{Krishnaswamy-Bruno/95,
AUTHOR = {Krishnaswamy, Vasudha and Bruno, John},
TITLE = {On the complexity of concurrency control using semantic information},
JOURNAL = {Acta Inf.},
VOLUME = {32},
PAGES = {271-284},
YEAR = {1995},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@article{Meduna/95,
AUTHOR = {Meduna, Alexander},
TITLE = {Syntactic complexity of scattered context grammars},
JOURNAL = {Acta Inf.},
VOLUME = {32},
PAGES = {285-298},
YEAR = {1995},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@article{Kindler/95,
AUTHOR = {Kindler, Ekkart},
TITLE = {Invariants, composition, and substitution},
JOURNAL = {Acta Inf.},
VOLUME = {32},
PAGES = {299-312},
YEAR = {1995},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@article{Devillers/95,
AUTHOR = {Devillers, Raymond},
TITLE = {$S$-invariant analysis of general recursive Petri boxes},
JOURNAL = {Acta Inf.},
VOLUME = {32},
PAGES = {313-345},
YEAR = {1995},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@article{Bernardeschi-Francesco-Vaglini/95,
AUTHOR = {Bernardeschi, Cinzia and Francesco, Nicoletta De and Vaglini, Gigliola},
TITLE = {A Petri nets semantics for data flow networks},
JOURNAL = {Acta Inf.},
VOLUME = {32},
PAGES = {347-374},
YEAR = {1995},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@article{Hennessy-Liu/95,
AUTHOR = {Hennessy, M. and Liu, X.},
TITLE = {A modal logic for message passing processes},
JOURNAL = {Acta Inf.},
VOLUME = {32},
PAGES = {375-393},
YEAR = {1995},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@article{Tomita-Seino/95,
AUTHOR = {Tomita, Etsuji and Seino, Kazushi},
TITLE = {The extended equivalence problem for a class of non-real-time deterministic pushdown automata},
JOURNAL = {Acta Inf.},
VOLUME = {32},
PAGES = {395-413},
YEAR = {1995},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@article{Chen-Montangero/95,
AUTHOR = {Chen, X.J. and Montangero, C.},
TITLE = {Compositional refinements in multiple blackboard systems},
JOURNAL = {Acta Inf.},
VOLUME = {32},
PAGES = {415-458},
YEAR = {1995},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@article{Yang/95,
AUTHOR = {Yang, Wuu},
TITLE = {On the look-ahead problem in lexical analysis},
JOURNAL = {Acta Inf.},
VOLUME = {32},
PAGES = {459-476},
YEAR = {1995},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@article{Neraud/95,
AUTHOR = {Neraud, Jean},
TITLE = {Detecting morphic images of a word: On the rank of a pattern},
JOURNAL = {Acta Inf.},
VOLUME = {32},
PAGES = {477-489},
YEAR = {1995},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@article{Jurgensen-Staiger/95,
AUTHOR = {J{\"u}rgensen, H. and Staiger, L.},
TITLE = {Local Hausdorff dimension},
JOURNAL = {Acta Inf.},
VOLUME = {32},
PAGES = {491-507},
YEAR = {1995},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@article{Hennessy/95,
AUTHOR = {Hennessy, M.},
TITLE = {Concurrent testing of processes},
JOURNAL = {Acta Inf.},
VOLUME = {32},
PAGES = {509-543},
YEAR = {1995},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@article{Montanari-Rossi/95,
AUTHOR = {Montanari, Ugo and Rossi, Francesca},
TITLE = {Contextual nets},
JOURNAL = {Acta Inf.},
VOLUME = {32},
PAGES = {545-596},
YEAR = {1995},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@article{Sur-Srimani/95,
AUTHOR = {Sur, Sumit and Srimani, Pradip K.},
TITLE = {IEH graphs: A novel generalization of hypercube graphs},
JOURNAL = {Acta Inf.},
VOLUME = {32},
PAGES = {597-609},
YEAR = {1995},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@article{Peterson/95,
AUTHOR = {Peterson, W. Wesley},
TITLE = {Variance of storage requirements for B+-trees},
JOURNAL = {Acta Inf.},
VOLUME = {32},
PAGES = {611-625},
YEAR = {1995},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@article{Gold/95,
AUTHOR = {Gold, Robert},
TITLE = {A compositional dataflow semantics for Petri nets},
JOURNAL = {Acta Inf.},
VOLUME = {32},
PAGES = {627-645},
YEAR = {1995},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@article{Badouel-Darondeau/95,
AUTHOR = {Badouel, Eric and Darondeau, Philippe},
TITLE = {Trace nets and process automata},
JOURNAL = {Acta Inf.},
VOLUME = {32},
PAGES = {647-679},
YEAR = {1995},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@article{Culik-Rajcani/95,
AUTHOR = {Culik II, Karel and Raj{\v{c}}{\'{a}}ni, Peter},
TITLE = {Iterative weighted finite transductions},
JOURNAL = {Acta Inf.},
VOLUME = {32},
PAGES = {681-703},
YEAR = {1995},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@article{Leavens-Weihl/95,
AUTHOR = {Leavens, Gary T. and Weihl, William E.},
TITLE = {Specification and verification of object-oriented programs using supertype abstraction},
JOURNAL = {Acta Inf.},
VOLUME = {32},
PAGES = {705-778},
YEAR = {1995},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@article{Rhee-Liang/95,
AUTHOR = {Rhee, Chongkye and Liang, Y. Daniel},
TITLE = {Finding a maximum matching in a permutation graph},
JOURNAL = {Acta Inf.},
VOLUME = {32},
PAGES = {779-792},
YEAR = {1995},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}