Concepedia

Author

Janos Sztipanovits

Vanderbilt University

Also Known As

Janos Sztipanovits

5

Publications

99

Citations

4

H-Index

22

Concepts

All Affiliations

Vanderbilt University
JS

About

Janos Sztipanovits is an author at Vanderbilt University specializing in automated reasoning, software engineering, and formal methods.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

2

2

72

2

Language Studies

1

1

31

3

Computer Engineering

1

1

41

4

Computer Science

1

1

41

5

Linguistics

1

1

31

Janos Sztipanovits

×

3

Publications

89

Citations

3

H-Index

YearCitations

Page 1