Jonathan King

According to our database, Jonathan King authored at least 12 papers between 1977 and 2023.

Collaborative distances:

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

2023

Model Based Verification of Spiking Neural Networks in Cyber Physical Systems.

Ankit Pradhan, Jonathan King, Srinivas Pinisetty, Partha S. Roop

IEEE Trans. Computers, September, 2023

2022

Extrinsic Dexterous Manipulation with a Direct-drive Hand: A Case Study.

Arnav Gupta, Yuemin Mao, Ankit Bhatia, Xianyi Cheng, Jonathan King, Yifan Hou, Matthew T. Mason

Proceedings of the IEEE/RSJ International Conference on Intelligent Robots and Systems, 2022

2019

Multiparty Session Type-safe Web Development with Static Linearity.

Jonathan King, Nicholas Ng, Nobuko Yoshida

Proceedings of the Proceedings Programming Language Approaches to Concurrency- and Communication-cEntric Software, 2019

2017

Roundtable on Cloud, Fog, Networks and Related Technologies.

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

IEEE Cloud Comput., 2017

TDECQ (transmitter dispersion eye closure quaternary) replaces historic eye-mask and TDP test for 400 Gb/s PAM4 optical transmitters.

Jonathan King, David Leyba, Greg D. LeCheminant

Proceedings of the Optical Fiber Communications Conference and Exhibition, 2017

2005

Wrap-and-Pack: A New Paradigm for Beta Structural Motif Recognition with Application to Recognizing Beta Trefoils.

Matthew Menke, Jonathan King, Bonnie Berger, Lenore Cowen

J. Comput. Biol., 2005

Amino Acid Sequence Control of the Folding of the Parallel beta-Helix, the Simplest beta-Sheet Fold.

Jonathan King, Cammie Haase-Pettingell, Ryan Simkovsky, Peter Weigele

Proceedings of the Research in Computational Molecular Biology, 2005

2004

Wrap-and-pack: a new paradigm for beta structural motif recognition with application to recognizing beta trefoils.

Matthew Menke, Eben Scanlon, Jonathan King, Bonnie Berger, Lenore Cowen

Proceedings of the Eighth Annual International Conference on Computational Molecular Biology, 2004

2002

Predicting the Beta-Helix Fold from Protein Sequence Data.

Lenore Cowen, Phil Bradley, Matthew Menke, Jonathan King, Bonnie Berger

J. Comput. Biol., 2002

2000

Actively controlled transverse gas injection.

Luca Cortelezzi, Jonathan King, Robert Lobbia, Robert T. M'Closkey, Ann R. Karagozian

Proceedings of the 39th IEEE Conference on Decision and Control, 2000

1982

Processing English with a Generalized Phrase Structure Grammar.

Jean Mark Gawron, Jonathan King, John Lamping, Egon E. Loebner, E. Anne Paulson, Geoffrey K. Pullum, Ivan A. Sag, Thomas Wasow

Proceedings of the 20th Annual Meeting of the Association for Computational Linguistics, 1982

1977

Knowledge Base Management for Experiment Planning in Molecular Genetics.

Nancy Martin, Peter Friedland, Jonathan King, Mark Stefik

Proceedings of the 5th International Joint Conference on Artificial Intelligence. Cambridge, 1977