Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.

Steinar Hugi Sigurdarson

2010 – today

see FAQ

What is the meaning of the colors in the publication list?

2012
[c2]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/facs2/SigurdarsonSBR12
- ask others
Steinar Hugi Sigurdarson, Marjan Sirjani, Yngvi Björnsson, Arni Hermann Reynisson: Guided Search for Deadlocks in Actor-Based Models. FACS 2012: 242-259
2011
[c1]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1108-0228
- ask others
Luca Aceto, Matteo Cimini, Anna Ingólfsdóttir, Arni Hermann Reynisson, Steinar Hugi Sigurdarson, Marjan Sirjani: Modelling and Simulation of Asynchronous Real-Time Systems using Timed Rebeca. FOCLASA 2011: 1-19

Coauthor Index

see FAQ

What is the meaning of the colors in the coauthor index?