Skip to contents

  1. Alker, Thomas [Author]; Grill, Ortrun [Author]; Krimm, Markus [Author]; Wies, Peter [Author]

    Effektiver Umstieg auf Office 2016 - [2. Ausgabe]

    Books
    Close

    Bookmarks

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

    Bodenheim: Herdt, Oktober 2016

    Published in: Herdt Umsteiger

  2. Wies, Thomas [Editor]

    Programming Languages and Systems : 32nd European Symposium on Programming, ESOP 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22–27, 2023, Proceedings - [1st ed. 2023.]

    Books
    View online
    Schließen
    Close

    Bookmarks

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

    Cham: Springer Nature Switzerland, 2023. ; Cham: Imprint: Springer, 2023.

    Published in: Lecture Notes in Computer Science ; 13990

  3. Wies, Thomas [Editor]

    Programming Languages and Systems : 32nd European Symposium on Programming, ESOP 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22–27, 2023, Proceedings

    Books
    View online
    Schließen
    Close

    Bookmarks

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

    Cham: Springer Nature, 2023

    Published in: Lecture Notes in Computer Science

  7. Mohaisen, David [Editor]; Wies, Thomas [Editor]

    Networked Systems : 11th International Conference, NETYS 2023, Benguerir, Morocco, May 22–24, 2023, Proceedings - [1st ed. 2023.]

    Books
    View online
    Schließen
    Close

    Bookmarks

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

    Cham: Springer Nature Switzerland, 2023. ; Cham: Imprint: Springer, 2023.

    Published in: Lecture Notes in Computer Science ; 14067

  8. Finkbeiner, Bernd [Editor]; Wies, Thomas [Editor]

    Verification, Model Checking, and Abstract Interpretation : 23rd International Conference, VMCAI 2022, Philadelphia, PA, USA, January 16–18, 2022, Proceedings - [1st ed. 2022.]

    Books
    View online
    Schließen
    Close

    Bookmarks

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

    Cham: Springer International Publishing, 2022. ; Cham: Imprint: Springer, 2022.

    Published in: Theoretical Computer Science and General Issues ; 13182

  10. Krishna, Siddharth [Author] ; Summers, Alex J. [Other]; Wies, Thomas [Other]

    Local Reasoning for Global Graph Properties

    Videos
    View online
    Schließen
    Close

    Bookmarks

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

    [Erscheinungsort nicht ermittelbar]: European Joint Conferences on Theory and Practice of Software - ETAPS - e. V, 2021

    Published in: 29th European Symposium on Programming, ESOP 2020 ; (Jan. 2021)

  13. Kölbl, Martin [Author]; Leue, Stefan [Author]; Wies, Thomas [Author]

    Automated repair for timed systems

    Articles
    View online
    Schließen

    Access

    Close

    Bookmarks

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

    KOPS - The Institutional Repository of the University of Konstanz, 2021

    Published in: Formal Methods in System Design. Springer. 2021, 59, pp. 136-169. ISSN 0925-9856. eISSN 1572-8102. Available under: doi:10.1007/s10703-022-00397-5

  18. Wies, Thomas [Author]; Zufferey, Damien [Author]; Henzinger, Thomas A [Author]; Ong, Luke [Author]

    Forward analysis of depth-bounded processes ; LNCS

    Conference Proceedings
    View online
    Schließen
    Close

    Bookmarks

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

    Springer, 2010

    Published in: Wies T, Zufferey D, Henzinger TA. Forward analysis of depth-bounded processes. In: Ong L, ed. Vol 6014. Springer; 2010:94-108. doi: 10.1007/978-3-642-12032-9_8

  20. Henzinger, Thomas A [Author]; Tomar, Anmol [Author]; Singh, Vasu [Author]; Wies, Thomas [Author]; Zufferey, Damien [Author]

    FlexPRICE: Flexible provisioning of resources in a cloud environment

    Conference Proceedings
    View online
    Schließen
    Close

    Bookmarks

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

    IEEE, 2010

    Published in: Henzinger TA, Tomar A, Singh V, Wies T, Zufferey D. FlexPRICE: Flexible provisioning of resources in a cloud environment. In: IEEE; 2010:83-90. doi: 10.1109/CLOUD.2010.71