Concepedia

Author

Yde Venema

University of Amsterdam

Also Known As

Venema Y., Venema, Y., Venema, Yde, Y Venema, Y. Venema, YDE VENEMA, Yde Venema

206

Publications

7.5K

Citations

28

H-Index

45

Concepts

All Affiliations

University of AmsterdamVrije Universiteit AmsterdamImperial College LondonCentrum Wiskunde & InformaticaNew Mexico State University
YV

About

Yde Venema is an author at University of Amsterdam specializing in engineering, automated reasoning, and formal methods.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

14

19

716

2

Language Studies

4

4

140

3

Arts

1

1

75

4

Education

1

1

36

5

Natural Sciences

1

1

48

Yde Venema

×

45

Publications

2.2K

Citations

24

H-Index

YearCitations

Page 1