Edit Profile (opens in new tab) Chou, Ching-Tsun Compute Distance To: Compute Author ID: chou.ching-tsun Published as: Chou, Ching-Tsun Documents Indexed: 11 Publications since 1988 Co-Authors: 14 Co-Authors with 8 Joint Publications 444 Co-Co-Authors all top 5 Co-Authors 2 single-authored 3 Gopal, Inder S. 2 Mannava, Phanindra K. 2 Park, Seungjoon 1 Azimi, Mani 1 Chen, Xiaofang 1 Cidon, Israel 1 Dill, David L. 1 Gopalakrishnan, Ganesh Lalitha 1 Hanzon, Bernard 1 Kumar, Akhilesh 1 Lee, Victor W. 1 Peled, Doron A. 1 Shimizu, Kanna 1 Yang, Yu 1 Zaks, Shmuel Serials 2 Formal Methods in System Design 1 Information Processing Letters 1 Journal of Algorithms 1 Systems & Control Letters 1 Journal of Automated Reasoning Fields 10 Computer science (68-XX) 2 Operations research, mathematical programming (90-XX) 1 Systems theory; control (93-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 5 Publications have been cited 13 times in 13 Documents Cited by ▼ Year ▼ The mathematical foundation of symbolic trajectory evaluation. Zbl 1046.68586Chou, Ching-Tsun 5 1999 On diffeomorphisms between classes of linear systems. Zbl 0877.93021Chou, C. T.; Hanzon, Bernard 4 1995 A simple method for parameterized verification of cache coherence protocols. Zbl 1117.68423Chou, Ching-Tsun; Mannava, Phanindra K.; Park, Seungjoon 4 2004 Linear broadcast routing. Zbl 0825.68415Chou, Ching-Tsun; Gopal, Inder S. 3 1989 Synchronizing asynchronous bounded delay networks. Zbl 0646.68026Chou, Ching-Tsun; Cidon, Israel; Gopal, Inder S.; Zaks, Shmuel 1 1988 A simple method for parameterized verification of cache coherence protocols. Zbl 1117.68423Chou, Ching-Tsun; Mannava, Phanindra K.; Park, Seungjoon 4 2004 The mathematical foundation of symbolic trajectory evaluation. Zbl 1046.68586Chou, Ching-Tsun 5 1999 On diffeomorphisms between classes of linear systems. Zbl 0877.93021Chou, C. T.; Hanzon, Bernard 4 1995 Linear broadcast routing. Zbl 0825.68415Chou, Ching-Tsun; Gopal, Inder S. 3 1989 Synchronizing asynchronous bounded delay networks. Zbl 0646.68026Chou, Ching-Tsun; Cidon, Israel; Gopal, Inder S.; Zaks, Shmuel 1 1988 all cited Publications top 5 cited Publications all top 5 Cited by 32 Authors 2 Guo, Wensheng 2 Hung, William N. N. 2 Song, Xiaoyu 2 Yang, Guowu 1 Abdulla, Parosh Aziz 1 Chang, Zhengwei 1 Cimatti, Alessandro 1 Diks, Krzysztof 1 Even, Shimon 1 Farley, Arthur M. 1 Fraigniaud, Pierre 1 Fujita, Satoshi 1 Gmeiner, Annu 1 Griggio, Alberto 1 Li, Yongjian 1 Malinowski, Adam 1 Melham, Tom 1 Pelc, Andrzej 1 Rajsbaum, Sergio 1 Redondi, Gianluca 1 Sankur, Ocan 1 Schmid, Ulrich 1 Sebastiani, Roberto 1 Singerman, Eli 1 Talpin, Jean-Pierre 1 Talupur, Muralidhar 1 Tonetta, Stefano 1 Vardi, Moshe Ya’akov 1 Veith, Helmut 1 Widder, Josef 1 Xu, Yongsheng 1 Zheng, Desheng all top 5 Cited in 6 Serials 2 Discrete Applied Mathematics 2 Journal of Applied Mathematics 1 Theoretical Computer Science 1 RAIRO. Informatique Théorique et Applications 1 Formal Methods in System Design 1 Theory of Computing Systems Cited in 5 Fields 12 Computer science (68-XX) 2 Mathematical logic and foundations (03-XX) 1 Combinatorics (05-XX) 1 Operations research, mathematical programming (90-XX) 1 Information and communication theory, circuits (94-XX) Citations by Year