Chrome Extension
WeChat Mini Program
Use on ChatGLM
VIPCreated with Sketch.
Research Interests

Papers共 10 篇Author StatisticsCo-AuthorSimilar Experts

By YearBy Citation主题筛选期刊级别筛选合作者筛选合作机构筛选
时间
引用量
主题
期刊级别
合作者
合作机构
The SemGuS Toolkit
Keith J. C. Johnson,Andrew Reynolds,Thomas Reps,Loris D'Antoni
COMPUTER AIDED VERIFICATION, PT III, CAV 2024 (2024): 27-40
Cited1Views0EIBibtex
1
0
Differential Astrometry to Detect Giant Planets Around A-stars
J. D. Monnier,Keith J. C. Johnson,Samuel J. Swihart, Michael Ireland, Ming Zhao, T. ten Brummelaar
American Astronomical Society Meeting Abstracts 225 (2015)
Cited0Views0Bibtex
0
0
Author Statistics

#Papers: 10

#Citation: 111

H-Index: 4

G-Index: 6

Sociability: 4

Diversity: 1

Activity: 7

  • 合作者
  • 学生
  • 导师
No result temporarily, you can search similar Scholar with the same research interest
Data Disclaimer
The page data are from open Internet sources, cooperative publishers and automatic analysis results through AI technology. We do not make any commitments and guarantees for the validity, accuracy, correctness, reliability, completeness and timeliness of the page data. If you have any questions, please contact us by email: report@aminer.cn