Concepedia

Author

Wolfgang Dvořák

TU WienORCID

Also Known As

Daisy Yuan, Dvoř ák Wolfgang, Dvořák Wolfgang, Dvo\v{r}\'ak, Wolfgang, Dvorak, Wolfgang, Dvorák, Wolfgang, Dvořák Wolfgang, Dvořák, Wolfgang, W. Dvořák, Wolfgang Dvo ˇrák

106

Publications

1.5K

Citations

20

H-Index

37

Concepts

All Affiliations

TU WienUniversity of ViennaUniversity of LiverpoolLeipzig UniversityUniversidade Federal do Ceará
WD

About

Wolfgang Dvořák is an author at TU Wien specializing in automated reasoning, engineering, and formal methods.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

14

19

707

2

Linguistics

11

12

508

3

Language Studies

10

11

402

4

Computer Science

9

9

190

5

Business

1

1

12

Wolfgang Dvořák

×

27

Publications

960

Citations

18

H-Index

YearCitations

Page 1