Inventor · disambiguated record
Thomas J. Ball
Also filed as: BALL THOMAS J · BALL THOMAS JAUDON
26 granted patents·1 pending application·2,995 citations·filing 1994–2022
98Inventor score
Files withLUCENT TECHNOLOGIES INC10MICROSOFT CORP7AT & T CORP3MICROSOFT TECHNOLOGY LICENSING LLC3BALL THOMAS J2
Top patents by PatentIndex Score
27 records- 0199US6366933B1Method and apparatus for tracking and viewing changes on the webAT & T CORP·Filed 1995·Granted Apr 2, 2002·634 cites·10 claims
- 0298US7584455B2Predicate-based test coverage and generationMICROSOFT CORP·Filed 2004·Granted Sep 1, 2009·294 cites·23 claims
- 0398US6596030B2Identifying changes in on-line data repositoriesAT & T CORP·Filed 2002·Granted Jul 22, 2003·171 cites·11 claims
- 0497US6701294B1User interface for translating natural language inquiries into database queries and data presentationsLUCENT TECHNOLOGIES INC·Filed 2000·Granted Mar 2, 2004·433 cites·16 claims
- 0595US6600736B1Method of providing transfer capability on web-based interactive voice response servicesLUCENT TECHNOLOGIES INC·Filed 1999·Granted Jul 29, 2003·467 cites·14 claims
- 0694US8627287B2Prioritizing quality improvements to source codeFANNING MICHAEL C·Filed 2007·Granted Jan 7, 2014·49 cites·20 claims
- 0793US6240391B1Method and apparatus for assembling and presenting structured voicemail messagesLUCENT TECHNOLOGIES INC·Filed 1999·Granted May 29, 2001·264 cites·50 claims
- 0890US6459774B1Structured voicemail messagesLUCENT TECHNOLOGIES INC·Filed 1999·Granted Oct 1, 2002·184 cites·38 claims
- 0989US12177969B2Modular electronic prototyping platformsMICROSOFT TECHNOLOGY LICENSING LLC·Filed 2022·Granted Dec 24, 2024·2 cites·20 claims
- 1086US6904590B2Methods for enhancing program analysisMICROSOFT CORP·Filed 2001·Granted Jun 7, 2005·41 cites·24 claims
- 1185US12376228B2Electronic prototypingMICROSOFT TECHNOLOGY LICENSING LLC·Filed 2022·Granted Jul 29, 2025·1 cites·20 claims
- 1285US5860071AQuerying and navigating changes in web repositoriesAT & T CORP·Filed 1997·Granted Jan 12, 1999·126 cites·8 claims
- 1382US8402444B2Program analysis through predicate abstraction and refinementBALL THOMAS J·Filed 2009·Granted Mar 19, 2013·17 cites·21 claims
- 1479US7587707B2Predicate abstraction via symbolic decision proceduresMICROSOFT CORP·Filed 2005·Granted Sep 8, 2009·11 cites·12 claims
- 1577US7058925B2System and method for generating a predicate abstraction of a programMICROSOFT CORP·Filed 2002·Granted Jun 6, 2006·27 cites·23 claims
- 1676US8185874B2Automatic and systematic detection of race conditions and atomicity violationsBALL THOMAS J·Filed 2006·Granted May 22, 2012·9 cites·14 claims
- 1774US6393107B1Method and apparatus for creating and sending structured voicemail messagesLUCENT TECHNOLOGIES INC·Filed 1999·Granted May 21, 2002·70 cites·57 claims
- 1873US7757219B2Method for enhancing program analysisMICROSOFT CORP·Filed 2004·Granted Jul 13, 2010·15 cites·12 claims
- 1969US7657867B2System and method for generating a predicate abstraction of a programMICROSOFT CORP·Filed 2005·Granted Feb 2, 2010·5 cites·17 claims
- 2066US6125375AApparatus for visualizing program slicesLUCENT TECHNOLOGIES INC·Filed 1997·Granted Sep 26, 2000·44 cites·24 claims
- 2165US12308586B2Electronic prototyping interoperabilityMICROSOFT TECHNOLOGY LICENSING LLC·Filed 2022·Granted May 20, 2025·0 cites·20 claims
- 2265US6529863B1Method and apparatus for providing interactive services with multiple interfacesLUCENT TECHNOLOGIES INC·Filed 1999·Granted Mar 4, 2003·50 cites·73 claims
- 2361US5793369AApparatus for visualizing program slicesLUCENT TECHNOLOGIES INC·Filed 1994·Granted Aug 11, 1998·33 cites·15 claims
- 2455US6609089B1Method and apparatus for providing interactive services with multiple interfacesLUCENT TECHNOLOGIES INC·Filed 1999·Granted Aug 19, 2003·32 cites·36 claims
- 2548US8595707B2Processing predicates including pointer informationBOUNIMOVA ELEONORA O·Filed 2009·Granted Nov 26, 2013·1 cites·20 claims
- 2638US6222847B1Apparatus and method for retrieving data from a network siteLUCENT TECHNOLOGIES INC·Filed 1997·Granted Apr 24, 2001·15 cites·22 claims
- 2738US2007168981A1Online creation of object states for testingMICROSOFT CORP·Filed 2006·Application pending·0 cites
Join the waitlist — get patent alerts
Get an alert when Thomas J. Ball files or is granted a new patent.
We store only your email — no account needed. See our privacy policy.
Identity basis: PatentsView inventor disambiguation (2025Q4-odp release). How scoring works →