Concepedia

Author

Viktor Toman

Institute of Science and Technology AustriaORCID

Also Known As

Toman, Viktor, Viktor Toman

10

Publications

47

Citations

3

H-Index

14

Concepts

All Affiliations

Institute of Science and Technology Austria
VT

About

Viktor Toman is an author at Institute of Science and Technology Austria specializing in formal verification, parallel computing, and automated reasoning.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

1

1

22

2

Computer Science

1

1

22

3

Software Analysis

1

1

22

4

Approximation Theory

1

1

22

5

Automated Reasoning

1

1

22

Viktor Toman

×

2

Publications

40

Citations

2

H-Index

YearCitations

Page 1