Select * from Danhba where del=0 and vehuu=0 and usrname='nmtri' Science curiculum vitae personally - University of Da Nang


  Thông tin chung


  Đề tài NC khoa học
  Bài báo, báo cáo khoa học
  Hướng dẫn Sau đại học
  Sách và giáo trình
  Các học phần và môn giảng dạy
  Giải thưởng khoa học, Phát minh, sáng chế
  Khen thưởng
  Thông tin khác

  Tài liệu tham khảo

  Hiệu chỉnh

Số người truy cập: 39,660,750

[1]Article: A Tool to Compute the Leakage of Multi threaded Programs (Eng. Title). Authors: Ngo Minh Tri, Duong Tuan Quang. In book: Modern Approaches for Intelligent Information and Database Systems. No: 10.1007/978-3-319-76081-0_45. Pages: 527-537. Year 2018. (Apr 29 2018 3:11PM)
[2]Article: Complexity and information flow analysis for multi-threaded programs. Authors: Ngo Minh Tri and Marieke Huisman. The European Physical Journal Special Topics. No: Print ISSN 1951-6355, Online ISSN 1951-6401. Pages: 1-18. Year 2017. (Feb 3 2017 4:54PM)
[3]Article: A design of real-time monitoring and management system based on embedded platform inmanufacturing industry. Authors: Tran Tin Trung, Dang Van Chien, Joonik Son, Jong-Wook Kim, Ngo Minh Tri. The First International Conference on Advanced Technologies in Electrial, Electronic and Communication Engineering (ICATEC). No: ISBN: 978-604-82-0000-0. Pages: 45-49. Year 2016. (Jan 1 2017 1:12PM)
[4]Article: A Monitoring System in Real Time Based on Android Platform. Authors: Pham Trung Xuan, Dang Van Chien, Ngo Minh Tri, Ki-Je Sung, Tran Trung Tin,and Jong-Wook Kim. Proceedings of the 10th International Conference on Ubiquitous Information Management and Communication (IMCOM'16). No: ISBN: 978-1-4503-4142-4. Pages: 29:1--29:4. Year 2016. (Jan 1 2017 1:16PM)
[5]Article: Security check for multi-threaded programs. Authors: Ngo Minh Tri and Nguyen Van Tuan. Proceedings of the 2016 IEEE Sixth International Conference on Communications and Electronics (ICCE'16)). No: DOI: 10.1109/CCE.2016.7562680. Pages: 465-470. Year 2016. (Jan 1 2017 1:21PM)
[6]Article: Measurement of Current Magnitude for Home Appliances using Smart E-Meter. Authors: Tran Trung-Tin, Pham Xuan-Trung, Ngo Minh-Tri and Jong-Wook Kim . The Proceedings of the 2015 KIIT Summer Conference. No: 2015-06. Pages: 279-283. Year 2015. (Nov 8 2015 5:20PM)
[7]Article: Effective verifi cation of confidentiality for multi-threaded programs. Authors: Tri Minh Ngo, Marielle Stoelinga, and Marieke Huisman.. Journal of Computer Security (A special issue), IOS Press. No: Volume 22, number 2/2014. Pages: 269-300. Year 2014. (Jan 8 2015 9:13PM)
[8]Article: Quantitative security analysis for programs with low input and noisy output. Authors: Tri Minh Ngo and Marieke Huisman. Proceedings of the 6th International Conference on Engineering Secure Software and Systems (ESSoS'14), Springer-Verlag, Munich, Germany
unfaithful spouse will my husband cheat again i dreamed my husband cheated on me
abortion stories gone wrong read teenage abortion facts
. No: Volume 8364 of LNCS. Pages: 77-94. Year 2014.
(Jan 8 2015 9:17PM)
[9]Article: Confi dentiality for probabilistic multi-threaded programs and its verifi cation. Authors: Tri Minh Ngo, Marielle Stolinga, and Marieke Huisman
walgreens prints coupons open free printable coupons
cvs weekly sale cvs print prescription savings cards
. Proceedings of the 5th International Conference on Engineering Secure Software and Systems (ESSoS'13), Springer-Verlag, Paris, 2013. No: Volume 7781 of LNCS. Pages: 107-122. Year 2013. (Jan 8 2015 9:19PM)
[10]Article: Quantitative security analysis for multi-threaded programs. Authors: Tri Minh Ngo and Marieke Huisman
walgreens pharmacy coupon site promo codes walgreens
. Proceedings of the 11th International Workshop on Quantitative Aspects of Programming Languages and Systems (QAPL'13), Rome, 2013. No: Volume 117 of EPTCS. Pages: 34-48. Year 2013. (Jan 8 2015 9:22PM)
[11]Article: Scheduler-specifi c con fidentiality for multi-threaded programs and its logic-based verifi cation. Authors: Marieke Huisman and Tri Minh Ngo. Proceedings of the 2011 International Conference on Formal Verification of Object-Oriented Software (Revised Selected Papers) (FoVeOOS'11), Springer-Verlag, Turin, 2011. No: Volume 7421 of LNCS. Pages: 178-195. Year 2011. (Jan 8 2015 9:25PM)
[12]Article: New upper bounds on the separating redundancy of linear block codes. Authors: Tri Minh Ngo, JosWeber, and Kaled A.S. Abdel-Gha ar. Proceedings of the 30th Symposium on Information Theory in the Benelux, Eindhoven, 2009
marriage affairs open i want an affair
. No: WIC30. Pages: 209-216. Year 2009.
(Jan 8 2015 9:30PM)
© Đại học Đà Nẵng
Địa chỉ: 41 Lê Duẩn Thành phố Đà Nẵng
Điện thoại: (84) 0236 3822 041 ; Email: