King's College London

Research portal

Theoretical Computer Science, 0304-3975

Journal

  1. Longest property-preserved common factor: A new string-processing framework

    Ayad, L. A. K., Bernardini, G., Grossi, R., Iliopoulos, C. S., Pisanti, N., Pissis, S. P. & Rosone, G., 6 Apr 2020, In : Theoretical Computer Science. 812, p. 244-251 8 p.

    Research output: Contribution to journalArticle

  2. Conditional Simple Temporal Networks with Uncertainty and Decisions

    Zavatteri, M. & Viganò, L., 10 Dec 2019, In : Theoretical Computer Science. 797, p. 77-101 48 p.

    Research output: Contribution to journalArticle

  3. Social pressure in opinion dynamics

    Ferraioli, D. & Ventre, C., 26 Nov 2019, In : Theoretical Computer Science. 795, p. 345-361 17 p.

    Research output: Contribution to journalArticle

  4. A formalisation of nominal α-equivalence with A, C, and AC function symbols

    Ayala-Rincón, M., de Carvalho-Segundo, W., Fernández, M., Nantes-Sobrinho, D. & Rocha-Oliveira, A. C., 16 Aug 2019, In : Theoretical Computer Science. 781, p. 3-23

    Research output: Contribution to journalArticle

  5. Faster algorithms for 1-mappability of a sequence

    Alzamel, M., Charalampopoulos, P., Iliopoulos, C. S., Pissis, S. P., Radoszewski, J. & Sung, W-K., 23 May 2019, In : Theoretical Computer Science.

    Research output: Contribution to journalArticle

  6. Off-line and on-line algorithms for closed string factorization

    Alzamel, M., Iliopoulos, C. S., Smyth, W. F. & Sung, W-K., 30 Oct 2018, In : Theoretical Computer Science.

    Research output: Contribution to journalArticle

  7. Towards better models of externalities in sponsored search auctions

    Gatti, N., Rocco, M., Serafino, P. & Ventre, C., 12 Oct 2018, In : Theoretical Computer Science. 745, p. 150-162

    Research output: Contribution to journalArticle

  8. On overabundant words and their application to biological sequence analysis

    Almirantis, Y., Charalampopoulos, P., Gao, J., Iliopoulos, C. S., Mohamed, M., Pissis, S. P. & Polychronopoulos, D., 12 Sep 2018, In : Theoretical Computer Science.

    Research output: Contribution to journalArticle

  9. Cartesian and Lyndon trees

    Crochemore, M. & Russo, L. M. S., 10 Aug 2018, In : Theoretical Computer Science.

    Research output: Contribution to journalArticle

  10. Nominal essential intersection types

    Ayala-Rincón, M., Fernández, M., Rocha-Oliveira, A. C. & Ventura, D. L., 7 May 2018, In : Theoretical Computer Science.

    Research output: Contribution to journalArticle

  11. A novel characterization of the complexity class ΘkP based on counting and comparison

    Lukasiewicz, T. & Malizia, E., 19 Sep 2017, In : Theoretical Computer Science. 694, p. 21-33 13 p.

    Research output: Contribution to journalArticle

  12. Locating Maximal Approximate Runs in a String

    Amit, M., Crochemore, M., Landau, G. M. & Sokol, D., 4 Aug 2017, In : Theoretical Computer Science.

    Research output: Contribution to journalArticle

  13. Covering problems for partial words and for indeterminate strings

    Crochemore, M., Iliopoulos, C. S., Kociumaka, T., Radoszewski, J., Rytter, W. & Waleń, T., 8 Jun 2017, In : Theoretical Computer Science. 15 p.

    Research output: Contribution to journalArticle

  14. Intruder deduction problem for locally stable theories with normal forms and inverses

    Ayala-Rincón, M., Fernández, M. & Nantes-Sobrinho, D., 11 Apr 2017, In : Theoretical Computer Science. 672, p. 64-100 TCS-D-14-00678R4.

    Research output: Contribution to journalArticle

  15. Efficient algorithms for shortest partial seeds in words

    Kociumaka, T., Pissis, S., Radoszewski, J., Rytter, W. & Waleń, T., 30 Nov 2016, In : Theoretical Computer Science.

    Research output: Contribution to journalArticle

  16. Decentralized dynamics for finite opinion games

    Ferraioli, D., Goldberg, P. W. & Ventre, C., 4 Oct 2016, In : Theoretical Computer Science. 648, p. 96-115 20 p.

    Research output: Contribution to journalArticle

  17. Order-Preserving Indexing

    Crochemore, M., Iliopoulos, C. S., Kociumaka, T., Kubica, M., Langiu, A., Pissis, S. P., Radoszewski, J., Rytter, W. & Walen, T., 25 Jul 2016, In : Theoretical Computer Science. 638, p. 122-135 14 p.

    Research output: Contribution to journalArticle

  18. Binary block order Rouen transform

    Daykin, J. W., Groult, R., Guesnet, Y., Lecroq, T., Lefebvre, A., Léonard, M. & Prieur-Gaston, É., 24 May 2016, In : Theoretical Computer Science.

    Research output: Contribution to journalArticle

  19. Abelian powers and repetitions in Sturmian words

    Fici, G., Langiu, A., Lecroq, T., Lefebvre, A., Mignosi, F., Peltomäki, J. & Prieur-Gaston, É., 6 May 2016, In : Theoretical Computer Science.

    Research output: Contribution to journalArticle

  20. Linear-size suffix tries

    Crochemore, M., Epifanio, C., Grossi, R. & Mignosi, F., 7 Apr 2016, In : Theoretical Computer Science.

    Research output: Contribution to journalArticle

  21. Counting maximal-exponent factors in words

    Badkobeh, G., Crochemore, M. & Mercaş, R., 2 Mar 2016, In : Theoretical Computer Science.

    Research output: Contribution to journalArticle

  22. Linear-time superbubble identification algorithm for genome assembly

    Brankovic, L., Iliopoulos, C. S., Kundu, R., Mohamed, M., Pissis, S. P. & Vayani, F., 4 Jan 2016, In : Theoretical Computer Science. 609, Part 2, p. 374-383 10 p.

    Research output: Contribution to journalArticle

  23. Heterogeneous facility location without money

    Serafino, P. & Ventre, C., 2016, In : Theoretical Computer Science. 636, p. 27-46 20 p.

    Research output: Contribution to journalArticle

  24. Linear-time computation of prefix table for weighted strings & applications

    Barton, C., Liu, C. & Pissis, S., 2016, In : Theoretical Computer Science. 656, Part B, p. 160 - 172

    Research output: Contribution to journalArticle

  25. Global and local sequence alignment with a bounded number of gaps

    Barton, C., Flouri, T., Iliopoulos, C. S. & Pissis, S. P., 31 May 2015, In : Theoretical Computer Science. 582, p. 1-16 16 p.

    Research output: Contribution to journalArticle

  26. Combinatorial auctions with verification are tractable

    Krysta, P. & Ventre, C., 16 Mar 2015, In : Theoretical Computer Science. 571, p. 21-35 15 p.

    Research output: Contribution to journalArticle

  27. The swap matching problem revisited

    Ahmed, P., Iliopoulos, C. S., Islam, A. S. M. S. & Rahman, M. S., 6 Nov 2014, In : Theoretical Computer Science. 557, C, p. 34-49 16 p.

    Research output: Contribution to journalArticle

  28. Protocol insecurity with a finite number of sessions and a cost-sensitive guessing intruder is NP-complete

    Adao, P., Mateus, P. & Viganò, L., 12 Jun 2014, In : Theoretical Computer Science. 538, p. 2-15 14 p.

    Research output: Contribution to journalArticle

  29. Note on the greedy parsing optimality for dictionary-based text compression

    Crochemore, M., Langiu, A. & Mignosi, F., 13 Mar 2014, In : Theoretical Computer Science. 525, p. 55-59 5 p.

    Research output: Contribution to journalArticle

  30. On the average number of regularities in a word

    Christodoulakis, M., Christou, M., Crochemore, M. & Iliopoulos, C. S., 13 Mar 2014, In : Theoretical Computer Science. 525, p. 3-9 7 p.

    Research output: Contribution to journalArticle

  31. Order-preserving matching

    Kim, J., Eades, P., Fleischer, R., Hong, S-H., Iliopoulos, C. S., Park, K., Puglisi, S. J. & Tokuyama, T., 13 Mar 2014, In : Theoretical Computer Science. 525, p. 68-79 12 p.

    Research output: Contribution to journalArticle

  32. Extracting powers and periods in a word from its runs structure

    Crochemore, M., Iliopoulos, C. S., Kubica, M., Radoszewski, J., Rytter, W. & Walen, T., 13 Feb 2014, In : Theoretical Computer Science. 521, p. 29-41 13 p.

    Research output: Contribution to journalArticle

  33. Truthful optimization using mechanisms with verification

    Ventre, C., 2014, In : Theoretical Computer Science. 518, p. 64-79 16 p.

    Research output: Contribution to journalArticle

  34. The Cover Times of Random Walks on Random Uniform Hypergraphs

    Cooper, C., Frieze, A. M. & Radzik, T., 21 Oct 2013, In : Theoretical Computer Science. 509, N/A, p. 51-69 19 p., N/A.

    Research output: Contribution to journalArticle

  35. Enhanced string covering

    Flouri, T., Iliopoulos, C. S., Kociumaka, T., Pissis, S. P., Puglisi, S. J., Smyth, W. F. & Tyczynski, W., 30 Sep 2013, In : Theoretical Computer Science. 560, p. 102–114

    Research output: Contribution to journalArticle

  36. Efficient seed computation revisited

    Christou, M., Crochemore, M., Iliopoulos, C. S., Kubica, M., Pissis, S., Radoszewski, J., Rytter, W., Szreder, B. & Walen, T., 29 Apr 2013, In : Theoretical Computer Science. 483, p. 171-181 11 p.

    Research output: Contribution to journalArticle

  37. Using minimal absent words to build phylogeny

    Chairungsee, S. & Crochemore, M., 7 Sep 2012, In : Theoretical Computer Science. 450, p. 109-116 8 p.

    Research output: Contribution to journalArticle

  38. Improved algorithms for the range next value problem and applications

    Crochemore, M., Iliopoulos, C. S., Kubica, M., Rahman, M. S., Tischler, G. & Walen, T., 25 May 2012, In : Theoretical Computer Science. 434, p. 23-34 12 p.

    Research output: Contribution to journalArticle

  39. Distributed temporal logic for the analysis of security protocol models

    Basin, D., Caleiro, C., Ramos, J. & Viganò, L., 15 Jul 2011, In : Theoretical Computer Science. 412, 31, p. 4007-4043 37 p.

    Research output: Contribution to journalArticle

  40. The "runs" conjecture

    Crochemore, M., Ilie, L. & Tinta, L., 16 Jun 2011, In : Theoretical Computer Science. 412, 27, p. 2931 - 2941 11 p.

    Research output: Contribution to journalArticle

  41. Locating and repairing faults in a network with mobile agents

    Cooper, C., Klasing, R. & Radzik, T., 17 Mar 2010, In : Theoretical Computer Science. 411, 14-15, p. 1638 - 1647 10 p.

    Research output: Contribution to journalArticle

  42. A trajectory-based strict semantics for program slicing

    Barraclough, R. W., Binkley, D., Danicic, S., Harman, M., Hierons, R. M., Kiss, A., Laurence, M. & Ouarbya, L., 6 Mar 2010, In : Theoretical Computer Science. 411, 11-13, p. 1372 - 1386 15 p.

    Research output: Contribution to journalArticle

  43. Godel's system T revisited

    Alves, S., Fernandez, M., Florido, M. & Mackie, I., 6 Mar 2010, In : Theoretical Computer Science. 411, 11-13, p. 1484 - 1500 17 p.

    Research output: Contribution to journalArticle

  44. Repetitions in strings: algorithms and combinatorics

    Crochemore, M., Ilie, L. & Rytter, W., 17 Nov 2009, In : Theoretical Computer Science. 410, 50, p. 5227 - 5235 9 p.

    Research output: Contribution to journalConference paper

  45. Foreword: Special issue in honor of the 60th birthday of Prof. Maxime Crochemore

    Iliopoulos, C. & Rytter, W., 6 Oct 2009, In : Theoretical Computer Science. 410, 43, p. 4293 - 4294 2 p.

    Research output: Contribution to journalEditorial

  46. From Nerode's congruence to suffix automata with mismatches

    Crochemore, M., Epifanio, C., Gabriele, A. & Mignosi, F., 1 Sep 2009, In : Theoretical Computer Science. 410, 37, p. 3471 - 3480 10 p.

    Research output: Contribution to journalConference paper

  47. Energy efficient randomised communication in unknown AdHoc networks

    Berenbrink, P., Cooper, C. & Hu, Z., 28 Jun 2009, In : Theoretical Computer Science. 410, 27-29, p. 2549 - 2561 13 p.

    Research output: Contribution to journalArticle

  48. Fast payment schemes for truthful mechanisms with verification

    Ferrante, A., Parlato, G., Sorrentino, F. & Ventre, C., 2009, In : Theoretical Computer Science. 410, 8-10, p. 886-899 14 p.

    Research output: Contribution to journalArticle

Previous 1 2 Next

View graph of relations

© 2018 King's College London | Strand | London WC2R 2LS | England | United Kingdom | Tel +44 (0)20 7836 5454