Issued Patents All Time
Showing 1–3 of 3 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 10614126 | Textual query editor for graph databases that performs semantic analysis using extracted information | Oskar Van Rest, Sungpack Hong, Hassan Chafi | 2020-04-07 |
| 9928310 | In-memory graph pattern matching | Sungpack Hong, Hassan Chafi | 2018-03-27 |
| 9069893 | Automatic verification of determinism for parallel programs | Martin Vechev, Eran Yahav, Vivek Sarkar | 2015-06-30 |