Tampere University of Technology

TUTCRIS Research Portal

Publications

  1. A1 Journal article-refereed
  2. Published

    Necessary and sufficient conditions for the existence of solution of generalized fuzzy relation equations A ⇔X = B

    Turunen, E., 1 Oct 2020, In : Information Sciences. 536, p. 351-357 7 p.

    Research output: Contribution to journalArticleScientificpeer-review

  3. Published

    On the zeros of the partial Hosoya polynomial of graphs

    Ghorbani, M., Dehmer, M., Cao, S., Feng, L., Tao, J. & Emmert-Streib, F., 1 Jul 2020, In : Information Sciences. 524, p. 199-215 17 p.

    Research output: Contribution to journalArticleScientificpeer-review

  4. Published

    Studying the inertias of LCM matrices and revisiting the Bourque-Ligh conjecture

    Haukkanen, P., Mattila, M. & Mäntysalo, J., 1 Apr 2020, In : Journal of Combinatorial Theory. Series A. 171, 105161.

    Research output: Contribution to journalArticleScientificpeer-review

  5. E-pub ahead of print

    Game-theoretic semantics for ATL+ with applications to model checking

    Goranko, V., Kuusisto, A. & Rönnholm, R., 2020, In : Information and Computation. 23 p., 104554.

    Research output: Contribution to journalArticleScientificpeer-review

  6. E-pub ahead of print

    PRBS-based loop gain identification and output impedance shaping in DC microgrid power converters

    Khodamoradi, A., Liu, G., Mattavelli, P., Messo, T. & Abedini, H., 2020, In : Mathematics and Computers in Simulation. 13 p.

    Research output: Contribution to journalArticleScientificpeer-review

  7. E-pub ahead of print

    Vehicle Attribute Recognition by Appearance: Computer Vision Methods for Vehicle Type, Make and Model Classification

    Ni, X. & Huttunen, H., 2020, In : Journal of Signal Processing Systems.

    Research output: Contribution to journalArticleScientificpeer-review

  8. E-pub ahead of print

    Programming languages for data-Intensive HPC applications: A systematic mapping study

    Amaral, V., Norberto, B., Goulão, M., Aldinucci, M., Benkner, S., Bracciali, A., Carreira, P., Celms, E., Correia, L., Grelck, C., Karatza, H., Kessler, C., Kilpatrick, P., Martiniano, H., Mavridis, I., Pllana, S., Respício, A., Simão, J., Veiga, L. & Visa, A., 8 Nov 2019, In : Parallel Computing. 91, 17 p., 102584.

    Research output: Contribution to journalArticleScientificpeer-review

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

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

  11. Published

    Hermitian normalized Laplacian matrix for directed networks

    Yu, G., Dehmer, M., Emmert-Streib, F. & Jodlbauer, H., 1 Aug 2019, In : Information Sciences. 495, p. 175-184 10 p.

    Research output: Contribution to journalArticleScientificpeer-review

Previous 1 2 3 4 5 6 7 8 ...24 Next