Tampere University of Technology

TUTCRIS Research Portal

Publications

  1. 2019
  2. 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

  3. 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

  4. 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

  5. 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

  6. 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

  7. 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

  8. 2018
  9. 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

  10. 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

  11. 2017
  12. 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

  13. 2016
  14. Published

    On the arity gap of finite functions: Results and applications

    Couceiro, M. & Lehtonen, E., 2016, In : Journal of Multiple-Valued Logic and Soft Computing. 27, 2-3, p. 193-207 15 p.

    Research output: Contribution to journalReview ArticleScientificpeer-review