Name
Playground
About
FAQ
GitHub
Playground
Shortest Path Finder
Community Detector
Connected Papers
Author Trending
Chun Wah Chan
Claudia Calabrese
Matt Scott
Hao Mao
Peter Malec
Minoru Yoshizawa
Giovanni Venturelli
Chen Ma
Radu Timofte
Kuanrui Yin
Home
/
Author
/
AKIRA YOSHIMIZU
Author Info
Open Visualization
Name
Affiliation
Papers
AKIRA YOSHIMIZU
Univ Tokyo, Tokyo 1138654, Japan
11
Collaborators
Citations
PageRank
12
18
4.15
Referers
Referees
References
17
97
94
Publications (11 rows)
Collaborators (12 rows)
Referers (17 rows)
Referees (97 rows)
Title
Citations
PageRank
Year
Differential Logical Relations, Part I - The Simply-Typed Case.
0
0.34
2019
Intersection types and runtime errors in the pi-calculus.
0
0.34
2019
A Linear-logical Reconstruction of Intuitionistic Modal Logic S4.
0
0.34
2019
Differential Logical Relations, Part I: The Simply-Typed Case (Long Version).
0
0.34
2019
The Geometry of Concurrent Interaction: Handling Multiple Ports by Way of Multiple Tokens (Long Version).
0
0.34
2017
The Geometry of Parallelism. Classical, Probabilistic, and Quantum Effects.
2
0.37
2017
Parallelism and Synchronization in an Infinitary Context (Long Version)
0
0.34
2015
Parallelism and Synchronization in an Infinitary Context
3
0.39
2015
The geometry of synchronization
6
0.51
2014
Measurements in Proof Nets as Higher-Order Quantum Circuits.
7
0.51
2014
The Geometry of Synchronization (Long Version).
0
0.34
2014
1