Name
Playground
About
FAQ
GitHub
Playground
Shortest Path Finder
Community Detector
Connected Papers
Author Trending
bertrand devillers
Claudia Calabrese
Mahdi Khoramshahi
Maria Concetta Palumbo
wentao zhu
Jhonathan Pinzon
Giovanni Venturelli
Chen Ma
Radu Timofte
Kuanrui Yin
Home
/
Author
/
TSUTOMU KOBAYASHI
Author Info
Open Visualization
Name
Affiliation
Papers
TSUTOMU KOBAYASHI
Univ Tokyo, Tokyo 1138654, Japan
8
Collaborators
Citations
PageRank
10
7
2.92
Referers
Referees
References
11
82
52
Publications (8 rows)
Collaborators (10 rows)
Referers (11 rows)
Referees (82 rows)
Title
Citations
PageRank
Year
Embedding Approximation in Event-B - Safe Hybrid System Design Using Proof and Refinement.
0
0.34
2020
Consistency-preserving refactoring of refinement structures in Event-B models
0
0.34
2019
A Refinement Based Method for Developing Distributed Protocols
0
0.34
2019
Analysis On Strategies Of Superposition Refinement Of Event-B Specifications
0
0.34
2018
Extracting Traceability between Predicates in Event-B Refinement
0
0.34
2017
Refactoring Refinement Structure of Event-B Machines.
2
0.38
2016
Understanding and Planning Event-B Refinement through Primitive Rationales.
2
0.39
2014
Towards Refinement Strategy Planning for Event-B
3
0.47
2012
1