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), e1004304.
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), 20150114.
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. SIGGRAPH: Special Interest Group on Computer Graphics and Interactive Techniques vol. 34.
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 HL. 2015. Light-assisted small-molecule screening against protein kinases. Nature Chemical Biology. 11(12), 952–954.
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), 2.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 1856   OA
Chatterjee K, Henzinger TA, Jobstmann B, Singh R. 2015. Measuring and synthesizing systems in probabilistic environments. Journal of the ACM. 62(1), 9.
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. FACS: Formal Aspects of Component Software, LNCS, vol. 8997. 306–324.
View | DOI | Download (ext.)
 

2015 | Conference Paper | IST-REx-ID: 1729
Cerny P, Clarke E, Henzinger TA, Radhakrishna A, Ryzhyk L, Samanta R, Tarrach T. 2015. From non-preemptive to preemptive scheduling using synchronization synthesis. 9207, 180–197.
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1731   OA
Chatterjee K, Doyen L, Gimbert H, Henzinger TA. 2015. Randomness for free. Information and Computation. 245(12), 3–16.
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. Proceedings - Symposium on Logic in Computer Science. LICS: Logic in Computer Science vol. 2015–July.
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, 51p.
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.
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.
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.
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.
View | DOI | Download (ext.)
 

2015 | Journal Article | IST-REx-ID: 1832   OA
Chakraborty S, Henzinger TA, Sezgin A, Vafeiadis V. 2015. Aspect-oriented linearizability proofs. Logical Methods in Computer Science. 11(1), 20.
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, 22p.
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. Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence . IAAI: Innovative Applications of Artificial Intelligence, Artifical Intelligence, vol. 5. 3496–3502.
View | Files available | Download (ext.) | arXiv
 

2015 | Journal Article | IST-REx-ID: 7739   OA
Santure AW, Poissant J, De Cauwer I, van Oers K, Robinson MR, Quinn JL, Groenen MAM, Visser ME, Sheldon BC, Slate J. 2015. Replicated analysis of the genetic architecture of quantitative traits in two wild great tit populations. Molecular Ecology. 24, 6148–6162.
View | DOI | Download (ext.)
 

2015 | Journal Article | IST-REx-ID: 7741   OA
Adams MJ, Robinson MR, Mannarelli M-E, Hatchwell BJ. 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.
View | DOI | Download (ext.) | PubMed | Europe PMC
 

2015 | Journal Article | IST-REx-ID: 7765
Goodrich CP, Liu AJ, Nagel SR. 2015. The principle of independent bond-level response: Tuning by pruning to exploit disorder for global behavior. Physical Review Letters. 114(22), 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. CRYPTO: International Cryptology Conference, LNCS, vol. 9216. 233–253.
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.
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.
View | DOI | Download (ext.) | arXiv
 

2015 | Conference Paper | IST-REx-ID: 1659   OA
Boker U, Henzinger TA, Otop J. 2015. The target discounted-sum problem. LICS. LICS: Logic in Computer ScienceLogic in Computer Science 750–761.
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.
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. SIGGRAPH: Special Interest Group on Computer Graphics and Interactive Techniques vol. 34. 136.
View | DOI | Download (ext.)
 

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

2015 | Journal Article | IST-REx-ID: 1314
Fischer JL. 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.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 1542   OA
Paixao T, Badkobeh G, Barton NH, Çörüş D, Dang D, Friedrich T, Lehre P, Sudholt D, Sutton A, Trubenova B. 2015. Toward a unifying framework for evolutionary processes. Journal of Theoretical Biology. 383, 28–43.
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.
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.
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.
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, Roers A, Sixt MK, 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.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 1566   OA
Gómez Sicilia À, Sikora MK, Cieplak M, Carrión Vázquez M. 2015. An exploration of the universe of polyglutamine structures. PLoS Computational Biology. 11(10), e1004541.
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.
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.
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), 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.
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.
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.
View | DOI
 

2015 | Conference Paper | IST-REx-ID: 1648   OA
Fuchsbauer G, Jafargholi Z, Pietrzak KZ. 2015. A quasipolynomial reduction for generalized selective decryption on trees. CRYPTO: International Cryptology Conference, LNCS, vol. 9215. 601–620.
View | Files available | DOI
 

2015 | Conference Paper | IST-REx-ID: 1650   OA
Skórski M, Golovnev A, Pietrzak KZ. 2015. Condensed unpredictability . ICALP: Automata, Languages and Programming, LNCS, vol. 9134. 1046–1057.
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1655   OA
Martius GS, Olbrich E. 2015. Quantifying emergent behavior of autonomous robots. Entropy. 17(10), 7266–7297.
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. 9472, 566–577.
View | DOI | Download (ext.)
 

2015 | Journal Article | IST-REx-ID: 1679   OA
Lemoult GM, Maier P, Hof B. 2015. Taylor’s Forest. Physics of Fluids. 27(9), 091102.
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1686
Kiermaier E, Sixt MK. 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.
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. 9259, 141–159.
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), 1550018.
View | DOI | Download (ext.)
 

2015 | Journal Article | IST-REx-ID: 1693   OA
Amaro P, Franke B, Krauth J, Diepold M, Fratini F, Safari L, Machado J, Antognini A, Kottmann F, Indelicato P, Pohl R, Santos J. 2015. Quantum interference effects in laser spectroscopy of muonic hydrogen, deuterium, and helium-3. Physical Review A. 92(2), 022514.
View | DOI | Download (ext.)
 

Filters and Search Terms

year=2015

Search

Filter Publications

Display / Sort

Citation Style: IST Annual Report

Export / Embed