Takeshi Nishikawa

Publication Activity (10 Years)

Years Active: 2003-2020
Publications (10 Years): 3

Top Topics

Semantics Of Logic Programs

Fixpoint Semantics

Discrete Optimization Problems

Top Venues

Publications

Akira Dan, Riu Shimizu, Takeshi Nishikawa, Song Bian, Takashi Sato
Clustering Approach for Solving Traveling Salesman Problems via Ising Model Based Solver. DAC (2020)
Naoki Kobayashi, Takeshi Nishikawa, Atsushi Igarashi, Hiroshi Unno
Temporal Verification of Programs via First-Order Fixpoint Logic. SAS (2019)
Paneer Selvam Karthik, Yuma Shimo, Zaw Lin, R. Venkata Krishna Rao, Xiao Gong, Mitsunobu Yoshida, Masaki Hada, Takeshi Nishikawa, Yasuhiko Hayashi, Singh SP
Carbon nanostructures synthesized via self-assembly (LLIP) and its application in FET. NEMS (2016)
Hiroaki Kawashima, Takeshi Nishikawa, Takashi Matsuyama
Visual filler: facilitating smooth turn-taking in video conferencing with transmission delay. CHI Extended Abstracts (2008)
Kentaro Sano, Takeshi Nishikawa, Takayuki Aoki, Satoru Yamamoto
Evaluating power and energy consumption of FPGA-based custom computing machines for scientific floating-point computation. FPT (2008)
Takeshi Nishikawa, Satoshi Matsuoka
Time-Stamping Authority Grid. CCGRID (2008)
Takeshi Nishikawa, Umpei Nagashima, Satoshi Sekiguchi
Design and Implementation of Intelligent Scheduler for Gaussian Portal on Quantum Chemistry Grid. International Conference on Computational Science (2003)