| 12282469 |
Indexing structured data with security information |
Philip Monroe, Darius Kasad, Tejas Mandke, David Vieira, Vladimir Giverts |
2025-04-22 |
| 11586437 |
Data flow tracking in program verification |
Omer Tripp, Rajdeep Mukherjee, Yingjun Lyu |
2023-02-21 |
| 10733162 |
Indexing structured data with security information |
Philip Monroe, Darius Kasad, Tejas Mandke, David Vieira, Vladimir Giverts |
2020-08-04 |
| 10075986 |
Method and apparatus for establishing communications with a remote node on a switched network based on hypertext calling received from a packet network |
Alfredo José Narain, German Angel |
2018-09-11 |
| 9203971 |
Method and apparatus for establishing communications with a remote node on a switched network based on hypertext calling received from a packet network |
Alfredo José Narain, Angel German |
2015-12-01 |
| 7957368 |
Method and apparatus for establishing communications with a remote node on a switched network based on hypertext calling received from a packet network |
Alfredo José Narain, German Angel |
2011-06-07 |
| 7274686 |
Method and apparatus for establishing communications with a remote node on a switched network based on hypertext calling received from a packet network |
Alfredo José Narain, German Angel |
2007-09-25 |
| 6535506 |
Method and apparatus for establishing communications with a remote node on a switched network based on hypertext calling received from a packet network |
Alfredo José Narain, German Angel |
2003-03-18 |