Sean McLaughlin
14Patents
4h-index
33Co-inventors
60Inventor score
Filing activity: Apr 10, 1990 → Mar 29, 2022
Most-cited inventions
| Patent | Title | Area | Cited by | Status |
|---|---|---|---|---|
| US5061917A | Electronic warning apparatus | Physics | 79 | Expired |
| US9358830B1 | Canvas having a border capable of being transformed into a frame or shadowbox | Human Necessities | 16 | Active |
| US10977111B2 | Constraint solver execution service and infrastructure therefor | Physics | 11 | Active |
| US10469324B2 | Virtual network verification service | Electricity | 5 | Active |
| US11218511B1 | Resource state validation of access management policies | Physics | 4 | Active |
| US11095523B2 | Virtual network verification service | Electricity | 2 | Active |
| US11797317B1 | Transitioning legacy software to be provably correct | Physics | 1 | Active |
| US10664379B2 | Automated software verification service | Physics | 1 | Active |
| US11108805B2 | Automated packetless network reachability analysis | Electricity | 0 | Active |
| US12126495B2 | Virtual network verification service | Electricity | 0 | Active |
| US11671442B2 | Automated packetless network reachability analysis | Electricity | 0 | Active |
| US11921616B1 | Retaining Dafny specifications | Physics | 0 | Active |
| US11777995B2 | Resource state validation of access management policies | Physics | 0 | Active |
| US11232015B2 | Automated software verification service | Physics | 0 | Active |
Source: USPTO / EPO open patent data. Inventor disambiguation is heuristic; counts are objective bibliographic measures.