Tampere University of Technology

TUTCRIS Research Portal

Department of Mathematics

Research unit: Department

  1. Published

    Fair testing and stubborn sets

    Valmari, A. & Vogler, W., 2016, Model Checking Software: 23rd International Symposium, SPIN 2016, Co-located with ETAPS 2016, Eindhoven, The Netherlands, April 7-8, 2016, Proceedings. Springer Verlag, p. 225-243 19 p. (Lecture Notes in Computer Science; vol. 9641).

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

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

  3. Published

    On constructibility and unconstructibility of LTS operators from other LTS operators

    Valmari, A., 2015, In : Acta Informatica. 52, 2-3, p. 207-234 28 p.

    Research output: Contribution to journalArticleScientificpeer-review

  4. Published

    The Asymptotic Behaviour of the Proportion of Hard Instances of the Halting Problem

    Valmari, A., 2013, SPLST '13, 13th Symposium on Programming Languages and Software Tools, August 26-27, 2013, Szeged, Hungary. Kiss, A. (ed.). Szeged, Hungary: University of Szeged, p. 170-184 15 p. (Symposium on Programming Languages and Software Tools).

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

  5. Published

    External Behaviour of Systems of State Machines with Variables

    Valmari, A., 2013, The 5th Advanced Course on Petri Nets, September 2010, Rostock, Germany, Transactions on Petri Nets and Other Models of Concurrency VII.. Jensen, K., van der Aalst, W. M. P., Balbo, G., Koutny, M. & Wolf, K. (eds.). Berlin, Heidelberg: Springer, p. 255-299 45 p. (Lecture Notes in Computer Science; vol. 7480).

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

  6. Published

    MathCheck: a tool for checking math solutions in detail

    Valmari, A. & Kaarakka, T., Sep 2016, SEFI 2016 Annual Conference Proceedings: Engineering Education on Top of the World: Industry University Cooperation. European Society for Engineering Education SEFI

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

  7. Published

    Learner control and personal learning environment: a challenge for instructional design

    Väljataga, T. & Laanpere, M., 2010, In : Interactive Learning Environments. 18, 3, p. 277-291

    Research output: Contribution to journalArticleScientificpeer-review

  8. Published

    If a student takes control: facilitators' tasks and responsibilities

    Väljataga, T., 2009, In : Lecture Notes in Computer Science. 5686, p. 390-399

    Research output: Contribution to journalArticleScientificpeer-review

  9. Published

    Learner Control and Responsibility: Expanding the Concept of Self-direction in Hihger Education

    Väljataga, T., 2011, Tampere: Tampere University of Technology. 167 p. (Tampere University of Technology. Publication; vol. 946)

    Research output: Book/ReportDoctoral thesisCollection of Articles

  10. Published

    Design and evaluation of problem-based learning objects for environmental education in Estonian secondary school

    Väljataga, T., 2005, eLearning in Higher education. EUDORA intensive program ELHE during summer school in Viljandi, Estonia, 2004. Hudson, B. (ed.). p. 214-231

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

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

ID: 22096