Xie, Lihan
102  Ergebnisse:
Personensuche X
?
1

A Natural Formalized Proof Language:

, In: Theoretical Aspects of Software Engineering; Lecture Notes in Computer Science,
Xie, Lihan ; Hui, Zhicheng ; Cao, Qinxiang - p. 446-464 , 2024
 
?
6

Inorganic polyphosphate, a multifunctional polyanionic prot..:

Xie, Lihan ; Jakob, Ursula
Journal of Biological Chemistry.  294 (2019)  6 - p. 2180-2190 , 2019
 
?
9

Bifurcation tracking by Harmonic Balance Method for perform..:

Xie, Lihan ; Baguet, Sébastien ; Prabel, Benoit.
info:eu-repo/semantics/altIdentifier/doi/10.1016/j.ymssp.2016.09.037.  , 2017
 
?
10

Bifurcation tracking by Harmonic Balance Method for perform..:

Xie, Lihan ; Baguet, Sébastien ; Prabel, Benoit.
info:eu-repo/semantics/altIdentifier/doi/10.1016/j.ymssp.2016.09.037.  , 2017
 
?
11

Bifurcation tracking by Harmonic Balance Method for perform..:

Xie, Lihan ; Baguet, Sébastien ; Prabel, Benoit.
info:eu-repo/semantics/altIdentifier/doi/10.1016/j.ymssp.2016.09.037.  , 2017
 
?
12

Bifurcation tracking by Harmonic Balance Method for perform..:

Xie, Lihan ; Baguet, Sébastien ; Prabel, Benoit.
info:eu-repo/semantics/altIdentifier/doi/10.1016/j.ymssp.2016.09.037.  , 2017
 
?
13

Bifurcation tracking by Harmonic Balance Method for perform..:

Xie, Lihan ; Baguet, Sébastien ; Prabel, Benoit.
info:eu-repo/semantics/altIdentifier/doi/10.1016/j.ymssp.2016.09.037.  , 2017
 
?
14

Bifurcation tracking by Harmonic Balance Method for perform..:

Xie, Lihan ; Baguet, Sébastien ; Prabel, Benoit.
info:eu-repo/semantics/altIdentifier/doi/10.1016/j.ymssp.2016.09.037.  , 2017
 
?
15

Bifurcation tracking by Harmonic Balance Method for perform..:

Xie, Lihan ; Baguet, Sébastien ; Prabel, Benoit.
info:eu-repo/semantics/altIdentifier/doi/10.1016/j.ymssp.2016.09.037.  , 2017
 
1-15