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

Reinis Cirpons

western sydney university

0H-index
24Paper Count
0Citation Count
Published Papers 3
Publication Date
logo
errInternational Mathematics Research Notices
IF0.9
err2026-03-01
err0
PREAI
errCirpons, Reinis; East, James; Mitchell, James D.
errShare
errSave
errPROCEEDINGS OF THE 15TH ACM SIGPLAN INTERNATIONAL CONFERENCE ON CERTIFIED PROGRAMS AND PROOFS, CPP 2026
IF0
err2026-01-01
err0
PREAI
errCirpons, Reinis; Hivert, Florent; Mahboubi, Assia; Melquiond, Guillaume; Mitchell, James D.; Smith, Finn
errShare
errSave
errMATHEMATICS OF COMPUTATION
IF2.1
err2025-12-01
err0
PREAI
errAnagnostopoulou-Merkouri, Marina; Cirpons, Reinis; Mitchell, James D.; Tsalakou, Maria
errShare
errSave

Research Directions

No research directions
Co-authors
Cooperation Journals
G
Guillaume Melquiond
H-index: 22 · Papers: 138
J
James D. Mitchell
H-index: 17 · Papers: 141
F
Florent Hivert
H-index: 15 · Papers: 95
A
A. Mahboubi
H-index: 1 · Papers: 4
M
Marina Anagnostopoulou‐Merkouri
H-index: 1 · Papers: 14
View more