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
P. Hammar et al., “Single-cell screening of photosynthetic growth and lactate production by cyanobacteria,” Biotechnology for Biofuels, vol. 8, no. 1, 2015.
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1611   OA
J. Whitfield et al., “Construction of a robust and sensitive arginine biosensor through ancestral protein reconstruction,” Protein Science, vol. 24, no. 9, pp. 1412–1422, 2015.
View | DOI | Download (ext.) | PubMed | Europe PMC
 

2015 | Journal Article | IST-REx-ID: 1635   OA
M. Erbar, J. Maas, and P. Tetali, “Discrete Ricci curvature bounds for Bernoulli-Laplace and random transposition models,” Annales de la faculté des sciences de Toulouse, vol. 24, no. 4, pp. 781–800, 2015.
View | DOI | Download (ext.)
 

2015 | Journal Article | IST-REx-ID: 1666   OA
M. Tugrul, T. Paixao, N. H. Barton, and G. Tkacik, “Dynamics of transcription factor binding site evolution,” PLoS Genetics, vol. 11, no. 11, 2015.
View | Files available | DOI
 

2015 | Conference Paper | IST-REx-ID: 1685   OA
V. Cohen Addad and A. N. De Mesmay, “A fixed parameter tractable approximation scheme for the optimal cut graph of a surface,” presented at the ESA: European Symposium on Algorithms, Patras, Greece, 2015, vol. 9294, pp. 386–398.
View | DOI | Download (ext.)
 

2015 | Conference Paper | IST-REx-ID: 1654   OA
P. Gazi, K. Z. Pietrzak, and S. Tessaro, “Generic security of NMAC and HMAC with input whitening,” vol. 9453. Springer, pp. 85–109, 2015.
View | Files available | DOI
 

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

2015 | Journal Article | IST-REx-ID: 1700   OA
E. Van Loon, M. Katsnelson, and M. Lemeshko, “Ultralong-range order in the Fermi-Hubbard model with long-range interactions,” Physical Review B, vol. 92, no. 8, 2015.
View | DOI | Download (ext.)
 

2015 | Journal Article | IST-REx-ID: 1712   OA
A. Ratheesh, V. Belyaeva, and D. E. Siekhaus, “Drosophila immune cell migration and adhesion during embryonic development and larval immune responses,” Current Opinion in Cell Biology, vol. 36, no. 10, pp. 71–79, 2015.
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1813   OA
R. Schmidt and M. Lemeshko, “Rotation of quantum impurities in the presence of a many-body environment,” Physical Review Letters, vol. 114, no. 20, 2015.
View | DOI | Download (ext.)
 

2015 | Journal Article | IST-REx-ID: 1818   OA
J. Polechova and N. H. Barton, “Limits to adaptation along environmental gradients,” PNAS, vol. 112, no. 20, pp. 6401–6406, 2015.
View | DOI | Download (ext.) | PubMed | Europe PMC
 

2015 | Journal Article | IST-REx-ID: 1793   OA
O. Symonova, C. Topp, and H. Edelsbrunner, “DynamicRoots: A software platform for the reconstruction and analysis of growing plant roots,” PLoS One, vol. 10, no. 6, 2015.
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1868
Y. Park, Y. Do, S. Altmeyer, Y. Lai, and G. Lee, “Early effect in time-dependent, high-dimensional nonlinear dynamical systems with multiple resonances,” Physical Review E, vol. 91, no. 2, 2015.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 1940   OA
T. R. Sokolowski and G. Tkacik, “Optimizing information flow in small genetic networks. IV. Spatial coupling,” Physical Review E Statistical Nonlinear and Soft Matter Physics, vol. 91, no. 6, 2015.
View | DOI | Download (ext.)
 

2015 | Journal Article | IST-REx-ID: 1938
F. Pausinger and S. Steinerberger, “On the distribution of local extrema in quantum chaos,” Physics Letters, Section A, vol. 379, no. 6, pp. 535–541, 2015.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 1849
E. Himschoot, T. Beeckman, J. Friml, and S. Vanneste, “Calcium is an organizer of cell polarity in plants,” Biochimica et Biophysica Acta - Molecular Cell Research, vol. 1853, no. 9, pp. 2168–2172, 2015.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 2025   OA
D. Kawada et al., “The yeast Arf-GAP Glo3p is required for the endocytic recycling of cell surface proteins,” Biochimica et Biophysica Acta - Molecular Cell Research, vol. 1853, no. 1, pp. 144–156, 2015.
View | Files available | DOI
 

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

2015 | Journal Article | IST-REx-ID: 256   OA
T. D. Browning and S. Prendiville, “Improvements in Birch’s theorem on forms in many variables,” Journal fur die Reine und Angewandte Mathematik, vol. 2017, no. 731, 2015.
View | DOI | Download (ext.)
 

2015 | Journal Article | IST-REx-ID: 388   OA
Z. Alpichshe, F. Mahmood, G. Cao, and N. Gedik, “Confinement deconfinement transition as an indication of spin liquid type behavior in Na2IrO3,” Physical Review Letters, vol. 114, no. 1, 2015.
View | DOI | Download (ext.)
 

2015 | Journal Article | IST-REx-ID: 477
K. Holst et al., “The serotonin receptor 5-HT7R regulates the morphology and migratory properties of dendritic cells,” Journal of Cell Science, vol. 128, no. 15, pp. 2866–2880, 2015.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 5808
R. Biswas and P. Bhowmick, “Layer the sphere,” The Visual Computer, vol. 31, no. 6–8, pp. 787–797, 2015.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 6736   OA
M. Mondelli, H. Hassani, and R. Urbanke, “Scaling exponent of list decoders with applications to polar codes,” IEEE Transactions on Information Theory, vol. 61, no. 9, pp. 4838–4851, 2015.
View | DOI | Download (ext.) | arXiv
 

2015 | Journal Article | IST-REx-ID: 7070
J. F. Yu et al., “Magnetization of underdoped YBa2Cu3Oy above the irreversibility field,” Physical Review B, vol. 92, no. 18, 2015.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 802
J. Engel, P. S. Schmalhorst, A. Kruger, C. Muller, F. Buettner, and F. Routier, “Characterization of an N-acetylglucosaminyltransferase involved in Aspergillus fumigatus zwitterionic glycoinositolphosphoceramide biosynthesis,” Glycobiology, vol. 25, no. 12, pp. 1423–1430, 2015.
View | DOI | PubMed | Europe PMC
 

2015 | Conference Paper | IST-REx-ID: 782
D. Alistarh, T. Sauerwald, and M. Vojnović, “Lock-Free algorithms under stochastic schedulers,” presented at the PODC: Principles of Distributed Computing, 2015, vol. 2015–July, pp. 251–260.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 814
F. Schur et al., “Structure of the immature HIV-1 capsid in intact virus particles at 8.8 Å resolution,” Nature, vol. 517, no. 7535, pp. 505–508, 2015.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 1591
M. Adamowski and J. Friml, “PIN-dependent auxin transport: Action, regulation, and evolution,” Plant Cell, vol. 27, no. 1, pp. 20–32, 2015.
View | Files available | DOI | Download (ext.) | PubMed | Europe PMC
 

2015 | Conference Paper | IST-REx-ID: 1510
P. Franek and M. Krcál, “On computability and triviality of well groups,” presented at the SoCG: Symposium on Computational Geometry, Eindhoven, Netherlands, 2015, vol. 34, pp. 842–856.
View | Files available | DOI
 

2015 | Technical Report | IST-REx-ID: 5430
K. Chatterjee, R. Ibsen-Jensen, and A. Pavlogiannis, Faster algorithms for quantitative verification in constant treewidth graphs. IST Austria, 2015.
View | Files available | DOI
 

2015 | Conference Paper | IST-REx-ID: 1541
R. Ray, A. Gurung, B. Das, E. Bartocci, S. Bogomolov, and R. Grosu, “XSpeed: Accelerating reachability analysis on multi-core processors,” vol. 9434. Springer, pp. 3–18, 2015.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 1553
P. Maiuri et al., “Actin flows mediate a universal coupling between cell speed and cell persistence,” Cell, vol. 161, no. 2, pp. 374–386, 2015.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 1539   OA
J. Ruess, “Minimal moment equations for stochastic models of biochemical reaction networks with partially finite state space,” Journal of Chemical Physics, vol. 143, no. 24, 2015.
View | Files available | DOI
 

2015 | Conference Paper | IST-REx-ID: 1609   OA
K. Chatterjee, L. Doyen, and M. Vardi, “The complexity of synthesis from probabilistic components,” vol. 9135. Springer, pp. 108–120, 2015.
View | DOI | Download (ext.)
 

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

2015 | Journal Article | IST-REx-ID: 1697   OA
O. Marre, V. Botella Soler, K. Simmons, T. Mora, G. Tkacik, and M. Berry, “High accuracy decoding of dynamical motion from a large retinal population,” PLoS Computational Biology, vol. 11, no. 7, 2015.
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1673   OA
B. Adlam, K. Chatterjee, and M. Nowak, “Amplifiers of selection,” Proceedings of the Royal Society A: Mathematical, Physical and Engineering Sciences, vol. 471, no. 2181, 2015.
View | Files available | DOI
 

2015 | Conference Paper | IST-REx-ID: 1630   OA
P. Guerrero, S. Jeschke, M. Wimmer, and P. Wonka, “Learning shape placements by example,” presented at the SIGGRAPH: Special Interest Group on Computer Graphics and Interactive Techniques, Los Angeles, CA, United States, 2015, vol. 34, no. 4.
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1678   OA
Á. Inglés Prieto et al., “Light-assisted small-molecule screening against protein kinases,” Nature Chemical Biology, vol. 11, no. 12, pp. 952–954, 2015.
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1680
J. Michaliszyn, J. Otop, and E. Kieroňski, “On the decidability of elementary modal logics,” ACM Transactions on Computational Logic, vol. 17, no. 1, 2015.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 1856   OA
K. Chatterjee, T. A. Henzinger, B. Jobstmann, and R. Singh, “Measuring and synthesizing systems in probabilistic environments,” Journal of the ACM, vol. 62, no. 1, 2015.
View | Files available | DOI | Download (ext.)
 

2015 | Conference Paper | IST-REx-ID: 1882   OA
U. Fahrenberg, J. Kretinsky, A. Legay, and L. Traonouez, “Compositionality for quantitative specifications,” presented at the FACS: Formal Aspects of Component Software, Bertinoro, Italy, 2015, vol. 8997, pp. 306–324.
View | DOI | Download (ext.)
 

2015 | Conference Paper | IST-REx-ID: 1729
P. Cerny et al., “From non-preemptive to preemptive scheduling using synchronization synthesis,” vol. 9207. Springer, pp. 180–197, 2015.
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1731   OA
K. Chatterjee, L. Doyen, H. Gimbert, and T. A. Henzinger, “Randomness for free,” Information and Computation, vol. 245, no. 12, pp. 3–16, 2015.
View | Files available | DOI | Download (ext.)
 

2015 | Conference Paper | IST-REx-ID: 1661
K. Chatterjee, M. Henzinger, and V. Loitzenbauer, “Improved algorithms for one-pair and k-pair Streett objectives,” in Proceedings - Symposium on Logic in Computer Science, Kyoto, Japan, 2015, vol. 2015–July.
View | Files available | DOI | Download (ext.)
 

2015 | Technical Report | IST-REx-ID: 5435
K. Chatterjee, Z. Komarkova, and J. Kretinsky, Unifying two views on multiple mean-payoff objectives in Markov decision processes. IST Austria, 2015.
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 523   OA
K. Chatterjee, L. Doyen, M. Randour, and J. Raskin, “Looking at mean-payoff and total-payoff through windows,” Information and Computation, vol. 242, no. 6, pp. 25–52, 2015.
View | Files available | DOI | Download (ext.)
 

2015 | Journal Article | IST-REx-ID: 1604
K. Chatterjee, A. Pavlogiannis, and Y. Velner, “Quantitative interprocedural analysis,” Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT , vol. 50, no. 1, pp. 539–551, 2015.
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 333
M. Walter, K. Kravchyk, M. Ibáñez, and M. Kovalenko, “Efficient and inexpensive sodium magnesium hybrid battery,” Chemistry of Materials, vol. 27, no. 21, pp. 7452–7458, 2015.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 2006   OA
N. Hein, C. Hillar, A. Martin Del Campo Sanchez, F. Sottile, and Z. Teitler, “The monotone secant conjecture in the real Schubert calculus,” Experimental Mathematics, vol. 24, no. 3, pp. 261–269, 2015.
View | DOI | Download (ext.)
 

Filters and Search Terms

year=2015

Search

Filter Publications

Display / Sort

Citation Style: IEEE

Export / Embed