Issued Patents All Time
Showing 25 most recent of 29 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 12254008 | Responding to task prompt on declarative code using language model | Benjamin G. Zorn, Carina Suzana NEGREANU, Neil Blunt TORONTO, Brian Paul SLININGER, Advait Sarkar +1 more | 2025-03-18 |
| 11636254 | Provenance aware editing for spreadsheets | John Herbert Martin WILLIAMS, Joseph John McDaid, Benjamin Edward Rampson, Brian Jones | 2023-04-25 |
| 11461544 | Spreadsheet with reuse functionality | Advait Sarkar, John Herbert Martin WILLIAMS | 2022-10-04 |
| 11093702 | Checking and/or completion for data grids | Thore Graepel, Filip Radlinski, Pushmeet Kohli, John Winn, Lucas Bordeaux +1 more | 2021-08-17 |
| 10997512 | Inferring cues for use with digital assistant | Margaret Novotny, Jacob Miller, William J. Wagner, Yelisaveta Pesenson, Aryn Shelander +4 more | 2021-05-04 |
| 10936804 | Spreadsheet cell calculation view providing multiple-representation editing | Neil Blunt TORONTO, Simon Peyton Jones, Advait Sarkar, Richard Matthew McCutchen | 2021-03-02 |
| 10902194 | Natively handling approximate values in spreadsheet applications | Neil Blunt TORONTO, Advait Sarkar, Christian Canton, Benjamin Edward Rampson, Johnny Campbell +1 more | 2021-01-26 |
| 10891434 | System and method for generation and execution of elastic sheet-defined functions and arrays | Simon Peyton Jones, Advait Sarkar, Richard Matthew McCutchen | 2021-01-12 |
| 10726201 | Creating and handling lambda functions in spreadsheet applications | Christopher John Gross, Jeffrey James Duzak, Andrew J. Becker, Claudio Vittorio Russo | 2020-07-28 |
| 10685062 | Relational database management | Sameer Singh, Thore Graepel, Lucas Bordeaux | 2020-06-16 |
| 9418086 | Database access | Thore Graepel, Nicolas Philippe Marie Rolland, Eric Johannes Borgstrom, Claudio Vittorio Russo | 2016-08-16 |
| 9282121 | Security language translations with logic resolution | Moritz Becker, Blair B. Dillaway, Cedric Fournet, Jason F. Mackay | 2016-03-08 |
| 9104961 | Modeling a data generating process using dyadic Bayesian models | Thore Graepel, Aditya Vithal Nori, Sriram K. Rajamani, Johannes Borgstroem | 2015-08-11 |
| 8949784 | Type system for declarative data scripting language | David E. Langworthy, Gavin Mark Bierman, Donald F. Box, Bradford H. Lovering, Jeffrey C. Schlimmer +1 more | 2015-02-03 |
| 8938783 | Security language expressions for logic resolution | Moritz Becker, Blair B. Dillaway, Cedric Fournet | 2015-01-20 |
| 8762942 | Bidirectional type checking for declarative data scripting language | David E. Langworthy, Gavin Mark Bierman, Donald F. Box, Bradford H. Lovering, Jeffrey C. Schlimmer +1 more | 2014-06-24 |
| 8656503 | Security language translations with logic resolution | Moritz Becker, Blair B. Dillaway, Cedric Fournet, Jason F. Mackay | 2014-02-18 |
| 8584230 | Security authorization queries | Blair B. Dillaway, Moritz Becker, Cedric Fournet | 2013-11-12 |
| 8413119 | Semantic subtyping for declarative data scripting language by calling a prover | David E. Langworthy, Gavin Mark Bierman, Donald F. Box, Bradford H. Lovering, Jeffrey C. Schlimmer +1 more | 2013-04-02 |
| 8201215 | Controlling the delegation of rights | Blair B. Dillaway, Moritz Becker, Cedric Fournet | 2012-06-12 |
| 8095969 | Security assertion revocation | Blair B. Dillaway, Moritz Becker, Cedric Fournet, Brian A. LaMacchia | 2012-01-10 |
| 8060931 | Security authorization queries | Blair B. Dillaway, Moritz Becker, Cedric Fournet | 2011-11-15 |
| 7721335 | Ambient calculus-based modal logics for mobile ambients | Luca Cardelli, Giorgio Ghelli | 2010-05-18 |
| 7559080 | Automatically generating security policies for web services | Karthikeyan Bhargavan, Cedric Fournet, Christopher G. Kaler | 2009-07-07 |
| 7437718 | Reviewing the security of trusted software components | Cedric Fournet, Tomasz Pierre Blanc | 2008-10-14 |