( en | de | ru )

 

Disambiguierung von "Li, Tiejun"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Accelerating Predicate Abstraction by Minimum Unsatisfiable Cores Extraction.

, , und . NCTCS, Volume 1352 von Communications in Computer and Information Science, Seite 3-13. Springer, (2020)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Tiejun Cui

Tiejun Ma

Tiejun Wang

Li Li

Li Li

 

Weitere Publikationen von Autoren mit dem selben Namen

A Multi-Strategy Whale Optimization Algorithm and Its Application., , , , , , und . Eng. Appl. Artif. Intell., (2022)Application of Improved Fault Localization Method to Stereo Matching Software., , , , und . QRS Companion, Seite 378-381. IEEE, (2020)A Reconfigurable Address Translation Cache for Interconnect Network of High Performance Computer., , und . HPCC/SmartCity/DSS, Seite 714-717. IEEE, (2019)GreenBFS: Space-Efficient BFS Engine for Power-aware Graph Processing., , , und . ISPA/BDCloud/SocialCom/SustainCom, Seite 489-496. IEEE, (2022)A Hybrid Kernel Pruning Approach for Efficient and Accurate CNNs., , , , , , , und . ICA3PP (7), Volume 14493 von Lecture Notes in Computer Science, Seite 34-46. Springer, (2023)A Constrained Graph-Based Semi-Supervised Algorithm Combined with Particle Cooperation and Competition for Hyperspectral Image Classification., , , , , und . Remote. Sens., 13 (2): 193 (2021)Application and analysis of unsatisfiable cores on circuits synthesis., , und . ICACI, Seite 407-410. IEEE, (2015)Dynamic gesture recognition based on feature fusion network and variant ConvLSTM., , , , und . IET Image Process., 14 (11): 2480-2486 (2020)Multi-Objective Trajectory Planning Method for a Redundantly Actuated Parallel Manipulator Under Hybrid Force and Position Control., , , , und . IEEE Access, (2020)A Two-level Concurrent Address Translation Cache of High Performance Interconnect Network., , und . ISPA/BDCloud/SocialCom/SustainCom, Seite 1183-1188. IEEE, (2021)