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: 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.)
 

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: 7739   OA
Santure, A. W., Poissant, J., De Cauwer, I., van Oers, K., Robinson, M. R., Quinn, J. L., … Slate, J. (2015). Replicated analysis of the genetic architecture of quantitative traits in two wild great tit populations. Molecular Ecology, 24, 6148–6162. https://doi.org/10.1111/mec.13452
View | DOI | Download (ext.)
 

2015 | Journal Article | IST-REx-ID: 7741   OA
Adams, M. J., Robinson, M. R., Mannarelli, M.-E., & Hatchwell, B. J. (2015). Social genetic and social environment effects on parental and helper care in a cooperatively breeding bird. Proceedings of the Royal Society B: Biological Sciences, 282(1810), 20150689. https://doi.org/10.1098/rspb.2015.0689
View | DOI | Download (ext.) | PubMed | Europe PMC
 

2015 | Journal Article | IST-REx-ID: 7765
Goodrich, C. P., Liu, A. J., & Nagel, S. R. (2015). The principle of independent bond-level response: Tuning by pruning to exploit disorder for global behavior. Physical Review Letters, 114(22), 225501. https://doi.org/10.1103/physrevlett.114.225501
View | DOI
 

2015 | Conference Paper | IST-REx-ID: 1647   OA
Fuchsbauer, G., Hanser, C., & Slamanig, D. (2015). Practical round-optimal blind signatures in the standard model (Vol. 9216, pp. 233–253). Presented at the CRYPTO: International Cryptology Conference, Santa Barbara, CA, United States: Springer. https://doi.org/10.1007/978-3-662-48000-7_12
View | Files available | DOI | Download (ext.)
 

2015 | Journal Article | IST-REx-ID: 1577   OA
Carvalho, A., Vicoso, B., Russo, C., Swenor, B., & Clark, A. (2015). Birth of a new gene on the Y chromosome of Drosophila melanogaster. PNAS, 112(40), 12450–12455. https://doi.org/10.1073/pnas.1516543112
View | DOI | Download (ext.) | PubMed | Europe PMC
 

2015 | Journal Article | IST-REx-ID: 1837   OA
Kühnen, J., Braunshier, P., Schwegel, M., Kuhlmann, H., & Hof, B. (2015). Subcritical versus supercritical transition to turbulence in curved pipes. Journal of Fluid Mechanics, 770(5), R3. https://doi.org/10.1017/jfm.2015.184
View | DOI | Download (ext.) | arXiv
 

2015 | Conference Paper | IST-REx-ID: 1659   OA
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: 1851   OA
Priklopil, T., Kisdi, E., & Gyllenberg, M. (2015). Evolutionarily stable mating decisions for sequentially searching females and the stability of reproductive isolation by assortative mating. Evolution, 69(4), 1015–1026. https://doi.org/10.1111/evo.12618
View | Files available | DOI
 

2015 | Conference Paper | IST-REx-ID: 1628   OA
Schumacher, C., Bickel, B., Rys, J., Marschner, S., Daraio, C., & Gross, M. (2015). Microstructures to control elasticity in 3D printing (Vol. 34, p. 136). Presented at the SIGGRAPH: Special Interest Group on Computer Graphics and Interactive Techniques, Los Angeles, CA, USA: ACM. https://doi.org/10.1145/2766926
View | DOI | Download (ext.)
 

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: 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: 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
 

2015 | Journal Article | IST-REx-ID: 1585
Bao, Z., Pan, G., & Zhou, W. (2015). Asymptotic mutual information statistics of MIMO channels and CLT of sample covariance matrices. IEEE Transactions on Information Theory, 61(6), 3413–3426. https://doi.org/10.1109/TIT.2015.2421894
View | DOI
 

2015 | Conference Paper | IST-REx-ID: 1648   OA
Fuchsbauer, G., Jafargholi, Z., & Pietrzak, K. Z. (2015). A quasipolynomial reduction for generalized selective decryption on trees (Vol. 9215, pp. 601–620). Presented at the CRYPTO: International Cryptology Conference, Santa Barbara, CA, USA: Springer. https://doi.org/10.1007/978-3-662-47989-6_29
View | Files available | DOI
 

2015 | Conference Paper | IST-REx-ID: 1650   OA
Skórski, M., Golovnev, A., & Pietrzak, K. Z. (2015). Condensed unpredictability (Vol. 9134, pp. 1046–1057). Presented at the ICALP: Automata, Languages and Programming, Kyoto, Japan: Springer. https://doi.org/10.1007/978-3-662-47672-7_85
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1655   OA
Martius, G. S., & Olbrich, E. (2015). Quantifying emergent behavior of autonomous robots. Entropy, 17(10), 7266–7297. https://doi.org/10.3390/e17107266
View | Files available | DOI
 

2015 | Conference Paper | IST-REx-ID: 1636   OA
Kolmogorov, V., Rolinek, M., & Takhanov, R. (2015). Effectiveness of structural restrictions for hybrid CSPs. Presented at the ISAAC: International Symposium on Algorithms and Computation, Nagoya, Japan: Springer. https://doi.org/10.1007/978-3-662-48971-0_48
View | DOI | Download (ext.)
 

2015 | Journal Article | IST-REx-ID: 1679   OA
Lemoult, G. M., Maier, P., & Hof, B. (2015). Taylor’s Forest. Physics of Fluids, 27(9). https://doi.org/10.1063/1.4930850
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1686
Kiermaier, E., & Sixt, M. K. (2015). Fragmented communication between immune cells: Neutrophils blaze a trail with migratory cues for T cells to follow to sites of infection. Science, 349(6252), 1055–1056. https://doi.org/10.1126/science.aad0867
View | DOI
 

2015 | Conference Paper | IST-REx-ID: 1667   OA
Brázdil, T., Korenčiak, L., Krčál, J., Novotny, P., & Řehák, V. (2015). Optimizing performance of continuous-time stochastic systems using timeout synthesis. Presented at the QEST: Quantitative Evaluation of Systems, Madrid, Spain: Springer. https://doi.org/10.1007/978-3-319-22264-6_10
View | DOI | Download (ext.)
 

2015 | Journal Article | IST-REx-ID: 1674   OA
Lee, J., & Schnelli, K. (2015). Edge universality for deformed Wigner matrices. Reviews in Mathematical Physics, 27(8). https://doi.org/10.1142/S0129055X1550018X
View | DOI | Download (ext.)
 

2015 | Journal Article | IST-REx-ID: 1693   OA
Amaro, P., Franke, B., Krauth, J., Diepold, M., Fratini, F., Safari, L., … Santos, J. (2015). Quantum interference effects in laser spectroscopy of muonic hydrogen, deuterium, and helium-3. Physical Review A, 92(2). https://doi.org/10.1103/PhysRevA.92.022514
View | DOI | Download (ext.)
 

2015 | Conference Paper | IST-REx-ID: 1706   OA
Pentina, A., & Ben David, S. (2015). Multi-task and lifelong learning of kernels (Vol. 9355, pp. 194–208). Presented at the ALT: Algorithmic Learning Theory, Banff, AB, Canada: Springer. https://doi.org/10.1007/978-3-319-24486-0_13
View | DOI | Download (ext.)
 

2015 | Journal Article | IST-REx-ID: 1802
Siegert, S., Seo, J., Kwon, E., Rudenko, A., Cho, S., Wang, W., … Tsai, L. (2015). The schizophrenia risk gene product miR-137 alters presynaptic plasticity. Nature Neuroscience, 18, 1008–1016. https://doi.org/10.1038/nn.4023
View | DOI
 

2015 | Conference Paper | IST-REx-ID: 1857   OA
Pentina, A., Sharmanska, V., & Lampert, C. (2015). Curriculum learning of multiple tasks (pp. 5492–5500). Presented at the CVPR: Computer Vision and Pattern Recognition, Boston, MA, United States: IEEE. https://doi.org/10.1109/CVPR.2015.7299188
View | DOI | Download (ext.)
 

2015 | Journal Article | IST-REx-ID: 1864   OA
Erdös, L., & Knowles, A. (2015). The Altshuler–Shklovskii formulas for random band matrices II: The general case. Annales Henri Poincare, 16(3), 709–799. https://doi.org/10.1007/s00023-014-0333-5
View | DOI | Download (ext.)
 

2015 | Journal Article | IST-REx-ID: 1871   OA
Grones, P., & Friml, J. (2015). Auxin transporters and binding proteins at a glance. Journal of Cell Science, 128(1), 1–7. https://doi.org/10.1242/jcs.159418
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1807   OA
Goldman, M., & Royo-Letelier, J. (2015). Sharp interface limit for two components Bose-Einstein condensates. ESAIM - Control, Optimisation and Calculus of Variations, 21(3), 603–624. https://doi.org/10.1051/cocv/2014040
View | DOI | Download (ext.)
 

2015 | Journal Article | IST-REx-ID: 1819
Zwiewka, M., Nodzyński, T., Robert, S., Vanneste, S., & Friml, J. (2015). Osmotic stress modulates the balance between exocytosis and clathrin mediated endocytosis in Arabidopsis thaliana. Molecular Plant, 8(8), 1175–1187. https://doi.org/10.1016/j.molp.2015.03.007
View | DOI
 

2015 | Journal Article | IST-REx-ID: 1845   OA
Vandael, D. H., Espinoza Martinez, C. M., & Jonas, P. M. (2015). Excitement about inhibitory presynaptic terminals. Neuron, 85(6), 1149–1151. https://doi.org/10.1016/j.neuron.2015.03.006
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1840   OA
Geiger, B., Petrov, T., Kubin, G., & Koeppl, H. (2015). Optimal Kullback-Leibler aggregation via information bottleneck. IEEE Transactions on Automatic Control, 60(4), 1010–1022. https://doi.org/10.1109/TAC.2014.2364971
View | DOI | Download (ext.)
 

2015 | Journal Article | IST-REx-ID: 2014   OA
Klimova, A., Uhler, C., & Rudas, T. (2015). Faithfulness and learning hypergraphs from discrete distributions. Computational Statistics & Data Analysis, 87(7), 57–72. https://doi.org/10.1016/j.csda.2015.01.017
View | DOI | Download (ext.)
 

2015 | Journal Article | IST-REx-ID: 257   OA
Browning, T. D., & Munshi, R. (2015). Pairs of diagonal quadratic forms and linear correlations among sums of two squares. Forum Mathematicum, 27(4), 2025–2050. https://doi.org/10.1515/forum-2013-6024
View | DOI | Download (ext.)
 

2015 | Journal Article | IST-REx-ID: 334
Yu, X., Liu, J., Genç, A., Ibanez, M., Luo, Z., Shavel, A., … Cabot, A. (2015). Cu2ZnSnS4–Ag2S Nanoscale p–n heterostructures as sensitizers for photoelectrochemical water splitting. Langmuir, 31(38), 10555–10561. https://doi.org/10.1021/acs.langmuir.5b02490
View | DOI
 

2015 | Journal Article | IST-REx-ID: 360
Yu, X., Liu, J., Genç, A., Ibanez, M., Luo, Z., Shavel, A., … Cabot, A. (2015). Cu2ZnSnS4-Ag2S nanoscale p-n heterostructures as sensitizers for photoelectrochemical water splitting. Langmuir, 31(38), 10555–10561. https://doi.org/10.1021/acs.langmuir.5b02490
View | DOI
 

2015 | Journal Article | IST-REx-ID: 473   OA
Lewin, M., Phan Thanh, N., & Rougerie, N. (2015). Derivation of nonlinear gibbs measures from many-body quantum mechanics. Journal de l’Ecole Polytechnique - Mathematiques, 2, 65–115. https://doi.org/10.5802/jep.18
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 524
Chatterjee, K., & Ibsen-Jensen, R. (2015). Qualitative analysis of concurrent mean payoff games. Information and Computation, 242(6), 2–24. https://doi.org/10.1016/j.ic.2015.03.009
View | Files available | DOI | Download (ext.) | arXiv
 

2015 | Technical Report | IST-REx-ID: 5431   OA
Chatterjee, K., Ibsen-Jensen, R., & Hansen, K. (2015). The patience of concurrent stochastic games with safety and reachability objectives. IST Austria. https://doi.org/10.15479/AT:IST-2015-322-v1-1
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 5804
Biswas, R., & Bhowmick, P. (2015). From prima quadraginta octant to lattice sphere through primitive integer operations. Theoretical Computer Science, 624(4), 56–72. https://doi.org/10.1016/j.tcs.2015.11.018
View | DOI
 

2015 | Journal Article | IST-REx-ID: 1939
Dereziński, J., & Napiórkowski, M. M. (2015). Erratum to: Excitation spectrum of interacting bosons in the Mean-Field Infinite-Volume limit. Annales Henri Poincare, 16(7), 1709–1711. https://doi.org/10.1007/s00023-014-0390-9
View | Files available | DOI
 

2015 | Conference Paper | IST-REx-ID: 1511
Goaoc, X., Mabillard, I., Paták, P., Patakova, Z., Tancer, M., & Wagner, U. (2015). On generalized Heawood inequalities for manifolds: A Van Kampen–Flores-type nonembeddability result (Vol. 34, pp. 476–490). 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.476
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 6737   OA
Mondelli, M., Hassani, H., Sason, I., & Urbanke, R. (2015). Achieving Marton’s region for broadcast channels using polar codes. IEEE Transactions on Information Theory, 61(2), 783–800. https://doi.org/10.1109/tit.2014.2368555
View | DOI | Download (ext.) | arXiv
 

2015 | Journal Article | IST-REx-ID: 815
Schur, F., Dick, R., Hagen, W., Vogt, V., & Briggs, J. (2015). The structure of immature virus like Rous sarcoma virus gag particles reveals a structural role for the p10 domain in assembly. Journal of Virology, 89(20), 10294–10302. https://doi.org/10.1128/JVI.01502-15
View | DOI | PubMed | Europe PMC
 

2015 | Conference Paper | IST-REx-ID: 776
Alistarh, D., Kopinsky, J., Li, J., & Shavit, N. (2015). The SprayList: A scalable relaxed priority queue (Vol. 2015–January, pp. 11–20). Presented at the PPoPP: Principles and Practice of Parallel Pogramming, ACM. https://doi.org/10.1145/2688500.2688523
View | DOI
 

2015 | Conference Paper | IST-REx-ID: 783   OA
Alistarh, D., Gelashvili, R., & Vladu, A. (2015). How to elect a leader faster than a tournament (Vol. 2015–July, pp. 365–374). Presented at the PODC: Principles of Distributed Computing, ACM. https://doi.org/10.1145/2767386.2767420
View | DOI | Download (ext.)
 

2015 | Journal Article | IST-REx-ID: 928   OA
Sehring, I., Recho, P., Denker, E., Kourakis, M., Mathiesen, B., Hannezo, E. B., … Jiang, D. (2015). Assembly and positioning of actomyosin rings by contractility and planar cell polarity. ELife, 4. https://doi.org/10.7554/eLife.09206
View | Files available | DOI
 

2015 | Technical Report | IST-REx-ID: 5443
Chatterjee, K., Chmelik, M., & Davies, J. (2015). A symbolic SAT-based algorithm for almost-sure reachability with small strategies in POMDPs. IST Austria. https://doi.org/10.15479/AT:IST-2015-325-v2-1
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1624   OA
Pavlogiannis, A., Chatterjee, K., Adlam, B., & Nowak, M. (2015). Cellular cooperation with shift updating and repulsion. Scientific Reports, 5. https://doi.org/10.1038/srep17147
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1814   OA
Jeschke, S., & Wojtan, C. J. (2015). Water wave animation via wavefront parameter interpolation. ACM Transactions on Graphics, 34(3). https://doi.org/10.1145/2714572
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1681   OA
Priklopil, T., & Chatterjee, K. (2015). Evolution of decisions in population games with sequentially searching individuals. Games, 6(4), 413–437. https://doi.org/10.3390/g6040413
View | Files available | DOI
 

2015 | Conference Paper | IST-REx-ID: 1732   OA
Chatterjee, K., Chmelik, M., Gupta, R., & Kanodia, A. (2015). Qualitative analysis of POMDPs with temporal logic specifications for robotics applications (pp. 325–330). Presented at the ICRA: International Conference on Robotics and Automation, Seattle, WA, United States: IEEE. https://doi.org/10.1109/ICRA.2015.7139019
View | Files available | DOI | Download (ext.) | arXiv
 

2015 | Journal Article | IST-REx-ID: 1698   OA
Velner, Y., Chatterjee, K., Doyen, L., Henzinger, T. A., Rabinovich, A., & Raskin, J. (2015). The complexity of multi-mean-payoff and multi-energy games. Information and Computation, 241(4), 177–196. https://doi.org/10.1016/j.ic.2015.03.001
View | DOI | Download (ext.)
 

2015 | Journal Article | IST-REx-ID: 1701   OA
Tkacik, G., Mora, T., Marre, O., Amodei, D., Palmer, S., Berry Ii, M., & Bialek, W. (2015). Thermodynamics and signatures of criticality in a network of neurons. PNAS, 112(37), 11508–11513. https://doi.org/10.1073/pnas.1514188112
View | DOI | Download (ext.) | PubMed | Europe PMC
 

2015 | Conference Paper | IST-REx-ID: 1838   OA
Bloem, R., Chatterjee, K., Jacobs, S., & Könighofer, R. (2015). Assume-guarantee synthesis for concurrent reactive programs with partial information (Vol. 9035, pp. 517–532). Presented at the TACAS: Tools and Algorithms for the Construction and Analysis of Systems, London, United Kingdom: Springer. https://doi.org/10.1007/978-3-662-46681-0_50
View | DOI | Download (ext.)
 

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

2015 | Technical Report | IST-REx-ID: 5436
Chatterjee, K., Henzinger, T. A., & Otop, J. (2015). Nested weighted automata. IST Austria. https://doi.org/10.15479/AT:IST-2015-170-v2-2
View | Files available | DOI
 

2015 | Research Data | IST-REx-ID: 5549   OA
Fellner, A. (2015). Experimental part of CAV 2015 publication: Counterexample Explanation by Learning Small Strategies in Markov Decision Processes. IST Austria. https://doi.org/10.15479/AT:ISTA:28
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 7456
Caruntu, D., Rostamzadeh, T., Costanzo, T., Salemizadeh Parizi, S., & Caruntu, G. (2015). Solvothermal synthesis and controlled self-assembly of monodisperse titanium-based perovskite colloidal nanocrystals. Nanoscale, 7(30), 12955–12969. https://doi.org/10.1039/c5nr00737b
View | DOI | PubMed | Europe PMC
 

2015 | Journal Article | IST-REx-ID: 7742
Robinson, M. R., Hemani, G., Medina-Gomez, C., Mezzavilla, M., Esko, T., Shakhbazov, K., … Visscher, P. M. (2015). Population genetic differentiation of height and body mass index across Europe. Nature Genetics, 47(11), 1357–1362. https://doi.org/10.1038/ng.3401
View | DOI
 

2015 | Journal Article | IST-REx-ID: 7766
Sussman, D. M., Goodrich, C. P., Liu, A. J., & Nagel, S. R. (2015). Disordered surface vibrations in jammed sphere packings. Soft Matter, 11(14), 2745–2751. https://doi.org/10.1039/c4sm02905d
View | DOI
 

2015 | Journal Article | IST-REx-ID: 1383   OA
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), 15094. https://doi.org/10.1038/nplants.2015.94
View | DOI | Download (ext.) | PubMed | Europe PMC
 

2015 | Journal Article | IST-REx-ID: 1535   OA
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 | Download (ext.) | PubMed | Europe PMC
 

2015 | Journal Article | IST-REx-ID: 1580   OA
Brenes, O., Vandael, D. H., Carbone, E., Montarolo, P., & Ghirardi, M. (2015). Knock-down of synapsin alters cell excitability and action potential waveform by potentiating BK and voltage gated Ca2 currents in Helix serotonergic neurons. Neuroscience, 311, 430–443. https://doi.org/10.1016/j.neuroscience.2015.10.046
View | Files available | DOI
 

2015 | Conference Paper | IST-REx-ID: 1605   OA
Bogomolov, S., Schilling, C., Bartocci, E., Batt, G., Kong, H., & Grosu, R. (2015). Abstraction-based parameter synthesis for multiaffine systems (Vol. 9434, pp. 19–35). Presented at the HVC: Haifa Verification Conference, Haifa, Israel: Springer. https://doi.org/10.1007/978-3-319-26287-1_2
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1883   OA
Keller-Schmidt, S., Tugrul, M., Eguíluz, V., Hernandez Garcia, E., & Klemm, K. (2015). Anomalous scaling in an age-dependent branching model. Physical Review E Statistical Nonlinear and Soft Matter Physics, 91(2), 022803. https://doi.org/10.1103/PhysRevE.91.022803
View | DOI | Download (ext.) | arXiv
 

2015 | Journal Article | IST-REx-ID: 1106
Isrie, M., Breuss, M., Tian, G., Hansen, A. H., Cristofoli, F., Morandell, J., … Van Esch, H. (2015). Mutations in either TUBB or MAPRE2 cause circumferential skin creases Kunze type. The American Journal of Human Genetics, 97(6), 790–800. https://doi.org/10.1016/j.ajhg.2015.10.014
View | DOI
 

2015 | Journal Article | IST-REx-ID: 121   OA
Waitukaitis, S. R., Menaut, R., Chen, B., & Van Hecke, M. (2015). Origami multistability: From single vertices to metasheets. APS Physics, Physical Review Letters, 114(5). https://doi.org/10.1103/PhysRevLett.114.055503
View | DOI | Download (ext.) | arXiv
 

2015 | Conference Paper | IST-REx-ID: 1430   OA
Paixao, T., Sudholt, D., Heredia, J., & Trubenova, B. (2015). First steps towards a runtime comparison of natural and artificial evolution. In Proceedings of the 2015 Annual Conference on Genetic and Evolutionary Computation (pp. 1455–1462). Madrid, Spain: ACM. https://doi.org/10.1145/2739480.2754758
View | DOI | Download (ext.)
 

2015 | Book Review | IST-REx-ID: 1473   OA
Hausel, T., & Rodríguez Villegas, F. (2015). Cohomology of large semiprojective hyperkähler varieties. Asterisque. Societe Mathematique de France.
View | Download (ext.)
 

2015 | Journal Article | IST-REx-ID: 1497   OA
Andergassen, D., Dotter, C., Kulinski, T., Guenzl, P., Bammer, P., Barlow, D., … Hudson, Q. (2015). Allelome.PRO, a pipeline to define allele-specific genomic features from high-throughput sequencing data. Nucleic Acids Research, 43(21). https://doi.org/10.1093/nar/gkv727
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1505   OA
Bao, Z., Pan, G., & Zhou, W. (2015). Universality for the largest eigenvalue of sample covariance matrices with general population. Annals of Statistics, 43(1), 382–421. https://doi.org/10.1214/14-AOS1281
View | DOI | Download (ext.)
 

2015 | Conference Poster | IST-REx-ID: 1500
Nguyen, L., Schilling, C., Bogomolov, S., & Johnson, T. (2015). Poster: HyRG: A random generation tool for affine hybrid automata. HSCC: Hybrid Systems - Computation and Control (pp. 289–290). Springer. https://doi.org/10.1145/2728606.2728650
View | DOI
 

Filters and Search Terms

year=2015

Search

Filter Publications

Display / Sort

Citation Style: APA

Export / Embed