Evan Tick

30 papers and 199 indexed citations i.

Evan Tick has authored 30 papers that have received a total of 199 indexed citations. This includes 17 papers in Artificial Intelligence, 15 papers in Hardware and Architecture and 11 papers in Computational Theory and Mathematics. The topics of these papers are Parallel Computing and Optimization Techniques (15 papers), Logic, programming, and type systems (13 papers) and Formal Methods in Verification (9 papers). Evan Tick is often cited by papers focused on Parallel Computing and Optimization Techniques (15 papers), Logic, programming, and type systems (13 papers) and Formal Methods in Verification (9 papers) and collaborates with scholars based in United States, Japan and United Kingdom. Evan Tick's co-authors include Takashi Chikayama, Xiaoxiong Zhong, Kazunori Ueda, Ken Kahn and Koichi Furukawa and has published in prestigious journals such as Communications of the ACM, Future Generation Computer Systems and IEEE Transactions on Parallel and Distributed Systems