Tampere University of Technology

TUTCRIS Research Portal

Department of Mathematics

Research unit: Department

  1. 2017
  2. Published

    Abstractions for transition systems with applications to stubborn sets

    Hansen, H., 1 Jan 2017, Concurrency, Security, and Puzzles: Essays Dedicated to Andrew William Roscoe on the Occasion of His 60th Birthday. Gibson-Robinson, T., Hopcroft, P. & Lazić, R. (eds.). Springer International Publishing, p. 104-123 20 p. (Lecture Notes in Computer Science; vol. 10160).

    Research output: Chapter in Book/Report/Conference proceedingChapterScientific

  3. Published

    More stubborn set methods for process algebras

    Valmari, A., 1 Jan 2017, Concurrency, Security, and Puzzles: Essays Dedicated to Andrew William Roscoe on the Occasion of His 60th Birthday. Gibson-Robinson, T., Hopcroft, P. & Lazić, R. (eds.). Springer International Publishing, p. 246-271 26 p. (Lecture Notes in Computer Science; vol. 10160).

    Research output: Chapter in Book/Report/Conference proceedingChapterScientific

  4. Published

    Stop it, and be stubborn!

    Valmari, A., 1 Jan 2017, In : ACM Transactions on Embedded Computing Systems. 16, 2, 46.

    Research output: Contribution to journalArticleScientificpeer-review

  5. Published

    Winner does not take all: Selective attention and local bias in platform-based markets

    Huotari, P., Järvi, K., Kortelainen, S. & Huhtamäki, J., 1 Jan 2017, In : Technological Forecasting and Social Change. 114, p. 313-326 14 p.

    Research output: Contribution to journalArticleScientificpeer-review

  6. Published

    Conclusions

    Lohan, E-S., Seco-Granados, G., Wymeersch, H., Nykänen, O. & Nurmi, J., 2017, Multi-Technology Positioning. Springer, p. 331-332

    Research output: Chapter in Book/Report/Conference proceedingChapterScientificpeer-review

  7. Published

    Context Awareness for Semantic Mobile Computing

    Rivero-Rodriguez, A. & Nykänen, O., 2017, Multi-Technology Positioning. Nurmi, J., Lohan, E-S., Wymeersch, H., Seco-Granados, G. & Nykänen, O. (eds.). Cham: Springer International Publishing, p. 251-267 17 p.

    Research output: Chapter in Book/Report/Conference proceedingChapterScientificpeer-review

  8. Published

    General Integral Formulas for k-hyper-mono-genic Functions

    Eriksson, S-L. & Orelma, H., 2017, In : Advances in Applied Clifford Algebras. 27, 1, p. 99-110 12 p.

    Research output: Contribution to journalArticleScientificpeer-review

  9. Published

    Independent Loops Search in Flow Networks Aiming for Well-Conditioned System of Equations

    Humaloja, J-P., Ali-Löytty, S., Pohjolainen, S. & Hämäläinen, T., 2017, Progress in Industrial Mathematics at ECMI 2016. Quintela, P., Barral, P., Gómez, D., Pena, F. J., Rodríguez, J., Salgado, P. & Vázquez-Mendéz, M. E. (eds.). Springer International Publishing, (Mathematics in industry; vol. 26).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

  10. Published

    Introduction and Book Structure

    Lohan, E-S., Wymeersch, H., Nykänen, O., Nurmi, J. & Seco-Granados, G., 2017, Multi-Technology Positioning. Springer, p. 1-4

    Research output: Chapter in Book/Report/Conference proceedingChapterScientificpeer-review

  11. Published

    MULTI-POS: Lessons Learnt from Fellows and Supervisors

    Lohan, E-S., Nurmi, J., Seco-Granados, G., Wymeersch, H. & Nykänen, O., 2017, Multi-Technology Positioning. Springer, p. 323-329

    Research output: Chapter in Book/Report/Conference proceedingChapterScientificpeer-review

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

ID: 22096