Name
Playground
About
FAQ
GitHub
Playground
Shortest Path Finder
Community Detector
Connected Papers
Author Trending
Matthew C. Putman
Claudia Calabrese
Hui Xiao
Maria Concetta Palumbo
Jhonathan Pinzon
Giovanni Venturelli
Chen Ma
Ali Mohebbi
Radu Timofte
Kuanrui Yin
Home
/
Author
/
OSAMU TAKAKI
Author Info
Open Visualization
Name
Affiliation
Papers
OSAMU TAKAKI
Japan Adv Inst Sci & Technol, Sch Knowledge Sci, nomi 9231292, Japan
12
Collaborators
Citations
PageRank
10
5
4.26
Referers
Referees
References
12
79
45
Publications (12 rows)
Collaborators (10 rows)
Referers (12 rows)
Referees (79 rows)
Title
Citations
PageRank
Year
Workflows With Passbacks And Incremental Verification Of Their Correctness
0
0.34
2012
Evaluation of a representation system of quality indicators.
0
0.34
2012
A Medical Information Retrieval Based On Retrievers' Intentions
0
0.34
2011
Syntax and Semantics of Workflows That Include Passbacks
1
0.38
2010
Service System Development Based on Web Process Ontology
0
0.34
2009
Incremental Verification of Large ScaleWorkflows Based on Extended Correctness
0
0.34
2008
Workflow Diagrams Based on Evidence Life Cycles
1
0.40
2008
Verification Algorithm of Evidence Life Cycles in Extended UML Activity Diagrams
2
0.41
2007
A Coalgebraic Representation of Reduction by Cone of Influence
1
0.37
2006
Primitive recursive analogues of regular cardinals based on ordinal representation systems for KPi and KPM
0
0.34
2005
Finite presentability of strongly finite dilators
0
0.34
2000
Strong Normalization Theorem for a Constructive Arithmetic with Definition by Transfinite Recursion and Bar Induction
0
0.34
1997
1