• Home
  • Research
  • Publications
  • Courses
  • About
  • Lightning Talks

Publications

  • Jingwen Zhang, Ge Shi, Song Chen, Mao Zheng，“Building a Stock Machine Learning Model using Numerai Dataset”, EIT2023 - Conference Proceedings 2023 IEEE International Conference on Electro Information Technology, May 18 – 20, Chicago, IL.
  • Carter Goodwin, Mao Zheng, “An Android App for Detecting Sleep and Pausing Media”, MICS2022 - Conference Proceedings of Midwest Instruction and Computing Symposium, April 1-2, 2022, Milwaukee, Wisconsin.
  • Jiashu Li, Wentai Peng, Song Chen, Mao Zheng, “A Detection Tool for Traffic Objects”, MICS2022 - Conference Proceedings of Midwest Instruction and Computing Symposium, April 1-2, 2022, Milwaukee, Wisconsin.
  • Yuanqing Suo, Song Chen, Mao Zheng, “Developing an Autonomous Driving Model Based on Raspberry Pi”, MICS2020 - Conference Proceedings of Midwest Instruction and Computing Symposium, April 3-4, 2020, Milwaukee, Wisconsin.
  • Jinhuan Lei, Song Chen, Mao Zheng, “Using Machine Learning to Play the Game Super Mario Cart”, ICAI’19 - Conference Proceedings the 21st International Conference on Artificial Intelligence, Las Vegas, NV, July 29 - Aug. 1, 2019.
  • Zeya Kong, Song Chen, Mao Zheng, “Exploring Restaurants’ Text Reviews vs. Rating using a Yelp Dataset”, MICS2019 - Conference Proceedings of Midwest Instruction and Computing Symposium, April 5-6, 2019, Fargo, North Dakota.
  • Mao Zheng, Song Chen, Yuxin Liu, “A Web-based Application for Sales Predication”, SERP’2018 - Conference Proceedings the 16th International Conference on Software Engineering Research and Practice, Las Vegas, NV, July 30 - Aug. 1, 2018.
  • Yuxin Liu, Song Chen, Mao Zheng, “Using Machine Learning in Sales Predication”, MICS2018 - Conference Proceedings of Midwest Instruction and Computing Symposium, April 6-7, 2018, Duluth, MN.
  • Mao Zheng, Yifan Gu, Chaohui Xu, “The Architecture of a Ride Sharing Application”, SERP’2017 - Conference Proceedings the 15th International Conference on Software Engineering Research and Practice, Las Vegas, NV, July 17-26, 2017.
  • Yifan Gu, Chaohui Xu, Mao Zheng, “Using React Native in an Android App”, MICS2017 - Conference Proceedings of Midwest Instruction and Computing Symposium, April 7-8, 2017, La Crosse, WI.
  • Hao Fan, Fei Wang, Mao Zheng, “Research on Knowledge Fusion Connotation and Process Model”, CCKS2016, China Conference on Knowledge Graph and Semantic Computing, Springer, Beijing, China, Sept. 19-22, 2016.
  • Mao Zheng, Qian Xu, Hao Fan, “Modeling The Adaption Rule in Context-aware Systems”, International Journal of Ad hoc, Sensor & Ubiquitous Computing, No.3/4, Aug. 2016, pp:1-12, AIRCC Publishing, DOI : 10.5121/ijasuc.2016.7401
  • Mao Zheng, Sihan Cheng, Qian Xu, “Context-Based Mobile User Interface”, Journal of Computer and Communications, 2016, 4, 1-9, Scientific Research, July 2016. http://dx.doi.org/10.4236/jcc.2016.49001
  • Mao Zheng, Sanhu Li, Hao Fan, “Classroom Attendance Detection using a Wi-Fi Positioning Algorithm”, SERP’2016 - Conference Proceedings the 14th International Conference on Software Engineering Research and Practice, Las Vegas, NV, July 25-28, 2016. pp:243-247.
  • Sihan Cheng, Qian Xu, Mao Zheng, “Use of a Decision Tree to Represent Context Information”, MICS2016 - Conference Proceedings of Midwest Instruction and Computing Symposium, April 22-23, 2016, Cedar Falls, IA.
  • Qian Xu, Sihan Cheng, Mao Zheng, “User Interface Adaption in Android Device for Orientation Change”, MICS2016 - Conference Proceedings of Midwest Instruction and Computing Symposium, April 22-23, 2016, Cedar Falls, IA.
  • Mao Zheng, Olga Ormandjieva, Fan Hao, “Designing Context Sensitive Mobile User Interface”, SERP’2015 - Conference Proceedings the 13th International Conference on Software Engineering Research and Practice, Las Vegas, NV, July 27-30, 2016. pp:152-156.
  • Jinbo Chu, Yu Qiu, Mao Zheng, Tom Gendreau, “A Mobile Application for Collecting Plant Observation Data”, MICS2015 - Conference Proceedings of Midwest Instruction and Computing Symposium, April 10-11, 2015, Grand Forks, ND.
  • Sanhu Li, Mao Zheng, Hao Fan, “Recording Class Attendance in a Student Registration System”, MICS2015 - Conference Proceedings of Midwest Instruction and Computing Symposium, April 10-11, 2015, Grand Forks, ND.
  • Jinbo Chu, Yu Qiu, Mao Zheng, Tom Gendreau, “The Architecture Design of A Mobile Application for Collecting Plant Observation Data”, poster presentation, MinneWIC2015 in Minneapolis, MN, Feb. 20-21, 2015.
  • Mao Zheng, Boheng Zheng, Zhenyu Zhang, Xi Yan, “Adaptive Mobile Applications to Dynamic Context”, Journal of Computer and Communications, 2014, 2, 9-13, Scientific Research, July 2014. http://dx.doi.org/10.4236/jcc.2014.29002
  • Zhenyu Zhang, Mao Zheng, “Automatically Adjust The Smart Phone”, MICS2014 - Conference Proceedings of Midwest Instruction and Computing Symposium, April 25-26, 2014, Verona, WI.
  • Boheng Wei, Xi Yan, Mao Zheng, “Using Android Fragments in A Campus Guide System”, MICS2014 - Conference Proceedings of Midwest Instruction and Computing Symposium, April 25-26, 2014, Verona, WI.
  • Mao Zheng, Hao Fan, “Presenting Android Development in the CS Curriculum”, MICS2013 – Conference Proceedings of Midwest Instruction and Computing Symposium, April 19-20, 2013, La Crosse, WI.
  • Yiwen Wang, Mao Zheng, “Test Case Generation from UML Models”, MICS2012 – Conference Proceedings of Midwest Instruction and Computing Symposium, April 13-14, 2012, Cedar Falls, IA.
  • Qi Lai, Mao Zheng, Tom Gendreau, “An Android-based Instant Message Application”, MICS2012 – Conference Proceedings of Midwest Instruction and Computing Symposium, April 13-14, 2012, Cedar Falls, IA.
  • Yaozhong Li, Bohong Zhou, Bian Wu, Mao Zheng, Tom Gendreau, “ A Web-based Testing Tool”, MICS2011 - Conference Proceedings of Midwest Instruction and Computing Symposium, April 8-9, 2011, Duluth, MN.
  • Mao Zheng, Wanyi Zhao, Xiaoyao Qin, “A Design of the Test Engine”, poster presentation, MinneWIC2010 in Minneapolis, MN, Feb. 12-13, 2010.
  • Mao Zheng, Olga Ormadjieva, “Reliability Analysis in the Early Development of Real-Time Systems”, 2009 WRI, Conference Proceedings of World Congress on Computer Science and Information Engineering, Volume 7, March 31-April 2 2009, pp:807-812.
  • Hozumi Nakano, Mao Zheng, Kasi Periyasamy, Zhe Wei, “An Empirical Study on Software Reuse”, CSSE2008 – Proceedings of the 2008 International Conference on Computer Science and Software Engineering, Volume 6, 12-14 Dec. 2008 pp: 509-512.
  • Mao Zheng, Vasu Alagar, Olga Ormandjieva, “Automated Generation of Test Suites from Formal Specifications of Real-Time Reactive Systems”, Journal of Systems and Software, Elsevier Science, Volume 81, Issue 2, pp:286-304, Feb.2008. Acceptance Rate: 18.6%.
  • Olga Ormandjieva, Vasu Alagar, Mao Zheng, “Quality Measurement Model for Real-Time Reactive Systems”, Journal of Systems and Software, Elsevier Science, Volume 81, Issue 10, pp: 1738-1753, October 2008.
  • M. Zheng, V.S. Alagar, “Conformance Testing of BDI Properties in Agent-based Software Systems”, APSEC2005 - Proceedings of the 12th Asia-Pacific Software Engineering Conference, IEEE Computer Society Press, Taipei, pp:457~464, Taiwan, December 2005. Acceptance Rate: 30%.
  • V.S. Alagar, M. Zheng, “A Software Architecture for Multi-Agent Systems”, CIS’05 - Proceedings of 2005 International Conference on Computational Intelligence and Security, Lecture Notes in Artificial Intelligence, Springer, Xi’an, China, December 2005. Acceptance Rate: 19.89%.
  • M. Zheng, V.S. Alagar, “Complexity of Component-based Development of Embedded Systems”, IEC2005 - Proceedings of 6th International Enformatika Conference, accepted for publication, International Enformatika Society, Budapest, Hungary, October 2005.
  • V.S. Alagar, O. Ormandjieva, K. Wan, M. Zheng “Ensuring Service Availability for Media Handling in Mobile Ad-hoc Networks”, AMT2005 - Proceedings of the 2005 International Conference on Active Media Technology, IEEE Computer Society Press, pp:133~136, Takamatsu, Kagawa, Japan, May 2005.
  • V.S. Alagar, O. Ormandjieva, M. Zheng, “Simulated Validation of Autonomous Traffic Control Systems”, ISDA 2004 - Proceedings of IEEE 4th International Conference on Intelligent Systems Design and Application, IEEE Computer Society Press, pp:641~646, Budapest, Hungary, August 2004.
  • V.S. Alagar, O. Ormandjieva, M. Zheng, “Performance Modeling and Validation of Web Applications”, Proceedings of International Conference on Intelligent Agents, Web Technologies, and Internet Commerce, IEEE Computer Society Press, pp: 140~153, Gold Coast, Australia, July 2004.
  • V.S. Alagar, O. Ormandjieva, M. Zheng, “Two-Tier Agent Architecture for Trusted Communication in Ad-Hoc Mobile Networks”, WISICT 2004 – ACM International Conference Proceedings of Winter International Symposium on Information and Communication Technologies, pp:392~397, Cancun, Mexico, January 2004.
  • V.S. Alagar, M. Chen, O. Ormandjieva, M. Zheng, “Automated Test Generation from Object-Oriented Specifications of Real-Time Reactive Systems”, APSEC2003- Proceedings of 10th Asia-Pacific Software Engineering Conference, IEEE Computer Society Press, pp:406~414, Chiangmai, Thailand, December 2003. Acceptance Rate: 40%.
  • V.S. Alagar, O. Ormandjieva, M. Zheng, “Incremental Testing for Self-Evolving Timed Systems”, QSIC 2003 - Proceedings of Third International Conference on Quality Software, IEEE Computer Society Press, pp:12~19, Dallas, Texas, November 2003. Acceptance Rate: 30%.
  • V.S. Alagar, R. Achuthan, M. Haydar, D. Muthiayen, O. Ormandjieva, M. Zheng, “A Rigorous Approach for Constructing Self-Evolving Real-Time Reactive Systems”, International Journal of Information and Software Technology, vol.45, issu.11, pp:743~761, Elsevier Science, August 2003.
  • V.S. Alagar, M. Zheng, “A Rigorous Method for Testing Real-Time Reactive Systems”, APSEC2001 - Proceedings of 8th Asia-Pacific Software Engineering Conference, IEEE Computer Society Press, pp:213~220, Macau, China, December 2001. Acceptance Rate: 30%.
  • V.S. Alagar, M. Haydar, O. Ormandjieva, M. Zheng, “A Rigorous Approach for Constructing Reusable, Self-Evolving Real-Time Reactive Systems”, CPWCSE2001 -Proceedings of Concordia Prestigious Workshop on Communication Software Engineering, pp:139~154, Concordia University, Montreal, Canada, September 2001.
  • V.S. Alagar, O. Ormandjieva, M. Zheng, “Managing Complexity in Real-Time Reactive Systems”, ICECCS 2000 - Proceedings of Sixth IEEE International Conference on Engineering of Complex Computer Systems, IEEE Computer Society Press, pp:12~24, Tokyo, Japan, September 2000.
  • V.S. Alagar, O. Ormandjieva, M. Zheng, “Specification-Based Testing for Real-Time Reactive Systems”, TOOLS-USA 2000 - Proceedings of 34th International Conference and Exhibition on Technology of Object-Oriented Languages and Systems, IEEE Computer Society Press, pp:25~36, USA, August 2000.
  • M. Zheng, H. Wang, J. Shen, “A Faster AI Method of Quadtree Fractal Image Compression”, Computer Engineering and Science, pp:16~42, China, December 1997.
  • M. Zheng, H. Wang, R. Lu, “The Communication-link between the Oracle Database and the Web Server”, Microcomputer Applications, pp:80~90, China, June 1997.
  • M. Zheng, Z. Ma, J. Shen, “Object Windows Programming Approach”, Microcomputer Applications, pp:93~96, China, March 1997.