Theoretical Computer Science

Tutkimustuotokset

  1. 2019
  2. Julkaistu

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

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

    Tutkimustuotos: Lehtiartikkelivertaisarvioitu

  3. 2018
  4. Julkaistu

    Node labels in local decision

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

    Tutkimustuotos: Lehtiartikkelivertaisarvioitu

  5. 2017
  6. Julkaistu

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

    Mohammed, A., Czeizler, E. & Czeizler, E., marraskuuta 2017, julkaisussa : Theoretical Computer Science. 701, s. 203-215

    Tutkimustuotos: Lehtiartikkelivertaisarvioitu

  7. 2016
  8. Julkaistu

    Order-preserving pattern matching with k mismatches

    Gawrychowski, P. & Uznanski, P., 25 heinäkuuta 2016, julkaisussa : Theoretical Computer Science. 638, s. 136-144 9 Sivumäärä

    Tutkimustuotos: Lehtiartikkelivertaisarvioitu

  9. Julkaistu

    Deterministic local algorithms, unique identifiers, and fractional graph colouring

    Hasemann, H., Hirvonen, J., Rybicki, J. & Suomela, J., 11 tammikuuta 2016, julkaisussa : Theoretical Computer Science. 610, Part B, s. 204-217 14 Sivumäärä

    Tutkimustuotos: Lehtiartikkelivertaisarvioitu

  10. 2015
  11. Julkaistu

    The minimum backlog problem

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

    Tutkimustuotos: Lehtiartikkelivertaisarvioitu

  12. 2014
  13. Julkaistu

    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 lokakuuta 2014, julkaisussa : Theoretical Computer Science. 553, s. 1-1 1 Sivumäärä

    Tutkimustuotos: Lehtiartikkeli

  14. 2013
  15. Julkaistu

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

    Ibarra, O. H. & Seki, S., 27 elokuuta 2013, julkaisussa : Theoretical Computer Science. 501, s. 11-19 9 Sivumäärä

    Tutkimustuotos: Lehtiartikkelivertaisarvioitu

  16. Julkaistu

    Colored range queries and document retrieval

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

    Tutkimustuotos: Lehtiartikkelivertaisarvioitu

  17. Julkaistu

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

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

    Tutkimustuotos: Lehtiartikkelivertaisarvioitu

  18. 2012
  19. Julkaistu

    Absoluteness of Subword Inequality is Undecidable

    Seki, S., 2012, julkaisussa : Theoretical Computer Science. 418, s. 116-120

    Tutkimustuotos: Lehtiartikkelivertaisarvioitu

  20. Julkaistu

    New algorithms on wavelet trees and applications to information retrieval

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

    Tutkimustuotos: Lehtiartikkelivertaisarvioitu

  21. 2005
  22. Julkaistu
  23. 2003
  24. Julkaistu

    Exponential transients in continuous-time Liapunov systems

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

    Tutkimustuotos: Lehtiartikkelivertaisarvioitu

  25. Julkaistu

    The bounded eight-vertex model paper issue

    Eloranta, K., 2003, julkaisussa : Theoretical Computer Science. 303, s. 539-552

    Tutkimustuotos: Lehtiartikkelivertaisarvioitu

  26. 2002
  27. Julkaistu

    Unsupervised Learning in Neural Computation

    Oja, E., 2002, julkaisussa : Theoretical Computer Science. 287, 1, s. 187-207

    Tutkimustuotos: Lehtiartikkelivertaisarvioitu

  28. 2001
  29. Julkaistu

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

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

    Tutkimustuotos: Lehtiartikkelivertaisarvioitu

  30. 2000
  31. Julkaistu

    A causal semantics for time Petri nets

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

    Tutkimustuotos: Lehtiartikkelivertaisarvioitu

  32. 1997
  33. Julkaistu

    Computing with truly asynchronous threshold logic networks

    Orponen, P., 1997, julkaisussa : Theoretical Computer Science. 174, 1-2, s. 123-136 14 Sivumäärä

    Tutkimustuotos: Lehtiartikkelivertaisarvioitu

  34. 1986
  35. Julkaistu

    A classification of complexity core lattices

    Orponen, P., 1986, julkaisussa : Theoretical Computer Science. 47, 3, s. 121-130 10 Sivumäärä

    Tutkimustuotos: Lehtiartikkelivertaisarvioitu

ID: 406695