Canyam
AI summaries for academic research
Home
Preprint
Subscribe
Favorites
Tools
Analysis
Summary
Not logged in
Back
J
Jan Otop
institute of science & technology - austria
7
H-index
55
Paper Count
220
Citation Count
0
Related Insights
Subscribe
Published Papers
2
Publication Date
Publication Date
Impact Factor
Citations
Learning infinite-word automata with loop-index queries
artificial intelligence review
IF
4.6
2022-06-01
5
PRE
AI
Michaliszyn, Jakub; Otop, Jan
Share
Save
Model measuring for discrete and hybrid systems
NONLINEAR ANALYSIS-HYBRID SYSTEMS
IF
4.1
2017-02-01
4
PRE
AI
Henzinger, Thomas A.; Otop, Jan
Share
Save
Research Directions
No research directions
Co-authors
Cooperation Journals
T
Thomas A. Henzinger
H-index: 97 · Papers: 724
J
Jakub Michaliszyn
H-index: 11 · Papers: 47
All loaded