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.

2601 Publications


2012 | Technical Report | IST-REx-ID: 5396   OA
Korc F, Kolmogorov V, Lampert C. 2012. Approximating marginals using discrete energy minimization, IST Austria, 13p.
View | Files available | DOI
 

2012 | Book Chapter | IST-REx-ID: 5745   OA
Gupta A. 2012. Improved Single Pass Algorithms for Resolution Proof Reduction. Automated Technology for Verification and Analysis. ATVA 2012LNCS vol. 7561. 107–121.
View | Files available | DOI
 

2012 | Journal Article | IST-REx-ID: 3249
Cerny P, Henzinger TA, Radhakrishna A. 2012. Simulation distances. Theoretical Computer Science. 413(1), 21–35.
View | Files available | DOI
 

2012 | Journal Article | IST-REx-ID: 2950
Behrndt M, Salbreux G, Campinho P, Hauschild R, Oswald F, Roensch J, Grill S, Heisenberg C-PJ. 2012. Forces driving epithelial spreading in zebrafish gastrulation. Science. 338(6104), 257–260.
View | Files available | DOI
 

2012 | Technical Report | IST-REx-ID: 5377
Chatterjee K, Velner Y. 2012. Mean-payoff pushdown games, IST Austria, 33p.
View | Files available | DOI
 

2012 | Journal Article | IST-REx-ID: 2967
Alur R, Cerny P, Weinstein S. 2012. Algorithmic analysis of array-accessing programs. ACM Transactions on Computational Logic (TOCL). 13(3), 27.
View | Files available | DOI
 

2012 | Conference Paper | IST-REx-ID: 2955   OA
Chatterjee K, Doyen L. 2012. Partial-observation stochastic games: How to win when belief fails. Proceedings of the 2012 27th Annual ACM/IEEE Symposium on Logic in Computer Science. LICS: Logic in Computer Science
View | Files available | DOI | Download (ext.) | arXiv
 

2012 | Conference Paper | IST-REx-ID: 2936   OA
Chatterjee K, Henzinger TA, Prabhu V. 2012. Finite automata with time delay blocks. roceedings of the tenth ACM international conference on Embedded software. EMSOFT: Embedded Software 43–52.
View | DOI | Download (ext.)
 

2012 | Conference Paper | IST-REx-ID: 3251   OA
Zufferey D, Wies T, Henzinger TA. 2012. Ideal abstractions for well structured transition systems. VMCAI: Verification, Model Checking and Abstract Interpretation, LNCS, vol. 7148. 445–460.
View | Files available | DOI
 

2012 | Journal Article | IST-REx-ID: 3314
Chatterjee K, Majumdar R. 2012. Discounting and averaging in games across time scales. International Journal of Foundations of Computer Science. 23(3), 609–625.
View | DOI
 

Filters and Search Terms

extern<>1

Search

Filter Publications

Display / Sort

Citation Style: IST Annual Report

Export / Embed