ÅKÅsmund Aqissiaq Arild Kløvstad
Åsmund Aqissiaq Arild Kløvstad
*This is an algorithmically generated author record based on publicly available information.
Current Organizations / Institutes
The organizations/institutes from the scholar's latest article
Research Subjects
Åsmund Aqissiaq Arild Kløvstad has a total of 15 co-authors. Here are the top co-authors by number of shared publications:
- Einar Broch Johnsen
University of Oslo
6 shared publications - Erik Voogd
University of Oslo
3 shared publications - Andrea Pferscher
University of Oslo, Oslo, Norway
2 shared publications - Riccardo Sieve
University of Oslo, Oslo, Norway
2 shared publications - Alexandra Silva
Cornell University, USA
1 shared publication - Andrzej Wąsowski
IT University of Copenhagen, Copenhagen, Denmark
1 shared publication
Latest Publications
- 7 October 2026
- Published by Springer Nature
- p. 123-144
Knowledge-Driven Stream Monitor Synthesis
- Open Access
- 8 January 2026
- Published by Association for Computing Machinery (ACM)
- p. 309-324
Layers of Confluence for Actors
- 8 January 2026
- Published by Association for Computing Machinery (ACM)
- p. 309-324
Open AccessLayers of Confluence for Actors
- 30 August 2025
- Published by Springer Nature
- p. 360-381
What-If Scenarios for the BedreFlyt Digital Twin
- 30 August 2025
- Published by Springer Nature
- p. 360-381
What-If Scenarios for the BedreFlyt Digital Twin
- Open Access
- 17 April 2025
- Published by Elsevier in Theoretical Computer Science
- Vol. 1044
Compositional symbolic execution semantics
- 17 April 2025
- Published by Elsevier in Theoretical Computer Science
- Vol. 1044
Open AccessCompositional symbolic execution semantics
- 13 November 2024
- Published by Springer Nature
- p. 237-255
Correct and Complete Symbolic Execution for Free
- 13 November 2024
- Published by Springer Nature
- p. 237-255
Correct and Complete Symbolic Execution for Free