TUTCRIS - Tampereen teknillinen yliopisto

TUTCRIS

Tietotekniikka

Tutkimusyksikkö: Laitos

  1. Julkaistu

    Regression analysis utilizing subjective evaluation of emotional experience in PET studies on emotions

    Aalto, S., Wallius, E., Näätänen, P., Hiltunen, J., Metsähonkala, L., Sipilä, H. & Karlsson, H., 2005, julkaisussa : Brain Research Protocols. 15, 3, s. 142-154

    Tutkimustuotosvertaisarvioitu

  2. Julkaistu

    Experiences on Applying OMT to Large Scale Systems

    Aalto, J-M., 1994, Proc. of Conceptual Modeling and Object-Oriented Progr. Symposium, Nov. 5 1993, Tampere. Finnish Artificial Intelligence Society

    Tutkimustuotos

  3. Julkaistu

    Resolution of the left-right ambiguity in submarine passive sonar systems

    Aalto, T., Pesonen, H., Stien, M. & Terragni, F., 2005, Proceedings of the European Student Workshop on Mathematical Modelling in Industry, 19th ECMI Modelling week, 1. - 11.9.2005, Barcelona, Spain. Alabert, A. (toim.). s. 75-91

    Tutkimustuotos

  4. Julkaistu

    Object-Oriented Development of Interactive Systems with OMT++

    Aalto, J-M. & Jaaksi, A., 1994, TOOLS 14, Technology of Object-Oriented Languages & Systems. Ege, R., Singh, M. & Meyer, B. (toim.). PRENTICE HALL, s. 205-218

    Tutkimustuotos

  5. Julkaistu

    Neuroanatomical substrata of amusement and sadness: a PET activation study using film stimuli

    Aalto, S., Näätänen, P., Wallius, E., Metsähonkala, E., Stenman, H., Niemi, P. M. & Karlsson, H., 2002, julkaisussa : NeuroReport. 13, 1, s. 67-73

    Tutkimustuotosvertaisarvioitu

  6. Julkaistu

    TDP-a Distributed Parameter Systems Simulator

    Aaltonen, M., Tanttu, J. & Pohjolainen, S., 1984, Tampere: Unknown Publisher. (Tampere Univ. of Tech., Dept. of Elect.Eng., Mathematics, Report; nro 45)

    Tutkimustuotos

  7. Julkaistu

    DisCo Toolset - The New Generation

    Aaltonen, T., Katara, M. & Pitkänen, R., 2001, julkaisussa : Journal of Universal Computer Science. 7, 1, s. 3-18

    Tutkimustuotosvertaisarvioitu

  8. Julkaistu

    Verifying Safety by Combining Joint Actions with a Process-Algebraic Approach

    Aaltonen, T. & Pitkänen, R., 1999, Tampere: Tampereen teknillinen korkeakoulu. 27 Sivumäärä (Tampereen teknillinen korkeakoulu, Ohjelmistotekniikan laitos, Raportti; nro 19)

    Tutkimustuotos

  9. Julkaistu

    Defining Observation Objectives for Reactive and Distributed Systems

    Aaltonen, T., 2003, Formal Approaches to Testing of Software. Proceedings of FATES 2003. A Satellite Workshop of the International Conference on Automated Software Engineering 2003, Montreal, Quebec, Canada, October 6, 2003. Petrenko, A. & Ulrich, A. (toim.). s. 156-163

    Tutkimustuotosvertaisarvioitu

  10. Julkaistu

    Coordinating Aspects and Objects

    Aaltonen, T., Helin, J., Katara, M., Kellomäki, P. & Mikkonen, T., 2003, Electronic Notes in Theoretical Computer Science, Preliminary Proceedings, FOCLASA'02, International Workshop on the Foundations of Coordination Languages and Software Architectures, Brno, Czech Republic, August 24, 2002, Satellite event of Concur'02.

    Tutkimustuotosvertaisarvioitu

Edellinen 1 2 3 4 5 6 7 8 ...963 Seuraava

ID: 18403956