Kiyoharu Hamaguchi

• Artículos de revistas (5)

• Artículos de revistas

  • Expressive Power of Quantum Pushdown Automata with Classical Stack Operations under the Perfect-Soundness Condition

    Masaki Nakanishi, Kiyoharu Hamaguchi, Toshinobu Kashiwabara

    IEICE transactions on information and systems, ISSN 0916-8532, Vol. 89, Nº 3, 2006, págs. 1120-1127

    

  • Symbolic Simulation Heuristics for High-Level Hardware Descriptions Including Uninterpreted Functions

    Kiyoharu Hamaguchi

    IEICE transactions on information and systems, ISSN 0916-8532, Vol. 87, Nº 3, 2004, págs. 637-641

    

  • Verifying Signal-Transition Consistency of High-Level Designs Based on Symbolic Simulation

    Kiyoharu Hamaguchi

    IEICE transactions on information and systems, ISSN 0916-8532, Vol. 85, Nº 10, 2002, págs. 1587-1594

    

  • A partially explicit method for efficient symbolic checking of language containment

    Kiyoharu Hamaguchi, Michiyo Ichihara, Toshinobu Kashiwabara

    IEICE transactions on fundamentals of electronics, communications and computer, ISSN 0916-8508, Vol. 82, Nº. 11, 1999, págs. 2455-2464

    

  • An exponential lower bound on the size of a binary moment diagram representing integer division

    Masaki Nakanishi, Kiyoharu Hamaguchi, Toshinobu Kashiwabara

    IEICE transactions on fundamentals of electronics, communications and computer, ISSN 0916-8508, Vol. 82, Nº. 5, 1999, págs. 756-766

    

Esta página recoge referencias bibliográficas de materiales disponibles en los fondos de las Bibliotecas que participan en Dialnet. En ningún caso se trata de una página que recoja la producción bibliográfica de un autor de manera exhaustiva. Nos gustaría que los datos aparecieran de la manera más correcta posible, de manera que si detecta algún error en la información que facilitamos, puede hacernos llegar su Sugerencia / Errata.