TUTCRIS - Tampereen teknillinen yliopisto

TUTCRIS

Matematiikan laitos

Tutkimusyksikkö: Laitos

  1. 2017
  2. Julkaistu

    Abstractions for transition systems with applications to stubborn sets

    Hansen, H., 1 tammikuuta 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. (toim.). Springer International Publishing, s. 104-123 20 Sivumäärä (Lecture Notes in Computer Science; painos 10160).

    Tutkimustuotos

  3. Julkaistu

    More stubborn set methods for process algebras

    Valmari, A., 1 tammikuuta 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. (toim.). Springer International Publishing, s. 246-271 26 Sivumäärä (Lecture Notes in Computer Science; painos 10160).

    Tutkimustuotos

  4. Julkaistu

    Stop it, and be stubborn!

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

    Tutkimustuotosvertaisarvioitu

  5. Julkaistu

    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 tammikuuta 2017, julkaisussa : Technological Forecasting and Social Change. 114, s. 313-326 14 Sivumäärä

    Tutkimustuotosvertaisarvioitu

  6. Julkaistu

    Conclusions

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

    Tutkimustuotosvertaisarvioitu

  7. Julkaistu

    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. (toim.). Cham: Springer International Publishing, s. 251-267 17 Sivumäärä

    Tutkimustuotosvertaisarvioitu

  8. Julkaistu

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

    Eriksson, S-L. & Orelma, H., 2017, julkaisussa : Advances in Applied Clifford Algebras. 27, 1, s. 99-110 12 Sivumäärä

    Tutkimustuotosvertaisarvioitu

  9. Julkaistu

    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. (toim.). Springer International Publishing, (Mathematics in industry; painos 26).

    Tutkimustuotosvertaisarvioitu

  10. Julkaistu

    Introduction and Book Structure

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

    Tutkimustuotosvertaisarvioitu

  11. Julkaistu

    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, s. 323-329

    Tutkimustuotosvertaisarvioitu

ID: 22096