Computer Graphics in Multiple Microprocessor System. - Tadashi Ae; Koichi Takahashi; Haruyoshi Chiba; Tsurumi Ito (Eurographics, 1980)

A LOTOS Simulator in OBJ. - Kazuhito Ohmaki; Koichi Takahashi; Kokichi Futatsugi (FORTE, 1990)

Analysis of Body Temperature Distributions Generated by an Ultrashortwave Apparatus. - Yoshiyuki Kageyama; Toshihiro Tsutzuki; Kazuo Matsushima; Go Kihara; Hideyuki Suzuki; Koichi Takahashi (J. Robotics Mechatronics, 1996)

Formalization of Graph Search Algorithms and Its Applications. - Mitsuharu Yamamoto; Koichi Takahashi; Masami Hagiya; Shin-ya Nishizaki; Tetsuo Tamai (TPHOLs, 1998)

E-CELL: software environment for whole-cell simulation. - Masaru Tomita; Kenta Hashimoto; Koichi Takahashi; Thomas Simon Shimizu; Yuri Matsuzaki; Fumihiko Miyoshi; Kanako Saito; Sakura Tanida; Katsuyuki Yugi; J. Craig Venter; Clyde A. Hutchison III (Bioinform., 1999)

Proving as Editing HOL Tactics. - Koichi Takahashi; Masami Hagiya (Formal Aspects Comput., 1999)

Abstraction of Link Structures by Regular Expressions and Abstract Model Checking of Concurrent Garbage Collection. - Koichi Takahashi; Masami Hagiya (APLAS, 2000)

Discovery and Deduction. - Masami Hagiya; Koichi Takahashi (Discovery Science, 2000)

The E-CELL project: towards integrative simulation of cellular processes. - Masaru Tomita; Kenta Hashimoto; Koichi Takahashi; Yuri Matsuzaki; Ryo Matsushima; Katsuyuki Yugi; Fumihiko Miyoshi; Hisako Nakano; Yusuke Saito; Tom Shimizu; Yoichi Nakayama (RECOMB, 2000)

Searching for Mutual Exclusion Algorithms Using BDDs. - Koichi Takahashi; Masami Hagiya (Progress in Discovery Science, 2002)

Verification of Authentication Protocols Based on the Binding Relation. - Masami Hagiya; Ryo Takemura; Koichi Takahashi; Takamichi Saito (ISSS, 2002)

The systems biology markup language (SBML): a medium for representation and exchange of biochemical network models. - Michael Hucka; Andrew Finney; Herbert M. Sauro; H. Bolouri; John C. Doyle 001; Hiroaki Kitano; Adam P. Arkin; Benjamin J. Bornstein; Dennis Bray; Athel Cornish-Bowden; Autumn A. Cuellar; Serge Dronov; et al. (Bioinform., 2003)

E-Cell 2: Multi-platform E-Cell simulation system. - Koichi Takahashi; Naota Ishikawa; Yasuhiro Sadamoto; Hiroyuki Sasamoto; Seiji Ohta; Akira Shiozawa; Fumihiko Miyoshi; Yasuhiro Naito; Yoichi Nakayama; Masaru Tomita (Bioinform., 2003)

Analysis of Synchronous and Asynchronous Cellular Automata Using Abstraction by Temporal Logic. - Masami Hagiya; Koichi Takahashi; Mitsuharu Yamamoto; Takahiro Sato (FLOPS, 2004)

Emergence of Product Value from On-line Communications. - Koichi Takahashi; Yukio Ohsawa; Naohiro Matsumura (KES, 2004)

Development of Judging Method of Understanding Level in Web Learning. - Yoshinori Adachi; Koichi Takahashi; Masahiro Ozaki; Yuji Iwahori (KES (1), 2005)

A Decision Procedure for the Alternation-Free Two-Way Modal µ-Calculus. - Yoshinori Tanabe; Koichi Takahashi; Mitsuharu Yamamoto; Akihiko Tozawa; Masami Hagiya (TABLEAUX, 2005)

Abstraction of Graph Transformation Systems by Temporal Logic and Its Verification. - Mitsuharu Yamamoto; Yoshinori Tanabe; Koichi Takahashi; Masami Hagiya (VSTTE, 2005)

Multifractal analysis of deep white matter microstructural changes on MRI in relation to early-stage atherosclerosis. - Tetsuya Takahashi 003; Tetsuhito Murata; Kosuke Narita; Toshihiko Hamada; Hirotaka Kosaka; Masao Omori; Koichi Takahashi; Hirohiko Kimura; Haruyoshi Yoshida; Yuji Wada (NeuroImage, 2006)

Resonance without Response: The Way of Topic Growth in Communications. - Yukio Ohsawa; Naohiro Matsumura; Koichi Takahashi (Chance Discoveries in Real World Decision Making, 2006)

Verification Algorithm of Evidence Life Cycles in Extended UML Activity Diagrams. - Osamu Takaki; Takahiro Seino; Izumi Takeuti; Noriaki Izumi; Koichi Takahashi (ICSEA, 2007)

Performance Evaluation of Next Generation Free-Space Optical Communication System. - Kamugisha Kazaura; Kazunori Omae; Toshiji Suzuki; Mitsuji Matsumoto; Edward Mutafungwa; Tadaaki Murakami; Koichi Takahashi; Hideki Matsumoto; Kazuhiko Wakamori; Yoshinori Arimoto (IEICE Trans. Electron., 2007)

A decision procedure for alternation-free modal µ-calculi. - Yoshinori Tanabe; Koichi Takahashi; Masami Hagiya (Advances in Modal Logic, 2008)

An Exact Brownian Dynamics Method for Cell Simulation. - Koichi Takahashi (CMSB, 2008)

Quality Improvement of Workflow Diagrams Based on Passback Flow Consistency. - Osamu Takaki; Takahiro Seino; Izumi Takeuti; Noriaki Izumi; Koichi Takahashi (ICEIS (3-2), 2008)

Incremental Verification of Large ScaleWorkflows Based on Extended Correctness. - Osamu Takaki; Izumi Takeuti; Takahiro Seino; Noriaki Izumi; Koichi Takahashi (ICSEA, 2008)

Workflow Diagrams Based on Evidence Life Cycles. - Osamu Takaki; Takahiro Seino; Izumi Takeuti; Noriaki Izumi; Koichi Takahashi (JCKBSE, 2008)

Verification of the Deutsch-Schorr-Waite Marking Algorithm with Modal Logic. - Yoshifumi Yuasa; Yoshinori Tanabe; Toshifusa Sekizawa; Koichi Takahashi (VSTTE, 2008)

Probabilistic Model Checking of the One-Dimensional Ising Model. - Toshifusa Sekizawa; Tatsuhiro Tsuchiya; Koichi Takahashi; Tohru Kikuno (IEICE Trans. Inf. Syst., 2009)

Pre- and Post-Conditions Expressed in Variants of the Modal µ-Calculus. - Yoshinori Tanabe; Toshifusa Sekizawa; Yoshifumi Yuasa; Koichi Takahashi (IEICE Trans. Inf. Syst., 2009)

Facial expression estimation using simplified head model based on particle filtering. - Koichi Takahashi; Hironobu Fukai; Yasue Mitsukura (AMC, 2010)

Design and Evaluation of Fiber Direct Coupling Optical Antennas for Next Generation Optical Wireless Communication Systems. - Koichi Takahashi; Nobuo Nakajima (BWCCA, 2010)

Antipsychotics reverse abnormal EEG complexity in drug-naive schizophrenia: A multiscale entropy analysis. - Tetsuya Takahashi 003; Raymond Y. Cho; Tomoyuki Mizuno; Mitsuru Kikuchi; Tetsuhito Murata; Koichi Takahashi; Yuji Wada (NeuroImage, 2010)

Probabilistic Symmetry Reduction for a System with Ring Buffer. - Toshifusa Sekizawa; Takashi Toyoshima; Koichi Takahashi; Kazuko Takahashi (IEICE Trans. Inf. Syst., 2011)

Approaches to the Treatment of Primary Materials in Digital Lexicons: Examples of the New Generation of Digital Lexicons for Buddhist Studies. - Kiyonori Nagasaki; Toru Tomabechi; Dorji Wangchuk; Koichi Takahashi; Jeff Wallman; A. Charles Muller (DH, 2012)

Eye blink detection using monocular system and its applications. - Koichi Takahashi; Yasue Mitsukura (RO-MAN, 2012)

Parallel FDTD Simulation of Microwave Propagation Characteristics in Forest Model for WiMAX Signal. - Yasumitsu Miyazaki; Koichi Takahashi; Nobuo Goto (IEICE Trans. Electron., 2012)

Head pose tracking system using a mobile device. - Koichi Takahashi; Yasue Mitsukura (RO-MAN, 2013)

Multiscale Spatial Computational Systems Biology (Dagstuhl Seminar 14481). - David R. Gilbert; Monika Heiner; Koichi Takahashi; Adelinde M. Uhrmacher (Dagstuhl Reports, 2014)

KEGGscape: a Cytoscape app for pathway data integration. - Kozo Nishida; Keiichiro Ono; Shigehiko Kanaya; Koichi Takahashi (F1000Research, 2014)

Modular Software Model Checking for Distributed Systems. - Watcharin Leungwattanakit; Cyrille Artho; Masami Hagiya; Yoshinori Tanabe; Mitsuharu Yamamoto; Koichi Takahashi (IEEE Trans. Software Eng., 2014)

A Generic Software Platform for Brain-inspired Cognitive Computing. - Koichi Takahashi; Kotone Itaya; Masayoshi Nakamura; Moriyoshi Koizumi; Naoya Arakawa; Masaru Tomita; Hiroshi Yamakawa (BICA, 2015)

Particle Simulation of Oxidation Induced Band 3 Clustering in Human Erythrocytes. - Hanae Shimo; Satya Nanda Vel Arjunan; Hiroaki Machiyama; Taiko Nishino; Makoto Suematsu; Hideaki Fujita; Masaru Tomita; Koichi Takahashi (PLoS Comput. Biol., 2015)

BriCA: A Modular Software Platform for Whole Brain Architecture. - Kotone Itaya; Koichi Takahashi; Masayoshi Nakamura; Moriyoshi Koizumi; Naoya Arakawa; Masaru Tomita; Hiroshi Yamakawa (ICONIP (1), 2016)

Modeling Cellular Noise Underlying Heterogeneous Cell Responses in the Epidermal Growth Factor Signaling Pathway. - Kazunari Iwamoto; Yuki Shindo; Koichi Takahashi (PLoS Comput. Biol., 2016)

Transporting and rotating control of a jib crane by control moment gyro. - Nariyuki Kodani; Shigeto Ouchi; Koichi Takahashi (IECON, 2017)

pSpatiocyte: a high-performance simulator for intracellular reaction-diffusion systems. - Satya Nanda Vel Arjunan; Atsushi Miyauchi 002; Kazunari Iwamoto; Koichi Takahashi (BMC Bioinform., 2020)

Statistical tests for intra-tumour clonal co-occurrence and exclusivity. - Jack Kuipers; Ariane L. Moore; Katharina Jahn 001; Peter Schraml; Feng Wang; Kiyomi Morita; P. Andrew Futreal; Koichi Takahashi; Christian Beisel; Holger Moch; Niko Beerenwinkel (PLoS Comput. Biol., 2021)

Imbalance-Aware Adaptive Margin Loss for Fair Multi-Label Face Attribute Recognition. - Masashi Usami; Koichi Takahashi; Akihiro Hayasaka (ICIP, 2023)

Segmentation-free Direct Iris Localization Networks. - Takahiro Toizumi; Koichi Takahashi; Masato Tsukada (WACV, 2023)

Scenarios and branch points to future machine intelligence. - Koichi Takahashi (CoRR, 2023)

The Future of Fundamental Science Led by Generative Closed-Loop Artificial Intelligence. - Hector Zenil; Jesper Tegnér; Felipe S. Abrahão; Alexander Lavin; Vipin Kumar 001; Jeremy G. Frey; Adrian Weller; Larisa N. Soldatova; Alan R. Bundy; Nicholas R. Jennings; Koichi Takahashi; Lawrence Hunter; et al. (CoRR, 2023)

Technology roadmap toward the completion of whole-brain architecture with BRA-driven development. - Hiroshi Yamakawa; Yoshimasa Tawatsuji; Yuta Ashihara; Ayako Fukawa; Naoya Arakawa; Koichi Takahashi; Yutaka Matsuo (Cogn. Syst. Res., 2024)

Mapping Injection Order Messages to Health Level 7 Fast Healthcare Interoperability Resources to Collate Infusion Pump Data. - Shunsuke Doi; Shinichiroh Yokota; Yugo Nagae; Koichi Takahashi; Mitsuhiro Aoki; Kazuhiko Ohe (Appl. Clin. Inform., 2024)

Integrating a Pipette Into a Robot Manipulator With Uncalibrated Vision and TCP for Liquid Handling. - Junbo Zhang; Weiwei Wan; Nobuyuki Tanaka; Miki Fujita; Koichi Takahashi; Kensuke Harada (IEEE Trans Autom. Sci. Eng., 2024)

Universal AI Maximizes Variational Empowerment. - Yusuke Hayashi; Koichi Takahashi (AGI (1), 2025)

Localizatome: a database for stress-dependent subcellular localization changes in proteins. - Takahide Matsushima; Yuki Naito; Tomoki Chiba; Ryota Kurimoto; Keiko Itano; Koji Ochiai; Koichi Takahashi; Naoki Goshima; Hiroshi Asahara (Database J. Biol. Databases Curation, 2025)

Perspective on Utilizing Foundation Models for Laboratory Automation in Materials Research. - Kan Hatakeyama-Sato; Toshihiko Nishida; Kenta Kitamura; Yoshitaka Ushiku; Koichi Takahashi; Yuta Nabae; Teruaki Hayakawa (CoRR, 2025)