University of Cincinnati Logo
 

 
COMPUTER SCIENCE
THEORY and ALGORITHMS

Patents

Method and system for non-linear state based satisfiability

John Franco, John S. Schlipf, Michael Dransfield, and W. Mark Vanfleet

Joint University of Cincinnati and U.S. DoD assignees, U.S. Patent Office Nos. 6,912,700 (June, 2005) and 7,380,224 (May, 2008).

 

Digital Demodulation of Frequency Shift Keyed Data Signals

John Franco

Bell Telephone Laboratories assignee, U.S. Patent Office No. 3,846,708 (November, 1974).

 

ERC
MainStreet
Paul Erdos
NIT
Ladies on Campus
Oscar Robinson