Mailing Address

A personal CV (postscript) (pdf)

Research Interests

• Automata and formal language theory and implementation
• Object-oriented modeling methodologies and languages
• Parallel processing, in particular, parallel programming languages

Serving on editorial boards

• Fundamenta Informaticae
• International Journal of Foundations of Computer Science
• Engineering Letters
• Grammars - An international journal

Involvement in conferences

• CIAA 2007 - 12th International Conference on Implementation and Application of Automata
• DCFS 2007 - Descriptional Complexity of Formal Systems
• CIAA 2006 - 11th International Conference on Implementation and Application of Automata
• DCFS 2006 - Descriptional Complexity of Formal Systems
• Development in Language Theory - DLT 2006
• 2005 International Conference on Implementation and Application of Automata (CIAA 2005)
• FSMNLP 2005
• 2004 International Conference on Implementation and Application of Automata (CIAA 2004)
• 2003 International Conference on Implementation and Application of Automata (CIAA 2003)
• 2003 International Conference on Development in Language Theory
• 2002 International Conference on Implementation and Application of Automata (CIAA 2002)
• Half Century of Automata Theory (a poster) (photos from Michael Harrison) (photos from Jeff Shallit)
• 2000 International Conference on Implementation and Application of Automata (CIAA 2000)
• FCT'99
• Developments in Language Theory 1999
• 1999 International Workshop on Implementing Automata

Courses to teach (2004-2005)

• CS 331a Foundations of Computer Science I
• CS 883b: New Directions in Automata and Formal Language Theory

Recent Technical Reports and Talks

• Technical Report 715: State complexity of multiple Boolean and catenation operations
• Invited talk at ICALP'04 Workshop in Formal Languages: Colloquium in honor of Arto Salomaa
  Powerpoint format
• TR629: AutoML: Definition and Implementation by Y. An and S. Yu, 2004.
• TR560: Class-is-type is inadequate for object reuse, ISBN 0-7714-2295-4, by S. Yu, L. Guo, and P. Sheyen, March 2001.
• TR549: The Time Dimension of Computation Models, ISBN 0-7714-2225-3, by S. Yu, January 2000.
• TR539: On Synchronization in P Systems by G. Paun and S. Yu

Selected Publications

• "Subword history and Parikh matrices", with A. Mateescu and A. Salomaa, Journal of Computer and System Sciences, accepted 2003.

• "Follow automata", with L. Ilie, Information and Computation, accepted 2003.

• "A formal study of practical regular expressions", with C. Campeanu, K. Salomaa, International Journal of Foundation of Computer Science, accepted 2003.

• "Word Complexity and Repetitions in Words", with L. Ilie, International Journal of Foundation of Computer Science, accepted 2003.

• "Tight lower bound for the state complexity of shuffle of regular languages", with C. Campeanu and K. Salomaa, Journal of Automata, Languages and Combinatorics 7 (2002) 3, 303-310.

• "Finite Languages and Cover-Automata", with C. Campeanu and N. Santean, Theoretical Computer Science 267 (2001) 3-16.

• "Efficient implementation of regular languages using reversed alternating finite automata", with K. Salomaa and X. Wu, Theoretical Computer Science 231/1 (2000).

• "Synchronization expressions: Characterization Results and Implementation", with K. Salomaa, Jewels are Forever, Springer, 1999. 610-621.

• "Decomposition of Finite Languages", with A. Salomaa, Proceedings of Fourth International Conference on Developments in Language Theory (1999) 8-20.

• "State Complexity of Regular Languages" (Invited talk), Proceedings of Descriptional Complexity of Automata, Grammars and Related Structures (1999) 77-88.

• "Synchronization Expressions with Extended Join Operation", with K. Salomaa, Theoretical Computer Science 207 (1998) 73-88.

• "Practical Rules for Reduction on the Number of States of a State Diagram", with J. Ma, 26th International Conference on Technology of Object-Oriented Languages and Systems (TOOLS USA '98), Aug. 3-7, 1998, Santa Barbara.

• "Minimal Cover-Automata for Finite Languages", with C. Campeanu and N. Santean, 1998 International Workshop on Implementing Automata, Sept. 1998.

• "Implementing R-AFA Operations", with S. Huerter, K. Salomaa, and X. Wu, 1998 International Workshop on Implementing Automata, Sept. 1998.

• "DNA Computing, Sticker Systems, and Universality", with L. Kari, G. Paun, G. Rozenberg, and A. Salomaa, Acta Informatica 35 (1998) 401-420.

• "Chapter 2: Regular Languages", in Handbook of Formal Languages, edited by G. Rozenberg and A. Salomaa, Springer, 1997.

• "On Synchronization Languages", with L. Guo and K. Salomaa, Fundamenta Informaticae 25 (1996) 423-436.

• "Algorithmic Abstraction in Object-Oriented Languages", with Q. Zhuang, Journal of Object Oriented Systems 2 (1995) 217-236. A preliminary version of the paper appeared in the Proceedings of TOOLS 17, Santa Barbara, (1995) 277-292.

• "Decision problems for patterns", with T. Jiang, A. Salomaa, K. Salomaa, Journal of Computer and System Sciences, vol.50, no.1 (1995) 53-63.

• "P, NP and Post Correspondence Problem", with A. Mateescu, A. Salomaa, K. Salomaa, Information and Computation vol. 121, no. 2 (1995) 135-142.

• "Fuzzy Automata in Lexical Analysis", with A. Mateescu, A. Salomaa, K. Salomaa, Journal of Universal Computing, vol.1, no.5 (1995).

• "Measures of Nondeterminism for Pushdown Automata", with K. Salomaa, Journal of Computer and System Sciences, vol. 49, no. 2 (1994) 362-374.

• "A Pumping Lemma for Deterministic Context-Free Languages", Information Processing Letters 31 (1989) 47-51.