Canyam
AI summaries for academic research
Home
Preprint
Subscribe
Favorites
Tools
Analysis
Summary
Not logged in
Back
P
Philipp Rümmer
uppsala university
0
H-index
3
Paper Count
0
Citation Count
0
Related Insights
Subscribe
Published Papers
1
Publication Date
Publication Date
Impact Factor
Citations
Formal Methods in System Design
IF
0.8
2026-03-20
0
PRE
AI
Amilon, Jesper; Esen, Zafer; Gurov, Dilian; Lidstrom, Christian; Rummer, Philipp; Voorberg, Marten
Share
Save
Research Directions
No research directions
Co-authors
Cooperation Journals
D
Dilian Gurov
H-index: 0 · Papers: 3
J
Jesper Amilon
H-index: 0 · Papers: 3
M
Marten Voorberg
H-index: 0 · Papers: 3
E
Esen, Zafer
H-index: 0 · Papers: 2
All loaded
.png){kind=icon}
.png){kind=icon}
.png){kind=icon}
.png){kind=icon}
.png){kind=icon}
Share.png){kind=icon}
SaveShareSaveShareSave
Not logged in.png){kind=icon}
ShareSaveNot logged inShareSave