Autor der Publikation

Kopieren Löschen Diese Publikation zur Ablage hinzufügen
Community-Eintrag
Versionsverlauf dieses Eintrags
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

Model-based adaptation to extreme physical environments: a case study on mixed-criticality industrial ethernet.

Z. Li, H. Wan, Y. Deng, Q. Yu, T. Li, K. Wei, und M. Gu. ICSE (Companion Volume), Seite 327-328. ACM, (2018)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Dr. -Ing. Tobias Haist University of Stuttgart

Richard Haidl University of Stuttgart

Sören Hain University of Stuttgart

Severin Haid University of Stuttgart

Zhe Wang University of Stuttgart

Weitere Publikationen von Autoren mit dem selben Namen

Design and implementation of P2P reasoning system based on description logic.H. Wan, Y. Yu, und J. Zheng. IJAHUC, 13 (2): 140-154 (2013)Explanatory Diagnosis of an Ontology Stream via Reasoning About Actions.Q. Yu, H. Wan, J. Xu, F. Lécué, und L. Chang. ECAI, Volume 285 von Frontiers in Artificial Intelligence and Applications, Seite 1596-1597. IOS Press, (2016)Formalization and Verification of PLC Timers in Coq.H. Wan, G. Chen, X. Song, und M. Gu. COMPSAC (1), Seite 315-323. IEEE Computer Society, (2009)Eliminating Disjunctions in Answer Set Programming by Restricted Unfolding.J. Ji, H. Wan, K. Wang, Z. Wang, C. Zhang, und J. Xu. IJCAI, Seite 1130-1137. IJCAI/AAAI Press, (2016)A Refinement-Based Validation Method for Programmable Logic Controllers.H. Wan, X. Song, G. Chen, und M. Gu. QSIC, Seite 361-364. IEEE Computer Society, (2010)Formal Proof of a Machine Closed Theorem in Coq.H. Wan, A. He, Z. You, und X. Zhao. J. Applied Mathematics, (2014)Enhancing Knowledge Graph Embedding from a Logical Perspective.J. Du, K. Qi, H. Wan, B. Peng, S. Lu, und Y. Shen. JIST, Volume 10675 von Lecture Notes in Computer Science, Seite 232-247. Springer, (2017)Requirement Specification Based on Action Model Learning.H. Zhuo, L. Li, R. Bian, und H. Wan. ICIC (1), Volume 4681 von Lecture Notes in Computer Science, Seite 565-574. Springer, (2007)Dependence in Propositional Logic: Formula-Formula Dependence and Formula Forgetting - Application to Belief Update and Conservative Extension.L. Fang, H. Wan, X. Liu, B. Fang, und Z. Lai. AAAI, Seite 1835-1844. AAAI Press, (2018)Vertex-Weighted Hypergraph Learning for Multi-View Object Classification.L. Su, Y. Gao, X. Zhao, H. Wan, M. Gu, und J. Sun. IJCAI, Seite 2779-2785. ijcai.org, (2017)