Author of the publication

copy delete add this publication to your clipboard
community post
history of this post
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

Towards Approximate Model Checking DC and PDC Specifications

C. Choe, D. Hung, and S. Han. CoRR, (2012)

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.

Qian Song University of Stuttgart

Electrocatalytic proton reduction: Metal based fused diporphyrins with proton relays for efficient catalysisA. Singha Hazari, S. Chandra, Q. Song, D. Hunger, N. Neuman, J. Slageren, E. Klemm, B. Sarkar, and S. Kar. Dataset, (2024)Related to: Chandra, S., Singha Hazari, A., Song, Q., Hunger, D., Neuman, N. I., van Slageren, J., Klemm, E. & Sarkar, B. (2023). Remarkable Enhancement of Catalytic Activity of Cu-Complexes in the Electrochemical Hydrogen Evolution Reaction by Using Triply Fused Porphyrin. ChemSusChem 16, e202201146. doi: 10.1002/cssc.202201146.

Liao Han University of Stuttgart

Qi Han

Jianing Song University of Stuttgart

Bowen Song University of Stuttgart

Other publications of authors with the same name

Research on Task Space Model and Contract Mechanism Design of Knowledge Sharing in Supply Chain.A. Xiaofeng, Z. Xumei, S. Nali, and S. Han. ICEE, page 4438-4441. IEEE, (2010)A Key Management Protocol for Multiphase Hierarchical Wireless Sensor Networks.B. Tian, S. Han, S. Parvin, and T. Dillon. EUC, page 617-623. IEEE Computer Society, (2010)Trust-Based Authentication for Secure Communication in Cognitive Radio Networks.S. Parvin, S. Han, B. Tian, and F. Hussain. EUC, page 589-596. IEEE Computer Society, (2010)Measuring WirelessHART against wired fieldbus for control.X. Zhu, T. Lin, S. Han, A. Mok, D. Chen, M. Nixon, and E. Rotvold. INDIN, page 270-275. IEEE, (2012)RT-WiFi: Real-Time High-Speed Communication Protocol for Wireless Cyber-Physical Control Applications.Y. Wei, Q. Leng, S. Han, A. Mok, W. Zhang, and M. Tomizuka. RTSS, page 140-149. IEEE Computer Society, (2013)RoamingHART: A Collaborative Localization System on WirelessHART.X. Zhu, P. Huang, S. Han, A. Mok, D. Chen, and M. Nixon. IEEE Real-Time and Embedded Technology and Applications Symposium, page 241-250. IEEE Computer Society, (2012)Optimal renewable energy transfer via electrical vehicles.A. Arikan, R. Jin, B. Wang, S. Han, K. Pattipati, P. Yi, and T. Zhu. ISGT, page 1-5. IEEE, (2015)A Virtual Network Approach for Testing Wireless Mesh in Industrial Process Control.S. Han, X. Zhu, J. Song, A. Mok, D. Chen, M. Nixon, W. Pratt, and V. Gondhalekar. RTCSA, page 387-392. IEEE Computer Society, (2010)Application of Numerical Simulation Technique to the Study of Well Killing While Drilling Mud Has Completely Erupted Out from Borehole.J. Fan, X. Wang, S. Han, and Z. shen Yu. ICFIE, volume 62 of Advances in Intelligent and Soft Computing, page 953-966. (2009)Advancing the State of the Art in Open Domain Dialog Systems through the Alexa Prize.C. Khatri, B. Hedayatnia, A. Venkatesh, J. Nunn, Y. Pan, Q. Liu, H. Song, A. Gottardi, S. Kwatra, S. Pancholi and 12 other author(s). CoRR, (2018)