Inventor

Thomas J. Ball

Inventor
Mercer Island, WA, US

Overview

23→
Patents
1998–2014
Patent span
Physics
Primary field (CPC G)

Patents· 23 as inventor

Public. Assignee & technology derived from the patent record. Each patent links to its LexDana page.

G06Fprimary
G06FElectric digital data processing70%
H04MTelephonic communication15%
Y10STechnical subjects covered by former uspc cross-reference art collections [xracs] and digests11%
H04LTransmission of digital information, e.g. telegraphic communication4%
PatentTitleYear
8,627,287'Prioritizing quality improvements to source code'20148,595,707'Processing predicates including pointer information'20138,402,444'Program analysis through predicate abstraction and refinement'20138,185,874'Automatic and systematic detection of race conditions and atomicity violations'20127,757,219'Method for enhancing program analysis'20107,657,867'System and method for generating a predicate abstraction of a program'20107,587,707'Predicate abstraction via symbolic decision procedures'20097,584,455'Predicate-based test coverage and generation'20097,058,925'System and method for generating a predicate abstraction of a program'20066,904,590'Methods for enhancing program analysis'20056,701,294'User interface for translating natural language inquiries into database queries and data presentations'20046,609,089'Method and apparatus for providing interactive services with multiple interfaces'20036,600,736'Method of providing transfer capability on web-based interactive voice response services'20036,596,030'Identifying changes in on-line data repositories'20036,529,863'Method and apparatus for providing interactive services with multiple interfaces'20036,459,774'Structured voicemail messages'20026,393,107'Method and apparatus for creating and sending structured voicemail messages'20026,366,933'Method and apparatus for tracking and viewing changes on the web'20026,240,391'Method and apparatus for assembling and presenting structured voicemail messages'20016,222,847'Apparatus and method for retrieving data from a network site'20016,125,375'Apparatus for visualizing program slices'20005,860,071'Querying and navigating changes in web repositories'19995,793,369'Apparatus for visualizing program slices'1998

Career & activity timeline

Assembled from patent assignee/location history and declaration credentials.

1998–2004Patents assigned to LUCENT TECHNOLOGIES INC (10)· patent assignee history
1998–2003Based in Naperville, IL, US· patent location history
1999–2003Patents assigned to AT & T CORP (3)· patent assignee history
2003–2014Based in Mercer Island, WA, US· patent location history
2005–2014Patents assigned to MICROSOFT CORP (10)· patent assignee history
2012–2014Patents assigned to BALL THOMAS J (4)· patent assignee history
2013Patents assigned to BOUNIMOVA ELEONORA O (2)· patent assignee history

Inventor activity

Assignee and location history derived from the patent record.

Assignees
AssigneePatentsSpan
LUCENT TECHNOLOGIES INC101998–2004
MICROSOFT CORP102005–2014
BALL THOMAS Jself42012–2014
AT & T CORP31999–2003
BOUNIMOVA ELEONORA O22013
Locations
LocationPatentsSpan
Mercer Island, Washington, US132003–2014
Naperville, Illinois, US101998–2003