Concepedia

Ji � Rohn

J�

1

Publications

263

Citations

1

H-Index

1993

Active since

Affiliations

Charles University(Current)

Ji � Rohn is an author at Charles University specializing in verification, formal methods, and formal verification.

Top concepts

Publications per year

1993–1993

1

Publications

1

Checking robust nonsingularity is NP-hard

Svatopluk Poljak, Ji � Rohn · Mathematics of Control Signals and Systems · 1993 · 263 citations

, , +7

Rows per page

1–1 of 1