2007 |
9 | EE | James E. Johnson,
David E. Langworthy,
Leslie Lamport,
Friedrich H. Vogt:
Formal specification of a Web services protocol.
J. Log. Algebr. Program. 70(1): 34-52 (2007) |
2004 |
8 | EE | James E. Johnson,
David E. Langworthy,
Leslie Lamport,
Friedrich H. Vogt:
Formal Specification of a Web Services Protocol.
Electr. Notes Theor. Comput. Sci. 105: 147-158 (2004) |
2003 |
7 | | James E. Johnson,
Martina V. Stromvik,
Kevin A. T. Silverstein,
John A. Crow,
Elizabeth Shoop,
Ernest F. Retzel:
TableView: Portable Genomic Data Visualization.
Bioinformatics 19(10): 1292-1293 (2003) |
6 | | Anne-Françoise J. Lamblin,
John A. Crow,
James E. Johnson,
Kevin A. T. Silverstein,
Timothy M. Kunau,
Alan Kilian,
Diane Benz,
Martina V. Stromvik,
Gabriella Endré,
Kathryn A. VandenBosch,
Douglas R. Cook,
Nevin D. Young,
Ernest F. Retzel:
MtDB: a database for personalized data mining of the model legume Medicago truncatula transcriptome.
Nucleic Acids Research 31(1): 196-201 (2003) |
2001 |
5 | | Kevin A. T. Silverstein,
Elizabeth Shoop,
James E. Johnson,
Ernest F. Retzel:
MetaFam: a unified classification of protein families. I. Overview and statistics.
Bioinformatics 17(3): 249-261 (2001) |
4 | | Elizabeth Shoop,
Kevin A. T. Silverstein,
James E. Johnson,
Ernest F. Retzel:
MetaFam: a unified classification of protein families. II. Schema and query capabilities.
Bioinformatics 17(3): 262-271 (2001) |
3 | | Kevin A. T. Silverstein,
Elizabeth Shoop,
James E. Johnson,
Alan Kilian,
John L. Freeman,
Timothy M. Kunau,
Ihab A. Awad,
Margaret Mayer,
Ernest F. Retzel:
The MetaFam Server: a comprehensive protein family resource.
Nucleic Acids Research 29(1): 49-51 (2001) |
2000 |
2 | | Kevin A. T. Silverstein,
Alan Kilian,
John L. Freeman,
James E. Johnson,
Ihab A. Awad,
Ernest F. Retzel:
PANAL: an integrated resource for Protein sequence ANALysis.
Bioinformatics 16(12): 1157-1158 (2000) |
1991 |
1 | | William A. Laing,
James E. Johnson,
Robert V. Landau:
Transaction Management Support in the VMS Operating System Kernel.
Digital Technical Journal 3(1): 0- (1991) |