No photo of Thomas Wies

Thomas Wies

Associate Professor of Computer Science

    20052020

    Research output per year

    If you made any changes in Pure these will be visible here soon.

    Fingerprint Weighted list of dominant concepts in the person's research.

    • 1 Similar Profiles

    Network Recent external collaboration on country level. Dive into details by clicking on the dots.

    Research Output

    Local Reasoning for Global Graph Properties

    Krishna, S., Summers, A. J. & Wies, T., 2020, Programming Languages and Systems- 29th European Symposium on Programming, ESOP 2020 held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Proceedings. Müller, P. (ed.). Springer, p. 308-335 28 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12075 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
  • Static scheduling in clouds

    Henzinger, T. A., Singh, A. V., Zufferey, D., Singh, V. & Wies, T., 2020.

    Research output: Contribution to conferencePaper

  • Verifying concurrent search structure templates

    Krishna, S., Patel, N., Shasha, D. & Wies, T., Jun 11 2020, PLDI 2020 - Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation. Donaldson, A. F. & Torlak, E. (eds.). Association for Computing Machinery, p. 181-196 16 p. (Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI)).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
  • Charting a Course Through Uncertain Environments: SEA Uses Past Problems to Avoid Future Failures

    Moore, P., Cappos, J., Frankl, P. & Wies, T., Oct 2019, Proceedings - 2019 IEEE 30th International Symposium on Software Reliability Engineering, ISSRE 2019. Wolter, K., Schieferdecker, I., Gallina, B., Cukier, M., Natella, R., Ivaki, N. & Laranjeiro, N. (eds.). IEEE Computer Society, p. 1-12 12 p. 8987577. (Proceedings - International Symposium on Software Reliability Engineering, ISSRE; vol. 2019-October).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • Clock Bound Repair for Timed Systems

    Kölbl, M., Leue, S. & Wies, T., 2019, Computer Aided Verification - 31st International Conference, CAV 2019, Proceedings. Dillig, I. & Tasiran, S. (eds.). Springer Verlag, p. 79-96 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11561 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access