Concepedia

Author

A. Yahin

Semantic Designs (United States)

Also Known As

A. Yahin

1

Publications

1.3K

Citations

1

H-Index

16

Concepts

All Affiliations

Semantic Designs (United States)
AY

About

A. Yahin is an author at Semantic Designs (United States) specializing in formal verification, formal methods, and engineering.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

1

1

1.3K

2

Computer Engineering

1

1

1.3K

3

Computer Science

1

1

1.3K

4

Compilers

1

1

1.3K

5

Software Analysis

1

1

1.3K

A. Yahin

×

1

Publications

1.3K

Citations

1

H-Index

YearCitations

Clone detection using abstract syntax trees

Ira D. Baxter, A. Yahin, Leonardo de Moura,

2002

1.3K

Page 1