JOURNAL OF COMPUTER AND SYSTEM SCIENCES

Research outputs

  1. 2018
  2. Published

    What Can Be Verified Locally?

    Balliu, A., D'Angelo, G., Fraigniaud, P. & Olivetti, D., 2018, In : JOURNAL OF COMPUTER AND SYSTEM SCIENCES. 97, p. 106-120

    Research output: Contribution to journalArticleScientificpeer-review

  3. 2017
  4. Published

    Narrow sieves for parameterized paths and packings

    Björklund, A., Husfeldt, T., Kaski, P. & Koivisto, M., 2017, In : JOURNAL OF COMPUTER AND SYSTEM SCIENCES. 87, p. 119–139

    Research output: Contribution to journalArticleScientificpeer-review

  5. 2016
  6. Published

    Separating OR, SUM, and XOR circuits

    Find, M., Göös, M., Järvisalo, M., Kaski, P., Koivisto, M. & Korhonen, J., 1 Aug 2016, In : JOURNAL OF COMPUTER AND SYSTEM SCIENCES. 82, 5, p. 793-801 9 p.

    Research output: Contribution to journalArticleScientificpeer-review

  7. Published

    Synchronous counting and computational algorithm design

    Dolev, D., Heljanko, K., Järvisalo, M., Korhonen, J., Lenzen, C., Rybicki, J., Suomela, J. & Wieringa, S., 1 Mar 2016, In : JOURNAL OF COMPUTER AND SYSTEM SCIENCES. 82, 2, p. 310-332 23 p.

    Research output: Contribution to journalArticleScientificpeer-review

  8. 2014
  9. Published

    Search methods for tile sets in patterned DNA self-assembly

    Göös, M., Lempiäinen, T., Czeizler, E. & Orponen, P., 2014, In : JOURNAL OF COMPUTER AND SYSTEM SCIENCES. 80, 1, p. 297-319

    Research output: Contribution to journalArticleScientificpeer-review

  10. 2013
  11. Published

    A Practical Reputation System for Pervasive Social Chatting

    Yan, Z., Chen, Y. & Shen, Y., 2013, In : JOURNAL OF COMPUTER AND SYSTEM SCIENCES. 79, 5, p. 556-572

    Research output: Contribution to journalArticleScientificpeer-review

  12. 2012
  13. Published

    Solving Parity Games by a Reduction to SAT

    Heljanko, K., Keinänen, M., Lange, M. & Niemelä, I., 2012, In : JOURNAL OF COMPUTER AND SYSTEM SCIENCES. 78, 2, p. 430-440

    Research output: Contribution to journalArticleScientificpeer-review

  14. 1996
  15. Published

    Random strings make hard instances

    Buhrman, H. & Orponen, P., 1996, In : JOURNAL OF COMPUTER AND SYSTEM SCIENCES. 53, 2, p. 261-266 6 p.

    Research output: Contribution to journalArticleScientificpeer-review

ID: 293589