Concepedia

R. H. van Gent

RH

12

Publications

360

Citations

12

H-Index

1981

Active since

Affiliations

Utrecht University(Current)

Stanford University

Williams College

R. H. van Gent is an author at Utrecht University specializing in engineering, automated reasoning, and computer science.

Top concepts

EngineeringComputer ScienceAutomated ReasoningVerificationFormal MethodsProgram AnalysisSoftware AnalysisFormal VerificationArtsLanguage

Publications per year

1981–2012

12

Publications

12

Story-marking with improvisational puppets

Barbara Hayes‐Roth, R. H. van Gent · 1997 · 80 citations · Full text

Music, Engineering, Autonomous Systems +16

Kim B. Bruce, Angela Schuett, R. H. van Gent et al. · ACM Transactions on Programming Languages and Systems · 2003 · 55 citations · Full text

Engineering, Subject Reduction Theorem, Generic Programming +14

Safe and decidable type checking in an object-oriented language

Kim B. Bruce, Jon Crabtree, Thomas P. Murtagh et al. · 1993 · 48 citations · Full text

Program Checking, Decidable Type Checking, Engineering +9

bcr-abl mRNA lacking abl exon a2 detected by polymerase chain reaction in a chronic myelogeneous leukemia patient.

van der Plas, D Soekarman, R. H. van Gent et al. · PubMed · 1991 · 38 citations

Three Editions of the Star Catalogue of Tycho Brahe: Machine-Readable Versions and Comparison with the Modern Hipparcos Catalogue

F. Verbunt, R. H. van Gent · Data Archiving and Networked Services (DANS) · 2010 · 26 citations · Full text

Rows per page

1–5 of 12