Concepedia

Author

Ji � Rosick�

Masaryk University

Also Known As

Ji � Rosick�, Ji?� Rosick�

6

Publications

51

Citations

5

H-Index

4

Concepts

All Affiliations

Masaryk University
J�

About

Ji � Rosick� is an author at Masaryk University specializing in automated reasoning, formal methods, and computer science.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

1

1

13

2

Computer Science

1

1

13

3

Automated Reasoning

1

1

13

4

Formal Methods

1

1

13

Ji � Rosick�

×

2

Publications

33

Citations

2

H-Index

YearCitations

Page 1