Name
Playground
About
FAQ
GitHub
Playground
Shortest Path Finder
Community Detector
Connected Papers
Author Trending
Claudia Calabrese
Maria Concetta Palumbo
Catherine Kelly
Jhonathan Pinzon
Said Hoceini
Giovanni Venturelli
Stefano Musso
Chen Ma
Radu Timofte
Kuanrui Yin
Home
/
Author
/
NOBUKO YOSHIDA
Author Info
Open Visualization
Name
Affiliation
Papers
NOBUKO YOSHIDA
Imperial Coll, London, England
7
Collaborators
Citations
PageRank
18
6
2.52
Referers
Referees
References
10
68
34
Publications (7 rows)
Collaborators (18 rows)
Referers (10 rows)
Referees (68 rows)
Title
Citations
PageRank
Year
Event structure semantics of (controlled) reversible CCS
0
0.34
2021
Precise Subtyping for Asynchronous Multiparty Sessions
0
0.34
2021
Zooid: a DSL for certified multiparty computation: from mechanised metatheory to certified multiparty processes
0
0.34
2021
A parametric framework for reversible π-calculi
0
0.34
2020
Developing secure Bitcoin contracts with BitML.
1
0.38
2019
Verifying message-passing programs with dependent behavioural types
0
0.34
2019
Towards Reversible Sessions
5
0.45
2014
1
