Please note that ISTA 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.
1481 Publications
2012 |Published| Technical Report | IST-REx-ID: 5377 | 
Chatterjee K, Velner Y. Mean-Payoff Pushdown Games. IST Austria; 2012. doi:10.15479/AT:IST-2012-0002
[Published Version]
View
| Files available
| DOI
2012 |Published| Technical Report | IST-REx-ID: 5378 |
Chatterjee K, Chaubal S, Kamath P. Faster Algorithms for Alternating Refinement Relations. IST Austria; 2012. doi:10.15479/AT:IST-2012-0001
[Published Version]
View
| Files available
| DOI
2012 |Published| Conference Paper | IST-REx-ID: 2955 |
Chatterjee K, Doyen L. Partial-observation stochastic games: How to win when belief fails. In: Proceedings of the 2012 27th Annual ACM/IEEE Symposium on Logic in Computer Science. IEEE; 2012. doi:10.1109/LICS.2012.28
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2012 |Published| Conference Paper | IST-REx-ID: 3341 |
Chatterjee K. Robustness of structurally equivalent concurrent parity games. In: Vol 7213. Springer; 2012:270-285. doi:10.1007/978-3-642-28729-9_18
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2012 |Published| Journal Article | IST-REx-ID: 5839 |
Biswas R, Sil J. An Improved Canny Edge Detection Algorithm Based on Type-2 Fuzzy Sets. Procedia Technology. 2012;4:820-824. doi:10.1016/j.protcy.2012.05.134
[Published Version]
View
| Files available
| DOI
2012 |Published| Journal Article | IST-REx-ID: 7308
Ottakam Thotiyl MM, Freunberger SA, Peng Z, Bruce PG. The carbon electrode in nonaqueous Li–O2 cells. Journal of the American Chemical Society. 2012;135(1):494-500. doi:10.1021/ja310258x
View
| DOI
2012 |Published| Journal Article | IST-REx-ID: 764
Alistarh D-A, Gilbert S, Guerraoui R, Travers C. Of choices, failures and asynchrony: the many faces of set agreement. Algorithmica (New York). 2012;62(1-2):595-629. doi:10.1007/s00453-011-9581-7
View
| DOI
2012 |Published| Journal Article | IST-REx-ID: 767
Alistarh D-A, Gilbert S, Guerraoui R, Travers C. Generating Fast Indulgent Algorithms. Theory of Computing Systems. 2012;51(4):404-424. doi:10.1007/s00224-012-9407-2
View
| DOI
2012 |Published| Journal Article | IST-REx-ID: 7776
Goodrich CP, Liu AJ, Nagel SR. Finite-size scaling at the jamming transition. Physical Review Letters. 2012;109(9). doi:10.1103/physrevlett.109.095704
View
| DOI
2012 |Published| Journal Article | IST-REx-ID: 8467
Huber M, With O, Schanda P, Verel R, Ernst M, Meier BH. A supplementary coil for 2H decoupling with commercial HCN MAS probes. Journal of Magnetic Resonance. 2012;214:76-80. doi:10.1016/j.jmr.2011.10.010
View
| DOI
2012 |Published| Journal Article | IST-REx-ID: 8502
Kaloshin V, Saprykina M. An example of a nearly integrable Hamiltonian system with a trajectory dense in a set of maximal Hausdorff dimension. Communications in Mathematical Physics. 2012;315(3):643-697. doi:10.1007/s00220-012-1532-x
View
| DOI
2012 |Published| Journal Article | IST-REx-ID: 900
Breen M, Kemena C, Vlasov P, Notredame C, Kondrashov F. Epistasis as the primary factor in molecular evolution. Nature. 2012;490(7421):535-538. doi:10.1038/nature11510
View
| DOI
2012 | Research Data Reference | IST-REx-ID: 9757 |
Tragust S, Mitteregger B, Barone V, Konrad M, Ugelvig LV, Cremer S. Data from: Ants disinfect fungus-exposed brood by oral uptake and spread of their poison. 2012. doi:10.5061/dryad.61649
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
2012 |Published| Journal Article | IST-REx-ID: 8503
Albouy A, Kaloshin V. Finiteness of central configurations of five bodies in the plane. Annals of Mathematics. 2012;176(1):535-588. doi:10.4007/annals.2012.176.1.10
View
| DOI
2012 |Published| Journal Article | IST-REx-ID: 9499 |
Kim SY, Lee J, Eshed-Williams L, Zilberman D, Sung ZR. EMF1 and PRC2 cooperate to repress key regulators of Arabidopsis development. PLoS Genetics. 2012;8(3). doi:10.1371/journal.pgen.1002512
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2012 |Published| Conference Paper | IST-REx-ID: 3127 |
Quadrianto N, Lampert C, Chen C. The most persistent soft-clique in a set of sampled graphs. In: Proceedings of the 29th International Conference on Machine Learning. ML Research Press; 2012:211-218.
[Preprint]
View
| Download Preprint (ext.)
2011 |Published| Journal Article | IST-REx-ID: 1048 |
Nägerl H, Mark M, Haller E, Gustavsson M, Hart R, Danzl JG. Ultracold and dense samples of ground-state molecules in lattice potentials. Journal of Physics: Conference Series. 2011;264(1). doi:10.1088/1742-6596/264/1/012015
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2011 |Published| Journal Article | IST-REx-ID: 1052 |
Vexiau R, Bouloufa N, Aymar M, et al. Optimal trapping wavelengths of Cs 2 molecules in an optical lattice. European Physical Journal D. 2011;65(1-2):243-250. doi:10.1140/epjd/e2011-20085-4
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2011 |Published| Journal Article | IST-REx-ID: 12652 |
Pellicciotti F, Raschle T, Huerlimann T, Carenzo M, Burlando P. Transmission of solar radiation through clouds on melting glaciers: A comparison of parameterizations and their impact on melt modelling. Journal of Glaciology. 2011;57(202):367-381. doi:10.3189/002214311796406013
[Published Version]
View
| DOI
| Download Published Version (ext.)
2011 |Published| Book Chapter | IST-REx-ID: 12650
Molnar P, Burlando P, Pellicciotti F. Streamflow Trends in Mountainous Regions. In: Singh V, Singh P, Haritashya U, eds. Encyclopedia of Snow, Ice and Glaciers. 1st ed. Dordrecht: Springer Nature; 2011:1084-1089. doi:10.1007/978-90-481-2642-2_543
View
| DOI