Osamu Takaki

19 papers B 2C 5Journal 7Unranked 5
YearRankTypeTitle / Venue / Authors
2025 J jnl
A Composition Theorem via
IEICE Trans. Fundam. Electron. Commun. Comput. Sci.
Shota Saito, Koji Chida, Osamu Takaki
2023 B conf
Implementation of Anonymization Algorithms for Log Data Analysis on a Cloud-Based Learning Management System.
KES
Osamu Takaki, Nobukuni Hamamoto, Atsuko Takefusa, Shigetoshi Yokoyama, Kento Aida
2022 B conf
Reasonable Setting Values for Anonymization Algorithms for Online Educational Data Analysis Support System.
KES
Osamu Takaki, Nobukuni Hamamoto, Atsuko Takefusa, Shigetoshi Yokoyama, Kento Aida
2015 J jnl
Segmental HOG: new descriptor for glomerulus detection in kidney microscopy image.
BMC Bioinform.
Tsuyoshi Kato, Raissa Relator, Hayliang Ngouv, Yoshihiro Hirohashi, Osamu Takaki, Tetsuhiro Kakimoto, Kinya Okada
2012 — conf
Evaluation of a representation system of quality indicators.
JCKBSE
Osamu Takaki, Noriaki Izumi, Koichiro Murata, Mitsuru Ikeda, Kôiti Hasida
2012 J jnl
Workflows with Passbacks and Incremental Verification of Their Correctness.
IEICE Trans. Inf. Syst.
Osamu Takaki, Izumi Takeuti, Noriaki Izumi, Kôiti Hasida
2011 — conf
A Medical Information Retrieval based on Retrievers' Intentions.
HEALTHINF
Osamu Takaki, Koichiro Murata, Noriaki Izumi, Kôiti Hasida
2010 C conf
Syntax and Semantics of Workflows That Include Passbacks.
ICSEA
Osamu Takaki, Izumi Takeuti, Noriaki Izumi, Kôiti Hasida
2010 C ed.
The Fifth International Conference on Software Engineering Advances, ICSEA 2010, 22-27 August 2010, Nice, France
ICSEA
Jon G. Hall, Hermann Kaindl, Luigi Lavazza, Georg Buchgeher, Osamu Takaki
2009 C conf
Service System Development Based on Web Process Ontology.
ICSEA
Noriaki Izumi, Osamu Takaki, Kôiti Hasida
2008 C conf
Incremental Verification of Large ScaleWorkflows Based on Extended Correctness.
ICSEA
Osamu Takaki, Izumi Takeuti, Takahiro Seino, Noriaki Izumi, Koichi Takahashi
2008 — conf
Quality Improvement of Workflow Diagrams Based on Passback Flow Consistency.
ICEIS (3-2)
Osamu Takaki, Takahiro Seino, Izumi Takeuti, Noriaki Izumi, Koichi Takahashi
2008 — conf
Workflow Diagrams Based on Evidence Life Cycles.
JCKBSE
Osamu Takaki, Takahiro Seino, Izumi Takeuti, Noriaki Izumi, Koichi Takahashi
2007 C conf
Verification Algorithm of Evidence Life Cycles in Extended UML Activity Diagrams.
ICSEA
Osamu Takaki, Takahiro Seino, Izumi Takeuti, Noriaki Izumi, Koichi Takahashi
2006 — conf
A Coalgebraic Representation of Reduction by Cone of Influence.
CMCS
Hiroshi Watanabe, Koki Nishizawa, Osamu Takaki
2006 J jnl
Verification of Transition System Reduction via PVS.
Inf. Media Technol.
Osamu Takaki, Makoto Takeyama, Hiroshi Watanabe
2005 J jnl
Primitive recursive analogues of regular cardinals based on ordinal representation systems for KPi and KPM.
Arch. Math. Log.
Osamu Takaki
2000 J jnl
Finite presentability of strongly finite dilators.
RAIRO Theor. Informatics Appl.
Osamu Takaki
1997 J jnl
Strong Normalization Theorem for a Constructive Arithmetic with Definition by Transfinite Recursion and Bar Induction.
Notre Dame J. Formal Log.
Osamu Takaki