Inventor
Zijiang Yang
Inventor
Northville, MI, US
Overview
Patents· 17 as inventor
Public. Assignee & technology derived from the patent record. Each patent links to its LexDana page.
G06Fprimary
G06FElectric digital data processing44%
G06QInformation and communication technology [ict] specially adapted for administrative, commercial, financial, managerial or supervisory purposes12%
E21BEarth or rock drilling8%
F04BPositive-displacement machines for liquids8%
B25JManipulators4%
F16HGearing4%
G01RMeasuring electric variables4%
G05BControl or regulating systems in general4%
G06NComputing arrangements based on specific computational models4%
H02JElectric power networks4%
PatentTitleYear
10,867,360Electric battery recharging unit controlled by a seasonality detection unit of a futures margin modeling system2020D0893180Rifle case202010,643,278Futures margin modeling system202010,611,025Method an device for evaluating performance of industrial control loops based on full loop reconstruction simulations20209,970,420Dual horsehead block and tackle pumping unit20188,955,582'Beamless mechanic-reversing long stroke pumping unit'20158,666,907'Rule-based automated return authorization'20148,131,532'Software verification using range analysis'20127,926,039'Reachability analysis for program verification'20117,742,907'Iterative abstraction using SAT-based BMC with proof analysis'20107,711,525'Efficient approaches for bounded model checking'20107,693,690'Disjunctive image computation for sequential systems'20107,346,486'System and method for modeling, abstraction, and analysis of software'20087,203,917'Efficient distributed SAT and SAT-based distributed bounded model checking'20076,728,665'SAT-based image computation with application in reachability analysis'20046,651,234'Partition-based decision heuristics for SAT and image computation using SAT and BDDs'20036,496,961'Dynamic detection and removal of inactive clauses in SAT with application in image computation'2002Career & activity timeline
Assembled from patent assignee/location history and declaration credentials.
2002–2010Based in Plainsboro, NJ, US· patent location history
2003–2010Patents assigned to NEC CORP (3)· patent assignee history
2007–2012Patents assigned to NEC LAB AMERICA INC (6)· patent assignee history
2007–2012Based in Northville, MI, US· patent location history
2012–2020Patents assigned to YANG ZIJIANG (5)· patent assignee history
2015–2018Patents assigned to WANG JIN (2)· patent assignee history
2020Patents assigned to CHICAGO MERCANTILE EXCHANGE INC (2)· patent assignee history
2020Based in Chicago, IL, US· patent location history
2020Based in Fontana, CA, US· patent location history
2020Based in Qingdao, CN· patent location history
Inventor activity
Assignee and location history derived from the patent record.
Assignees
| Assignee | Patents | Span |
|---|---|---|
| NEC LAB AMERICA INC | 6 | 2007–2012 |
| YANG ZIJIANGself | 5 | 2012–2020 |
| NEC CORP | 3 | 2003–2010 |
| CHICAGO MERCANTILE EXCHANGE INC | 2 | 2020 |
| WANG JIN | 2 | 2015–2018 |
Locations
| Location | Patents | Span |
|---|---|---|
| Northville, MI, US | 5 | 2007–2012 |
| Plainsboro, New Jersey, US | 5 | 2002–2010 |
| Chicago, Illinois, US | 2 | 2020 |
| Fontana, California, US | 1 | 2020 |
| Qingdao, CN | 1 | 2020 |