Tampere University of Technology

TUTCRIS Research Portal

Theoretical Computer Science (Journal)

Activity: Publication peer-review and editorial workReviewer of Scientific Journal

Details

Antti Valmari - Reviewer

2013

Country of activity

Publication forum classification

Related by journal

  1. Alternating-time temporal logic ATL with finitely bounded semantics

    Research output: Contribution to journalArticleScientificpeer-review

  2. Minimal Characterization of O-notation in Algorithm Analysis

    Research output: Contribution to journalArticleScientificpeer-review

  3. On finding rainbow and colorful paths

    Research output: Contribution to journalArticleScientificpeer-review

  4. A comparison of confluence and ample sets in probabilistic and non-probabilistic branching time

    Research output: Contribution to journalArticleScientificpeer-review

  5. The cost of offline binary search tree algorithms and the complexity of the request sequence

    Research output: Contribution to journalArticleScientificpeer-review

ID: 882436