Tampere University of Technology

TUTCRIS Research Portal

Publications

  1. 1992
  2. Published

    Methodology for Determining the Degree of Impregnation from Continuous Glass Fibre Prepreg

    Peltonen, P. & Järvelä, P. K., 1992, In : Polymer Testing. 11, p. 215-224

    Research output: Contribution to journalArticleScientificpeer-review

  3. Published

    Multiplication noise in GaAs/AlGaAs multiquantum well avalanche photodiodes with different well widths

    Salokatve, A., Toivonen, M. & Hovinen, M., 1992, In : Electronics Letters. 28, p. 416-417

    Research output: Contribution to journalArticleScientificpeer-review

  4. Published

    Scheduling in Real-Time Models

    Kurki-Suonio, R., Systä, K. & Vain, J., 1992, In : Lecture Notes in Computer Science. 571, p. 327-339

    Research output: Contribution to journalArticleScientificpeer-review

  5. Published

    The Weakest Compositional Semantic Equivalence Preserving Nexttime-less Linear Temporal Logic

    Kaivola, R. & Valmari, A., 1992, Lecture Notes in Computer Science 630, CONCUR'92, Third Int. Conference on Concurrency Theory, Stony Brook, NY, USA, August 1992. Springer Verlag, p. 207-221

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientific

  6. 1993
  7. Published

    Aluminium-free GaAs/GaInAs quantum well lasers

    Zhang, G., Näppi, J., Ovtchinnikov, A. & Asonen, H., 1993, In : Electronics Letters. 29, p. 429-430

    Research output: Contribution to journalArticleScientificpeer-review

  8. Published

    Compositional State Space Generation. In: Advaces in Petri Nets

    Valmari, A., 1993, Lecture Notes in Computer Science. Springer Verlag, p. 427-457

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

  9. Published

    Hybrid models with fairness and distributed clocks

    Kurki-Suonio, R., 1993, Hybrid Systems. Grossman, R. L., Nerode, A., Ravn, A. P. & Rishel, H. (eds.). Springer Verlag, p. 103-120 18 p. (Lecture Notes in Computer Science; no. 736).

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

  10. Low pressure diamond growth using a secondary radical source

    Hukka, T. I., Rawles, R. E. & D'Evelyn, M. P., 1993, Materials Research Society Symposium Proceedings 1993, Chemical Perspectives of Microelectronic Materials III. p. 671-676

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

  11. Published

    On-the-fly Verification with Stubborn Sets

    Valmari, A., 1993, Proceedings of CAV'93, 5th International Conference on Computer Aided Verfication, Elounda, Greece, June 28 - July 1. Lecture Notes in Computer Science. Courcoubetis, C. (ed.). Berlin: Springer Verlag, p. 397-408

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientific

  12. Progress toward atomic layer epitaxy of diamond using radical chemistry

    Gat, R., Hukka, T. I. & D'Evelyn, M. P., 1993, Proceedings of the Third International Symposium on Diamond Materials, Electrochemical Society, Pennington, New Jersey, 1993. p. 516-520

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientific

Previous 1 2 3 4 5 6 7 8 ...912 Next
Download list To download, please limit the number of search results to 1,000 or less.