4
Publications
115
Citations
4
H-Index
1995
Active since
Affiliations
Rensselaer Polytechnic Institute(Current)
Ángel Díaz is an author at Rensselaer Polytechnic Institute specializing in computer science, engineering, and automated reasoning.
Top concepts
EngineeringComputer ScienceFormal MethodsData ManagementSoftware DesignSystem SoftwareData IntegrationProgram AnalysisSoftware AnalysisAutomated Reasoning
Publications per year
1995–2010
4
4
Ángel Díaz, Erich Kaltofen · 1998 · 52 citations · Full text
John Abbott, Ángel Díaz, Robert S. Sutor · ACM SIGSAM Bulletin · 1996 · 25 citations · Full text
Programming Language Theory, Computational Science, Engineering +10
Rows per page
1–4 of 4