Fundamenta Informaticae

Tutkimustuotokset

  1. 2016
  2. Julkaistu

    Answer Set Programming Modulo Acyclicity

    Bomanson, J., Gebser, M., Janhunen, T., Kaufmann, B. & Schaub, T., 2016, julkaisussa : Fundamenta Informaticae. 147, 1, s. 63-91 29 Sivumäärä

    Tutkimustuotos: Lehtiartikkelivertaisarvioitu

  3. Julkaistu

    Recent Advances on Inconsistency Indices for Pairwise Comparisons - A Commentary

    Brunelli, M., 2016, julkaisussa : Fundamenta Informaticae. 144, 3-4, s. 321-332 12 Sivumäärä

    Tutkimustuotos: Lehtiartikkelivertaisarvioitu

  4. 2015
  5. Julkaistu

    Semilinear Sets and Counter Machines: a Brief Survey

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

    Tutkimustuotos: Lehtiartikkelivertaisarvioitu

  6. 2011
  7. Julkaistu

    Partitioning Search Spaces of a Randomized Search

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

    Tutkimustuotos: Lehtiartikkelivertaisarvioitu

  8. 2008
  9. Julkaistu

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

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

    Tutkimustuotos: Lehtiartikkelivertaisarvioitu

  10. 2006
  11. Julkaistu

    Nested Emptiness Search for Generalized Büchi Automata

    Tauriainen, H., 2006, julkaisussa : Fundamenta Informaticae. 70, 1-2, s. 127-154

    Tutkimustuotos: Lehtiartikkelivertaisarvioitu

  12. 2004
  13. Julkaistu

    Efficient string matching in Huffman compressed texts

    Fredriksson, K. & Tarhio, J., 2004, julkaisussa : Fundamenta Informaticae. 62, 1, s. 1-16

    Tutkimustuotos: Lehtiartikkelivertaisarvioitu

  14. 2003
  15. Julkaistu

    Towards Ambitious Approximation Algorithms in Stubborn Set Optimization

    Varpaaniemi, K., 2003, julkaisussa : Fundamenta Informaticae. 54, 2-3, s. 279-294

    Tutkimustuotos: Lehtiartikkelivertaisarvioitu

  16. 2002
  17. Julkaistu

    Minimizing the Number of Successor States in the Stubborn Set Method

    Varpaaniemi, K., 2002, julkaisussa : Fundamenta Informaticae. 51, 1-2, s. 215-234

    Tutkimustuotos: Lehtiartikkelivertaisarvioitu

  18. 2000
  19. Julkaistu

    Coping with Strong Fairness

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

    Tutkimustuotos: Lehtiartikkelivertaisarvioitu

  20. Julkaistu

    Stable Models for Stubborn Sets

    Varpaaniemi, K., 2000, julkaisussa : Fundamenta Informaticae. 43, 1-4, s. 355-375

    Tutkimustuotos: Lehtiartikkelivertaisarvioitu

  21. 1999
  22. Julkaistu

    Finding Symmetries of Algebraic System Nets

    Junttila, T., 1999, julkaisussa : Fundamenta Informaticae. 37, 3, s. 269-289

    Tutkimustuotos: Lehtiartikkelivertaisarvioitu

  23. Julkaistu
  24. 1992
  25. Julkaistu

    On the Decidability and Complexity of Autoepistemic Reasoning

    Niemelä, I., 1992, julkaisussa : Fundamenta Informaticae. 17, 1-2, s. 117-155

    Tutkimustuotos: Lehtiartikkelivertaisarvioitu

ID: 245408