Please note that IST Research Explorer no longer supports Internet Explorer versions 8 or 9 (or earlier).

We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.

6313 Publications


2015 | Technical Report | IST-REx-ID: 5438 | OA
Chatterjee K, Henzinger TA, Ibsen-Jensen R, Otop J. 2015. Edit distance for pushdown automata, IST Austria, 15p.
View | Files available | DOI
 

2015 | Technical Report | IST-REx-ID: 5439 | OA
Boker U, Henzinger TA, Otop J. 2015. The target discounted-sum problem, IST Austria, 20p.
View | Files available | DOI
 

2015 | Technical Report | IST-REx-ID: 5440 | OA
Chatterjee K, Ibsen-Jensen R, Nowak M. 2015. The complexity of evolutionary games on graphs, IST Austria, 18p.
View | Files available | DOI
 

2015 | Technical Report | IST-REx-ID: 5441 | OA
Chatterjee K, Ibsen-Jensen R, Goharshady AK, Pavlogiannis A. 2015. Algorithms for algebraic path properties in concurrent systems of constant treewidth components, IST Austria, 24p.
View | Files available | DOI
 

2015 | Technical Report | IST-REx-ID: 5442 | OA
Anonymous 1, Anonymous 2, Anonymous 3, Anonymous 4. 2015. Algorithms for algebraic path properties in concurrent systems of constant treewidth components, IST Austria, 22p.
View | Files available
 

Search

Filter Publications