pith. sign in

Weijun Zhu

Identifiers

  • name variant Weijun Zhu 0.60 · backfill

Papers (13)

  1. Model Checking Logical Actions in Magic Tricks cs.LO · 2024 · author #1
  2. Auxiliary Diagnosing Coronary Stenosis Using Machine Learning q-bio.TO · 2020 · author #1
  3. Experimental Study on CTL model checking using Machine Learning cs.LO · 2019 · author #1 as printed: Weijun ZHU
  4. Predicting the Results of LTL Model Checking using Multiple Machine Learning Algorithms cs.LO · 2019 · author #1
  5. On the model-checking-based IDS cs.CR · 2018 · author #1
  6. Approximate LTL model checking cs.LO · 2018 · author #1
  7. Analyzing DNA Hybridization via machine learning q-bio.QM · 2018 · author #1
  8. Some Issues on the Theory of the Mimic-Computing-Oriented Automata cs.FL · 2018 · author #1
  9. How to find a GSMem malicious activity via an AI approach cs.CR · 2018 · author #1 as printed: WeiJun Zhu
  10. Aiming to Detect a malware of GSM frequency cs.CR · 2017 · author #1
  11. A novel type of Automata for dynamic, heterogeneous and random architectures cs.FL · 2017 · author #1
  12. Molecular Model Checking a Temporal Logic cs.LO · 2016 · author #1
  13. Antenna array geometry and coding performance cs.IT · 2005 · author #1

Mentions

  • 2402.13802 #1 · arxiv_oai · confidence 0.70 Weijun Zhu
  • 2007.10316 #1 · arxiv_oai · confidence 0.70 Weijun Zhu
  • 1902.08789 #1 · arxiv_oai · confidence 0.70 Weijun ZHU
  • 1901.07891 #1 · arxiv_oai · confidence 0.70 Weijun Zhu
  • 1805.11765 #1 · arxiv_oai · confidence 0.70 Weijun Zhu
  • 1803.11062 #1 · arxiv_oai · confidence 0.70 Weijun Zhu
  • 1806.09337 #1 · arxiv_oai · confidence 0.70 Weijun Zhu
  • 1801.09034 #1 · arxiv_oai · confidence 0.70 Weijun Zhu
  • 1801.02440 #1 · arxiv_oai · confidence 0.70 WeiJun Zhu
  • 1705.04785 #1 · arxiv_oai · confidence 0.70 Weijun Zhu
  • 1702.02240 #1 · arxiv_oai · confidence 0.70 Weijun Zhu
  • 1608.01785 #1 · arxiv_oai · confidence 0.70 Weijun Zhu
  • cs/0506039 #1 · arxiv_oai · confidence 0.70 Weijun Zhu

Frequent Coauthors