ITU

Theoretical Computer Science

1 - 13 out of 13Page size: 100
  1. 2020
  2. Published

    Generalized abstraction-refinement for game-based CTL lifted model checking

    Dimovski, A., Wasowski, A. & Legay, A., 2020, In: Theoretical Computer Science. 837, p. 181-206 26 p.

    Research output: Journal Article or Conference Article in Journal › Journal article › Research › peer-review

  3. 2018
  4. Published

    On the boundary between decidability and undecidability of asynchronous session subtyping

    Bravetti, M., Carbone, M. & Zavattaro, G., 2018, In: Theoretical Computer Science. 722, p. 19-51 33 p.

    Research output: Journal Article or Conference Article in Journal › Journal article › Research › peer-review

  5. 2015

  6. Exploiting non-constant safe memory in resilient algorithms and data structures

    De Stefani, L. & Silvestri, F., 7 Jun 2015, In: Theoretical Computer Science. 583, p. 86-97

    Research output: Journal Article or Conference Article in Journal › Journal article › Research › peer-review

  7. Published

    Quantifying information leakage of randomized protocols

    Biondi, F., Legay, A., Malacaria, P. & Wasowski, A., 2015, In: Theoretical Computer Science. 597, p. 62-87

    Research output: Journal Article or Conference Article in Journal › Journal article › Research › peer-review

  8. 2014
  9. Published

    Robust synthesis for real-time systems

    Larsen, K. G., Legay, A., Traonouez, L-M. & Wasowski, A., 2014, In: Theoretical Computer Science. 515, p. 96-122 28 p.

    Research output: Journal Article or Conference Article in Journal › Journal article › Research › peer-review

  10. Published

    Program verification using symbolic game semantics

    Dimovski, A., 16 Jan 2014, In: Theoretical Computer Science. 560, 3, p. 364 379 p., 560.

    Research output: Journal Article or Conference Article in Journal › Journal article › Research › peer-review

  11. Published

    Preface

    Cattani, G. L., Hildebrandt, T. & Varacca, D., 2014, In: Theoretical Computer Science. 546, p. 1-2 2 p.

    Research output: Journal Article or Conference Article in Journal › Journal article › Research

  12. 2011
  13. Published

    Constraint Markov Chains

    Caillaud, B., Delahaye, B., Larsen, K. G., Legay, A., Pedersen, M. L. & Wasowski, A., 2011, In: Theoretical Computer Science. 412, 34, p. 4373-4404 32 p.

    Research output: Journal Article or Conference Article in Journal › Journal article › Research › peer-review

  14. Untangled monotonic chains and adaptive range search

    Arroyuelo, D., Claude, F., Dorrigiv, R., Durocher, S., He, M., López-Ortiz, A., Munro, J. I., Nicholson, P. K., Salinger, A. & Skala, M., 2011, In: Theoretical Computer Science. 412, 32, p. 4200-4211 12 p.

    Research output: Journal Article or Conference Article in Journal › Journal article › Research › peer-review

  15. 2010

  16. A shorter proof that palindromes are not a Church-Rosser language, with extensions to almost confluent and preperfect Thue systems

    Ó Dúnlaing, C. & Schluter, N., 2010, In: Theoretical Computer Science. 411, p. 677-690 14 p.

    Research output: Journal Article or Conference Article in Journal › Journal article › Research › peer-review

  17. Published

    Domain theoretic models of parametric polymorphism

    Møgelberg, R. E., Birkedal, L. & Petersen, R. L., 2010, In: Theoretical Computer Science. 388, 1-3, p. 152-172

    Research output: Journal Article or Conference Article in Journal › Journal article › Research › peer-review

  18. Published

    The category-theoretic solution of recursive metric-space equations

    Birkedal, L., Støvring, K. & Thamsborg, J. J., 2010, In: Theoretical Computer Science. 411, 47, p. 4102-4122

    Research output: Journal Article or Conference Article in Journal › Journal article › Research › peer-review

  19. 2008
  20. Published

    Fast and compact regular expression matching

    Bille, P. & Farach-Colton, M., 28 Dec 2008, In: Theoretical Computer Science. 409, 3, p. 486-496 11 p.

    Research output: Journal Article or Conference Article in Journal › Journal article › Research › peer-review

ID: 80427