Jonathan King

Publication Activity (10 Years)

Years Active: 1977-2023
Publications (10 Years): 5

Top Topics

Web Development

Top Venues

IEEE Cloud Comput.

IEEE Trans. Computers

Publications

Ankit Pradhan, Jonathan King, Srinivas Pinisetty, Partha S. Roop
Model Based Verification of Spiking Neural Networks in Cyber Physical Systems. IEEE Trans. Computers 72 (9) (2023)
Arnav Gupta, Yuemin Mao, Ankit Bhatia, Xianyi Cheng, Jonathan King, Yifan Hou, Matthew T. Mason
Extrinsic Dexterous Manipulation with a Direct-drive Hand: A Case Study. IROS (2022)
Jonathan King, Nicholas Ng, Nobuko Yoshida
Multiparty Session Type-safe Web Development with Static Linearity. PLACES@ETAPS (2019)
Jonathan King, David Leyba, Greg D. LeCheminant
TDECQ (transmitter dispersion eye closure quaternary) replaces historic eye-mask and TDP test for 400 Gb/s PAM4 optical transmitters. OFC (2017)
Joe Weinman, Margaret Dawson, Jim Fagan, Stephen Ho, Tim Horan, Will Hughes, Chih-Lin I, Ivo Ivanov, Jonathan King, Eric Klinker, Kireeti Kompella, Simon Lee, Ryan Servatius, Mark Thiele
Roundtable on Cloud, Fog, Networks and Related Technologies. IEEE Cloud Comput. 4 (3) (2017)
Matthew Menke, Jonathan King, Bonnie Berger, Lenore Cowen
Wrap-and-Pack: A New Paradigm for Beta Structural Motif Recognition with Application to Recognizing Beta Trefoils. J. Comput. Biol. 12 (6) (2005)
Jonathan King, Cammie Haase-Pettingell, Ryan Simkovsky, Peter Weigele
Amino Acid Sequence Control of the Folding of the Parallel beta-Helix, the Simplest beta-Sheet Fold. RECOMB (2005)
Matthew Menke, Eben Scanlon, Jonathan King, Bonnie Berger, Lenore Cowen
Wrap-and-pack: a new paradigm for beta structural motif recognition with application to recognizing beta trefoils. RECOMB (2004)
Lenore Cowen, Phil Bradley, Matthew Menke, Jonathan King, Bonnie Berger
Predicting the Beta-Helix Fold from Protein Sequence Data. J. Comput. Biol. 9 (2) (2002)
Phil Bradley, Lenore Cowen, Matthew Menke, Jonathan King, Bonnie Berger
Predicting the beta-helix fold from protein sequence data. RECOMB (2001)
Luca Cortelezzi, Jonathan King, Robert Lobbia, Robert T. M'Closkey, Ann R. Karagozian
Actively controlled transverse gas injection. CDC (2000)
Jean Mark Gawron, Jonathan King, John Lamping, Egon E. Loebner, E. Anne Paulson, Geoffrey K. Pullum, Ivan A. Sag, Thomas Wasow
Processing English with a Generalized Phrase Structure Grammar. ACL (1982)
Nancy Martin, Peter Friedland, Jonathan King, Mark Stefik
Knowledge Base Management for Experiment Planning in Molecular Genetics. IJCAI (1977)