Product
Help
Pricing
About
Jobs
Log in
Get started
Author
Add to collection
R. Alan Whitehurst
Observed names:
R. A. Whitehurst,
R.A. Whitehurst,
Robert A. Whitehurst,
Whitehurst, R. A.
Institution:
University of Pittsburgh
Observed institutions:
Brigham Young University,
SRI International,
University of Illinois Urbana-Champaign,
University of Pittsburgh
OpenAlex ID:
A5087983760
The SeaView verification
2003
·
R.A. Whitehurst
, T.F. Lunt
·
IEEE Computer Security Foundations Workshop (CSFW)
·
15
Formal verification of AI software
1989
·
John Rushby
, R. Alan Whitehurst
·
NASA STI Repository (National Aeronautics and Space Administration)
·
12
PDF
Developing laboratories for the SIGCSE computing laboratory repository
1997
·
Daniel Joyce
, Deborah Knox
, et al.
·
ACM Conference on Innovation and Technology in Computer Science Education (ITiCSE)
·
11
Utilising the student model in distance learning
1998
·
R. Alan Whitehurst
, Christopher L. Powell
, et al.
·
ACM Conference on Innovation and Technology in Computer Science Education (ITiCSE)
·
7
PDF
Developing laboratories for the SIGCSE computing laboratory repository: guidelines, recommendations, and sample labs
1997
·
Daniel Joyce
, Deborah Knox
, et al.
·
ACM SIGCUE Outlook
·
7
PDF
Retrieval of Java classes for case-based reuse
1998
·
Bjørnar Tessem
, R. Alan Whitehurst
, et al.
·
Lecture notes in computer science
·
5
Systemic software reuse through analogical reasoning
1996
·
R. Alan Whitehurst
·
Illinois Digital Environment for Access to Learning and Scholarship (University of Illinois at Urbana-Champaign)
·
3
The need for an integrated design, implementation, verification and testing methodology
1985
·
R. Alan Whitehurst
·
ACM SIGSOFT Software Engineering Notes
·
1
PDF
Feasibility of Using Shear Wave Elastography to Quantify Achilles Tendinopathy Stiffness Before and After Rehabilitation
2019
·
Robert A. Whitehurst
, Shane L. Koppenhaver
, et al.
·
Medicine & Science in Sports & Exercise
Abstract 897: Thymidine kinase 1, a novel biomarker specific to the plasma membrane of cancerous cell lines
2011
·
Daniel W. Sharp
, Dagoberto Estevez
, et al.
·
Cancer Research
Abstract 3162: Assessing the therapeutic and diagnostic potential of human thymidine kinase 1 in leukemia
2011
·
Dagoberto Estevez
, Robert A. Whitehurst
, et al.
·
Cancer Research
Abstract 1678: Visualization of thymidine kinase 1 on the surface of cancer cell lines: A potential diagnostic marker and therapeutic target
2011
·
Robert A. Whitehurst
, Dagoberto Estevez
, et al.
·
Cancer Research
Utilising the student model in distance learning
1998
·
R. Alan Whitehurst
, Christopher L. Powell
, et al.
·
ACM SIGCSE Bulletin
A Programmer's Reference to the Suppressor Simulation System.
1997
·
R. Alan Whitehurst
, Jane Phipps
, et al.
Definition and Implementation of the Integrated Modular Persistent Object Representation Translator (IMPORT)
1993
·
C. Herring
, Joseph Chee Ming Teo
, et al.
·
Defense Technical Information Center (DTIC)
Declarative Object Manipulation Environment (DOME): Alpha Version
1993
·
R. A. Whitehurst
, John Pietrzak
Application of Object-Oriented Programming to Combat Modeling and Simulation
1991
·
Herring, Charles
, Whitehurst, R. A.
, et al.
·
Defense Technical Information Center (DTIC)
Show more works
View as search
Works count:
17
Citation count:
61
H-index:
5
I10-index:
3
Year
Topic
Type
