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

  12. Published

    High-performance SIMD implementation of the lattice-Boltzmann method on the Xeon Phi processor

    Robertsén, F., Mattila, K. & Westerholm, J., 10 Jul 2019, In : Concurrency Computation. 31, 13, 16 p., e5072.

    Research output: Contribution to journalArticleScientificpeer-review

  13. Published

    Analysis of an efficient parallel implementation of active-set Newton algorithm

    San Juan Sebastián, P., Virtanen, T., Garcia-Molla, V. M. & Vidal, A. M., Mar 2019, In : Journal of Supercomputing. 75, 3, p. 1298-1309 12 p.

    Research output: Contribution to journalArticleScientificpeer-review

  14. Published

    Towards detecting structural branching and cyclicity in graphs: A polynomial-based approach

    Dehmer, M., Chen, Z., Emmert-Streib, F., Mowshowitz, A., Shi, Y., Tripathi, S. & Zhang, Y., 1 Jan 2019, In : Information Sciences. 471, p. 19-28 10 p.

    Research output: Contribution to journalArticleScientificpeer-review

  15. Published

    ALMARVI System Solution for Image and Video Processing in Healthcare, Surveillance and Mobile Applications

    Al-Ars, Z., van der Vlugt, S., Jääskeläinen, P. & van der Linden, F., Jan 2019, In : Journal of Signal Processing Systems. 91, 1, p. 1-7

    Research output: Contribution to journalArticleScientificpeer-review

  16. Published

    Alternating-time temporal logic ATL with finitely bounded semantics

    Goranko, V., Kuusisto, A. & Rönnholm, R., 2019, In : Theoretical Computer Science.

    Research output: Contribution to journalArticleScientificpeer-review

  17. Published

    Institutional Perspectives on the Process of Enterprise Architecture Adoption

    Dang, D. & Pekkola, S., 2019, In : Information Systems Frontiers.

    Research output: Contribution to journalArticleScientificpeer-review

  18. Published

    Rewritability in monadic disjunctive Datalog, Mmsnp, and expressive description logics

    Feier, C., Kuusisto, A. & Lutz, C., 2019, In : Logical Methods in Computer Science. 15, 2, p. 15:1-15:46

    Research output: Contribution to journalArticleScientificpeer-review

  19. E-pub ahead of print

    Digital Predistortion for 5G Small Cell: GPU Implementation and RF Measurements

    Pascual Campo, P., Lampu, V., Meirhaeghe, A., Boutellier, J., Anttila, L. & Valkama, M., 2019, In : Journal of Signal Processing Systems. 12 p.

    Research output: Contribution to journalArticleScientificpeer-review

  20. E-pub ahead of print

    Emptiness problems for distributed automata

    Kuusisto, A. & Reiter, F., 2019, In : Information and Computation. 104503.

    Research output: Contribution to journalArticleScientificpeer-review

  21. Published

    Toward Efficient Execution of RVC-CAL Dataflow Programs on Multicore Platforms

    Hautala, I., Boutellier, J., Nyländen, T. & Silvén, O., Nov 2018, In : Journal of Signal Processing Systems. 90, 11, p. 1507-1517 11 p.

    Research output: Contribution to journalArticleScientificpeer-review

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