Michael J. Thomas

Automatic display of email distribution lists

Computer mediated natural language based communication augmented by arbitrary and flexibly assigned personality classification systems

Monitoring key-press delay and duration to determine need for assistance

Conference-enhancing announcements and information

Enhancing presence information through the addition of one or more of biotelemetry data and environmental data

Linking unable to respond messages to entries in electronic calendar

Higher order logic applied to expert systems for alarm analysis, filtering, correlation and root cause

Leaving a message for a party while on an active real-time communication

Beeping in politely

Higher order logic applied to expert systems for alarm analysis, filtering, correlation and root causes which converts a specification proof into a program language