TUTCRIS - Tampereen teknillinen yliopisto

TUTCRIS

Fundamenta Informaticae (Lehti)

Aktiviteetti: Tieteellisen lehden refereenä toimiminen

Yksityiskohdat

Henri Hansen - Arvioija

12 syyskuuta 2015

Publication forum classification

Lehteen liittyvää

  1. Constructing Minimal Coverability Sets

    Tutkimustuotosvertaisarvioitu

  2. Old and New Algorithms for Minimal Coverability Sets

    Tutkimustuotosvertaisarvioitu

  3. Can Stubborn Sets be Optimal?

    Tutkimustuotosvertaisarvioitu

  4. Simple bisimilarity minimization in O(m log n) time

    Tutkimustuotosvertaisarvioitu

Tutkijaan liittyvää

  1. Journal of Experimental Algorithmics (Lehti)

    Aktiviteetti: Tieteellisen lehden refereenä toimiminen

  2. Science of Computer Programming (Lehti)

    Aktiviteetti: Tieteellisen lehden refereenä toimiminen

  3. 36th International Conference on Application and Theory of Petri Nets and Concurrency, Petri Nets 2015

    Aktiviteetti: Konferenssin tai seminaarin tieteellisen tai ohjelmatoimikunnan jäsenyys

  4. Graphs as models 2015

    Aktiviteetti: Konferenssin tai seminaarin tieteellisen tai ohjelmatoimikunnan jäsenyys

  5. 14th International Conference on Application of Concurrency to System Design

    Aktiviteetti: Konferenssin tai seminaarin tieteellisen tai ohjelmatoimikunnan jäsenyys

  6. 35th International Conference on Application and Theory of Petri Nets and Concurrency

    Aktiviteetti: Konferenssin tai seminaarin tieteellisen tai ohjelmatoimikunnan jäsenyys

  7. ACM Transactions on Embedded Computing Systems (Lehti)

    Aktiviteetti: Tieteellisen lehden refereenä toimiminen

  8. Science of Computer Programming (Lehti)

    Aktiviteetti: Tieteellisen lehden refereenä toimiminen

  9. Can stubborn sets be optimal?

    Aktiviteetti: Konferenssiesitelmä

ID: 4153588