Rasmus Petersen

Publication Activity (10 Years)

Years Active: 2011-2020
Publications (10 Years): 1

Top Topics

Virtual Reality

Efficient Data Structures

Top Venues

Cyberpsychology Behav. Soc. Netw.

Formal Methods Syst. Des.

Publications

Trine Theresa Holmberg, Tanja Lilly Eriksen, Rasmus Petersen, Nicklas Nørgård Frederiksen, Ulla Damgaard-Sørensen, Mia Beck Lichtenstein
Social Anxiety Can Be Triggered by 360-Degree Videos in Virtual Reality: A Pilot Study Exploring Fear of Shopping. Cyberpsychology Behav. Soc. Netw. 23 (7) (2020)
Oukseh Lee, Hongseok Yang, Rasmus Petersen
A divide-and-conquer approach for analysing overlaid data structures. Formal Methods Syst. Des. 41 (1) (2012)
Oukseh Lee, Hongseok Yang, Rasmus Petersen
Program Analysis for Overlaid Data Structures. CAV (2011)