Matthias Schlaipfer
5Patents
1h-index
18Co-inventors
40Inventor score
Filing activity: Dec 22, 2017 → Mar 29, 2022
Most-cited inventions
| Patent | Title | Area | Cited by | Status |
|---|---|---|---|---|
| US11218511B1 | Resource state validation of access management policies | Physics | 4 | Active |
| US11797317B1 | Transitioning legacy software to be provably correct | Physics | 1 | Active |
| US11921616B1 | Retaining Dafny specifications | Physics | 0 | Active |
| US11777995B2 | Resource state validation of access management policies | Physics | 0 | Active |
| US11016974B2 | Program synthesis for query optimization | Physics | 0 | Active |
Source: USPTO / EPO open patent data. Inventor disambiguation is heuristic; counts are objective bibliographic measures.