| Patent | Date |
|---|
Membrane-free Zn/mno2 Flow Battery For Large-scale Energy Storage
App 20220199971 - LI; Guodong ; et al. | 2022-06-23 |
Method and system for evaluating an operation of a distribution network
Grant 11,360,947 - Zhang , et al. June 14, 2 | 2022-06-14 |
Method and device for identifying distribution network topology error
Grant 11,297,129 - Wang , et al. April 5, 2 | 2022-04-05 |
Distribution transformer terminal and method for monitoring a state of a distribution transformer court device
Grant 11,296,547 - Ding , et al. April 5, 2 | 2022-04-05 |
Welding device and processing apparatus for secondary battery current collector
Grant 11,135,673 - Wu , et al. October 5, 2 | 2021-10-05 |
Method And Device For Evaluating Long-term Operation Of Transformer Oil Pump
App 20210262474 - Yu; Hua ; et al. | 2021-08-26 |
Mitigation of inaccurate echo prediction
Grant 11,100,942 - Dickins , et al. August 24, 2 | 2021-08-24 |
Method for real-time scheduling of multi-energy complementary micro-grids based on rollout algorithm
Grant 11,095,127 - Huo , et al. August 17, 2 | 2021-08-17 |
Method And Device For Identifying Distribution Network Topology Error
App 20210234922 - WANG; Xudong ; et al. | 2021-07-29 |
Method And System For Evaluating An Operation Of A Distribution Network
App 20210224234 - Pan; ZHANG ; et al. | 2021-07-22 |
Distribution Transformer Terminal And Method For Monitoring A State Of A Distribution Transformer Court Device
App 20210218274 - DING; Yi ; et al. | 2021-07-15 |
Current collector production apparatus
Grant 10,954,589 - Wu , et al. March 23, 2 | 2021-03-23 |
Baking apparatus for secondary battery
Grant 10,944,097 - Ye , et al. March 9, 2 | 2021-03-09 |
Mitigation Of Inaccurate Echo Prediction
App 20200227063 - Dickins; Glenn N. ; et al. | 2020-07-16 |
Method For Real-time Scheduling Of Multi-energy Complementary Micro-grids Based On Rollout Algorithm
App 20200185926 - HUO; Xianxu ; et al. | 2020-06-11 |
Manufacturing method of connector structure
Grant 10,673,194 - Chuang , et al. | 2020-06-02 |
Clamping apparatus and transport device
Grant 10,644,344 - Ye , et al. | 2020-05-05 |
Baking Apparatus For Secondary Battery
App 20200106084 - YE; Zhen ; et al. | 2020-04-02 |
Manufacturing Method Of Connector Structure
App 20200006906 - Chuang; Yu-Hsiang ; et al. | 2020-01-02 |
Aryl Hydrocarbon Receptor Modulators
App 20190330201 - YANG; Luqing ; et al. | 2019-10-31 |
Aryl Hydrocarbon Receptor Modulator
App 20190307731 - YANG; Luqing ; et al. | 2019-10-10 |
Aryl Hydrocarbon Receptor Modulator
App 20190284149 - Song; Jiasheng ; et al. | 2019-09-19 |
Welding Device And Processing Apparatus For Secondary Battery Current Collector
App 20190283171 - WU; Congmiao ; et al. | 2019-09-19 |
Incremental Data Restoration Method And Apparatus
App 20190227710 - LI; Guodong | 2019-07-25 |
Current Collector Production Apparatus
App 20190218654 - Wu; Zuyu ; et al. | 2019-07-18 |
Use Of Spink6 Gene And Its Encoded Protein For The Preparation Of An Anti-tumor Drug
App 20190201509 - Huang; Qingshan ; et al. | 2019-07-04 |
Detection device, substrate holder and method for detecting position of substrate on substrate holder
Grant 10,254,131 - Li , et al. | 2019-04-09 |
Efficient and scalable synthesis of 2-(1'H-Indole-3'-Carbonyl)-thiazole-4-carboxylic acid methyl ester and its structural analogs
App 20190084948 - Song; Jiasheng ; et al. | 2019-03-21 |
System and methods for model-based analysis of software
Grant 10,133,649 - Li , et al. November 20, 2 | 2018-11-20 |
Systems and methods for adaptive analysis of software
Grant 10,127,386 - Li , et al. November 13, 2 | 2018-11-13 |
Systems and methods for incremental analysis of software
Grant 10,127,135 - Li , et al. November 13, 2 | 2018-11-13 |
Systems and methods for analyzing software using queries
Grant 10,122,749 - Li , et al. November 6, 2 | 2018-11-06 |
Efficient and scalable synthesis of 2-(1'h-indole-3'-carbonyl)-thiazole-4-carboxylic acid methyl ester and its structural analogs
Grant 10,081,610 - Song , et al. September 25, 2 | 2018-09-25 |
Device for controlling electric automobile
Grant 10,017,075 - Li July 10, 2 | 2018-07-10 |
Device for controlling electric automobile
Grant 9,956,890 - Li May 1, 2 | 2018-05-01 |
Event-driven software testing
Grant 9,892,027 - Li , et al. February 13, 2 | 2018-02-13 |
Dmrs Enhancement For Higher Order Mu-mimo
App 20180026684 - WEI; Chao ; et al. | 2018-01-25 |
Control device for electric vehicle
Grant 9,855,858 - Li , et al. January 2, 2 | 2018-01-02 |
Systems And Methods For Adaptive Analysis Of Software
App 20170329974 - Li; Guodong ; et al. | 2017-11-16 |
Systems And Methods For Using Semantic Queries To Analyze Software
App 20170329691 - Li; Guodong ; et al. | 2017-11-16 |
System And Methods For Model-based Analysis Of Software
App 20170329692 - Li; Guodong ; et al. | 2017-11-16 |
Systems And Methods For Analyzing Software Using Queries
App 20170331850 - Li; Guodong ; et al. | 2017-11-16 |
Systems And Methods For Incremental Analysis Of Software
App 20170329693 - Li; Guodong ; et al. | 2017-11-16 |
Detection Device, Substrate Holder And Method For Detecting Position Of Substrate On Substrate Holder
App 20170299407 - Li; Guodong ; et al. | 2017-10-19 |
Efficient And Scalable Synthesis Of 2-(1'h-indole-3'-carbonyl)-thiazole-4-carboxylic Acid Methyl Ester And Its Structural Analogs
App 20170291881 - Song; Jiasheng ; et al. | 2017-10-12 |
Electric-vehicle control device
Grant 9,586,484 - Li March 7, 2 | 2017-03-07 |
Satisfiability checking
Grant 9,501,331 - Li , et al. November 22, 2 | 2016-11-22 |
Parameterized states in symbolic execution for software testing
Grant 9,483,380 - Li , et al. November 1, 2 | 2016-11-01 |
Black-box Software Testing With Statistical Learning
App 20160239401 - LI; Guodong | 2016-08-18 |
Control Device For Electric Vehicle
App 20160176313 - LI; Guodong ; et al. | 2016-06-23 |
Event Sequence Construction Of Event-driven Software By Combinational Computations
App 20160140016 - LI; Guodong ; et al. | 2016-05-19 |
Electric-vehicle Control Device
App 20160094164 - LI; Guodong | 2016-03-31 |
Device For Controlling Electric Automobile
App 20160068081 - LI; Guodong | 2016-03-10 |
Device For Controlling Electric Automobile
App 20160068079 - LI; Guodong | 2016-03-10 |
Systems and methods for directory snapshot
Grant 9,244,928 - Zhang , et al. January 26, 2 | 2016-01-26 |
Multiple instance database auto-configuration for high availability
Grant 9,239,870 - Shang , et al. January 19, 2 | 2016-01-19 |
Event-driven Software Testing
App 20160011959 - LI; Guodong ; et al. | 2016-01-14 |
Systems And Methods For Automated Production Of Multi-composition Nanomaterial
App 20150368831 - Wu; Tao ; et al. | 2015-12-24 |
Parameterized States In Symbolic Execution For Software Testing
App 20150293831 - Li; Guodong ; et al. | 2015-10-15 |
Symbolic execution with automatic abstractions
Grant 9,152,543 - Li , et al. October 6, 2 | 2015-10-06 |
Method and apparatus for accessing heterogeneous networks via wireless local area network
Grant 9,100,384 - Li August 4, 2 | 2015-08-04 |
Motor Fault Detection Device For Electric Automobile
App 20150202963 - LI; Guodong | 2015-07-23 |
Motor drive assembly for a vehicle and a motor vehicle
Grant 9,033,851 - Itakura , et al. May 19, 2 | 2015-05-19 |
Symbolic execution and automatic test case generation for JavaScript programs
Grant 9,038,032 - Li , et al. May 19, 2 | 2015-05-19 |
Mixed numeric and string constraint analysis
Grant 8,996,922 - Li , et al. March 31, 2 | 2015-03-31 |
System and method to avoid resynchronization when protecting multiple servers
Grant 8,984,318 - Xu , et al. March 17, 2 | 2015-03-17 |
Rule-based method for proving unsatisfiable conditions in a mixed numeric and string solver
Grant 8,972,949 - Ghosh , et al. March 3, 2 | 2015-03-03 |
Optimizing libraries for validating C++ programs using symbolic execution
Grant 8,943,487 - Li , et al. January 27, 2 | 2015-01-27 |
Apparatus, Method, And Computer Program For A Mobile Relay Station Transceiver, System, And Means For Mass Transportation
App 20150011158 - Luo; Qinglin ; et al. | 2015-01-08 |
Software architecture for validating C++ programs using symbolic execution
Grant 8,869,113 - Li , et al. October 21, 2 | 2014-10-21 |
Abstract symbolic execution for scaling symbolic execution generation and automatic test generation
Grant 8,856,751 - Li , et al. October 7, 2 | 2014-10-07 |
Symbolic Execution Of Dynamic Programming Languages
App 20140143762 - LI; Guodong ; et al. | 2014-05-22 |
Mixed Numeric And String Constraint Analysis
App 20140143604 - LI; Guodong ; et al. | 2014-05-22 |
Abstract Symbolic Execution For Scaling Symbolic Execution Generation And Automatic Test Generation
App 20140082594 - Li; Guodong ; et al. | 2014-03-20 |
Satisfiability Checking
App 20140047217 - LI; Guodong ; et al. | 2014-02-13 |
Lossless path reduction for efficient symbolic execution and automatic test generation
Grant 8,645,924 - Li , et al. February 4, 2 | 2014-02-04 |
Rule-based Method For Proving Unsatisfiable Conditions In A Mixed Numeric And String Solver
App 20130326485 - Ghosh; Indradeep ; et al. | 2013-12-05 |
Symbolic Execution And Automatic Test Case Generation For Javascript Programs
App 20130318503 - Li; Guodong ; et al. | 2013-11-28 |
Symbolic execution and test generation for GPU programs
Grant 8,595,701 - Li , et al. November 26, 2 | 2013-11-26 |
Motor Drive Assembly For A Vehicle And A Motor Vehicle
App 20130296129 - Itakura; Yoshinori ; et al. | 2013-11-07 |
System and method for providing high availability for distributed application
Grant 8,578,202 - Li , et al. November 5, 2 | 2013-11-05 |
Use Of Spink6 Gene And Its Encoded Protein For The Preparation Of An Anti-tumor Drug
App 20130130990 - Huang; Qingshan ; et al. | 2013-05-23 |
Lossless Path Reduction for Efficient Symbolic Execution and Automatic Test Generation
App 20120311545 - Li; Guodong ; et al. | 2012-12-06 |
Low-cost Gas Shielded Flux-cored Wire With Recycled Welding Slag
App 20120241432 - LIN; ZHUOXIN ; et al. | 2012-09-27 |
Symbolic Execution and Test Generation for GPU Programs
App 20120204154 - Li; Guodong ; et al. | 2012-08-09 |
Optimizing Libraries for Validating C++ Programs Using Symbolic Execution
App 20120192169 - Li; Guodong ; et al. | 2012-07-26 |
Software Architecture for Validating C++ Programs Using Symbolic Execution
App 20120192150 - LI; Guodong ; et al. | 2012-07-26 |
Optimizing Handlers for Application-Specific Operations for Validating C++ Programs Using Symbolic Execution
App 20120192162 - Li; Guodong ; et al. | 2012-07-26 |
System And Method To Avoid Resynchronization When Protecting Multiple Servers
App 20120173913 - Xu; Zhenghua ; et al. | 2012-07-05 |
Plug-in Based High Availability Application Management Framework (amf)
App 20120036496 - Yang; Bruce ; et al. | 2012-02-09 |
System and Method for Providing High Availability for Distributed Application
App 20120030503 - Li; Guodong ; et al. | 2012-02-02 |
Non-Signal Imidazole Reagents for Mass Spectrometry Analysis of Phosphomonoesters
App 20110269968 - Wang; Poguang ; et al. | 2011-11-03 |
Non-signal imidazole reagents for mass spectrometry analysis of phosphomonoesters
Grant 8,003,395 - Wang , et al. August 23, 2 | 2011-08-23 |
Method And Device For Packet Scheduling
App 20110158091 - Sun; Mingshi ; et al. | 2011-06-30 |
Method And System For Producing Calcium Carbide
App 20110123428 - Liu; Zhenyu ; et al. | 2011-05-26 |
Intensified neutral loss tags and use thereof in mass spectrometry
Grant 7,947,511 - Wang , et al. May 24, 2 | 2011-05-24 |
Method and Apparatus for Accessing Heterogeneous Networks via Wireless Local Area Network
App 20100251331 - Li; Guodong | 2010-09-30 |
Group of synthetic antimicrobial peptides
Grant 7,629,438 - Huang , et al. December 8, 2 | 2009-12-08 |
Intensified Neutral Loss Tags And Use Thereof In Mass Spectrometry
App 20090242756 - Wang; Poguang ; et al. | 2009-10-01 |
Non-signal Imidazole Reagents for Mass Spectrometry Analysis of Phosphomonoesters
App 20090215185 - Wang; Poguang ; et al. | 2009-08-27 |
Intensified neutral loss tags and use thereof in mass spectrometry
Grant 7,556,969 - Wang , et al. July 7, 2 | 2009-07-07 |
Group of Synthetic Antimicrobal Peptides
App 20080070279 - Huang; Qingshan ; et al. | 2008-03-20 |
Intensified neutral loss tags and use thereof in mass spectrometry
App 20040157344 - Wang, Poguang ; et al. | 2004-08-12 |
| 