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.

364 Publications


2015 | Journal Article | IST-REx-ID: 1623   OA
Hammar, P., Angermayr, A., Sjostrom, S., Van Der Meer, J., Hellingwerf, K., Hudson, E., & Joensson, H. (2015). Single-cell screening of photosynthetic growth and lactate production by cyanobacteria. Biotechnology for Biofuels, 8(1). https://doi.org/10.1186/s13068-015-0380-2
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1611   OA
Whitfield, J., Zhang, W., Herde, M., Clifton, B., Radziejewski, J., Janovjak, H. L., … Jackson, C. (2015). Construction of a robust and sensitive arginine biosensor through ancestral protein reconstruction. Protein Science, 24(9), 1412–1422. https://doi.org/10.1002/pro.2721
View | DOI | Download (ext.) | PubMed | Europe PMC
 

2015 | Journal Article | IST-REx-ID: 1635   OA
Erbar, M., Maas, J., & Tetali, P. (2015). Discrete Ricci curvature bounds for Bernoulli-Laplace and random transposition models. Annales de La Faculté Des Sciences de Toulouse, 24(4), 781–800. https://doi.org/10.5802/afst.1464
View | DOI | Download (ext.)
 

2015 | Journal Article | IST-REx-ID: 1666   OA
Tugrul, M., Paixao, T., Barton, N. H., & Tkacik, G. (2015). Dynamics of transcription factor binding site evolution. PLoS Genetics, 11(11). https://doi.org/10.1371/journal.pgen.1005639
View | Files available | DOI
 

2015 | Conference Paper | IST-REx-ID: 1685   OA
Cohen Addad, V., & De Mesmay, A. N. (2015). A fixed parameter tractable approximation scheme for the optimal cut graph of a surface (Vol. 9294, pp. 386–398). Presented at the ESA: European Symposium on Algorithms, Patras, Greece: Springer. https://doi.org/10.1007/978-3-662-48350-3_33
View | DOI | Download (ext.)
 

2015 | Conference Paper | IST-REx-ID: 1654   OA
Gazi, P., Pietrzak, K. Z., & Tessaro, S. (2015). Generic security of NMAC and HMAC with input whitening. Presented at the ASIACRYPT: Theory and Application of Cryptology and Information Security, Auckland, New Zealand: Springer. https://doi.org/10.1007/978-3-662-48800-3_4
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1642   OA
Fulek, R., Kynčl, J., Malinovič, I., & Pálvölgyi, D. (2015). Clustered planarity testing revisited. Electronic Journal of Combinatorics, 22(4).
View | Files available
 

2015 | Journal Article | IST-REx-ID: 1700   OA
Van Loon, E., Katsnelson, M., & Lemeshko, M. (2015). Ultralong-range order in the Fermi-Hubbard model with long-range interactions. Physical Review B, 92(8). https://doi.org/10.1103/PhysRevB.92.081106
View | DOI | Download (ext.)
 

2015 | Journal Article | IST-REx-ID: 1712   OA
Ratheesh, A., Belyaeva, V., & Siekhaus, D. E. (2015). Drosophila immune cell migration and adhesion during embryonic development and larval immune responses. Current Opinion in Cell Biology, 36(10), 71–79. https://doi.org/10.1016/j.ceb.2015.07.003
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1813   OA
Schmidt, R., & Lemeshko, M. (2015). Rotation of quantum impurities in the presence of a many-body environment. Physical Review Letters, 114(20). https://doi.org/10.1103/PhysRevLett.114.203001
View | DOI | Download (ext.)
 

2015 | Journal Article | IST-REx-ID: 1818   OA
Polechova, J., & Barton, N. H. (2015). Limits to adaptation along environmental gradients. PNAS, 112(20), 6401–6406. https://doi.org/10.1073/pnas.1421515112
View | DOI | Download (ext.) | PubMed | Europe PMC
 

2015 | Journal Article | IST-REx-ID: 1793   OA
Symonova, O., Topp, C., & Edelsbrunner, H. (2015). DynamicRoots: A software platform for the reconstruction and analysis of growing plant roots. PLoS One, 10(6). https://doi.org/10.1371/journal.pone.0127657
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1868
Park, Y., Do, Y., Altmeyer, S., Lai, Y., & Lee, G. (2015). Early effect in time-dependent, high-dimensional nonlinear dynamical systems with multiple resonances. Physical Review E, 91(2). https://doi.org/10.1103/PhysRevE.91.022906
View | DOI
 

2015 | Journal Article | IST-REx-ID: 1940   OA
Sokolowski, T. R., & Tkacik, G. (2015). Optimizing information flow in small genetic networks. IV. Spatial coupling. Physical Review E Statistical Nonlinear and Soft Matter Physics, 91(6). https://doi.org/10.1103/PhysRevE.91.062710
View | DOI | Download (ext.)
 

2015 | Journal Article | IST-REx-ID: 1938
Pausinger, F., & Steinerberger, S. (2015). On the distribution of local extrema in quantum chaos. Physics Letters, Section A, 379(6), 535–541. https://doi.org/10.1016/j.physleta.2014.12.010
View | DOI
 

2015 | Journal Article | IST-REx-ID: 1849
Himschoot, E., Beeckman, T., Friml, J., & Vanneste, S. (2015). Calcium is an organizer of cell polarity in plants. Biochimica et Biophysica Acta - Molecular Cell Research, 1853(9), 2168–2172. https://doi.org/10.1016/j.bbamcr.2015.02.017
View | DOI
 

2015 | Journal Article | IST-REx-ID: 2025   OA
Kawada, D., Kobayashi, H., Tomita, T., Nakata, E., Nagano, M., Siekhaus, D. E., … Toshimaa, J. (2015). The yeast Arf-GAP Glo3p is required for the endocytic recycling of cell surface proteins. Biochimica et Biophysica Acta - Molecular Cell Research, 1853(1), 144–156. https://doi.org/10.1016/j.bbamcr.2014.10.009
View | Files available | DOI
 

2015 | Thesis | IST-REx-ID: 1399
Pausinger, F. (2015). On the approximation of intrinsic volumes. IST Austria.
View | Files available
 

2015 | Journal Article | IST-REx-ID: 256   OA
Browning, T. D., & Prendiville, S. (2015). Improvements in Birch’s theorem on forms in many variables. Journal Fur Die Reine Und Angewandte Mathematik, 2017(731). https://doi.org/10.1515/crelle-2014-0122
View | DOI | Download (ext.)
 

2015 | Journal Article | IST-REx-ID: 388   OA
Alpichshe, Z., Mahmood, F., Cao, G., & Gedik, N. (2015). Confinement deconfinement transition as an indication of spin liquid type behavior in Na2IrO3. Physical Review Letters, 114(1). https://doi.org/10.1103/PhysRevLett.114.017203
View | DOI | Download (ext.)
 

2015 | Journal Article | IST-REx-ID: 477
Holst, K., Guseva, D., Schindler, S., Sixt, M. K., Braun, A., Chopra, H., … Ponimaskin, E. (2015). The serotonin receptor 5-HT7R regulates the morphology and migratory properties of dendritic cells. Journal of Cell Science, 128(15), 2866–2880. https://doi.org/10.1242/jcs.167999
View | DOI
 

2015 | Journal Article | IST-REx-ID: 5808
Biswas, R., & Bhowmick, P. (2015). Layer the sphere. The Visual Computer, 31(6–8), 787–797. https://doi.org/10.1007/s00371-015-1101-3
View | DOI
 

2015 | Journal Article | IST-REx-ID: 6736   OA
Mondelli, M., Hassani, H., & Urbanke, R. (2015). Scaling exponent of list decoders with applications to polar codes. IEEE Transactions on Information Theory, 61(9), 4838–4851. https://doi.org/10.1109/tit.2015.2453315
View | DOI | Download (ext.) | arXiv
 

2015 | Journal Article | IST-REx-ID: 7070
Yu, J. F., Ramshaw, B. J., Kokanović, I., Modic, K. A., Harrison, N., Day, J., … Cooper, J. R. (2015). Magnetization of underdoped YBa2Cu3Oy above the irreversibility field. Physical Review B, 92(18). https://doi.org/10.1103/physrevb.92.180509
View | DOI
 

2015 | Journal Article | IST-REx-ID: 802
Engel, J., Schmalhorst, P. S., Kruger, A., Muller, C., Buettner, F., & Routier, F. (2015). Characterization of an N-acetylglucosaminyltransferase involved in Aspergillus fumigatus zwitterionic glycoinositolphosphoceramide biosynthesis. Glycobiology, 25(12), 1423–1430. https://doi.org/10.1093/glycob/cwv059
View | DOI | PubMed | Europe PMC
 

2015 | Conference Paper | IST-REx-ID: 782
Alistarh, D., Sauerwald, T., & Vojnović, M. (2015). Lock-Free algorithms under stochastic schedulers (Vol. 2015–July, pp. 251–260). Presented at the PODC: Principles of Distributed Computing, ACM. https://doi.org/10.1145/2767386.2767430
View | DOI
 

2015 | Journal Article | IST-REx-ID: 814
Schur, F., Hagen, W., Rumlová, M., Ruml, T., Müller, B., Kraüsslich, H., & Briggs, J. (2015). Structure of the immature HIV-1 capsid in intact virus particles at 8.8 Å resolution. Nature, 517(7535), 505–508. https://doi.org/10.1038/nature13838
View | DOI
 

2015 | Journal Article | IST-REx-ID: 1591
Adamowski, M., & Friml, J. (2015). PIN-dependent auxin transport: Action, regulation, and evolution. Plant Cell, 27(1), 20–32. https://doi.org/10.1105/tpc.114.134874
View | Files available | DOI | Download (ext.) | PubMed | Europe PMC
 

2015 | Conference Paper | IST-REx-ID: 1510
Franek, P., & Krcál, M. (2015). On computability and triviality of well groups (Vol. 34, pp. 842–856). Presented at the SoCG: Symposium on Computational Geometry, Eindhoven, Netherlands: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPIcs.SOCG.2015.842
View | Files available | DOI
 

2015 | Technical Report | IST-REx-ID: 5430
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-319-v1-1
View | Files available | DOI
 

2015 | Conference Paper | IST-REx-ID: 1541
Ray, R., Gurung, A., Das, B., Bartocci, E., Bogomolov, S., & Grosu, R. (2015). XSpeed: Accelerating reachability analysis on multi-core processors. Presented at the HVC: Haifa Verification Conference, Haifa, Israel: Springer. https://doi.org/10.1007/978-3-319-26287-1_1
View | DOI
 

2015 | Journal Article | IST-REx-ID: 1553
Maiuri, P., Rupprecht, J., Wieser, S., Ruprecht, V., Bénichou, O., Carpi, N., … Voituriez, R. (2015). Actin flows mediate a universal coupling between cell speed and cell persistence. Cell, 161(2), 374–386. https://doi.org/10.1016/j.cell.2015.01.056
View | DOI
 

2015 | Journal Article | IST-REx-ID: 1539   OA
Ruess, J. (2015). Minimal moment equations for stochastic models of biochemical reaction networks with partially finite state space. Journal of Chemical Physics, 143(24). https://doi.org/10.1063/1.4937937
View | Files available | DOI
 

2015 | Conference Paper | IST-REx-ID: 1609   OA
Chatterjee, K., Doyen, L., & Vardi, M. (2015). The complexity of synthesis from probabilistic components. Presented at the ICALP: Automata, Languages and Programming, Kyoto, Japan: Springer. https://doi.org/10.1007/978-3-662-47666-6_9
View | DOI | Download (ext.)
 

2015 | Conference Paper | IST-REx-ID: 1692
Frehse, G., Bogomolov, S., Greitschus, M., Strump, T., & Podelski, A. (2015). Eliminating spurious transitions in reachability with support functions. In Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control (pp. 149–158). Seattle, WA, United States: ACM. https://doi.org/10.1145/2728606.2728622
View | DOI
 

2015 | Journal Article | IST-REx-ID: 1697   OA
Marre, O., Botella Soler, V., Simmons, K., Mora, T., Tkacik, G., & Berry, M. (2015). High accuracy decoding of dynamical motion from a large retinal population. PLoS Computational Biology, 11(7). https://doi.org/10.1371/journal.pcbi.1004304
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1673   OA
Adlam, B., Chatterjee, K., & Nowak, M. (2015). Amplifiers of selection. Proceedings of the Royal Society A: Mathematical, Physical and Engineering Sciences, 471(2181). https://doi.org/10.1098/rspa.2015.0114
View | Files available | DOI
 

2015 | Conference Paper | IST-REx-ID: 1630   OA
Guerrero, P., Jeschke, S., Wimmer, M., & Wonka, P. (2015). Learning shape placements by example (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/2766933
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1678   OA
Inglés Prieto, Á., Gschaider-Reichhart, E., Muellner, M., Nowak, M., Nijman, S., Grusch, M., & Janovjak, H. L. (2015). Light-assisted small-molecule screening against protein kinases. Nature Chemical Biology, 11(12), 952–954. https://doi.org/10.1038/nchembio.1933
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1680
Michaliszyn, J., Otop, J., & Kieroňski, E. (2015). On the decidability of elementary modal logics. ACM Transactions on Computational Logic, 17(1). https://doi.org/10.1145/2817825
View | DOI
 

2015 | Journal Article | IST-REx-ID: 1856   OA
Chatterjee, K., Henzinger, T. A., Jobstmann, B., & Singh, R. (2015). Measuring and synthesizing systems in probabilistic environments. Journal of the ACM, 62(1). https://doi.org/10.1145/2699430
View | Files available | DOI | Download (ext.)
 

2015 | Conference Paper | IST-REx-ID: 1882   OA
Fahrenberg, U., Kretinsky, J., Legay, A., & Traonouez, L. (2015). Compositionality for quantitative specifications (Vol. 8997, pp. 306–324). Presented at the FACS: Formal Aspects of Component Software, Bertinoro, Italy: Springer. https://doi.org/10.1007/978-3-319-15317-9_19
View | DOI | Download (ext.)
 

2015 | Conference Paper | IST-REx-ID: 1729
Cerny, P., Clarke, E., Henzinger, T. A., Radhakrishna, A., Ryzhyk, L., Samanta, R., & Tarrach, T. (2015). From non-preemptive to preemptive scheduling using synchronization synthesis. Presented at the CAV: Computer Aided Verification, San Francisco, CA, United States: Springer. https://doi.org/10.1007/978-3-319-21668-3_11
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1731   OA
Chatterjee, K., Doyen, L., Gimbert, H., & Henzinger, T. A. (2015). Randomness for free. Information and Computation, 245(12), 3–16. https://doi.org/10.1016/j.ic.2015.06.003
View | Files available | DOI | Download (ext.)
 

2015 | Conference Paper | IST-REx-ID: 1661
Chatterjee, K., Henzinger, M., & Loitzenbauer, V. (2015). Improved algorithms for one-pair and k-pair Streett objectives. In Proceedings - Symposium on Logic in Computer Science (Vol. 2015–July). Kyoto, Japan: IEEE. https://doi.org/10.1109/LICS.2015.34
View | Files available | DOI | Download (ext.)
 

2015 | Technical Report | IST-REx-ID: 5435
Chatterjee, K., Komarkova, Z., & Kretinsky, J. (2015). Unifying two views on multiple mean-payoff objectives in Markov decision processes. IST Austria. https://doi.org/10.15479/AT:IST-2015-318-v2-1
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 523   OA
Chatterjee, K., Doyen, L., Randour, M., & Raskin, J. (2015). Looking at mean-payoff and total-payoff through windows. Information and Computation, 242(6), 25–52. https://doi.org/10.1016/j.ic.2015.03.010
View | Files available | DOI | Download (ext.)
 

2015 | Journal Article | IST-REx-ID: 1604
Chatterjee, K., Pavlogiannis, A., & Velner, Y. (2015). Quantitative interprocedural analysis. Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT , 50(1), 539–551. https://doi.org/10.1145/2676726.2676968
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 333
Walter, M., Kravchyk, K., Ibáñez, M., & Kovalenko, M. (2015). Efficient and inexpensive sodium magnesium hybrid battery. Chemistry of Materials, 27(21), 7452–7458. https://doi.org/10.1021/acs.chemmater.5b03531
View | DOI
 

2015 | Journal Article | IST-REx-ID: 2006   OA
Hein, N., Hillar, C., Martin Del Campo Sanchez, A., Sottile, F., & Teitler, Z. (2015). The monotone secant conjecture in the real Schubert calculus. Experimental Mathematics, 24(3), 261–269. https://doi.org/10.1080/10586458.2014.980044
View | DOI | Download (ext.)
 

Filters and Search Terms

year=2015

Search

Filter Publications

Display / Sort

Citation Style: APA

Export / Embed