Zum Inhalt springen

  1. Riis Nielson, Hanne [Sonstige Person, Familie und Körperschaft]; Nielson, Hanne Riis [Herausgeber:in] ; ESOP 6 1996 Linköping

    Programming languages and systems - ESOP '96 : 6th European Symposium on Programming, Linköping, Sweden, April 22 - 24, 1996 ; proceedings

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Berlin; Heidelberg [u.a.]: Springer, 1996

    Erschienen in: Lecture notes in computer science ; 1058

  3. Riis Nielson, Hanne [Sonstige Person, Familie und Körperschaft]; Filé, Gilberto [Sonstige Person, Familie und Körperschaft]; Nielson, Hanne Riis [Herausgeber:in] ; SAS 14 2007 Lyngby-Tårbaek

    Static analysis : 14th international symposium, SAS 2007, Kongens Lyngby, Denmark, August 22-24, 2007 ; proceedings

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Berlin; Heidelberg [u.a.]: Springer, 2007

    Erschienen in: Lecture notes in computer science ; 4634

  6. Nielson, Hanne Riis [Sonstige Person, Familie und Körperschaft] ; ESOP 6 1996 Linköping

    Programming languages and systems - ESOP '96 : 6th European Symposium on Programming, Linköping, Sweden, April 22 - 24, 1996 ; proceedings

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Berlin [u.a.]: Springer, 1996 ; Online-Ausg., Berlin [u.a.]: Springer, 2006

    Erschienen in: Lecture notes in computer science ; 105800

  8. Riis Nielson, Hanne [Herausgeber:in]; Tuosto, Emilio [Herausgeber:in]

    Coordination Models and Languages : 21st IFIP WG 6.1 International Conference, COORDINATION 2019, Held as Part of the 14th International Federated Conference on Distributed Computing Techniques, DisCoTec 2019, Kongens Lyngby, Denmark, June 17–21, 2019, Proceedings - [1st ed. 2019]

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Cham: Springer, 2019

    Erschienen in: Programming and Software Engineering ; 11533- Springer eBooks ; Computer Science

  9. Nielson, Hanne Riis [Sonstige Person, Familie und Körperschaft]; Filè, Gilberto [Sonstige Person, Familie und Körperschaft]

    Static Analysis : 14th International Symposium, SAS 2007, Kongens Lyngby, Denmark, August 22-24, 2007. Proceedings

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Berlin, Heidelberg: Springer Berlin Heidelberg, 2007

    Erschienen in: Lecture notes in computer science ; 4634

  14. Pilegaard, Henrik [Verfasser:in]; Riis-Nielson, Hanne [Verfasser:in]; Nielson, Flemming [Verfasser:in] ; Henrik Pilegaard and Hanne Riis-Nielson and Flemming Nielson [Mitwirkende:r]

    Static Analysis of a Model of the LDL Degradation Pathway

    Aufsätze
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2006

  15. Ingólfsdóttir, Anna [Sonstige Person, Familie und Körperschaft]; Mishra, Bud [Sonstige Person, Familie und Körperschaft]; Nielson, Hanne Riis [Sonstige Person, Familie und Körperschaft]

    Transactions on Computational Systems Biology VII

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Berlin, Heidelberg: Springer Berlin Heidelberg, 2006

    Erschienen in: Lecture notes in computer science ; 4230

  16. Nielson, Flemming [Herausgeber:in]; Sands, David [Herausgeber:in] ; POST 8. 2019 Prag, ETAPS 22. 2019 Prag

    Principles of Security and Trust : 8th International Conference, POST 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Cham: Springer, [2019]

    Erschienen in: Lecture notes in computer science ; 1142600

  18. Degano, Pierpaolo [Verfasser:in]; Gorrieri, Roberto [Verfasser:in]; Hankin, Chris [Verfasser:in]; Nielson, Flemming [Verfasser:in]; Riis Nielson, Hanne [Verfasser:in] ; Pierpaolo Degano and Roberto Gorrieri and Chris Hankin and Flemming Nielson and Hanne Riis Nielson [Mitwirkende:r]

    Security through Analysis and Verification (Dagstuhl Seminar 00501)

    Aufsätze
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2001

  19. Martin, Florian [Verfasser:in]; Riis Nielson, Hanne [Verfasser:in]; Riva, Claudio [Verfasser:in]; Schordan, Markus [Verfasser:in] ; Florian Martin and Hanne Riis Nielson and Claudio Riva and Markus Schordan [Mitwirkende:r]

    08161 Abstracts Collection – Scalable Program Analysis

    Aufsätze
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2008