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

Alfons Laarman

leiden university

19H-index
88Paper Count
989Citation Count
Published Papers 5
Publication Date
logo
errQuantum Science and Technology
IF5
err2026-01-16
err0
errOAAI
errAlejandro Villoria; Henning Basold; Alfons Laarman
errShare
errSave
errQUANTITATIVE EVALUATION OF SYSTEMS AND FORMAL MODELING AND ANALYSIS OF TIMED SYSTEMS, QEST+FORMATS 2025
IF0
err2026-01-01
err0
PREAI
errBrand, Sebastiaan; Quist, Arend-Jan; van Dijk, Richard M. K.; Laarman, Alfons
errShare
errSave
errAUTOMATED TECHNOLOGY FOR VERIFICATION AND ANALYSIS, ATVA 2025
IF0
err2026-01-01
err0
PREAI
errBrand, Sebastiaan; Laarman, Alfons
errShare
errSave
errQUANTUM
IF5.4
err2023-09-11
err6
errOAAI
errVinkhuijzen, Lieuwe; Coopmans, Tim; Elkouss, David; Dunjko, Vedran; Laarman, Alfons
errShare
errSave
errINTERNATIONAL JOURNAL OF APPROXIMATE REASONING
IF3
err2021-11-01
err4
errOAAI
errDal, Giso H.; Laarman, Alfons W.; Hommersom, Arjen; Lucas, Peter J. F.
errShare
errSave

Research Directions

No research directions
Co-authors
Cooperation Journals
P
Peter Lucas
H-index: 42 · Papers: 436
V
Vedran Dunjko
H-index: 35 · Papers: 184
D
David Elkouss
H-index: 24 · Papers: 113
A
Arjen Hommersom
H-index: 16 · Papers: 107
T
Tim Coopmans
H-index: 10 · Papers: 38
View more