Fundamenta Informaticae

Research outputs

  1. 2016
  2. Published

    Answer Set Programming Modulo Acyclicity

    Bomanson, J., Gebser, M., Janhunen, T., Kaufmann, B. & Schaub, T., 2016, In : Fundamenta Informaticae. 147, 1, p. 63-91 29 p.

    Research output: Contribution to journalArticleScientificpeer-review

  3. Published

    Recent Advances on Inconsistency Indices for Pairwise Comparisons - A Commentary

    Brunelli, M., 2016, In : Fundamenta Informaticae. 144, 3-4, p. 321-332 12 p.

    Research output: Contribution to journalArticleScientificpeer-review

  4. 2015
  5. Published

    Semilinear Sets and Counter Machines: a Brief Survey

    Ibarra, O. H. & Seki, S., 2015, In : Fundamenta Informaticae. 138, 1-2, p. 61-76

    Research output: Contribution to journalArticleScientificpeer-review

  6. 2011
  7. Published

    Partitioning Search Spaces of a Randomized Search

    Hyvärinen, A. E. J., Junttila, T. & Niemelä, I., 2011, In : Fundamenta Informaticae. 107, 2-3, p. 289-311

    Research output: Contribution to journalArticleScientificpeer-review

  8. 2008
  9. Published

    Modelling and Simulation of Quantum Teleportation and Dense Coding Using Predicate/Transition-Nets

    Ojala, L. & Varpaaniemi, K., 2008, In : Fundamenta Informaticae. 85, 1-4, p. 465-479

    Research output: Contribution to journalArticleScientificpeer-review

  10. 2006
  11. Published

    Nested Emptiness Search for Generalized Büchi Automata

    Tauriainen, H., 2006, In : Fundamenta Informaticae. 70, 1-2, p. 127-154

    Research output: Contribution to journalArticleScientificpeer-review

  12. 2004
  13. Published

    Efficient string matching in Huffman compressed texts

    Fredriksson, K. & Tarhio, J., 2004, In : Fundamenta Informaticae. 62, 1, p. 1-16

    Research output: Contribution to journalArticleScientificpeer-review

  14. 2003
  15. Published

    Towards Ambitious Approximation Algorithms in Stubborn Set Optimization

    Varpaaniemi, K., 2003, In : Fundamenta Informaticae. 54, 2-3, p. 279-294

    Research output: Contribution to journalArticleScientificpeer-review

  16. 2002
  17. Published

    Minimizing the Number of Successor States in the Stubborn Set Method

    Varpaaniemi, K., 2002, In : Fundamenta Informaticae. 51, 1-2, p. 215-234

    Research output: Contribution to journalArticleScientificpeer-review

  18. 2000
  19. Published

    Coping with Strong Fairness

    Latvala, T. & Heljanko, K., 2000, In : Fundamenta Informaticae. 43, 1-4, p. 175-193

    Research output: Contribution to journalArticleScientificpeer-review

  20. Published

    Stable Models for Stubborn Sets

    Varpaaniemi, K., 2000, In : Fundamenta Informaticae. 43, 1-4, p. 355-375

    Research output: Contribution to journalArticleScientificpeer-review

  21. 1999
  22. Published

    Finding Symmetries of Algebraic System Nets

    Junttila, T., 1999, In : Fundamenta Informaticae. 37, 3, p. 269-289

    Research output: Contribution to journalArticleScientificpeer-review

  23. Published

    Using Logic Programs with Stable Model Semantics to Solve Deadlock and Reachability Problems for 1-safe Petri Nets

    Heljanko, K., 1999, In : Fundamenta Informaticae. 37, 3, p. 247-268

    Research output: Contribution to journalArticleScientificpeer-review

  24. 1992
  25. Published

    On the Decidability and Complexity of Autoepistemic Reasoning

    Niemelä, I., 1992, In : Fundamenta Informaticae. 17, 1-2, p. 117-155

    Research output: Contribution to journalArticleScientificpeer-review

ID: 245408