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: 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 | Conference Paper | IST-REx-ID: 1659
Boker, U., Henzinger, T. A., & Otop, J. (2015). The target discounted-sum problem. In LICS (pp. 750–761). Kyoto, Japan: IEEE. https://doi.org/10.1109/LICS.2015.74
View | Files available | 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.)
 

2015 | Journal Article | IST-REx-ID: 1832   OA
Chakraborty, S., Henzinger, T. A., Sezgin, A., & Vafeiadis, V. (2015). Aspect-oriented linearizability proofs. Logical Methods in Computer Science, 11(1), 20. https://doi.org/10.2168/LMCS-11(1:20)2015
View | Files available | DOI
 

2015 | Technical Report | IST-REx-ID: 5442
Anonymous, 1, Anonymous, 2, Anonymous, 3, & Anonymous, 4. (2015). Algorithms for algebraic path properties in concurrent systems of constant treewidth components. IST Austria.
View | Files available
 

2015 | Conference Paper | IST-REx-ID: 1820
Chatterjee, K., Chmelik, M., Gupta, R., & Kanodia, A. (2015). Optimal cost almost-sure reachability in POMDPs. In Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence (Vol. 5, pp. 3496–3502). Austin, TX, USA: AAAI Press.
View | Files available | Download (ext.) | arXiv
 

2015 | Journal Article | IST-REx-ID: 120
Lee, V., Waitukaitis, S. R., Miskin, M., & Jaeger, H. (2015). Direct observation of particle interactions and clustering in charged granular streams. Nature Physics, 11(9), 733–737. https://doi.org/10.1038/nphys3396
View | DOI
 

2015 | Journal Article | IST-REx-ID: 1314
Fischer, J. L. (2015). A posteriori modeling error estimates for the assumption of perfect incompressibility in the Navier-Stokes equation. SIAM Journal on Numerical Analysis, 53(5), 2178–2205. https://doi.org/10.1137/140966654
View | DOI
 

2015 | Journal Article | IST-REx-ID: 1383
Yu, L., Scholl, S., Doering, A., Yi, Z., Irani, N., Di Rubbo, S., … Russinova, E. (2015). V-ATPase activity in the TGN/EE is required for exocytosis and recycling in Arabidopsis. Nature Plants, 1(7). https://doi.org/10.1038/nplants.2015.94
View | DOI
 

2015 | Journal Article | IST-REx-ID: 1542   OA
Paixao, T., Badkobeh, G., Barton, N. H., Çörüş, D., Dang, D., Friedrich, T., … Trubenova, B. (2015). Toward a unifying framework for evolutionary processes. Journal of Theoretical Biology, 383, 28–43. https://doi.org/10.1016/j.jtbi.2015.07.011
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1547   OA
Mohammadi, F., & Moradi, S. (2015). Resolution of unmixed bipartite graphs. Bulletin of the Korean Mathematical Society, 52(3), 977–986. https://doi.org/10.4134/BKMS.2015.52.3.977
View | DOI | Download (ext.)
 

2015 | Journal Article | IST-REx-ID: 1554   OA
Liao, C., Smet, W., Brunoud, G., Yoshida, S., Vernoux, T., & Weijers, D. (2015). Reporters for sensitive and quantitative measurement of auxin response. Nature Methods, 12(3), 207–210. https://doi.org/10.1038/nmeth.3279
View | DOI | Download (ext.) | PubMed | Europe PMC
 

2015 | Journal Article | IST-REx-ID: 1559   OA
Ibsen-Jensen, R., Chatterjee, K., & Nowak, M. (2015). Computational complexity of ecological and evolutionary spatial dynamics. PNAS, 112(51), 15636–15641. https://doi.org/10.1073/pnas.1511366112
View | DOI | Download (ext.) | PubMed | Europe PMC
 

2015 | Journal Article | IST-REx-ID: 1561
Heger, K., Kober, M., Rieß, D., Drees, C., De Vries, I., Bertossi, A., … Schmidt Supprian, M. (2015). A novel Cre recombinase reporter mouse strain facilitates selective and efficient infection of primary immune cells with adenoviral vectors. European Journal of Immunology, 45(6), 1614–1620. https://doi.org/10.1002/eji.201545457
View | DOI
 

2015 | Journal Article | IST-REx-ID: 1566   OA
Gómez Sicilia, À., Sikora, M. K., Cieplak, M., & Carrión Vázquez, M. (2015). An exploration of the universe of polyglutamine structures. PLoS Computational Biology, 11(10). https://doi.org/10.1371/journal.pcbi.1004541
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1504   OA
Bao, Z., Lin, L., Pan, G., & Zhou, W. (2015). Spectral statistics of large dimensional spearman s rank correlation matrix and its application. Annals of Statistics, 43(6), 2588–2623. https://doi.org/10.1214/15-AOS1353
View | DOI | Download (ext.)
 

2015 | Journal Article | IST-REx-ID: 1509   OA
Michalko, J., Dravecka, M., Bollenbach, T., & Friml, J. (2015). Embryo-lethal phenotypes in early abp1 mutants are due to disruption of the neighboring BSM gene. F1000 Research , 4. https://doi.org/10.12688/f1000research.7143.1
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1530
Bierbaum, V., & Klumpp, S. (2015). Impact of the cell division cycle on gene circuits. Physical Biology, 12(6). https://doi.org/10.1088/1478-3975/12/6/066003
View | DOI
 

2015 | Journal Article | IST-REx-ID: 1535
Vandael, D. H., Marcantoni, A., & Carbone, E. (2015). Cav1.3 channels as key regulators of neuron-like firings and catecholamine release in chromaffin cells. Current Molecular Pharmacology, 8(2), 149–161. https://doi.org/10.2174/1874467208666150507105443
View | DOI
 

2015 | Journal Article | IST-REx-ID: 1573   OA
Chen, T., Hainzl, C., Pavlović, N., & Seiringer, R. (2015). Unconditional uniqueness for the cubic gross pitaevskii hierarchy via quantum de finetti. Communications on Pure and Applied Mathematics, 68(10), 1845–1884. https://doi.org/10.1002/cpa.21552
View | DOI | Download (ext.)
 

2015 | Journal Article | IST-REx-ID: 1578
Cao, T., Edelsbrunner, H., & Tan, T. (2015). Triangulations from topologically correct digital Voronoi diagrams. Computational Geometry, 48(7), 507–519. https://doi.org/10.1016/j.comgeo.2015.04.001
View | DOI
 

Filters and Search Terms

year=2015

Search

Filter Publications

Display / Sort

Citation Style: APA

Export / Embed