TUTCRIS - Tampereen teknillinen yliopisto

TUTCRIS

Matematiikan laitos

Tutkimusyksikkö: Laitos

  1. Julkaistu

    The Congruences Below Fair Testing with Initial Stability

    Valmari, A., 6 helmikuuta 2017, 2016 16th International Conference on Application of Concurrency to System Design. IEEE, s. 25-34 10 Sivumäärä

    Tutkimustuotosvertaisarvioitu

  2. Julkaistu

    Stop it, and be stubborn!

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

    Tutkimustuotosvertaisarvioitu

  3. Julkaistu

    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. (toim.). Szeged, Hungary: University of Szeged, s. 170-184 15 Sivumäärä (Symposium on Programming Languages and Software Tools).

    Tutkimustuotosvertaisarvioitu

  4. Julkaistu

    Stop It, and Be Stubborn!

    Valmari, A., 21 kesäkuuta 2015, Application of Concurrency to System Design (ACSD): 2015 15th International Conference on . Haar, S. & Meyer, R. (toim.). IEEE Computer Society, s. 10-19 10 Sivumäärä 2

    Tutkimustuotosvertaisarvioitu

  5. Julkaistu

    Asymptotic Proportion of Hard Instances of the Halting Problem

    Valmari, A., 2014, julkaisussa : Acta Cybernetica. 21, 3, s. 307-330 24 Sivumäärä

    Tutkimustuotosvertaisarvioitu

  6. Julkaistu

    Stubborn Set Intuition Explained

    Valmari, A. & Hansen, H., 2016, Petri Nets and Software Engineering 2016: Proceedings of the International Workshop on Petri Nets and Software Engineering 2016, including the International Workshop on Biological Processes & Petri Nets 2016. Cabac, L., Kristensen, L. M. & Rölke, H. (toim.). CEUR-WS, s. 213-232 20 Sivumäärä (CEUR Workshop Proceedings; painos 1591).

    Tutkimustuotosvertaisarvioitu

  7. Julkaistu

    If a student takes control: facilitators' tasks and responsibilities

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

    Tutkimustuotosvertaisarvioitu

  8. Julkaistu

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

    Väljataga, T., 2011, Tampere: Tampere University of Technology. 167 Sivumäärä (Tampere University of Technology. Publication; painos 946)

    Tutkimustuotos

  9. Julkaistu

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

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

    Tutkimustuotosvertaisarvioitu

  10. Julkaistu

    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. (toim.). s. 214-231

    Tutkimustuotosvertaisarvioitu

ID: 22096