Shakhbazjan, K. V. The stabilization test for pipelines. (English. Russian original) Zbl 0959.05114 J. Math. Sci., New York 101, No. 4, 3338-3347 (2000); translation from Zap. Nauchn. Semin. POMI 248, 187-204 (1998). MSC: 05C90 90B10 PDFBibTeX XMLCite \textit{K. V. Shakhbazjan}, J. Math. Sci., New York 101, No. 4, 1 (1998; Zbl 0959.05114); translation from Zap. Nauchn. Semin. POMI 248, 187--204 (1998) Full Text: DOI
Balcázar, José L.; Díaz, Josep; Gavaldà, Ricard; Watanabe, Osamu An optimal parallel algorithm for learning DFA. (English) Zbl 0956.68160 Maurer, Hermann (ed.) et al., J.UCS. Journal of Universal Computer Science. Vol. 2, 1996. Annual print and CD-ROM archive edition. With 1 CD-ROM (Windows and UNIX) containing full archive, 1994-1996. Berlin: Springer. 97-112 (1998). MSC: 68W10 68Q45 PDFBibTeX XMLCite \textit{J. L. Balcázar} et al., in: J. UCS. Journal of Universal Computer Science. Vol. 2, 1996. Annual print and CD-ROM archive edition. With 1 CD-ROM (Windows and UNIX) containing full archive, 1994--1996. Berlin: Springer. 97--112 (1998; Zbl 0956.68160)
Darondeau, Philippe Deriving unbounded Petri nets from formal languages. (English) Zbl 0940.68097 Sangiorgi, Davide (ed.) et al., CONCUR ’98. Concurrency theory. 9th international conference, Nice, France, September 8-11, 1998. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1466, 533-548 (1998). MSC: 68Q85 68Q45 PDFBibTeX XMLCite \textit{P. Darondeau}, Lect. Notes Comput. Sci. 1466, 533--548 (1998; Zbl 0940.68097)
Rutten, J. J. M. M. Automata and coinduction (an exercise in coalgebra). (English) Zbl 0940.68085 Sangiorgi, Davide (ed.) et al., CONCUR ’98. Concurrency theory. 9th international conference, Nice, France, September 8-11, 1998. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1466, 194-218 (1998). MSC: 68Q70 PDFBibTeX XMLCite \textit{J. J. M. M. Rutten}, Lect. Notes Comput. Sci. 1466, 194--218 (1998; Zbl 0940.68085)
Birkendorf, Andreas; Böker, Andreas; Simon, Hans Ulrich Learning deterministic finite automata from smallest counterexamples. (English) Zbl 0930.68080 Proceedings of the 9th annual ACM-SIAM symposium on Discrete algorithms. San Francisco, CA, USA, January 25–27, 1998. Philadelphia, PA: SIAM. 599-608 (1998). MSC: 68Q45 68Q32 PDFBibTeX XMLCite \textit{A. Birkendorf} et al., in: Proceedings of the 9th annual ACM-SIAM symposium on discrete algorithms, SODA '98. San Francisco, CA, USA, January 25--27, 1998. Philadelphia, PA: SIAM. 599--608 (1998; Zbl 0930.68080)
Horiguchi, Tsuyoshi; Sakakibara, Takehito Numerical simulations for two-dimensional traffic-flow problems. (English) Zbl 0924.90065 Interdiscip. Inf. Sci. 4, No. 1, 39-49 (1998). MSC: 90B20 68Q80 82C99 90B10 PDFBibTeX XMLCite \textit{T. Horiguchi} and \textit{T. Sakakibara}, Interdiscip. Inf. Sci. 4, No. 1, 39--49 (1998; Zbl 0924.90065) Full Text: DOI
Luo, Tiegeng; Chen, Huowang; Wang, Bingshan; Wang, Ji; Gong, Zhenghu; Qi, Zhichang Verifying automata specification of distributed probabilistic real-time systems. (English) Zbl 0911.68146 J. Comput. Sci. Technol. 13, No. 6, 588-596 (1998). MSC: 68Q45 PDFBibTeX XMLCite \textit{T. Luo} et al., J. Comput. Sci. Technol. 13, No. 6, 588--596 (1998; Zbl 0911.68146) Full Text: DOI
Sénizergues, Géraud The equivalence problem for deterministic pushdown transducers into abelian groups. (English) Zbl 0912.68139 Brim, Luboš (ed.) et al., Mathematical foundations of computer science 1998. 23rd international symposium, MFCS ’98. Brno, Czech Republic, August 24–28, 1998. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1450, 305-315 (1998). MSC: 68Q70 PDFBibTeX XMLCite \textit{G. Sénizergues}, Lect. Notes Comput. Sci. 1450, 305--315 (1998; Zbl 0912.68139)
Selivanov, Victor Fine hierarchy of regular \(\omega\)-languages. (English) Zbl 0908.68085 Theor. Comput. Sci. 191, No. 1-2, 37-59 (1998). MSC: 68Q45 PDFBibTeX XMLCite \textit{V. Selivanov}, Theor. Comput. Sci. 191, No. 1--2, 37--59 (1998; Zbl 0908.68085) Full Text: DOI
Calude, Elena; Lipponen, Marjo Deterministic incomplete automata: Simulation, universality and complementarity. (English) Zbl 0901.68134 Calude, C. S. (ed.) et al., Unconventional models of computation. Proceedings of the 1st international conference, UMC ’98, Univ. of Auckland, New Zealand, January 5–9, 1998. Singapore: Springer. 131-149 (1998). MSC: 68Q45 PDFBibTeX XMLCite \textit{E. Calude} and \textit{M. Lipponen}, in: Unconventional models of computation. Proceedings of the 1st international conference, UMC '98, Univ. of Auckland, Auckland (New Zealand), January 5--9, 1998. Singapore: Springer. 131--149 (1998; Zbl 0901.68134)
Mascari, Gianfranco; Pedicini, Marco Types and dynamics in partially additive categories. (English) Zbl 0895.18003 Gunawardena, Jeremy (ed.), Idempotency. Based on a workshop, Bristol, UK, October 3–7, 1994, Cambridge: Cambridge University Press. 112-132 (1998). MSC: 18B20 68Q25 68Q70 68Q45 16Y60 18E05 PDFBibTeX XMLCite \textit{G. Mascari} and \textit{M. Pedicini}, in: Idempotency. Based on a workshop, Bristol, UK, October 3--7, 1994. Cambridge: Cambridge University Press. 112--132 (1998; Zbl 0895.18003)
d’Alessandro, Flavio; Sakarovitch, Jacques The finite power property for rational sets of a free group. (English) Zbl 0912.20050 Gunawardena, Jeremy (ed.), Idempotency. Based on a workshop, Bristol, UK, October 3–7, 1994, Cambridge: Cambridge University Press. 80-87 (1998). Reviewer: V.Koubek (Praha) MSC: 20M35 68Q45 20F10 20M05 20E05 PDFBibTeX XMLCite \textit{F. d'Alessandro} and \textit{J. Sakarovitch}, in: Idempotency. Based on a workshop, Bristol, UK, October 3--7, 1994. Cambridge: Cambridge University Press. 80--87 (1998; Zbl 0912.20050)
Macarie, Ioan I. Space-efficient deterministic simulation of probabilistic automata. (English) Zbl 0907.68081 SIAM J. Comput. 27, No. 2, 448-465 (1998). MSC: 68Q15 68Q45 68Q05 68Q10 68W15 68R99 PDFBibTeX XMLCite \textit{I. I. Macarie}, SIAM J. Comput. 27, No. 2, 448--465 (1998; Zbl 0907.68081) Full Text: DOI
Niwiński, Damian; Walukiewicz, Igor Relating hierarchies of word and tree automata. (English) Zbl 0892.68067 Morvan, Michel (ed.) et al., STACS 98. 15th annual symposium on Theoretical aspects of computer science. Paris, France, February 25–27, 1998. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1373, 320-331 (1998). MSC: 68Q45 PDFBibTeX XMLCite \textit{D. Niwiński} and \textit{I. Walukiewicz}, Lect. Notes Comput. Sci. 1373, 320--331 (1998; Zbl 0892.68067)