Theoretical Computer Science

Research outputs

  1. 2019
  2. Published

    Collective singleton-based consistency for qualitative constraint networks: Theory and practice

    Sioutis, M., Paparrizou, A. & Condotta, J-F., 1 Jan 2019, In : Theoretical Computer Science.

    Research output: Contribution to journalArticleScientificpeer-review

  3. 2018
  4. Published

    Node labels in local decision

    Fraigniaud, P., Hirvonen, J. & Suomela, J., 2018, In : Theoretical Computer Science. 751, p. 61-73

    Research output: Contribution to journalArticleScientificpeer-review

  5. 2017
  6. Published

    Computational modelling of the kinetic Tile Assembly Model using a rule-based approach

    Mohammed, A., Czeizler, E. & Czeizler, E., Nov 2017, In : Theoretical Computer Science. 701, p. 203-215

    Research output: Contribution to journalArticleScientificpeer-review

  7. 2016
  8. Published

    Order-preserving pattern matching with k mismatches

    Gawrychowski, P. & Uznanski, P., 25 Jul 2016, In : Theoretical Computer Science. 638, p. 136-144 9 p.

    Research output: Contribution to journalArticleScientificpeer-review

  9. Published

    Deterministic local algorithms, unique identifiers, and fractional graph colouring

    Hasemann, H., Hirvonen, J., Rybicki, J. & Suomela, J., 11 Jan 2016, In : Theoretical Computer Science. 610, Part B, p. 204-217 14 p.

    Research output: Contribution to journalArticleScientificpeer-review

  10. 2015
  11. Published

    The minimum backlog problem

    Bender, M. A., Fekete, S. P., Kröller, A., Liberatore, V., Mitchell, J. S. B., Polishchuk, V. & Suomela, J., 2015, In : Theoretical Computer Science. 605, p. 51-61

    Research output: Contribution to journalArticleScientificpeer-review

  12. 2014
  13. Published

    Editorial for Algorithms for Sensor Systems, Wireless Ad Hoc Networks and Autonomous Mobile Entities

    Bar-Noy, A., Erlebach, T., Halldorsson, M. M., Nikoletseas, S. & Orponen, P., 9 Oct 2014, In : Theoretical Computer Science. 553, p. 1-1 1 p.

    Research output: Contribution to journalEditorialScientific

  14. 2013
  15. Published

    On the open problem of Ginsburg concerning semilinear sets and related problems

    Ibarra, O. H. & Seki, S., 27 Aug 2013, In : Theoretical Computer Science. 501, p. 11-19 9 p.

    Research output: Contribution to journalArticleScientificpeer-review

  16. Published

    Colored range queries and document retrieval

    Gagie, T., Kärkkäinen, J., Navarro, G. & Puglisi, S., 2013, In : Theoretical Computer Science. 483, 1, p. 36-50

    Research output: Contribution to journalArticleScientificpeer-review

  17. Published

    Synthesizing minimal tile sets for complex patterns in the framework of patterned DNA self-assembly

    Czeizler, E. & Popa, A., 2013, In : Theoretical Computer Science. 499, p. 23-37

    Research output: Contribution to journalArticleScientificpeer-review

  18. 2012
  19. Published

    Absoluteness of Subword Inequality is Undecidable

    Seki, S., 2012, In : Theoretical Computer Science. 418, p. 116-120

    Research output: Contribution to journalArticleScientificpeer-review

  20. Published

    New algorithms on wavelet trees and applications to information retrieval

    Gagie, T., Navarro, G. & Puglisi, S. J., 2012, In : Theoretical Computer Science. 426, 426, p. 25-41

    Research output: Contribution to journalArticleScientificpeer-review

  21. 2005
  22. Published

    Exact and approximate balanced data gathering in energy-constrained sensor networks

    Floréen, P., Kaski, P., Kohonen, J. & Orponen, P., 2005, In : Theoretical Computer Science. 344, 1, p. 30-46

    Research output: Contribution to journalArticleScientificpeer-review

  23. 2003
  24. Published

    Exponential transients in continuous-time Liapunov systems

    Sima, J. & Orponen, P., 2003, In : Theoretical Computer Science. 306, 1-3, p. 353-372

    Research output: Contribution to journalArticleScientificpeer-review

  25. Published

    The bounded eight-vertex model paper issue

    Eloranta, K., 2003, In : Theoretical Computer Science. 303, p. 539-552

    Research output: Contribution to journalArticleScientificpeer-review

  26. 2002
  27. Published

    Unsupervised Learning in Neural Computation

    Oja, E., 2002, In : Theoretical Computer Science. 287, 1, p. 187-207

    Research output: Contribution to journalArticleScientificpeer-review

  28. 2001
  29. Published

    On The Equivalence of the Static and Disjunctive Well-Founded Semantics and its Computation

    Brass, S., Dix, J., Niemelä, I. & Przymusinski, T. C., 2001, In : Theoretical Computer Science. 258, 1-2, p. 523-553

    Research output: Contribution to journalArticleScientificpeer-review

  30. 2000
  31. Published

    A causal semantics for time Petri nets

    Aura, T. & Lilius, J., 2000, In : Theoretical Computer Science. 243, 1-2, p. 409-447

    Research output: Contribution to journalArticleScientificpeer-review

  32. 1997
  33. Published

    Computing with truly asynchronous threshold logic networks

    Orponen, P., 1997, In : Theoretical Computer Science. 174, 1-2, p. 123-136 14 p.

    Research output: Contribution to journalArticleScientificpeer-review

  34. 1986
  35. Published

    A classification of complexity core lattices

    Orponen, P., 1986, In : Theoretical Computer Science. 47, 3, p. 121-130 10 p.

    Research output: Contribution to journalArticleScientificpeer-review

ID: 406695