@article{Kobuchi-Saito-Nunome/00,
AUTHOR = {Kobuchi, Youichi and Saito, Takashi and Nunome, Hidenobu},
TITLE = {Semantics analysis through elementary meanings --- Theoretical foundatioon for generalized thesaurus construction},
JOURNAL = {Acta Inf.},
VOLUME = {37},
NUMBER = {1},
PAGES = {1-19},
YEAR = {2000},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@article{Ranjan-Pontelli-Gupta/00,
AUTHOR = {Ranjan, Desh and Pontelli, Enrico and Gupta, Gopal},
TITLE = {Data structures for order-sensitive predicates in parallel nondeterministic systems},
JOURNAL = {Acta Inf.},
VOLUME = {37},
NUMBER = {1},
PAGES = {21-43},
YEAR = {2000},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@article{Berard-Picaronny/00,
AUTHOR = {B{\'{e}}rard, B{\'{e}}atrice and Picaronny, Claudine},
TITLE = {Accepting Zeno words: A way toward timed refinements},
JOURNAL = {Acta Inf.},
VOLUME = {37},
NUMBER = {1},
PAGES = {45-81},
YEAR = {2000},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@article{Ben-Amram-Jones/00,
AUTHOR = {Ben-Amram, Amir M. and Jones, Neil D.},
TITLE = {Computational complexity via programming languages: Constant factors do matter},
JOURNAL = {Acta Inf.},
VOLUME = {37},
NUMBER = {2},
PAGES = {83-120},
YEAR = {2000},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@article{Dube-Feeley/00,
AUTHOR = {Dub{\'{e}}, Danny and Feeley, Marc},
TITLE = {Efficiently building a parse tree from a regular expression},
JOURNAL = {Acta Inf.},
VOLUME = {37},
NUMBER = {2},
PAGES = {121-144},
YEAR = {2000},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@article{Andrei-Kudlek-Niculescu/00,
AUTHOR = {Andrei, {\v{S}}tefan and Kudlek, Manfred and Niculescu, Radu {\v{S}}tefan},
TITLE = {Some results on the Collatz problem},
JOURNAL = {Acta Inf.},
VOLUME = {37},
NUMBER = {2},
PAGES = {145-160},
YEAR = {2000},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@article{Chaudhuri-Kosa-Welch/00,
AUTHOR = {Chaudhuri, Soma and Kosa, Martha J. and Welch, Jennifer L.},
TITLE = {One-write algorithms for multivalued regular and atomic registers},
JOURNAL = {Acta Inf.},
VOLUME = {37},
NUMBER = {3},
PAGES = {161-192},
YEAR = {2000},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@article{Yang-Gillard/00,
AUTHOR = {Yang, Boting and Gillard, Paul},
TITLE = {The class Steiner minimal tree problem: A lower bound and test problem generation},
JOURNAL = {Acta Inf.},
VOLUME = {37},
NUMBER = {3},
PAGES = {193-211},
YEAR = {2000},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@article{Hoogeboom-Vugt/00,
AUTHOR = {Hoogeboom, Hendrik Jan and Vugt, Nik{\`{e}} van},
TITLE = {Fair sticker languages},
JOURNAL = {Acta Inf.},
VOLUME = {37},
NUMBER = {3},
PAGES = {213-225},
YEAR = {2000},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@article{van_Glabbeek-Goltz/01,
AUTHOR = {van Glabbeek, Rob and Goltz, Ursula},
TITLE = {Refinement of actions and equivalence notions for concurrent systems},
JOURNAL = {Acta Inf.},
VOLUME = {37},
NUMBER = {4-5},
PAGES = {229-327},
YEAR = {2001},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@article{McIver-Morgan/01,
AUTHOR = {McIver, A.K. and Morgan, C.},
TITLE = {Demonic, angelic and unbounded probabilistic choices in sequential programs},
JOURNAL = {Acta Inf.},
VOLUME = {37},
NUMBER = {4-5},
PAGES = {329-354},
YEAR = {2001},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@article{Chanzy-Devroye-Zamora-Cura/01,
AUTHOR = {Chanzy, Philippe and Devroye, Luc and Zamora-Cura, Carlos},
TITLE = {Analysis of range search for random $k-d$ trees},
JOURNAL = {Acta Inf.},
VOLUME = {37},
NUMBER = {4-5},
PAGES = {355-383},
YEAR = {2001},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@article{Hayes-Utting/01,
AUTHOR = {Hayes, Ian J. and Utting, Mark},
TITLE = {A sequential real-time refinement calculus},
JOURNAL = {Acta Inf.},
VOLUME = {37},
NUMBER = {6},
PAGES = {385-448},
YEAR = {2001},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@article{Tiplea-Makinen-Apachite/01,
AUTHOR = {{\c{T}}iplea, Ferucio Lauren{\c{t}}iu and M{\"a}kinen, Erkki and Apachite, Corina},
TITLE = {Synchronized extension systems},
JOURNAL = {Acta Inf.},
VOLUME = {37},
NUMBER = {6},
PAGES = {449-465},
YEAR = {2001},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@article{Corradini-Pistore/01,
AUTHOR = {Corradini, Flavio and Pistore, Marco},
TITLE = {`Closed interval process algebra' versus `Interval process algebra'},
JOURNAL = {Acta Inf.},
VOLUME = {37},
NUMBER = {7},
PAGES = {467-510},
YEAR = {2001},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@article{Fernau/01,
AUTHOR = {Fernau, Henning},
TITLE = {Parallel communicating grammar systems with terminal transmission},
JOURNAL = {Acta Inf.},
VOLUME = {37},
NUMBER = {7},
PAGES = {511-540},
YEAR = {2001},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@article{Morris-Bunkenburg/01,
AUTHOR = {Morris, Joseph M. and Bunkenburg, Alexander},
TITLE = {A theory of bunches},
JOURNAL = {Acta Inf.},
VOLUME = {37},
NUMBER = {8},
PAGES = {541-561},
YEAR = {2001},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@article{Moreau-Duprat/01,
AUTHOR = {Moreau, Luc and Duprat, Jean},
TITLE = {A construction of distributed reference counting},
JOURNAL = {Acta Inf.},
VOLUME = {37},
NUMBER = {8},
PAGES = {563-595},
YEAR = {2001},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@article{Carpi-Luca/01,
AUTHOR = {Carpi, Arturo and Luca, Aldo de},
TITLE = {Periodic-like words, periodicity, and boxes},
JOURNAL = {Acta Inf.},
VOLUME = {37},
NUMBER = {8},
PAGES = {597-618},
YEAR = {2001},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@article{Kim/01,
AUTHOR = {Kim, Changwook},
TITLE = {Efficient recognition algorithms for boundary and linear eNCE graph languages},
JOURNAL = {Acta Inf.},
VOLUME = {37},
NUMBER = {9},
PAGES = {619-632},
YEAR = {2001},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@article{Aycock-Horspool-Janousek-Melichar/01,
AUTHOR = {Aycock, John and Horspool, Nigel and Janou{\v{s}}ek, Jan and Melichar, Bo{\v{r}}ivoj},
TITLE = {Even faster generalized LR parsing},
JOURNAL = {Acta Inf.},
VOLUME = {37},
NUMBER = {9},
PAGES = {633-651},
YEAR = {2001},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@article{Alonso-Schott/01,
AUTHOR = {Alonso, Laurent and Schott, Ren{\'{e}}},
TITLE = {On the tree inclusion problem},
JOURNAL = {Acta Inf.},
VOLUME = {37},
NUMBER = {9},
PAGES = {653-670},
YEAR = {2001},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@article{Morimoto-Sassa/01,
AUTHOR = {Morimoto, Shin-ichi and Sassa, Masataka},
TITLE = {Yet another generation of LALR parsers for regular right part grammars},
JOURNAL = {Acta Inf.},
VOLUME = {37},
NUMBER = {9},
PAGES = {671-697},
YEAR = {2001},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@article{Greco-Sacca-Zaniolo/01,
AUTHOR = {Greco, Sergio and Sacc{\`{a}}, Domenico and Zaniolo, Carlo},
TITLE = {Extending stratified Datalog to capture complexity classes ranging from $P$ to $QH$},
JOURNAL = {Acta Inf.},
VOLUME = {37},
NUMBER = {10},
PAGES = {699-725},
YEAR = {2001},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@article{van_Stee-Poutre/01,
AUTHOR = {van Stee, Rob and Poutr{\'{e}}, Han la},
TITLE = {Running a job on a collection of partly available machines, with on-line restarts},
JOURNAL = {Acta Inf.},
VOLUME = {37},
NUMBER = {10},
PAGES = {727-742},
YEAR = {2001},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@article{Larsen-Ottmann-Soisalon-Soininen/01,
AUTHOR = {Larsen, Kim S. and Ottmann, Thomas and Soisalon-Soininen, Eljas},
TITLE = {Relaxed balance for search trees with local rebalancing},
JOURNAL = {Acta Inf.},
VOLUME = {37},
NUMBER = {10},
PAGES = {743-763},
YEAR = {2001},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@article{Ramon-Bruynooghe/01,
AUTHOR = {Ramon, Jan and Bruynooghe, Maurice},
TITLE = {A polynomial time computable metric between point sets},
JOURNAL = {Acta Inf.},
VOLUME = {37},
NUMBER = {10},
PAGES = {765-780},
YEAR = {2001},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@article{Best-Devillers-Koutny/01,
AUTHOR = {Best, Eike and Devillers, Raymond and Koutny, Maciej},
TITLE = {Recursion and Petri nets},
JOURNAL = {Acta Inf.},
VOLUME = {37},
NUMBER = {11-12},
PAGES = {781-829},
YEAR = {2001},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@article{Astesiano-Reggio/01,
AUTHOR = {Astesiano, E. and Reggio, G.},
TITLE = {Labelled transition logic: An outline},
JOURNAL = {Acta Inf.},
VOLUME = {37},
NUMBER = {11-12},
PAGES = {831-879},
YEAR = {2001},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@article{Chakka-Harrison/01,
AUTHOR = {Chakka, Ram and Harrison, Peter G.},
TITLE = {A Markov modulated multi-server queue with negative customers --- The MM CPP/GE/c/L G-queue},
JOURNAL = {Acta Inf.},
VOLUME = {37},
NUMBER = {11-12},
PAGES = {881-919},
YEAR = {2001},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}