Simon Mrk
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
3
Active years
1995–1997
Best venue rank
B
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 1997 | CONCUR | A Universal Reactive Machine. | Henrik Reif Andersen, Simon Mrk, Morten Ulrik Srensen |
| 1996 | FORTE | A Timed Semantics for SDL. | Simon Mrk, Jens Chr. Godskesen, Michael R. Hansen, Robin Sharp |
| 1995 | SOFSEM | Development of Safety-Critical Real-Time Systems. | Hans Rischel, Jorge Cullar, Simon Mrk, Anders P. Ravn, Isolde Wildgruber |