2007 |
12 | EE | Frank Weil,
Brian E. Mastenbrook,
David Nelson,
Paul Dietz,
Aswin van den Berg:
Automated Semantic Analysis of Design Models.
MoDELS 2007: 166-180 |
11 | EE | Thomas Weigert,
Frank Weil,
Kevin Marth,
Paul Baker,
Clive Jervis,
Paul Dietz,
Yexuan Gui,
Aswin van den Berg,
Kim Fleer,
David Nelson,
Michael Wells,
Brian E. Mastenbrook:
Experiences in Deploying Model-Driven Engineering.
SDL Forum 2007: 35-53 |
2005 |
10 | | Mike Jackson,
David Nelson,
Sue Stirk:
Database: Enterprise, Skills and Innovation, 22nd British National Conference on Databases, BNCOD 22, Sunderland, UK, July 5-7, 2005, Proceedings
Springer 2005 |
9 | EE | Xian Liu,
David Nelson,
Simon Stobart,
Sue Stirk:
Managing Schema Versions in Object-Oriented Databases.
ADBIS 2005: 97-108 |
8 | EE | Barry Zeeberg,
Haiying Qin,
Sudarshan Narasimhan,
Margot Sunshine,
Hong Cao,
David W. Kane,
Mark Reimers,
Robert M. Stephens,
David Bryant,
Stanley K. Burt,
Eldad Elnekave,
Danielle M. Hari,
Thomas A. Wynn,
Charlotte Cunningham-Rundles,
Donn M. Stewart,
David Nelson,
John N. Weinstein:
High-Throughput GoMiner, an 'industrial-strength' integrative gene ontology tool for interpretation of multiple-microarray experiments, with application to studies of Common Variable Immune Deficiency (CVID).
BMC Bioinformatics 6: 168 (2005) |
2003 |
7 | | Robert Warrender,
David Nelson,
Sue Stirk:
Database Interoperability using a Database's own Natural Query Language.
BNCOD Posters 2003: 24-26 |
6 | | Liu Xian,
David Nelson,
Sue Stirk:
A Nested Matrix Model for Schema Versioning in Object-Oriented Databases.
BNCOD Posters 2003: 33-35 |
1995 |
5 | EE | Tom Slezak,
Mark Wagner,
Mimi Yeh,
Linda Ashworth,
David Nelson,
David Ow,
Elbert Branscomb,
Anthony Carrano:
A database system for constructing, integrating, and displaying physical maps of chromosome 19.
HICSS (5) 1995: 14-23 |
1984 |
4 | | Ahmad Almukdad,
David Nelson:
Constructible Falsity and Inexact Predicates.
J. Symb. Log. 49(1): 231-233 (1984) |
1966 |
3 | | David Nelson:
Non-Null Implication.
J. Symb. Log. 31(4): 562-572 (1966) |
1960 |
2 | | David Nelson:
Twenty-Fifth Annual Meeting of the Association for Symbolic Logic.
J. Symb. Log. 25(1): 93-96 (1960) |
1949 |
1 | | David Nelson:
Constructible Falsity.
J. Symb. Log. 14(1): 16-26 (1949) |