logo
科言猫学术研究的AI总结
language
手机端手机端
  • Phone Feature微信小程序
简体中文简体中文
notice消息通知
博客博客
delete
arrow
返回
O

Ondřej Lhoták

University of Waterloo

28H指数
96论文数
3.4K被引数
收录论文 6
发表时间
logo
Qualified Types with Boolean Algebras布尔代数中的合格类型
errPROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL
IF2.8
err2025-10-01
err0
PREAI
errLee, Edward; Starup, Jonathan Lindegaard; Lhotak, Ondrej; Madsen, Magnus
err分享
err收藏
Flix: A Design for Language-Integrated DatalogFlix: 一种语言集成Datalog的设计
errPROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL
IF2.8
err2025-10-01
err0
PREAI
errMadsen, Magnus; Lhotak, Ondrej
err分享
err收藏
A Study of Call Graph Construction for JVM-Hosted Languages
errIEEE TRANSACTIONS ON SOFTWARE ENGINEERING
IF5.6
err2021-12-01
err7
errOAAI
errAli, Karim; Lai, Xiaoni; Luo, Zhaoyi; Lhotak, Ondrej; Dolby, Julian; Tip, Frank
err分享
err收藏
Who you gonna call? Analyzing Web Requests in Android Applications
err2017 IEEE/ACM 14TH INTERNATIONAL CONFERENCE ON MINING SOFTWARE REPOSITORIES (MSR 2017)
IF0
err2017-05-01
err17
PREAI
errRapoport, Marianna; Suter, Philippe; Wittern, Erik; Lhotak, Ondrej; Dolby, Julian
err分享
err收藏
Type-Based Call Graph Construction Algorithms for Scala
errACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY
IF6.2
err2015-12-02
err7
PREAI
errAli, Karim; Rapoport, Marianna; Lhotak, Ondrej; Dolby, Julian; Tip, Frank
err分享
err收藏
Evaluating the Benefits of Context-Sensitive Points-to Analysis Using a BDD-Based Implementation
errACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY
IF6.2
err2008-10-07
err79
PREAI
errLhotak, Ondrej; Hendren, Laurie
err分享
err收藏

研究方向

暂时未获取到该数据
合作学者
合作期刊
L
Laurie Hendren
H 指数: 47 · 论文数: 225
F
Frank Tip
H 指数: 44 · 论文数: 163
J
Julian Dolby
H 指数: 35 · 论文数: 148
P
Philippe Suter
H 指数: 21 · 论文数: 49
K
Karim Ali
H 指数: 19 · 论文数: 75
查看更多