Concepedia

Gabriel Dos Reis

GD

15

Publications

1.1K

Citations

13

H-Index

2002

Active since

Affiliations

Texas A&M University(Current)

Institut national de recherche en sciences et technologies du numérique

AT&T (United States)

Centre National de la Recherche Scientifique

Indiana University

Gabriel Dos Reis is an author at Texas A&M University specializing in program analysis, formal methods, and computer science.

Top concepts

EngineeringFormal MethodsComputer ScienceProgram AnalysisFormal VerificationSoftware DesignSoftware AnalysisComputer EngineeringSoftware EngineeringCompilers

Publications per year

2002–2013

15

Publications

15

Implications for Kinetochore-Microtubule Attachment from the Structure of an Engineered Ndc80 Complex

Claudio Ciferri, Sebastiano Pasqualato, Emanuela Screpanti et al. · Cell · 2008 · 547 citations · Full text

Macromolecular Machine, Molecular Biology, Engineered Ndc80 Complex +5

Douglas Gregor, Jaakko Järvi, Jeremy G. Siek et al. · 2006 · 193 citations

Engineering, Generic Programming, Program Analysis +15

Specifying C++ concepts

Gabriel Dos Reis, Bjarne Stroustrup · 2006 · 87 citations

Engineering, Compiler Technology, Verification +22

Direct Microfabrication of Topographical and Chemical Cues for the Guided Growth of Neural Cell Networks on Polyamidoamine Hydrogels

Gabriel Dos Reis, Fabio Fenili, Antonella Gianfelice et al. · Macromolecular Bioscience · 2010 · 46 citations

Tissue Engineering, Engineering, Smart Polymer +22

Live-Cell Imaging Reveals Multiple Interactions between Epstein-Barr Virus Nuclear Antigen 1 and Cellular Chromatin during Interphase and Mitosis

Nathalie Jourdan, Aude Jobart‐Malfait, Gabriel Dos Reis et al. · Journal of Virology · 2012 · 26 citations · Full text

Viral Replication, Immunology, Molecular Biology +18

Rows per page

1–5 of 15