TUTCRIS - Tampereen teknillinen yliopisto

TUTCRIS

Fundamenta Informaticae (Lehti)

Aktiviteetti: Tieteellisen lehden refereenä toimiminen

Yksityiskohdat

Antti Valmari - Arvioija

2013

Country of activity

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

ID: 833478