ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE

Research outputs

  1. 2015
  2. Published

    Reversible Monadic Computing

    Heunen, C. & Karvonen, M., 21 Dec 2015, In : ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE. 319, p. 217-237 21 p.

    Research output: Contribution to journalArticleScientificpeer-review

  3. 2013
  4. Published

    LCT: A Parallel Distributed Testing Tool for Multithreaded Java Programs

    Kähkönen, K., Saarikivi, O. & Heljanko, K., 2013, In : ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE. 296, p. 253-259

    Research output: Contribution to journalArticleScientificpeer-review

  5. 2012
  6. Published

    Quantitative Model Refinement as a Solution to the Combinatorial Size Explosion of Biomodels

    Czeizler, E., Czeizler, E., Iancu, B. & Petre, I., 2012, In : ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE. 284, C, p. 35-53

    Research output: Contribution to journalArticleScientificpeer-review

  7. 2007
  8. Published

    Integrating Algorithm Visualization Systems

    Karavirta, V., 2007, In : ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE. 178, p. 79-87

    Research output: Contribution to journalArticleScientificpeer-review

  9. Published

    Visualization of Spatial Data Structures on Different Levels of Abstraction

    Nikander, J., Korhonen, A., Valanto, E. & Virrantaus, K., 2007, In : ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE. 178, p. 89-99

    Research output: Contribution to journalArticleScientificpeer-review

  10. 2005
  11. Published

    Obtaining Memory Efficient Solutions to Boolean Equation Systems

    Keinänen, M., 2005, In : ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE. 133

    Research output: Contribution to journalArticleScientificpeer-review

  12. 2003
  13. Published

    BMC via on-the-fly Determinization

    Jussila, T., Heljanko, K. & Niemelä, I., 2003, In : ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE. 89, 4, p. 561-577 17 p.

    Research output: Contribution to journalArticleScientificpeer-review

ID: 228131