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

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




288 Publications

2015 | Journal Article | IST-REx-ID: 1731   OA
Chatterjee K, Doyen L, Gimbert H, Henzinger TA. 2015. Randomness for free. Information and Computation. 245(12), 3–16.
View | Files available | DOI | Download (ext.)
 
2015 | Journal Article | IST-REx-ID: 1832   OA
Chakraborty S, Henzinger TA, Sezgin A, Vafeiadis V. 2015. Aspect-oriented linearizability proofs. Logical Methods in Computer Science. 11(1), 20.
View | Files available | DOI
 
2015 | Conference Paper | IST-REx-ID: 1659   OA
Boker U, Henzinger TA, Otop J. 2015. The target discounted-sum problem. LICS. LICS: Logic in Computer ScienceLogic in Computer Science 750–761.
View | Files available | DOI
 
2015 | Journal Article | IST-REx-ID: 1840   OA
Geiger B, Petrov T, Kubin G, Koeppl H. 2015. Optimal Kullback-Leibler aggregation via information bottleneck. IEEE Transactions on Automatic Control. 60(4), 1010–1022.
View | DOI | Download (ext.)
 
2015 | Journal Article | IST-REx-ID: 1698   OA
Velner Y, Chatterjee K, Doyen L, Henzinger TA, Rabinovich A, Raskin J. 2015. The complexity of multi-mean-payoff and multi-energy games. Information and Computation. 241(4), 177–196.
View | DOI | Download (ext.)
 
2015 | Technical Report | IST-REx-ID: 5436
Chatterjee K, Henzinger TA, Otop J. 2015. Nested weighted automata, IST Austria, 29p.
View | Files available | DOI
 
2015 | Research Data | IST-REx-ID: 5549   OA
Fellner A. 2015. Experimental part of CAV 2015 publication: Counterexample Explanation by Learning Small Strategies in Markov Decision Processes, IST Austria,p.
View | Files available | DOI
 
2015 | Conference Paper | IST-REx-ID: 1605   OA
Bogomolov S, Schilling C, Bartocci E, Batt G, Kong H, Grosu R. 2015. Abstraction-based parameter synthesis for multiaffine systems. HVC: Haifa Verification Conference, LNCS, vol. 9434. 19–35.
View | Files available | DOI
 
2015 | Journal Article | IST-REx-ID: 1808
Gupta A, Henzinger TA. 2015. Guest editors’ introduction to special issue on computational methods in systems biology. ACM Transactions on Modeling and Computer Simulation. 25(2), 7.
View | DOI
 
2015 | Conference Paper | IST-REx-ID: 1992   OA
Gupta A, Henzinger TA, Radhakrishna A, Samanta R, Tarrach T. 2015. Succinct representation of concurrent trace sets. POPL: Principles of Programming Languages 433–444.
View | Files available | DOI
 

Search

Filter Publications

Display / Sort

Citation Style: IST Annual Report

Export / Embed