Tampere University of Technology

TUTCRIS Research Portal

Publications

  1. 2020
  2. E-pub ahead of print

    A paraconsistent many-valued similarity method for multi-attribute decision making

    Abdulai, I. & Turunen, E., 2020, In : Fuzzy Sets and Systems. 25 p.

    Research output: Contribution to journalArticleScientificpeer-review

  3. 2019
  4. Published

    Formula size games for modal logic and mu-calculus

    Hella, L. T. & Vilander, M. S., 13 Dec 2019, In : JOURNAL OF LOGIC AND COMPUTATION. exz025.

    Research output: Contribution to journalArticleScientificpeer-review

  5. Published

    Satisfiability of modal inclusion logic: Lax and strict semantics

    Hella, L., Kuusisto, A., Meier, A. & Vollmer, H., 1 Oct 2019, In : ACM TRANSACTIONS ON COMPUTATIONAL LOGIC. 21, 1, 7.

    Research output: Contribution to journalArticleScientificpeer-review

  6. Published

    Model checking and validity in propositional and modal inclusion logics

    Hella, L., Kuusisto, A., Meier, A. & Virtema, J., 1 Sep 2019, In : JOURNAL OF LOGIC AND COMPUTATION. 29, 5, p. 605-630 26 p.

    Research output: Contribution to journalArticleScientificpeer-review

  7. Published

    On the Succinctness of Atoms of Dependency

    Vilander, M. & Lück, M., 20 Aug 2019, In : Logical Methods in Computer Science. 15, 3, p. 17:1-17:28 28 p.

    Research output: Contribution to journalArticleScientificpeer-review

  8. Published

    A graph theoretic approach to construct desired cryptographic boolean functions

    Ghorbani, M., Dehmer, M., Taghvayi-Yazdelli, V. & Emmert-Streib, F., 1 Jun 2019, In : Axioms. 8, 2, 40.

    Research output: Contribution to journalArticleScientificpeer-review

  9. Published

    A note on distance-based entropy of dendrimers

    Ghorbani, M., Dehmer, M., Zangi, S., Mowshowitz, A. & Emmert-Streib, F., 2019, In : Axioms. 8, 3, 98.

    Research output: Contribution to journalArticleScientificpeer-review

  10. 2018
  11. Published

    An algebraic approach to reducing the number of variables of incompletely defined discrete functions

    Astola, J., Astola, P., Stanković, R. & Tabus, I., 2018, In : Journal of Multiple-Valued Logic and Soft Computing. 31, 3, p. 239-253 15 p.

    Research output: Contribution to journalArticleScientificpeer-review

  12. Published

    Reduction of variables of index generation functions using linear and quadratic transformations

    Astola, H., Stanković, R. & Astola, J., 2018, In : Journal of Multiple-Valued Logic and Soft Computing. 31, 3, p. 255-270 16 p.

    Research output: Contribution to journalArticleScientificpeer-review

  13. 2017
  14. Published

    Toward measuring network aesthetics based on symmetry

    Chen, Z., Dehmer, M., Emmert-Streib, F., Mowshowitz, A. & Shi, Y., 1 Jun 2017, In : Axioms. 6, 2, 12.

    Research output: Contribution to journalArticleScientificpeer-review

Previous 1 2 Next