Chung-chieh Shan
About
Chung-chieh Shan has authored 34 papers that have received a total of 333 indexed citations.
This includes 30 papers in Artificial Intelligence, 15 papers in Computational Theory and Mathematics and 4 papers in Computer Networks and Communications. The topics of these papers are Logic, programming, and type systems (17 papers), Logic, Reasoning, and Knowledge (10 papers) and Formal Methods in Verification (9 papers). Chung-chieh Shan is often cited by papers focused on Logic, programming, and type systems (17 papers), Logic, Reasoning, and Knowledge (10 papers) and Formal Methods in Verification (9 papers) and collaborates with scholars based in United States, The Netherlands and Japan. Chung-chieh Shan's co-authors include Oleg Kiselyov, P. J. Narayanan, Dariusz Biernacki, Amr Sabry and Olivier Danvy and has published in prestigious journals such as Lecture notes in computer science, ACM SIGPLAN Notices and ACM Transactions on Programming Languages and Systems
In The Last Decade
Explore authors with similar magnitude of impact
Top countries impacted by papers by Burkhard Wiechens Top journals papers by Anne Johannet are published in Top journals papers by Anil Kumar Singh are published in Top countries impacted by papers by Lulu Zhang Top countries impacted by papers by Francesco Attena Top fields papers by Orkun Çetin are about Top journals papers by Donald Ian Macdonald are published in Top fields papers by Stephanie S. Filigno are about