( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Constraints Solution for Time Sensitive Security Protocols.

, , , и . FAW, том 4613 из Lecture Notes in Computer Science, стр. 191-203. Springer, (2007)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Mengjun Xue

Li Li

Li Li

Li Li

Li Li

 

Другие публикации лиц с тем же именем

Ore image thresholding segmentation using double windows with fisher discrimination., , , и . ICNC-FSKD, стр. 2715-2719. IEEE, (2017)Solving Constraint Optimization Problems Based on Mathematica and Abstraction., , и . SOFL+MSVL, том 12028 из Lecture Notes in Computer Science, стр. 123-140. Springer, (2019)How Gamification Increases Learning Performance? Investigating the Role of Task Modularity., и . HCI (17), том 12197 из Lecture Notes in Computer Science, стр. 129-146. Springer, (2020)Evaluation of variable precision computing with variable precision FFT implementation on FPGA., , , , , , и . FPT, стр. 299-300. IEEE, (2016)Constructing Program Invariants via Solving QBF., , и . TASE, стр. 217-221. IEEE Computer Society, (2009)Machinelike or Humanlike? A Literature Review of Anthropomorphism in AI-Enabled Technology., и . HICSS, стр. 1-10. ScholarSpace, (2021)Tackling Gaps in Floating-Point Arithmetic: Unum Arithmetic Implementation on FPGA., , , , , и . HPCC/SmartCity/DSS, стр. 615-616. IEEE Computer Society, (2017)Automatic classification for vulnerability based on machine learning., , , , и . ICIA, стр. 312-318. IEEE, (2013)An Abstraction and Refinement Framework for Verifying Security Protocols Based on Logic Programming., , , и . ASIAN, том 4846 из Lecture Notes in Computer Science, стр. 166-180. Springer, (2007)Temporal Impact Analysis for Technological Innovation Based on Box-Cox Transformation., , , , и . SMC, стр. 221-225. IEEE, (2018)