Concepedia

Takashi Imoto

TI

Statistics

Publications

4

Citations

95

H-Index

4

Active since

2009

Affiliations

NEC (Japan)(Current)

Nagoya University

University of Colorado Boulder

Princeton University

Kavli Institute for the Physics and Mathematics of the Universe

Takashi Imoto is an author at NEC (Japan) specializing in computer science, particle physics, and theoretical physics.

Publications per year

2009–2014

4

Publications

4

Mesons as Open Strings in a Holographic Dual of QCD

Takashi Imoto, Tadakatsu Sakai, Shigeki Sugimoto · Progress of Theoretical Physics · 2010 · 50 citations · Full text

, , +14

DC2: A framework for scalable, scope-bounded software verification

Franjo Ivančić, Gogul Balakrishnan, Aarti Gupta et al. · 2011 · 19 citations

, , +16

Scalable and scope-bounded software verification in Varvel

Franjo Ivančić, Gogul Balakrishnan, Aarti Gupta et al. · Automated Software Engineering · 2014 · 14 citations

, , +11

O(Nc) and USp(Nc) QCD from String Theory

Takashi Imoto, Tadakatsu Sakai, Shigeki Sugimoto · Progress of Theoretical Physics · 2009 · 12 citations · Full text

, , +16

1–4 of 4