Lohr, Christophe; Courtiat, Jean-Pierre From the specification to the scheduling of time-dependent systems. (English) Zbl 1278.68182 Damm, Werner (ed.) et al., Formal techniques in real-time and fault-tolerant systems. 7th international symposium, FTRTFT 2002, co-sponsored by IFIP WG 2.2, Oldenburg, Germany, September 9–12, 2002. Proceedings. Berlin: Springer (ISBN 3-540-44165-4/pbk). Lecture Notes in Computer Science 2469, 129-145 (2002). MSC: 68Q60 68M20 68Q45 PDFBibTeX XMLCite \textit{C. Lohr} and \textit{J.-P. Courtiat}, Lect. Notes Comput. Sci. 2469, 129--145 (2002; Zbl 1278.68182) Full Text: DOI
Watson, Bruce W. A fast and simple algorithm for constructing minimal acyclic deterministic finite automata. (English) Zbl 1258.68092 J. UCS 8, No. 2, 363-367 (2002). MSC: 68Q45 PDFBibTeX XMLCite \textit{B. W. Watson}, J. UCS 8, No. 2, 363--367 (2002; Zbl 1258.68092) Full Text: Link
Carrasco, R. C.; Forcada, M. L. Incremental construction and maintenance of minimal finite-state automata. (English) Zbl 1232.68080 Comput. Linguist. 28, No. 2, 207-216 (2002). MSC: 68Q45 91F20 PDFBibTeX XMLCite \textit{R. C. Carrasco} and \textit{M. L. Forcada}, Comput. Linguist. 28, No. 2, 207--216 (2002; Zbl 1232.68080) Full Text: DOI Link
Hashiguchi, Kosaburo Algorithms for determining the smallest number of nonterminals (states) sufficient for generating (accepting) a regular language \(R \) with \(R_{1}\subseteq R\subseteq R_{2}\) for given regular languages \(R_{1},R_{2}\). (English) Zbl 1061.68093 Theor. Comput. Sci. 289, No. 1, 853-859 (2002). MSC: 68Q45 68Q42 PDFBibTeX XMLCite \textit{K. Hashiguchi}, Theor. Comput. Sci. 289, No. 1, 853--859 (2002; Zbl 1061.68093) Full Text: DOI
Riley, Tim R. The geometry of groups satisfying weak almost-convexity or weak geodesic-combability conditions. (English) Zbl 1046.20030 J. Group Theory 5, No. 4, 513-525 (2002). Reviewer: Athanase Papadopoulos (Strasbourg) MSC: 20F65 20F67 57M07 20F05 20F06 20F10 PDFBibTeX XMLCite \textit{T. R. Riley}, J. Group Theory 5, No. 4, 513--525 (2002; Zbl 1046.20030) Full Text: DOI
Duchamp, G.; Laugerotte, É.; Luque, J.-G. On the support of graph Lie algebras. (English) Zbl 1014.68089 Theor. Comput. Sci. 273, No. 1-2, 283-294 (2002). MSC: 68Q45 68R10 PDFBibTeX XMLCite \textit{G. Duchamp} et al., Theor. Comput. Sci. 273, No. 1--2, 283--294 (2002; Zbl 1014.68089) Full Text: DOI