Strong Normalization Theorem for a Constructive Arithmetic with Definition by Transfinite Recursion and Bar Induction. - Osamu Takaki (Notre Dame J. Formal Log., 1997)

Finite presentability of strongly finite dilators. - Osamu Takaki (RAIRO Theor. Informatics Appl., 2000)

Primitive recursive analogues of regular cardinals based on ordinal representation systems for KPi and KPM. - Osamu Takaki (Arch. Math. Log., 2005)

A Coalgebraic Representation of Reduction by Cone of Influence. - Hiroshi Watanabe; Koki Nishizawa; Osamu Takaki (CMCS, 2006)

Verification of Transition System Reduction via PVS. - Osamu Takaki; Makoto Takeyama; Hiroshi Watanabe (Inf. Media Technol., 2006)

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

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)

Service System Development Based on Web Process Ontology. - Noriaki Izumi; Osamu Takaki; Kôiti Hasida (ICSEA, 2009)

Syntax and Semantics of Workflows That Include Passbacks. - Osamu Takaki; Izumi Takeuti; Noriaki Izumi; Kôiti Hasida (ICSEA, 2010)

A Medical Information Retrieval based on Retrievers' Intentions. - Osamu Takaki; Koichiro Murata; Noriaki Izumi; Kôiti Hasida (HEALTHINF, 2011)

Evaluation of a representation system of quality indicators. - Osamu Takaki; Noriaki Izumi; Koichiro Murata; Mitsuru Ikeda; Kôiti Hasida (JCKBSE, 2012)

Workflows with Passbacks and Incremental Verification of Their Correctness. - Osamu Takaki; Izumi Takeuti; Noriaki Izumi; Kôiti Hasida (IEICE Trans. Inf. Syst., 2012)

Segmental HOG: new descriptor for glomerulus detection in kidney microscopy image. - Tsuyoshi Kato; Raissa Relator; Hayliang Ngouv; Yoshihiro Hirohashi; Osamu Takaki; Tetsuhiro Kakimoto; Kinya Okada (BMC Bioinform., 2015)

Reasonable Setting Values for Anonymization Algorithms for Online Educational Data Analysis Support System. - Osamu Takaki; Nobukuni Hamamoto; Atsuko Takefusa; Shigetoshi Yokoyama; Kento Aida (KES, 2022)

Implementation of Anonymization Algorithms for Log Data Analysis on a Cloud-Based Learning Management System. - Osamu Takaki; Nobukuni Hamamoto; Atsuko Takefusa; Shigetoshi Yokoyama; Kento Aida (KES, 2023)