Issued Patents All Time
Showing 1–12 of 12 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 12201845 | Anchor system for retaining a device in tissue | Elmar Fischer, Robert Gaffney, Varghese George, Kyle Horlen, Mir Imran +1 more | 2025-01-21 |
| 12151098 | Anchor system for retaining a device in tissue | Paul R. Spehr, Katherine PITTS, Isabell PINA, Kenneth R. COSGROVE | 2024-11-26 |
| 7555711 | Generating a text layout boundary from a text block in an electronic document | Hui Chao, Xiaofan Lin | 2009-06-30 |
| 7036115 | Code generation by matching and satisfiability search | — | 2006-04-25 |
| 6553362 | Case-reduced verification condition generation system and method using weakest precondition operator expressed using strongest postcondition operators | James B. Saxe, David L. Detlefs | 2003-04-22 |
| 6349296 | Method for clustering closely resembling data objects | Andrei Broder, Steven C. Glassman, Mark Manasse, Geoffrey G. Zweig | 2002-02-19 |
| 6343376 | System and method for program verification and optimization | James B. Saxe, David L. Detlefs | 2002-01-29 |
| 6230155 | Method for determining the resemining the resemblance of documents | Andrei Broder | 2001-05-08 |
| 6119124 | Method for clustering closely resembling data objects | Andrei Broder, Steven C. Glassman, Mark Manasse, Geoffrey G. Zweig | 2000-09-12 |
| 6009269 | Detecting concurrency errors in multi-threaded programs | Michael Burrows, Stefan Savage, Patrick Sobalvarro | 1999-12-28 |
| 5909677 | Method for determining the resemblance of documents | Andrei Broder | 1999-06-01 |
| 5446901 | Fault tolerant distributed garbage collection system and method for collecting network objects | Susan S. Owicki, Andrew Birrell, Edward P. Wobber | 1995-08-29 |