Tampere University of Technology

TUTCRIS Research Portal

Publications

  1. B3 Non-refereed article in conference proceedings
  2. Published

    Verification of Reactive Systems Using DisCo and PVS

    Kellomäki, P., 1997, FME'97: Industrial Applications and Strengthened Foundations of Formal Methods, 4th International Symposium of Formal Methods, Graz, Austria, September 1997. Julkaistu sarjassa: Lecture Notes in Computer Science. Fitzgerald, J., Jones, C. B. & Lucas, P. (eds.). Springer, p. 589-604

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

  3. Published

    XPS investigations of pseudo-binary Pd oxides

    Suhonen, S., Hirsimäki, M., Pere, J., Valden, M., Pessa, M., Slotte, T., Savimäki, A., Maunula, T. & Härkönen, M., 1997, ECASIA 97, 7th European Conference on Applications of Surface and Interface Analysis, 16-20 June 1997, Göteborg, Sweden. Olefjord, I., Nyborg, L. & Briggs, D. (eds.). p. 193-196

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

  4. Published

    Verification-Driven Development of a Collision-Avoidance Protocol for the Ethernet

    Karsisto, K. & Valmari, A., 1996, In: Formal Techniques in Real-Time and Fault-Tolerant Systems, 4th International Symposium Uppsala, Sweden, September 1996 Proceedings. Lecture notes in computer science. Berlin: Springer Verlag, p. 228-245

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

  5. 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

  6. Published

    Technologies and Utilisation of Field-Programmable Gate Arrays and Their Impact on Systems Design

    Isoaho, J., Nummela, A. & Tenhunen, H., 1993, Field Programmable Gate Arrays : Architectures and Tools for Rapid Prototyping, Second International Worksho p on Field-Programmable Logic and Applications, Vienna, Austria, August/Septe mber 1992, Selected Papers, Lecture Notes in Computer Science 705. Grunbacher, H. & Hartenstein, R. W. (eds.). Berlin: Springer Verlag, p. 11-25

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

  7. 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

  8. Published

    (Continuing) Education of Software Professionals

    Haikala, I. J. & Märijärvi, J., 1992, Proc. of the SEI Conference 1992, Lecture Notes in Computer Science 640, San Diego, Ca, USA, Oct. 1992. Springer Verlag, p. 180-193

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

  9. 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

  10. C1 Separate scientific books
  11. Published

    Hybrid Media Events: The Charlie Hebdo Attacks and the Global Circulation of Terrorist Violence

    Sumiala, J., Valaskivi, K., Tikka, M. & Huhtamäki, J., 18 May 2018, Bingley, UK: Emerald Group Publishing Ltd. 176 p.

    Research output: Book/ReportBookScientificpeer-review

  12. Published

    Finnish water services: Experiences in global perspective

    Katko, T. S., 7 Jul 2017, London: IWA Publishing. 288 p.

    Research output: Book/ReportBookScientificpeer-review

Download list To download, please limit the number of search results to 1,000 or less.