Chris Hughes

Publication Activity (10 Years)

Years Active: 1999-2024
Publications (10 Years): 2

Top Topics

Termination Analysis

Conjunctive Queries

Top Venues

Publications

Siddharth Bhat, Alex C. Keizer, Chris Hughes, Andrés Goens, Tobias Grosser
Verifying Peephole Rewriting In SSA Compiler IRs. CoRR (2024)
Kevin Buzzard, Chris Hughes, Kenny Lau, Amelia Livingston, Ramon Fernández Mir, Scott Morrison
Schemes in Lean. Exp. Math. 31 (2) (2022)
Paul Booth, Paul Gaskell, Chris Hughes
The economics of data: quality, value & exchange in web observatories. WWW (Companion Volume) (2013)
James C. Morizio, Michael Hoke, Taskin Koçak, Clark Geddie, Chris Hughes, John Perry, Srinadh Madhavapeddi, Michael H. Hood, George Lynch, Harufusa Kondoh, Toshio Kumamoto, Takashi Okuda, Hiroshi Noda, Masahiko Ishiwaki, Takahiro Miki, Masao Nakaya
14-bit 2.2-MS/s sigma-delta ADC's. IEEE J. Solid State Circuits 35 (7) (2000)
Wentai Liu, Kasin Vichienchom, Mark Clements, Stephen C. DeMarco, Chris Hughes, Elliot McGucken, Mark S. Humayun, Eugene de Juan Jr, James D. Weiland, Robert J. Greenberg
A neuro-stimulus chip with telemetry unit for retinal prosthetic device. IEEE J. Solid State Circuits 35 (10) (2000)
James C. Morizio, Mike Hoke, Taskin Koçak, Clark Geddie, Chris Hughes, John Perry, Srinadh Madhavapeddi, Mike Hood, Ward Huffman, Takashi Okuda, Hiroshi Noda, Yasuo Morimoto, Toshio Kumamoto, Masahiko Ishiwaki, Harufusa Kondoh, Masao Nakaya, Takahiro Miki
SNDR sensitivity analysis for cascaded ΣΔ modulators. ISCAS (2000)
Werner Beuschel, Alfred Bork, Chris Hughes, Timothy G. McMahon, Peter Serdiukov, Elizabeth Stacey
Better Learning Online? Building University Electronic Educational Environments (1999)
Mark Clements, Kasin Vichienchom, Wentai Liu, Chris Hughes, Elliot McGucken, Chris DeMarco, Jeff Mueller, Mark S. Humayun, Eugene de Juan Jr, James D. Weiland, Robert J. Greenberg
An implantable power and data receiver and neuro-stimulus chip for a retinal prosthesis system. ISCAS (1) (1999)