JOURNAL OF COMPUTER AND SYSTEM SCIENCES
Research outputs
1 - 8 out of 8Page size: 50
- 2018
- 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-120Research output: Contribution to journal › Article › Scientific › peer-review
- 2017
- 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–139Research output: Contribution to journal › Article › Scientific › peer-review
- 2016
- 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 journal › Article › Scientific › peer-review
- 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 journal › Article › Scientific › peer-review
- 2014
- 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-319Research output: Contribution to journal › Article › Scientific › peer-review
- 2013
- 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-572Research output: Contribution to journal › Article › Scientific › peer-review
- 2012
- 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-440Research output: Contribution to journal › Article › Scientific › peer-review
- 1996
- 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 journal › Article › Scientific › peer-review
ID: 293589