Anders Moen Hagalisletto
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
3
Active years
2004–2009
Best venue rank
C
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2009 | ISPEC | Analysing Protocol Implementations. | Anders Moen Hagalisletto, Lars Strand, Wolfgang Leister, Arne-Kristian Groven |
| 2007 | ISCC | Validating Attacks on Authentication Protocols. | Anders Moen Hagalisletto |
| 2006 | ISCC | Protocol Algebra. | Anders Moen Hagalisletto |
| 2004 | SMC | Large scale construction of railroad models from specifications. | Anders Moen Hagalisletto, Ingrid Chieh Yu |