Tatsuya Abe
- Reducing State Explosion for Software Model Checking with Relaxed Memory Consistency Models
2016/08/21 by Tatsuya Abe, Abe, Tatsuya, Tomoharu Ugawa +5 · 1 citation
Computer Science · Engineering · #Distributed systems and fault tolerance #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Programming Languages (cs.PL) #Radiation Effects in Electronics #Security and Verification in Computing #Software Engineering (cs.SE)
- A multicenter, randomized, placebo-controlled phase IIb trial of an autologous formalin-fixed tumor vaccine for newly diagnosed glioblastomas
2023/01/20 by Yoshihiro Muragaki, Eiichi Ishikawa, Takashi Maruyama +26 · 10 citations
Medicine · Immunology and Microbiology · Biochemistry, Genetics and Molecular Biology · #Glioma Diagnosis and Treatment #Immunotherapy and Immune Responses #Cancer Research and Treatments