People Search
Phones, Emails, Addresses, Background check, Web references
All public info
Like other search engines (Google or Bing) Radaris collects information from public sources.
Yuxin Deng. Real Reward Testing for Probabilistic Processes. We introduce a notion of real reward testing for probabilistic processes by extending the traditional nonnegative ...
"Analyzing an Electronic Cash Protocol using Applied Pi Calculus," Zhengqin Luo, Xiaojuan Cai, Jun Pang, and Yuxin Deng (Shanghai Jiao Tong University and Carl von Ossietzky ...
Xiangxi Li, Yu Zhang, and Yuxin Deng: Affiliations: Shanghai Jiatong University, China. Institute of Software, Chinese Academy of Science, China.
Xiangxi Li, Yu Zhang and Yuxin Deng: 3. Title: Transferable Anonymous Constant-Size Fair E-Cash: Authors: Georg Fuchsbauer, David Pointcheval and Damien Vergnaud
Zhengqin Luo, Xiaojuan Cai, Jun Pang, Yuxin Deng Cryptanalysis of the TRMC-4 Public Key Cryptosystem Xuyun Nie, Lei Hu, Jintai Ding, Jianyu Li, John Wagner
Department of Computer Science School of Electronics and Informatics Shanghai Jiaotong University 800 Dongchuan Road Shanghai 200240 China Tel: +86 21 34205060 EXT. 601
They are Yijia Chen, Yuxin Deng, Xiaoju Dong, Yuxi Fu and Enshao Shen. Associate Prof. Chen currently works in the areas of logic in computer science, computational ...
The FormalSemantics of Programming Languages Yuxin Deng Shanghai Jiao Tong University http://basics.sjtu.edu.cn/yuxin/ June 16,2010 Formal semantics of programming ...
Linkedin