TUTCRIS - Tampereen teknillinen yliopisto

TUTCRIS

Fundamenta Informaticae (Lehti)

Aktiviteetti: Tieteellisen lehden refereenä toimiminen

Yksityiskohdat

Antti Valmari - Arvioija

2014

Country of activity

Publication forum classification

Nature of activity

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: 839783