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.
543 Publications
2014 | Journal Article | IST-REx-ID: 1914
Sauer, M., & Friml, J. (2014). Plant biology: Gatekeepers of the road to protein perdition. Current Biology. Cell Press. https://doi.org/10.1016/j.cub.2013.11.019
View
| DOI
2014 | Journal Article | IST-REx-ID: 1935 | 
Giuliani, A., Lieb, É., & Seiringer, R. (2014). Formation of stripes and slabs near the ferromagnetic transition. Communications in Mathematical Physics. Springer. https://doi.org/10.1007/s00220-014-1923-2
[Published Version]
View
| Files available
| DOI
| arXiv
2014 | Journal Article | IST-REx-ID: 2013 |
Lin, S., Uhler, C., Sturmfels, B., & Bühlmann, P. (2014). Hypersurfaces and their singularities in partial correlation testing. Foundations of Computational Mathematics. Springer. https://doi.org/10.1007/s10208-014-9205-0
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
2014 | Journal Article | IST-REx-ID: 2154 |
Matoušek, J., & Wagner, U. (2014). On Gromov’s method of selecting heavily covered points. Discrete & Computational Geometry. Springer. https://doi.org/10.1007/s00454-014-9584-7
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
2014 | Journal Article | IST-REx-ID: 2225 |
Bloemendal, A., Erdös, L., Knowles, A., Yau, H., & Yin, J. (2014). Isotropic local laws for sample covariance and generalized Wigner matrices. Electronic Journal of Probability. Institute of Mathematical Statistics. https://doi.org/10.1214/EJP.v19-3054
[Published Version]
View
| Files available
| DOI
2014 | Journal Article | IST-REx-ID: 2234 |
Brázdil, T., Brožek, V., Chatterjee, K., Forejt, V., & Kučera, A. (2014). Markov decision processes with multiple long-run average objectives. Logical Methods in Computer Science. International Federation of Computational Logic. https://doi.org/10.2168/LMCS-10(1:13)2014
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
2014 | Conference Paper | IST-REx-ID: 2236 |
Jetchev, D., & Pietrzak, K. Z. (2014). How to fake auxiliary input. In Y. Lindell (Ed.) (Vol. 8349, pp. 566–590). Presented at the TCC: Theory of Cryptography Conference, San Diego, USA: Springer. https://doi.org/10.1007/978-3-642-54242-8_24
[Submitted Version]
View
| Files available
| DOI
| Download Submitted Version (ext.)
2014 | Journal Article | IST-REx-ID: 2407 |
Lieb, É., & Seiringer, R. (2014). Equivalence of two definitions of the effective mass of a polaron. Journal of Statistical Physics. Springer. https://doi.org/10.1007/s10955-013-0791-z
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
2014 | Journal Article | IST-REx-ID: 2699 |
Erdös, L., Bourgade, P., & Yau, H. (2014). Universality of general β-ensembles. Duke Mathematical Journal. Duke University Press. https://doi.org/10.1215/00127094-2649752
[Preprint]
View
| DOI
| Download Preprint (ext.)
2014 | Journal Article | IST-REx-ID: 348
Cadavid, D., Ibáñez, M., Anselmi Tamburini, U., Durá, O., De La Torre, M., & Cabot, A. (2014). Thermoelectric properties of bottom up assembled Bi2S 3-xTex nanocomposites. International Journal of Nanotechnology. Inderscience Enterprises Limited . https://doi.org/10.1504/IJNT.2014.063787
View
| DOI
2014 | Conference Paper | IST-REx-ID: 2216 |
Chatterjee, K., Ibsen-Jensen, R., & Majumdar, R. (2014). Edit distance for timed automata (pp. 303–312). Presented at the HSCC: Hybrid Systems - Computation and Control, Berlin, Germany: Springer. https://doi.org/10.1145/2562059.2562141
[Submitted Version]
View
| Files available
| DOI
| Download Submitted Version (ext.)
2014 | Technical Report | IST-REx-ID: 5419 |
Chatterjee, K., Ibsen-Jensen, R., & Pavlogiannis, A. (2014). Improved algorithms for reachability and shortest path on low tree-width graphs. IST Austria. https://doi.org/10.15479/AT:IST-2014-187-v1-1
[Published Version]
View
| Files available
| DOI
2014 | Technical Report | IST-REx-ID: 5420 |
Chatterjee, K., & Ibsen-Jensen, R. (2014). The value 1 problem for concurrent mean-payoff games. IST Austria. https://doi.org/10.15479/AT:IST-2014-191-v1-1
[Published Version]
View
| Files available
| DOI
2014 | Journal Article | IST-REx-ID: 6739 |
Mondelli, M., Hassani, H., & Urbanke, R. (2014). From polar to Reed-Muller codes: A technique to improve the finite-length performance. IEEE Transactions on Communications. IEEE. https://doi.org/10.1109/tcomm.2014.2345069
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2014 | Book | IST-REx-ID: 6853
Edelsbrunner, H. (2014). A Short Course in Computational Geometry and Topology (1st ed.). Cham: Springer Nature. https://doi.org/10.1007/978-3-319-05957-0
View
| Files available
| DOI
2014 | Conference Paper | IST-REx-ID: 2167 |
Daca, P., Henzinger, T. A., Krenn, W., & Nickovic, D. (2014). Compositional specifications for IOCO testing. In IEEE 7th International Conference on Software Testing, Verification and Validation. Cleveland, USA: IEEE. https://doi.org/10.1109/ICST.2014.50
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2013 | Book Chapter | IST-REx-ID: 10899
Barton, N. H. (2013). Differentiation. In Encyclopedia of Biodiversity (2nd ed., pp. 508–515). Elsevier. https://doi.org/10.1016/b978-0-12-384719-5.00031-9
View
| DOI
2013 | Conference Paper | IST-REx-ID: 11856 |
Henzinger, M. H., Krinninger, S., & Nanongkai, D. (2013). Dynamic approximate all-pairs shortest paths: Breaking the O(mn) barrier and derandomization. In 54th Annual Symposium on Foundations of Computer Science (pp. 538–547). Berkeley, CA, United States: Institute of Electrical and Electronics Engineers. https://doi.org/10.1109/focs.2013.64
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2013 | Conference Paper | IST-REx-ID: 2209
Biedl, T., Held, M., & Huber, S. (2013). Recognizing straight skeletons and Voronoi diagrams and reconstructing their input (pp. 37–46). Presented at the ISVD: Voronoi Diagrams in Science and Engineering, St. Petersburg, Russia: IEEE. https://doi.org/10.1109/ISVD.2013.11
View
| DOI
2013 | Conference Paper | IST-REx-ID: 2244 |
Matoušek, J., Sedgwick, E., Tancer, M., & Wagner, U. (2013). Untangling two systems of noncrossing curves. Presented at the GD: Graph Drawing and Network Visualization, Bordeaux, France: Springer. https://doi.org/10.1007/978-3-319-03841-4_41
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv