E-LIB Suche - Ergebnisse für: Feng, Shenghua

1

Achieving reaction pathway separation for electrochemical n..:

Yang, Lei ; Feng, Shenghua ; Zhu, Weihua
Journal of Hazardous Materials. 441 (2023) - p. 129972 , 2023

Link: https://doi.org/10.1016/..

2

Novel honeycomb-like metal organic frameworks as multifunct..:

Yang, Lei ; Feng, Shenghua ; Zhu, Weihua
Journal of Hazardous Materials. 445 (2023) - p. 130534 , 2023

Link: https://doi.org/10.1016/..

3

Lower Bounds for Possibly Divergent Probabilistic Programs:

Feng, Shenghua ; Chen, Mingshuai ; Su, Han...
Proceedings of the ACM on Programming Languages. 7 (2023) OOPSLA1 - p. 696-726 , 2023

Link: https://doi.org/10.1145/..

4

Effects of uniaxial stress and temperature on the interfaci..:

Feng, Shenghua ; Zhu, Weihua
Fuel. 352 (2023) - p. 129147 , 2023

Link: https://doi.org/10.1016/..

5

Unraveling the adhesive properties, thermal stability, and ..:

Feng, Shenghua ; Zhu, Weihua
Applied Surface Science. 603 (2022) - p. 154399 , 2022

Link: https://doi.org/10.1016/..

6

Differential Games Based on Invariant Sets Generation:

, In: 2022 American Control Conference (ACC),

Xue, Bai ; Wang, Qiuye ; Zhan, Naijun.. - p. 1285-1292 , 2022

Link: https://doi.org/10.23919..

7

Tuning Nitrate Electroreduction Activity via an Equilibrium..:

Yang, Lei ; Feng, Shenghua ; Zhu, Weihua
The Journal of Physical Chemistry Letters. 13 (2022) 7 - p. 1726-1733 , 2022

Link: https://doi.org/10.1021/..

8

Using a Thin ZnO Film as an Intermediate Layer to Tune the ..:

Feng, Shenghua ; Zhu, Weihua
Langmuir. 37 (2021) 43 - p. 12548-12556 , 2021

Link: https://doi.org/10.1021/..

9

Ab initio molecular dynamics studies on the ignition and co..:

Feng, Shenghua ; Xiong, Guolin ; Zhu, Weihua
Journal of Materials Science. 56 (2021) 19 - p. 11364-11376 , 2021

Link: https://doi.org/10.1007/..

10

Ab initio molecular dynamics studies on the transport mecha..:

Xiong, Guolin ; Yang, Chunhong ; Feng, Shenghua.
Chemical Physics Letters. 745 (2020) - p. 137278 , 2020

Link: https://doi.org/10.1016/..

11

Unbounded-Time Safety Verification of Stochastic Differenti..:

, In: Computer Aided Verification; Lecture Notes in Computer Science,

Feng, Shenghua ; Chen, Mingshuai ; Xue, Bai.. - p. 327-348 , 2020

Link: https://doi.org/10.1007/..

12

Boosting Performance and Safety of Energetic Materials by P..:

Tang, Jie ; Cheng, Guangbin ; Feng, Shenghua...
Crystal Growth & Design. 19 (2019) 8 - p. 4822-4828 , 2019

Link: https://doi.org/10.1021/..

13

Taming Delays in Dynamical Systems: Unbounded Verification ..:

, In: Computer Aided Verification; Lecture Notes in Computer Science,

Feng, Shenghua ; Chen, Mingshuai ; Zhan, Naijun.. - p. 650-669 , 2019

Link: https://doi.org/10.1007/..

14

Lower Bounds for Possibly Divergent Probabilistic Programs:

Feng, Shenghua ; Chen, Mingshuai ; Su, Han...
https://discovery.ucl.ac.uk/id/eprint/10168175/1/3586051.pdf. , 2023

Link: https://discovery.ucl.ac..

15

Reset Controller Synthesis by Reach-avoid Analysis for Dela..:

Su, Han ; Zhu, Jiyu ; Feng, Shenghua...
http://arxiv.org/abs/2309.05908. , 2023

Link: http://arxiv.org/abs/230..