Yuta Tanaka
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
2
Venues
2
Active years
2011–2018
Best venue rank
A*
Where they publish
Papers
2 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2018 | APLAS | Traf: A Graphical Proof Tree Viewer Cooperating with Coq Through Proof General. | Hideyuki Kawabata, Yuta Tanaka, Mai Kimura, Tetsuo Hironaka |
| 2011 | CHI | TableCross: exuding a shared space into personal spaces to encourage its voluntary maintenance. | Kazushi Nishimoto, Akari Ikenoue, Koji Shimizu, Tomonori Tajima, Yuta Tanaka, Yutaka Baba, Xihong Wang |