Skip to contents

  1. Halbwachs, Nicolas [Editor]; Zuck, Lenore D. [Editor] ; TACAS 11 2005 Edinburgh, ETAPS 8 2005 Edinburgh

    Tools and algorithms for the construction and analysis of systems : 11th International Conference, TACAS 2005, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4 - 8, 2005 ; proceedings

    Books
    View online
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

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

    Published in: Lecture notes in computer science ; 3440

  2. Halbwachs, Nicolas [Other]; Zuck, Lenore [Other]

    Tools and Algorithms for the Construction and Analysis of Systems (vol. # 3440) : 11th International Conference, TACAS 2005, Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2005, Ed

    Books
    View online
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    Berlin, Heidelberg: Springer Berlin Heidelberg, 2005

    Published in: Lecture notes in computer science ; 3440

  3. Zuck, Lenore D. [Author] ; Attie, Paul C. [Other]; Cortesi, Agostino [Other]; Mukhopadhyay, Supratik [Other]

    Verification, Model Checking, and Abstract Interpretation : 4th International Conference, VMCAI 2003 NewYork, NY, USA, January 9–11, 2003 Proceedings

    Books
    View online
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    Berlin, Heidelberg: Springer-Verlag Berlin Heidelberg, 2003

    Published in: Lecture notes in computer science ; 2575

  4. Logozzo, Francesco [Other]; Peled, Doron [Other]; Zuck, Lenore D. [Other]

    Verification, Model Checking, and Abstract Interpretation : 9th International Conference, VMCAI 2008, San Francisco, USA, January 7-9, 2008. Proceedings

    Books
    View online
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    Berlin, Heidelberg: Springer Berlin Heidelberg, 2008

    Published in: Lecture notes in computer science ; 4905

  5. Cohen, Julie E. [Author]; Dietrich, Sven [Author]; Pras, Aiko [Author]; Zuck, Lenore D. [Author]; Hildebrand Mireille [Author] ; Julie E. Cohen and Sven Dietrich and Aiko Pras and Lenore D. Zuck and Hildebrand Mireille [Contributor]

    Ethics in Data Sharing (Dagstuhl Seminar 14052)

    Articles
    View online
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

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

  6. Zuck, Lenore D.

    David Harel. Dynamic logic. Handbook of philosophical logic, Volume II, Extensions of classical logic, edited by D. Gabbay and F. Guenthner, Synthese library, vol. 165, D. Reidel Publishing Company, Dordrecht, Boston, and Lancaster, 1984., pp. 497–604

    Articles
    View online
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    Cambridge University Press (CUP), 1989

    Published in: Journal of Symbolic Logic, 54 (1989) 4, Seite 1480-1481

  7. Zuck, Lenore D.

    David Harel. Dynamic logic. Handbook of philosophical logic, Volume II, Extensions of classical logic, edited by D. Gabbay and F. Guenthner, Synthese library, vol. 165, D. Reidel Publishing Company, Dordrecht, Boston, and Lancaster, 1984., pp. 497–604

    Articles
    View online
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    Cambridge University Press (CUP), 1989

    Published in: The Journal of Symbolic Logic, 54 (1989) 4, Seite 1480-1481

  8. Zuck, Lenore D.

    Review: Dynamic Logic

    Articles
    View online
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    Association for Symbolic Logic, Inc., 1989

    Published in: The Journal of Symbolic Logic, 54 (1989) 4, Seite 1480-1481

  9. Prasad, Sanjiva; Zuck, Lenore D.

    Self-Similarity Breeds Resilience

    Articles
    View online
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    Open Publishing Association, 2016

    Published in: Electronic Proceedings in Theoretical Computer Science, 222 (2016), Seite 30-44

  10. Falcone, Yliès; Zuck, Lenore D.

    Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change: Runtime Verification: The Application Perspective

    Articles
    View online
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    Springer Berlin Heidelberg, 2012

    Published in: Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change (2012), Seite 284-291