Concepedia

Stian Thorvaldsen

ST

Statistics

Publications

2

Citations

104

H-Index

2

Active since

2006

Affiliations

University of Oslo(Current)

Stian Thorvaldsen is an author at University of Oslo specializing in formal methods, model checking, and algorithms.

Publications per year

2006–2008

2

Publications

2

Formal modeling, performance estimation, and model checking of wireless sensor network algorithms in Real-Time Maude

Peter Csaba Ölveczky, Stian Thorvaldsen · Theoretical Computer Science · 2008 · 84 citations

Computing, Computer Engineering, Computer Science +17

Formal modeling and analysis of wireless sensor network algorithms in Real-Time Maude

Peter Csaba Ölveczky, Stian Thorvaldsen · 2006 · 20 citations

Computing, Computer Engineering, Computer Science +16

1–2 of 2