Yamada, Norihiro
574  Ergebnisse:
Personensuche X
?
 
?
5

Game semantics of Martin-Löf type theory:

Yamada, Norihiro
Mathematical Structures in Computer Science.  33 (2023)  7 - p. 605-646 , 2023
 
?
7

Predictors of increase in pacing threshold after transcathe..:

Higuchi, Motoaki ; Shinoda, Yasutoshi ; Hasegawa, Tomoaki...
Pacing and Clinical Electrophysiology.  43 (2020)  11 - p. 1351-1357 , 2020
 
?
8

Dynamic game semantics:

Yamada, Norihiro ; Abramsky, Samson
Mathematical Structures in Computer Science.  30 (2020)  8 - p. 892-951 , 2020
 
?
10

Changes in urinary catecholamine, heart rate, blood pressur..:

Takagi, Yusuke ; Seki, Kazutoshi ; Ogiso, Yosuke...
The Journal of Physical Fitness and Sports Medicine.  9 (2020)  3 - p. 143-148 , 2020
 
?
12

One-year limb outcome and mortality in patients undergoing ..:

the Edo registryinvestigators ; Higashitani, Michiaki ; Anzai, Hitoshi...
Cardiovascular Intervention and Therapeutics.  36 (2020)  2 - p. 226-236 , 2020
 
?
13

Association between axial length and in vivo human crystall..:

Shoji, Takuhei ; Kato, Naoko ; Ishikawa, Sho...
Japanese Journal of Ophthalmology.  64 (2019)  1 - p. 93-101 , 2019
 
?
14

Efficacy of Strip Meniscometry for Detecting Lacrimal Obstr..:

Ishikawa, Sho ; Shoji, Takuhei ; Yamada, Norihiro.
Translational Vision Science & Technology.  8 (2019)  6 - p. 8 , 2019
 
?
 
1-15