PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Huang, Zhiqiu"

Author of the publication

copydeleteadd this publication to your clipboard
Model checking aircraft controller software: a case study.

, , , , , and . Softw., Pract. Exper., 45 (7): 989-1017 (2015)

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. You can also use the button next to the name to display some publications already assigned to the person.

Zhenxiang Huang University of Stuttgart

Jingjing Huang University of Stuttgart

Dr. rer. nat. Shiang-Yu Huang University of Stuttgart

Dr. -Ing. Min Huang University of Stuttgart

Shih-Min Huang University of Stuttgart

 

Other publications of authors with the same name

Using Game Theory to Analyze Strategic Choices of Service Providers and Service Requesters., , and . JSW, 9 (11): 2918-2924 (2014)A Semantic Model for Matchmaking of Web Services Based on Description Logics., , , , and . Fundam. Inform., 96 (1-2): 211-226 (2009)Formal Semantics of Runtime Monitoring, Verification, Enforcement and Control., , , and . TASE, page 63-70. IEEE Computer Society, (2015)A Key-Policy Attribute-Based Proxy Re-Encryption Without Random Oracles., , , , , and . Comput. J., 59 (7): 970-982 (2016)Efficient Traffic Estimation With Multi-Sourced Data by Parallel Coupled Hidden Markov Model., , , , and . IEEE Trans. Intelligent Transportation Systems, 20 (8): 3010-3023 (2019)SMinder: Detect a Left-behind Phone using Sensor-based Context Awareness., , , and . MONET, 24 (1): 171-183 (2019)Intrusion Detection with Tree-Based Data Mining Classification Techniques by Using KDD., and . MLICOM (2), volume 227 of Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering, page 294-303. Springer, (2017)Description Logic Based Consistency Checking upon Data Mining Metadata., , and . RSKT, volume 5009 of Lecture Notes in Computer Science, page 475-482. Springer, (2008)Idology and Its Applications in Public Security and Network Security., , , , , and . PAISI, volume 10241 of Lecture Notes in Computer Science, page 129-149. (2017)Modeling and Verification of Automatic Multi-business Transactions., , , and . SEKE, page 274-279. Knowledge Systems Institute Graduate School, (2009)