Chris Hughes

According to our database, Chris Hughes authored at least 8 papers between 1999 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2024

Verifying Peephole Rewriting in SSA Compiler IRs.

Siddharth Bhat, Alex C. Keizer, Chris Hughes, Andrés Goens, Tobias Grosser

Proceedings of the 15th International Conference on Interactive Theorem Proving, 2024

2022

Schemes in Lean.

Kevin Buzzard, Chris Hughes, Kenny Lau, Amelia Livingston, Ramon Fernández Mir, Scott Morrison

Exp. Math., 2022

2013

The economics of data: quality, value & exchange in web observatories.

Paul Booth, Paul Gaskell, Chris Hughes

Proceedings of the 22nd International World Wide Web Conference, 2013

2000

14-bit 2.2-MS/s sigma-delta ADC's.

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

IEEE J. Solid State Circuits, 2000

A neuro-stimulus chip with telemetry unit for retinal prosthetic device.

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

IEEE J. Solid State Circuits, 2000

SNDR sensitivity analysis for cascaded ΣΔ modulators.

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

Proceedings of the IEEE International Symposium on Circuits and Systems, 2000

1999

An implantable power and data receiver and neuro-stimulus chip for a retinal prosthesis system.

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

Proceedings of the 1999 International Symposium on Circuits and Systems, ISCAS 1999, Orlando, Florida, USA, May 30, 1999

Better Learning Online?

Werner Beuschel, Alfred Bork, Chris Hughes, Timothy G. McMahon, Peter Serdiukov, Elizabeth Stacey

Proceedings of the Building University Electronic Educational Environments, 1999