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.
1621 Publications
2012 |Published| Conference Paper | IST-REx-ID: 10905 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Chatterjee K, Henzinger MH, Krinninger S, Nanongkai D. 2012. Polynomial-time algorithms for energy games with special weight structures. Algorithms – ESA 2012. ESA: European Symposium on Algorithms, LNCS, vol. 7501, 301–312.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2012 |Published| Conference Paper | IST-REx-ID: 10906 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Grebenshchikov S, Gupta A, Lopes NP, Popeea C, Rybalchenko A. 2012. HSF(C): A software verifier based on Horn clauses. Tools and Algorithms for the Construction and Analysis of Systems. TACAS: Tools and Algorithms for the Construction and Analysis of SystemsLNCS, LNCS, vol. 7214, 549–551.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2012 |Published| Book Chapter | IST-REx-ID: 5745 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Gupta A. 2012.Improved Single Pass Algorithms for Resolution Proof Reduction. In: Automated Technology for Verification and Analysis. vol. 7561, 107–121.
View
| Files available
| DOI
2012 |Published| Conference Paper | IST-REx-ID: 3251 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
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.
[Submitted Version]
View
| Files available
| DOI
2012 |Published| Conference Paper | IST-REx-ID: 3127 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Quadrianto N, Lampert C, Chen C. 2012. The most persistent soft-clique in a set of sampled graphs. Proceedings of the 29th International Conference on Machine Learning. ICML: International Conference on Machine Learning, 211–218.
[Preprint]
View
| Download Preprint (ext.)
2011 |Published| Journal Article | IST-REx-ID: 1050 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Bai J, Ahmed E, Beser B, Guan Y, Kotochigova S, Lyyra M, Ashman S, Wolfe C, Huennekens J, Xie F, Li D, Li L, Tamanis M, Ferber R, Drozdova A, Pazyuk E, Stolyarov A, Danzl JG, Nägerl H, Bouloufa N, Dulieu O, Amiot C, Salami H, Bergeman T. 2011. Global analysis of data on the spin-orbit-coupled A 1Σu+ and b 3Πu inf states of Cs2. Physical Review A - Atomic, Molecular, and Optical Physics. 83(3).
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2011 |Published| Journal Article | IST-REx-ID: 1054 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Haller E, Rabie M, Mark M, Danzl JG, Hart R, Lauber K, Pupillo G, Nägerl H. 2011. Three-body correlation functions and recombination rates for bosons in three dimensions and one dimension. Physical Review Letters. 107(23).
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2011 |Published| Book Chapter | IST-REx-ID: 2116 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Maas J, Van Neerven J. 2011.Gradient estimates and domain identification for analytic Ornstein-Uhlenbeck operators. In: Parabolic Problems. vol. 80, 463–477.
View
| DOI
| Download (ext.)
2011 |Published| Conference Paper | IST-REx-ID: 2321 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Frank R, Laptev A, Seiringer R. 2011. A sharp bound on eigenvalues of Schrödinger operators on the halfline with complex-valued potentials. OTAMP: Operator Theory, Analysis and Mathematical Physics, Operator Theory: Advances and Applications, vol. 214, 39–44.
View
| DOI
| Download (ext.)
2011 |Published| Conference Paper | IST-REx-ID: 2975
Camenisch J, Krenn S, Shoup V. 2011. A Framework for Practical Universally Composable Zero-Knowledge Protocols. ASIACRYPT: Theory and Application of Cryptology and Information Security, LNCS, vol. 7073, 449–467.
View
| DOI
| Download (ext.)
2011 |Published| Journal Article | IST-REx-ID: 3089
Zhang J, Vanneste S, Brewer P, Michniewicz M, Grones P, Kleine Vehn J, Löfke C, Teichmann T, Bielach A, Cannoot B, Hoyerová K, Chen X, Xue H, Benková E, Zažímalová E, Friml J. 2011. Inositol trisphosphate-induced ca^2+ signaling modulates auxin transport and pin polarity. Developmental Cell. 20(6), 855–866.
View
| DOI
2011 |Published| Journal Article | IST-REx-ID: 3090
Mravec J, Petrášek J, Li N, Boeren S, Karlova R, Kitakura S, Pařezová M, Naramoto S, Nodzyński T, Dhonukshe P, Bednarek S, Zažímalová E, De Vries S, Friml J. 2011. Cell plate restricted association of DRP1A and PIN proteins is required for cell polarity establishment in arabidopsis. Current Biology. 21(12), 1055–1060.
View
| DOI
2011 |Published| Conference Paper | IST-REx-ID: 3204
Kolmogorov V. 2011. Submodularity on a tree: Unifying Submodularity on a tree: Unifying L-convex and bisubmodular functions convex and bisubmodular functions. MFCS: Mathematical Foundations of Computer Science, LNCS, vol. 6907, 400–411.
View
| DOI
| Download (ext.)
2011 |Published| Book Chapter | IST-REx-ID: 3335 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Van De Weygaert R, Vegter G, Edelsbrunner H, Jones B, Pranav P, Park C, Hellwing W, Eldering B, Kruithof N, Bos P, Hidding J, Feldbrugge J, Ten Have E, Van Engelen M, Caroli M, Teillaud M. 2011.Alpha, Betti and the Megaparsec Universe: On the topology of the Cosmic Web. In: Transactions on Computational Science XIV. LNCS, vol. 6970, 60–101.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv