BibTeX records: Hideki Yamasaki

• > Home > Persons > Hideki Yamasaki

@article{DBLP:journals/tcs/JurgensenSY07,
  author       = {Helmut J{\"{u}}rgensen and
                  Ludwig Staiger and
                  Hideki Yamasaki},
  title        = {Finite automata encoding geometric figures},
  journal      = {Theor. Comput. Sci.},
  volume       = {381},
  number       = {1-3},
  pages        = {33--43},
  year         = {2007}
}

@article{DBLP:journals/eatcs/StaigerY02,
  author       = {Ludwig Staiger and
                  Hideki Yamasaki},
  title        = {A Simple Example of an omega-Language Topologically},
  journal      = {Bull. {EATCS}},
  volume       = {78},
  year         = {2002}
}

@article{DBLP:journals/ipl/MoriyaY96,
  author       = {Tetsuo Moriya and
                  Hideki Yamasaki},
  title        = {Literal Shuffle on omega-Languages},
  journal      = {Inf. Process. Lett.},
  volume       = {59},
  number       = {3},
  pages        = {165--168},
  year         = {1996}
}

@article{DBLP:journals/tcs/Yamasaki89,
  author       = {Hideki Yamasaki},
  title        = {Language-Theoretical Representations of omega-Languages},
  journal      = {Theor. Comput. Sci.},
  volume       = {66},
  number       = {3},
  pages        = {247--254},
  year         = {1989}
}

@article{DBLP:journals/tcs/MoriyaY88,
  author       = {Tetsuo Moriya and
                  Hideki Yamasaki},
  title        = {Accepting Conditions for Automata on omega-Languages},
  journal      = {Theor. Comput. Sci.},
  volume       = {61},
  pages        = {137--147},
  year         = {1988}
}

@article{DBLP:journals/tcs/YamasakiTK86,
  author       = {Hideki Yamasaki and
                  Masako Takahashi and
                  Kojiro Kobayashi},
  title        = {Characterization of omega-Regular Languages by Monadic Second-Order
                  Formulas},
  journal      = {Theor. Comput. Sci.},
  volume       = {46},
  number       = {3},
  pages        = {91--99},
  year         = {1986}
}

@article{DBLP:journals/tcs/KobayashiTY84,
  author       = {Kojiro Kobayashi and
                  Masako Takahashi and
                  Hideki Yamasaki},
  title        = {Characterization of omega-Regular Languages by First-Order Formulas},
  journal      = {Theor. Comput. Sci.},
  volume       = {28},
  pages        = {315--327},
  year         = {1984}
}

@article{DBLP:journals/tcs/YamasakiT84,
  author       = {Hideki Yamasaki and
                  Masako Takahashi},
  title        = {Generalized Parenthesis Languages and Minimization of their Parenthesis
                  Parts},
  journal      = {Theor. Comput. Sci.},
  volume       = {31},
  pages        = {1--11},
  year         = {1984}
}

@article{DBLP:journals/tcs/Yamasaki84,
  author       = {Hideki Yamasaki},
  title        = {Normal Petri Nets},
  journal      = {Theor. Comput. Sci.},
  volume       = {31},
  pages        = {307--315},
  year         = {1984}
}

@inproceedings{DBLP:conf/litp/KobayashiTY84,
  author       = {Kojiro Kobayashi and
                  Masako Takahashi and
                  Hideki Yamasaki},
  title        = {Logical formulas and four subclasses of omega-regular languages},
  booktitle    = {Automata on Infinite Words},
  series       = {Lecture Notes in Computer Science},
  volume       = {192},
  pages        = {81--88},
  publisher    = {Springer},
  year         = {1984}
}

@article{DBLP:journals/tcs/TakahashiY83,
  author       = {Masako Takahashi and
                  Hideki Yamasaki},
  title        = {A Note on omega-Regular Languages},
  journal      = {Theor. Comput. Sci.},
  volume       = {23},
  pages        = {217--225},
  year         = {1983}
}

@article{DBLP:journals/ipl/Yamasaki81,
  author       = {Hideki Yamasaki},
  title        = {On Weak Persistency of Petri Nets},
  journal      = {Inf. Process. Lett.},
  volume       = {13},
  number       = {3},
  pages        = {94--97},
  year         = {1981}
}

@inproceedings{DBLP:conf/mfcs/Yamasaki79,
  author       = {Hideki Yamasaki},
  title        = {On Multitape Automata},
  booktitle    = {{MFCS}},
  series       = {Lecture Notes in Computer Science},
  volume       = {74},
  pages        = {533--541},
  publisher    = {Springer},
  year         = {1979}
}