Kazunori Ueda
Waseda University(JP)Tohoku Medical and Pharmaceutical University(JP)
Publications by Year
Research Areas
Logic, programming, and type systems, Formal Methods in Verification, Model-Driven Software Engineering Techniques, Caching and Content Delivery, Peer-to-Peer Network Technologies
Most-Cited Works
- → PGRP-LC and PGRP-LE have essential yet distinct functions in the drosophila immune response to monomeric DAP-type peptidoglycan(2006)405 cited
- → Guarded horn clauses(1986)332 cited
- → Isolation of New Protein Phosphatase Inhibitors from Two Cyanobacteria Species, Planktothrix spp.(2001)98 cited
- → Design of the Kernel Language for the Parallel Inference Machine(1990)92 cited
- → Synthesis of a Tetronic Acid Library Focused on Inhibitors of Tyrosine and Dual-Specificity Protein Phosphatases and Its Evaluation Regarding VHR and Cdc25B Inhibition(2001)83 cited
- → Structures of the Dimeric and Monomeric Chromanones, Gonytolides A–C, Isolated from the Fungus Gonytrichum sp. and Their Promoting Activities of Innate Immune Responses(2011)66 cited