Concepedia

Author

Dmitriy Traytel

ETH ZurichORCID

Also Known As

DMITRIY TRAYTEL, Dmitriy Traytel, Dmitry Traytel, Traytel, D., Traytel, Dmitriy

101

Publications

1K

Citations

17

H-Index

26

Concepts

All Affiliations

ETH ZurichVrije Universiteit AmsterdamMiddlesex UniversityLaboratoire Lorrain de Recherche en Informatique et ses ApplicationsBoard of the Swiss Federal Institutes of Technology
DT

About

Dmitriy Traytel is an author at ETH Zurich specializing in formal methods, engineering, and automated reasoning.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

10

11

322

2

Computer Science

7

7

270

3

Data Science

2

2

27

4

Systems Engineering

2

2

123

5

Language Studies

1

1

16

Dmitriy Traytel

×

13

Publications

428

Citations

11

H-Index

YearCitations

Page 1