( en | de | ru )

 

Disambiguation of "Takaki, Osamu"

Author of the publication

copydeleteadd this publication to your clipboard
Workflows with Passbacks and Incremental Verification of Their Correctness.

, , , and . IEICE Trans. Inf. Syst., 95-D (4): 989-1002 (2012)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Osamu Ohguchi

Osamu Omuro

Osamu Terakado

Osamu Yamada

Osamu Watanabe

 

Other publications of authors with the same name

Workflow Diagrams Based on Evidence Life Cycles., , , , and . JCKBSE, volume 180 of Frontiers in Artificial Intelligence and Applications, page 145-154. IOS Press, (2008)Segmental HOG: new descriptor for glomerulus detection in kidney microscopy image., , , , , , and . BMC Bioinform., (2015)Reasonable Setting Values for Anonymization Algorithms for Online Educational Data Analysis Support System., , , , and . KES, volume 207 of Procedia Computer Science, page 2556-2566. Elsevier, (2022)Service System Development Based on Web Process Ontology., , and . ICSEA, page 222-228. IEEE Computer Society, (2009)Evaluation of a representation system of quality indicators., , , , and . JCKBSE, volume 240 of Frontiers in Artificial Intelligence and Applications, page 144-153. IOS Press, (2012)Quality Improvement of Workflow Diagrams Based on Passback Flow Consistency., , , , and . ICEIS (3-2), page 351-359. (2008)978-989-8111-38-8.Implementation of Anonymization Algorithms for Log Data Analysis on a Cloud-Based Learning Management System., , , , and . KES, volume 225 of Procedia Computer Science, page 3774-3784. Elsevier, (2023)Verification Algorithm of Evidence Life Cycles in Extended UML Activity Diagrams., , , , and . ICSEA, page 9. IEEE Computer Society, (2007)A Coalgebraic Representation of Reduction by Cone of Influence., , and . CMCS, volume 164 of Electronic Notes in Theoretical Computer Science, page 177-194. Elsevier, (2006)Strong Normalization Theorem for a Constructive Arithmetic with Definition by Transfinite Recursion and Bar Induction.. Notre Dame J. Formal Log., 38 (3): 350-373 (1997)