Zhiquan Jin
Publications by Year
Research Areas
Distributed systems and fault tolerance, Logic, programming, and type systems, Network Traffic and Congestion Control, Formal Methods in Verification, Advanced Database Systems and Queries
Most-Cited Works
- → Proof techniques for port-directed communication and broadcast(1987)1 cited
- → Design and implementation of a heterogeneous distributed database system(1990)1 cited
- Analysis and Improvement of the IP Security Model(2003)
- → A rate-based multicast protocol for large-scale reliable transport(2003)
- イチョウ酸メグルミンを注射液ジテルペンラクトンカルパインシグナル伝達経路を下方制御することによって,脳虚血と神経細胞のアポトーシスを抑制した。【JST・京大機械翻訳】(2015)