@article{Colomb-Dampney-Johnson/01,
AUTHOR = {Colomb, Robert M. and Dampney, C.N.G. and Johnson, Michael},
TITLE = {Category-theoretic fibration as an abstraction mechanism in information systems},
JOURNAL = {Acta Inf.},
VOLUME = {38},
NUMBER = {1},
PAGES = {1-44},
YEAR = {2001},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@article{Meinke-Steggles/01,
AUTHOR = {Meinke, K. and Steggles, L.J.},
TITLE = {Correctness of dataflow and systolic algorithms using algebras of streams},
JOURNAL = {Acta Inf.},
VOLUME = {38},
NUMBER = {1},
PAGES = {45-88},
YEAR = {2001},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@article{La_Torre-Napoli/01,
AUTHOR = {La Torre, Salvatore and Napoli, Margherita},
TITLE = {Timed tree automata with an application to temporal logic},
JOURNAL = {Acta Inf.},
VOLUME = {38},
NUMBER = {2},
PAGES = {89-116},
YEAR = {2001},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@article{Ito-Martin-Vide-Mitrana/01,
AUTHOR = {Ito, Masami and Mart{\'{i}}n-Vide, Carlos and Mitrana, Victor},
TITLE = {Group weighted finite transducers},
JOURNAL = {Acta Inf.},
VOLUME = {38},
NUMBER = {2},
PAGES = {117-129},
YEAR = {2001},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@article{Dassow-Paun-Thierrin-Yu/01,
AUTHOR = {Dassow, J{\"u}rgen and P{\u{a}}un, Gheorghe and Thierrin, Gabriel and Yu, Sheng},
TITLE = {Tree-systems of morphisms},
JOURNAL = {Acta Inf.},
VOLUME = {38},
NUMBER = {2},
PAGES = {131-153},
YEAR = {2001},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@article{Rensink-Wehrheim/01,
AUTHOR = {Rensink, Arend and Wehrheim, Heike},
TITLE = {Process algebra with action dependencies},
JOURNAL = {Acta Inf.},
VOLUME = {38},
NUMBER = {3},
PAGES = {155-234},
YEAR = {2001},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@article{Makinen-Systa/01,
AUTHOR = {M{\"a}kinen, Erkki and Syst{\"a}, Tarja},
TITLE = {Minimally adequate teacher synthesizes statechart diagrams},
JOURNAL = {Acta Inf.},
VOLUME = {38},
NUMBER = {4},
PAGES = {235-259},
YEAR = {2001},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@article{Drmota/01,
AUTHOR = {Drmota, Michael},
TITLE = {The variance of the height of digital search trees},
JOURNAL = {Acta Inf.},
VOLUME = {38},
NUMBER = {4},
PAGES = {261-276},
YEAR = {2001},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@article{Lin-Yi/01,
AUTHOR = {Lin, Huimin and Yi, Wang},
TITLE = {Axiomatising timed automata},
JOURNAL = {Acta Inf.},
VOLUME = {38},
NUMBER = {4},
PAGES = {277-305},
YEAR = {2001},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@article{Simkovici-Cristofor-Cristofor/01,
AUTHOR = {Simkovici, Dan A. and Cristofor, Dana and Cristofor, Laurentiu},
TITLE = {Impurity measures in databases},
JOURNAL = {Acta Inf.},
VOLUME = {38},
NUMBER = {5},
PAGES = {307-324},
YEAR = {2001},
KEYWORDS = {`},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@article{Liu-Vincent/01,
AUTHOR = {Liu, Jixue and Vincent, Millist},
TITLE = {Containment and disjointedness in partitioned normal form relations},
JOURNAL = {Acta Inf.},
VOLUME = {38},
NUMBER = {5},
PAGES = {325-342},
YEAR = {2001},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@article{Hesselink/01,
AUTHOR = {Hesselink, Wim H.},
TITLE = {An assertional criterion for atomicity},
JOURNAL = {Acta Inf.},
VOLUME = {38},
NUMBER = {5},
PAGES = {343-366},
YEAR = {2001},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@article{Duggan/01,
AUTHOR = {Duggan, Dominic},
TITLE = {Object type constructors},
JOURNAL = {Acta Inf.},
VOLUME = {38},
NUMBER = {6},
PAGES = {367-408},
YEAR = {2001},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@article{Carpi-Luca-Varricchio/01,
AUTHOR = {Carpi, Arturo and Luca, Aldo de and Varricchio, Stefano},
TITLE = {Words, univalent factors, and boxes},
JOURNAL = {Acta Inf.},
VOLUME = {38},
NUMBER = {6},
PAGES = {409-436},
YEAR = {2001},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@article{Frederiks-Weide/01,
AUTHOR = {Frederiks, P.J.M. and Weide, T.P. van der},
TITLE = {Deriving and paraphrasing information grammars using object-oriented analysis models},
JOURNAL = {Acta Inf.},
VOLUME = {38},
NUMBER = {7},
PAGES = {437-488},
YEAR = {2001},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@article{Penabad-Brisaboa-Hernandez-Parama/01,
AUTHOR = {Penabad, Miguel R. and Brisaboa, Nieves R. and Hern{\'{a}}ndez, H{\'{e}}ctor J. and Param{\'{a}}, Jos{\'{e}} R.},
TITLE = {A general procedure to check conjunctive query containment},
JOURNAL = {Acta Inf.},
VOLUME = {38},
NUMBER = {7},
PAGES = {489-529},
YEAR = {2001},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@article{Santone/01,
AUTHOR = {Santone, Antonella},
TITLE = {Automatic verification of concurrent systems using a formula-based compositional approach},
JOURNAL = {Acta Inf.},
VOLUME = {38},
NUMBER = {8},
PAGES = {531-564},
YEAR = {2001},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@article{Larsen/01,
AUTHOR = {Larsen, Kim S.},
TITLE = {Relaxed red-black trees with group updates},
JOURNAL = {Acta Inf.},
VOLUME = {38},
NUMBER = {8},
PAGES = {565-586},
YEAR = {2001},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@article{Chakaravarthy-Horwitz/01,
AUTHOR = {Chakaravarthy, Venkatesan T. and Horwitz, Susan},
TITLE = {On the non-approximability of points-to analysis},
JOURNAL = {Acta Inf.},
VOLUME = {38},
NUMBER = {8},
PAGES = {587-598},
YEAR = {2001},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@article{Cordero-Enciso-Guzman/01,
AUTHOR = {Cordero, P. and Enciso, M. and Guzm{\'{a}}n, I.P. de},
TITLE = {Bases for closed sets of implicants and implicates in temporal logic},
JOURNAL = {Acta Inf.},
VOLUME = {38},
NUMBER = {9},
PAGES = {599-619},
YEAR = {2001},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@article{Giannella-Van_Gucht/01,
AUTHOR = {Giannella, Chris and Van Gucht, Dirk},
TITLE = {Adding a path connectedness operator to $FO$ + poly (linear)},
JOURNAL = {Acta Inf.},
VOLUME = {38},
NUMBER = {9},
PAGES = {621-648},
YEAR = {2001},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@article{Berstel-Boasson/01,
AUTHOR = {Berstel, Jean and Boasson, Luc},
TITLE = {Formal properties of XML grammars and languages},
JOURNAL = {Acta Inf.},
VOLUME = {38},
NUMBER = {9},
PAGES = {649-671},
YEAR = {2001},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0001-5903&volume=38&issue=9&spage=649},
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},
}