The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Hitoshi Ohsaki: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Joe Hendrix, José Meseguer, Hitoshi Ohsaki
    A Sufficient Completeness Checker for Linear Order-Sorted Specifications Modulo Axioms. [Citation Graph (0, 0)][DBLP]
    IJCAR, 2006, pp:151-155 [Conf]
  2. Aart Middeldorp, Hitoshi Ohsaki, Hans Zantema
    Transforming Termination by Self-Labelling. [Citation Graph (0, 0)][DBLP]
    CADE, 1996, pp:373-387 [Conf]
  3. Hitoshi Ohsaki
    Beyond Regularity: Equational Tree Automata for Associative and Commutative Theories. [Citation Graph (0, 0)][DBLP]
    CSL, 2001, pp:539-553 [Conf]
  4. Hitoshi Ohsaki, Aart Middeldorp, Jürgen Giesl
    Equational Termination by Semantic Labelling. [Citation Graph (0, 0)][DBLP]
    CSL, 2000, pp:457-471 [Conf]
  5. Hitoshi Ohsaki, Aart Middeldorp
    Type Introduction for Equational Rewriting. [Citation Graph (0, 0)][DBLP]
    LFCS, 1997, pp:283-293 [Conf]
  6. Hitoshi Ohsaki, Jean-Marc Talbot, Sophie Tison, Yves Roos
    Monotone AC-Tree Automata. [Citation Graph (0, 0)][DBLP]
    LPAR, 2005, pp:337-351 [Conf]
  7. Joe Hendrix, Hitoshi Ohsaki, Mahesh Viswanathan
    Propositional Tree Automata. [Citation Graph (0, 0)][DBLP]
    RTA, 2006, pp:50-65 [Conf]
  8. Hitoshi Ohsaki, Hiroyuki Seki, Toshinori Takai
    Recognizing Boolean Closed A-Tree Languages with Membership Conditional Rewriting Mechanism. [Citation Graph (0, 0)][DBLP]
    RTA, 2003, pp:483-498 [Conf]
  9. Hitoshi Ohsaki, Toshinori Takai
    Decidability and Closure Properties of Equational Tree Languages. [Citation Graph (0, 0)][DBLP]
    RTA, 2002, pp:114-128 [Conf]
  10. Aart Middeldorp, Hitoshi Ohsaki
    Type Introduction for Equational Rewriting. [Citation Graph (0, 0)][DBLP]
    Acta Inf., 2000, v:36, n:12, pp:1007-1029 [Journal]
  11. Hitoshi Ohsaki, Toshinori Takai
    ACTAS : A System Design for Associative and Commutative Tree Automata Theory. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2005, v:124, n:1, pp:97-111 [Journal]
  12. Hitoshi Ohsaki, Hiroyuki Seki
    Languages Modulo Normalization. [Citation Graph (0, 0)][DBLP]
    FroCos, 2007, pp:221-236 [Conf]

  13. Tree Automata for Non-linear Arithmetic. [Citation Graph (, )][DBLP]


  14. Combining Equational Tree Automata over AC and ACI Theories. [Citation Graph (, )][DBLP]


Search in 0.026secs, Finished in 0.028secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002