Get started
Author

Liv Kåreborn

Observed name: Kåreborn, Liv
Institution: AI Sweden
Observed institution: AI Sweden
ORCID: 0009-0004-8576-337X
Observed ORCID: 0009-0004-8576-337X
OpenAlex ID: A5114655398
CASP: An Evaluation Dataset for Formal Verification of C Code
2025 · Niclas Hertzberg, Merlijn Sevenhuijsen, et al. · Lecture notes in computer science · 3
PDF
Exploring Seasonal Variability in the Context of Neural Radiance Fields for 3D Reconstruction on Satellite Imagery
2025 · Liv Kåreborn, Erica Ingerstad, et al. · Lecture notes in computer science · 1
PDF
Works count: 4
Citation count: 6
H-index: 2
I10-index:
Year
Topic
Type