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

Long Qian

carnegie mellon university

1H-index
11Paper Count
6Citation Count
Published Papers 4
Publication Date
logo
errINTEGRATED FORMAL METHODS, IFM 2025
IF0
err2026-01-01
err0
PREAI
errHellwig, Jonathan; Schaefer, Lukas; Qian, Long; Platzerl, Andre; Althoff, Matthias
errShare
errSave
errINTELLIGENT COMPUTER MATHEMATICS, CICM 2025
IF0
err2026-01-01
err0
PREAI
errSubercaseaux, Bernardo; Mackey, Ethan; Qian, Long; Heule, Marijn
errShare
errSave
errJournal of the ACM
IF2.5
err2025-12-01
err0
PREAI
errPlatzer, Andre; Qian, Long
errShare
errSave
errIEEE TRANSACTIONS ON KNOWLEDGE AND DATA ENGINEERING
IF10.4
err2022-11-01
err0
PREAI
errDietrich, Jens; Chang, Lijun; Qian, Long; Henry, Lyndon M.; McCartin, Catherine; Scholz, Bernhard
errShare
errSave

Research Directions

No research directions
Co-authors
Cooperation Journals
M
Matthias Althoff
H-index: 52 · Papers: 450
A
André Platzer
H-index: 37 · Papers: 244
L
Lijun Chang
H-index: 35 · Papers: 138
M
Marijn J. H. Heule
H-index: 32 · Papers: 199
B
Bernhard Scholz
H-index: 30 · Papers: 219
View more