ITU

Theoretical Computer Science

  1. 2008
  2. 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 JournalJournal articleResearchpeer-review

  3. 2010
  4. 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 JournalJournal articleResearchpeer-review

  5. 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 JournalJournal articleResearchpeer-review

  6. 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 JournalJournal articleResearchpeer-review

  7. 2011
  8. 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 JournalJournal articleResearchpeer-review

  9. 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 JournalJournal articleResearchpeer-review

  10. 2014
  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 JournalJournal articleResearch

  12. 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 JournalJournal articleResearchpeer-review

  13. 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 JournalJournal articleResearchpeer-review

  14. 2015
  15. 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 JournalJournal articleResearchpeer-review

Previous 1 2 Next

ID: 80427