Issued Patents All Time
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 9110658 | Automatic verification and synthesis for weak memory models | Martin Vechev, Eran Yahav | 2015-08-18 |
| 8839248 | Synthesis of memory barriers | Martin Vechev, Eran Yahav | 2014-09-16 |
| 6128398 | System, method and application for the recognition, verification and similarity ranking of facial or other object patterns | James A. Kottas | 2000-10-03 |
| 5048100 | Self organizing neural network method and system for general classification of patterns | — | 1991-09-10 |
| 4884216 | Neural network system for adaptive sensory-motor coordination of multijoint robots for single postures | — | 1989-11-28 |
| 4852018 | Massively parellel real-time network architectures for robots capable of self-calibrating their operating parameters through associative learning | Stephen Grossberg | 1989-07-25 |
| 4461304 | Microelectrode and assembly for parallel recording of neurol groups | — | 1984-07-24 |