Weiming Lu

This page is a disambiguation page, it actually contains mutiple papers from persons of the same or a similar name.

Bibliography

2023
Graph Neural Networks with Geometric Edge Fusion and Point Downsampling for Drug-Target Interaction Prediction.
Proceedings of the IEEE International Conference on Bioinformatics and Biomedicine, 2023

2020
A Multiple stage Discriminative Event Based Model for Alzheimer's Disease Progression Timeline Estimation.
Proceedings of the IEEE/WIC/ACM International Joint Conference on Web Intelligence and Intelligent Agent Technology, 2020

2017
Who would prefer to mention you on the urban microblog mention network?: Evidence from Sina microblog data across 94 cities in China.
Proceedings of the 2017 International Conference on Behavioral, 2017

2010
A precongruence format for should testing preorder.
J. Log. Algebraic Methods Program., 2010

Congruence Formats for Weak Readiness Equivalence and Weak Possible Future Equivalence.
Comput. J., 2010

Apply Fuzzy Formal Concept Analysis on frequently asked question system.
Proceedings of the IEEE International Conference on Systems, 2010

2009
The crossing numbers of generalized Petersen graphs with small order.
Discret. Appl. Math., 2009

2008
On the Estimation of Carrier Frequency Offset and DC Offset for OFDM Systems.
IEICE Trans. Commun., 2008

Weak Parametric Failure Equivalences and Their Congruence Formats.
Proceedings of the Theory of Computing 2008. Proc. Fourteenth Computing: The Australasian Theory Symposium (CATS 2008), 2008

2007
A Semantic Preorder on Refinement and Fairness.
Proceedings of the First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering, 2007

What Semantic Equivalences Are Suitable for Non-interference Properties in Computer Security.
Proceedings of the Information and Communications Security, 9th International Conference, 2007

Subspace-based OFDM Carrier Frequency Offset Estimation in the Presence of DC Offset.
Proceedings of IEEE International Conference on Communications, 2007

2005
Handling Synchronization Problem in Petri Net-Based System Design by Property-Preserving Transition-Reduction.
Comput. J., 2005

2004
On liveness and boundedness of asymmetric choice nets.
Theor. Comput. Sci., 2004

2003
4-regular graphs without cut-vertices having the same path layer matrix.
J. Graph Theory, 2003

2002
Characterizing Liveness of Petri Nets in Terms of Siphons.
Proceedings of the Applications and Theory of Petri Nets 2002, 2002

1982
Comments on H.-D. Schulz/B. Schinzel: Conditions for Living Together of Social Groups.
Proceedings of the Adequate Modeling of Systems, 1982


  Loading...