logo
CanyamAI summaries for academic research
language
MobileMobile
  • Phone FeatureWeChat Mini Program
EnglishEnglish
noticeNotice
BlogBlog
delete
arrow
Back
M

Marek Chalupa

institute of science & technology - austria

11H-index
40Paper Count
317Citation Count
Published Papers 2
Publication Date
logo
errRUNTIME VERIFICATION, RV 2025
IF0
err2026-01-01
err1
PREAI
errChalupa, Marek; Henzinger, Thomas A.; da Costa, Ana Oliveira
errShare
errSave
errACTA INFORMATICA
IF0.5
err2025-12-09
err0
errOAAI
errBartocci, Ezio; Chalupa, Marek; Henzinger, Thomas A.; Nickovic, Dejan; Oliveira Da Costa, Ana
errShare
errSave

Research Directions

No research directions
Co-authors
Cooperation Journals
T
Thomas A. Henzinger
H-index: 97 · Papers: 724
E
Ezio Bartocci
H-index: 37 · Papers: 266
D
Dejan Ničković
H-index: 28 · Papers: 157
A
Ana Oliveira da Costa
H-index: 3 · Papers: 17
T
Thomas A. Henzinger
H-index: 1 · Papers: 5
All loaded