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.

358 Publications


2015 | Journal Article | IST-REx-ID: 2166   OA
Erdös, L., & Knowles, A. (2015). The Altshuler-Shklovskii formulas for random band matrices I: the unimodular case. Communications in Mathematical Physics, 333(3), 1365–1416. https://doi.org/10.1007/s00220-014-2119-5
View | DOI | Download (ext.)
 

2015 | Conference Paper | IST-REx-ID: 1675
Dziembowski, S., Faust, S., Kolmogorov, V., & Pietrzak, K. Z. (2015). Proofs of space. Presented at the CRYPTO: International Cryptology Conference, Santa Barbara, CA, United States: Springer. https://doi.org/10.1007/978-3-662-48000-7_29
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1598
Chatterjee, K., Joglekar, M., & Shah, N. (2015). Average case analysis of the classical algorithm for Markov decision processes with Büchi objectives. Theoretical Computer Science, 573(3), 71–89. https://doi.org/10.1016/j.tcs.2015.01.050
View | Files available | DOI | Download (ext.)
 

2015 | Book Chapter | IST-REx-ID: 258
Browning, T. D. (2015). A survey of applications of the circle method to rational points. In Arithmetic and Geometry (pp. 89–113). Cambridge University Press. https://doi.org/10.1017/CBO9781316106877.009
View | DOI
 

2015 | Conference Paper | IST-REx-ID: 1512
Goaoc, X., Paták, P., Patakova, Z., Tancer, M., & Wagner, U. (2015). Bounding Helly numbers via Betti numbers (Vol. 34, pp. 507–521). Presented at the SoCG: Symposium on Computational Geometry, Eindhoven, Netherlands: ACM. https://doi.org/10.4230/LIPIcs.SOCG.2015.507
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 532
Li, W., Ma, M., Feng, Y., Li, H., Wang, Y., Ma, Y., … Guo, H. (2015). EIN2-directed translational regulation of ethylene signaling in arabidopsis. Cell, 163(3), 670–683. https://doi.org/10.1016/j.cell.2015.09.037
View | DOI
 

2015 | Conference Paper | IST-REx-ID: 1656
Chatterjee, K., Henzinger, T. A., & Otop, J. (2015). Nested weighted automata. In Proceedings - Symposium on Logic in Computer Science (Vol. 2015–July, p. 7174926). Kyoto, Japan: IEEE. https://doi.org/10.1109/LICS.2015.72
View | Files available | DOI | arXiv
 

2015 | Technical Report | IST-REx-ID: 5437   OA
Chatterjee, K., Ibsen-Jensen, R., & Pavlogiannis, A. (2015). Faster algorithms for quantitative verification in constant treewidth graphs. IST Austria. https://doi.org/10.15479/AT:IST-2015-330-v2-1
View | Files available | DOI
 

2015 | Technical Report | IST-REx-ID: 5444   OA
Reiter, J., Makohon-Moore, A., Gerold, J., Bozic, I., Chatterjee, K., Iacobuzio-Donahue, C., … Nowak, M. (2015). Reconstructing robust phylogenies of metastatic cancers. IST Austria. https://doi.org/10.15479/AT:IST-2015-399-v1-1
View | Files available | DOI
 

2015 | Technical Report | IST-REx-ID: 5432
Chatterjee, K., Ibsen-Jensen, R., & Nowak, M. (2015). The complexity of evolutionary games on graphs. IST Austria. https://doi.org/10.15479/AT:IST-2015-323-v1-1
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 594
Sainsbury, S., Bernecky, C. A., & Cramer, P. (2015). Structural basis of transcription initiation by RNA polymerase II. Nature Reviews Molecular Cell Biology, 16(3), 129–143. https://doi.org/10.1038/nrm3952
View | DOI
 

2015 | Journal Article | IST-REx-ID: 6118   OA
Fenk, L. A., & de Bono, M. (2015). Environmental CO2 inhibits Caenorhabditis elegans egg-laying by modulating olfactory neurons and evokes widespread changes in neural activity. Proceedings of the National Academy of Sciences, 112(27), E3525–E3534. https://doi.org/10.1073/pnas.1423808112
View | Files available | DOI | PubMed | Europe PMC
 

2015 | Journal Article | IST-REx-ID: 6120   OA
Laurent, P., Soltesz, Z., Nelson, G. M., Chen, C., Arellano-Carbajal, F., Levy, E., & de Bono, M. (2015). Decoding a neural circuit controlling global animal state in C. elegans. ELife, 4, e04241. https://doi.org/10.7554/elife.04241
View | Files available | DOI | PubMed | Europe PMC
 

2015 | Conference Paper | IST-REx-ID: 1637
Kolmogorov, V., Krokhin, A., & Rolinek, M. (2015). The complexity of general-valued CSPs (pp. 1246–1258). Presented at the FOCS: Foundations of Computer Science, Berkeley, CA, United States: IEEE. https://doi.org/10.1109/FOCS.2015.80
View | Files available | DOI | Download (ext.)
 

2015 | Conference Paper | IST-REx-ID: 784
Alistarh, D.-A., Ballani, H., Costa, P., Funnell, A., Benjamin, J., Watts, P., & Thomsen, B. (2015). A high-radix, low-latency optical switch for data centers (pp. 367–368). Presented at the SIGCOMM: Special Interest Group on Data Communication, London, United Kindgdom: ACM. https://doi.org/10.1145/2785956.2790035
View | DOI
 

2015 | Conference Paper | IST-REx-ID: 1714
Chatterjee, K., Pavlogiannis, A., Kößler, A., & Schmid, U. (2015). A framework for automated competitive analysis of on-line scheduling of firm-deadline tasks. In Real-Time Systems Symposium (Vol. 2015, pp. 118–127). Rome, Italy: IEEE. https://doi.org/10.1109/RTSS.2014.9
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 99   OA
Higginbotham, A. P., Albrecht, S. M., Kiršanskas, G., Chang, W., Kuemmeth, F., Krogstrup, P., … Marcus, C. (2015). Parity lifetime of bound states in a proximitized semiconductor nanowire. Nature Physics, 11(12), 1017–1021. https://doi.org/10.1038/nphys3461
View | DOI | Download (ext.) | arXiv
 

2015 | Journal Article | IST-REx-ID: 1311
Fischer, J. L., & Grün, G. (2015). Finite speed of propagation and waiting times for the stochastic porous medium equation: A unifying approach. SIAM Journal on Mathematical Analysis, 47(1), 825–854. https://doi.org/10.1137/140960578
View | DOI
 

2015 | Journal Article | IST-REx-ID: 1316
Fischer, J. L. (2015). Global existence of renormalized solutions to entropy-dissipating reaction–diffusion systems. Archive for Rational Mechanics and Analysis, 218(1), 553–587. https://doi.org/10.1007/s00205-015-0866-x
View | DOI
 

2015 | Journal Article | IST-REx-ID: 259
Browning, T. D., & Vishe, P. (2015). Rational points on cubic hypersurfaces over F_q(t) . Geometric and Functional Analysis, 25(3), 671–732. https://doi.org/10.1007/s00039-015-0328-5
View | DOI
 

2015 | Journal Article | IST-REx-ID: 362
Lu, Z., Ibanez, M., Antolín, A., Genç, A., Shavel, A., Contreras, S., … Cabot, A. (2015). Size and aspect ratio control of Pd inf 2 inf Sn nanorods and their water denitration properties. Langmuir, 31(13), 3952–3957. https://doi.org/10.1021/la504906q
View | DOI
 

2015 | Journal Article | IST-REx-ID: 886
Kondrashov, D., & Kondrashov, F. (2015). Topological features of rugged fitness landscapes in sequence space. Trends in Genetics, 31(1), 24–33. https://doi.org/10.1016/j.tig.2014.09.009
View | DOI
 

2015 | Journal Article | IST-REx-ID: 906
Arkhipova, O., Meer, M., Mikoulinskaia, G., Zakharova, M., Galushko, A., Akimenko, V., & Kondrashov, F. (2015). Recent origin of the methacrylate redox system in Geobacter sulfurreducens AM-1 through horizontal gene transfer. PLoS One, 10(5). https://doi.org/10.1371/journal.pone.0125888
View | DOI
 

2015 | Journal Article | IST-REx-ID: 982   OA
Serbyn, M., Papić, Z., & Abanin, D. (2015). Criterion for many-body localization-delocalization phase transition. Physical Review X, 5(4). https://doi.org/10.1103/PhysRevX.5.041047
View | DOI | Download (ext.)
 

2015 | Conference Paper | IST-REx-ID: 1424   OA
Kwitt, R., Huber, S., Niethammer, M., Lin, W., & Bauer, U. (2015). Statistical topological data analysis-A kernel perspective (Vol. 28, pp. 3070–3078). Presented at the NIPS: Neural Information Processing Systems, Montreal, Canada: Neural Information Processing Systems.
View | Download (ext.)
 

2015 | Conference Paper | IST-REx-ID: 1474   OA
Ferrara, A., Fuchsbauer, G., Liu, B., & Warinschi, B. (2015). Policy privacy in cryptographic access control (pp. 46–60). Presented at the CSF: Computer Security Foundations, Verona, Italy: IEEE. https://doi.org/10.1109/CSF.2015.11
View | DOI | Download (ext.)
 

2015 | Journal Article | IST-REx-ID: 1513   OA
Pal, A., & Vicoso, B. (2015). The X chromosome of hemipteran insects: Conservation, dosage compensation and sex-biased expression. Genome Biology and Evolution, 7(12), 3259–3268. https://doi.org/10.1093/gbe/evv215
View | Files available | DOI
 

2015 | Conference Paper | IST-REx-ID: 1520
Bharaj, G., Coros, S., Thomaszewski, B., Tompkin, J., Bickel, B., & Pfister, H. (2015). Computational design of walking automata (pp. 93–100). Presented at the SCA: ACM SIGGRAPH/Eurographics Symposium on Computer animation, Los Angeles, CA, United States: ACM. https://doi.org/10.1145/2786784.2786803
View | DOI
 

2015 | Journal Article | IST-REx-ID: 1525   OA
Bauer, B., Blechl, G., Bock, C., Danowski, P., Ferus, A., Graschopf, A., … Welzig, E. (2015). Arbeitsgruppe „Nationale Strategie“ des Open Access Network Austria OANA. VÖB Mitteilungen, 68(3), 580–607. https://doi.org/10.5281/zenodo.33178
View | Files available | DOI | Download (ext.)
 

2015 | Conference Paper | IST-REx-ID: 1498   OA
Dragoi, C., Henzinger, T. A., & Zufferey, D. (2015). The need for language support for fault-tolerant distributed systems. Presented at the SNAPL: Summit oN Advances in Programming Languages, Asilomar, CA, United States: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPIcs.SNAPL.2015.90
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1501   OA
Chatterjee, K., Chmelik, M., & Daca, P. (2015). CEGAR for compositional analysis of qualitative properties in Markov decision processes. Formal Methods in System Design, 47(2), 230–264. https://doi.org/10.1007/s10703-015-0235-2
View | Files available | DOI | Download (ext.)
 

2015 | Journal Article | IST-REx-ID: 1506   OA
Bao, Z., Pan, G., & Zhou, W. (2015). The logarithmic law of random determinant. Bernoulli, 21(3), 1600–1628. https://doi.org/10.3150/14-BEJ615
View | DOI | Download (ext.)
 

2015 | Book Chapter | IST-REx-ID: 1544   OA
Nguyen, P., Field, C., Groen, A., Mitchison, T., & Loose, M. (2015). Using supported bilayers to study the spatiotemporal organization of membrane-bound proteins. In Building a Cell from its Components Parts (Vol. 128, pp. 223–241). Academic Press. https://doi.org/10.1016/bs.mcb.2015.01.007
View | DOI | Download (ext.) | PubMed | Europe PMC
 

2015 | Book Chapter | IST-REx-ID: 1549   OA
Mckenzie, C., Sanchez Romero, I., & Janovjak, H. L. (2015). Flipping the photoswitch: Ion channels under light control. In Novel chemical tools to study ion channel biology (Vol. 869, pp. 101–117). Springer. https://doi.org/10.1007/978-1-4939-2845-3_6
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1551   OA
El Masri, L., Branca, A., Sheppard, A., Papkou, A., Laehnemann, D., Guenther, P., … Schulenburg, H. (2015). Host–pathogen coevolution: The selective advantage of Bacillus thuringiensis virulence and its cry toxin genes. PLoS Biology, 13(6), 1–30. https://doi.org/10.1371/journal.pbio.1002169
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1556   OA
Jia, Y., Tian, H., Li, H., Yu, Q., Wang, L., Friml, J., & Ding, Z. (2015). The Arabidopsis thaliana elongator complex subunit 2 epigenetically affects root development. Journal of Experimental Botany, 66(15), 4631–4642. https://doi.org/10.1093/jxb/erv230
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1563
Graff, G., & Pilarczyk, P. (2015). An algorithmic approach to estimating the minimal number of periodic points for smooth self-maps of simply-connected manifolds. Topological Methods in Nonlinear Analysis, 45(1), 273–286. https://doi.org/10.12775/TMNA.2015.014
View | DOI
 

2015 | Conference Paper | IST-REx-ID: 1568
Dunaeva, O., Edelsbrunner, H., Lukyanov, A., Machin, M., & Malkova, D. (2015). The classification of endoscopy images with persistent homology. In Proceedings - 16th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (p. 7034731). Timisoara, Romania: IEEE. https://doi.org/10.1109/SYNASC.2014.81
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1570   OA
Der, R., & Martius, G. S. (2015). Novel plasticity rule can explain the development of sensorimotor intelligence. PNAS, 112(45), E6224–E6232. https://doi.org/10.1073/pnas.1508400112
View | DOI | Download (ext.) | PubMed | Europe PMC
 

2015 | Journal Article | IST-REx-ID: 1575   OA
Chabaud, M., Heuzé, M., Bretou, M., Vargas, P., Maiuri, P., Solanes, P., … Lennon Duménil, A. (2015). Cell migration and antigen capture are antagonistic processes coupled by myosin II in dendritic cells. Nature Communications, 6. https://doi.org/10.1038/ncomms8526
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1582
Biedl, T., Held, M., Huber, S., Kaaser, D., & Palfrader, P. (2015). Weighted straight skeletons in the plane. Computational Geometry: Theory and Applications, 48(2), 120–133. https://doi.org/10.1016/j.comgeo.2014.08.006
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1587
Amaro, P., Fratini, F., Safari, L., Antognini, A., Indelicato, P., Pohl, R., & Santos, J. (2015). Quantum interference shifts in laser spectroscopy with elliptical polarization. Physical Review A - Atomic, Molecular, and Optical Physics, 92(6). https://doi.org/10.1103/PhysRevA.92.062506
View | DOI
 

2015 | Conference Paper | IST-REx-ID: 1594
Forejt, V., Krčál, J., & Kretinsky, J. (2015). Controller synthesis for MDPs and frequency LTL\GU (Vol. 9450, pp. 162–177). Presented at the LPAR: Logic for Programming, Artificial Intelligence, and Reasoning, Suva, Fiji: Springer. https://doi.org/10.1007/978-3-662-48899-7_12
View | DOI
 

2015 | Conference Paper | IST-REx-ID: 1626
Martin, T., Umetani, N., & Bickel, B. (2015). OmniAD: Data-driven omni-directional aerodynamics (Vol. 34). Presented at the SIGGRAPH: Special Interest Group on Computer Graphics and Interactive Techniques, Los Angeles, CA, United States: ACM. https://doi.org/10.1145/2766919
View | DOI
 

2015 | Journal Article | IST-REx-ID: 1614   OA
Strüber, M., Jonas, P. M., & Bartos, M. (2015). Strength and duration of perisomatic GABAergic inhibition depend on distance between synaptically connected cells. PNAS, 112(4), 1220–1225. https://doi.org/10.1073/pnas.1412996112
View | Files available | DOI | PubMed | Europe PMC
 

2015 | Conference Paper | IST-REx-ID: 1690
Bak, S., Bogomolov, S., & Johnson, T. (2015). HYST: A source transformation and translation tool for hybrid automaton models (pp. 128–133). Presented at the HSCC: Hybrid Systems - Computation and Control, Seattle, WA, United States: Springer. https://doi.org/10.1145/2728606.2728630
View | DOI
 

2015 | Journal Article | IST-REx-ID: 1695   OA
Kaczmarczyk, J., Schickling, T., & Bünemann, J. (2015). Evaluation techniques for Gutzwiller wave functions in finite dimensions. Physica Status Solidi (B): Basic Solid State Physics, 252(9), 2059–2071. https://doi.org/10.1002/pssb.201552082
View | DOI | Download (ext.)
 

2015 | Journal Article | IST-REx-ID: 1703
Broadhurst, L., Fifield, G., Vanzella, B., & Pickup, M. (2015). An evaluation of the genetic structure of seed sources and the maintenance of genetic diversity during establishment of two yellow box (Eucalyptus melliodora) seed-production areas. Australian Journal of Botany, 63(5), 455–466. https://doi.org/10.1071/BT15023
View | DOI
 

2015 | Journal Article | IST-REx-ID: 1638
Sazanov, L. A. (2015). A giant molecular proton pump: structure and mechanism of respiratory complex I. Nature Reviews Molecular Cell Biology, 16(6), 375–388. https://doi.org/10.1038/nrm3997
View | DOI
 

2015 | Journal Article | IST-REx-ID: 1640   OA
Šimášková, M., O’Brien, J., Khan-Djamei, M., Van Noorden, G., Ötvös, K., Vieten, A., … Benková, E. (2015). Cytokinin response factors regulate PIN-FORMED auxin transporters. Nature Communications, 6. https://doi.org/10.1038/ncomms9717
View | Files available | DOI
 

Filters and Search Terms

year=2015

Search

Filter Publications

Display / Sort

Citation Style: APA

Export / Embed