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.

357 Publications


2015 | Journal Article | IST-REx-ID: 1793   OA
Symonova O, Topp C, Edelsbrunner H. DynamicRoots: A software platform for the reconstruction and analysis of growing plant roots. PLoS One. 2015;10(6). doi: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. Early effect in time-dependent, high-dimensional nonlinear dynamical systems with multiple resonances. Physical Review E. 2015;91(2). doi:10.1103/PhysRevE.91.022906
View | DOI
 

2015 | Conference Paper | IST-REx-ID: 1882   OA
Fahrenberg U, Kretinsky J, Legay A, Traonouez L. Compositionality for quantitative specifications. In: Vol 8997. Springer; 2015:306-324. doi:10.1007/978-3-319-15317-9_19
View | DOI | Download (ext.)
 

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

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

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

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

2015 | Thesis | IST-REx-ID: 1399
Pausinger F. On the Approximation of Intrinsic Volumes. IST Austria; 2015.
View | Files available
 

2015 | Journal Article | IST-REx-ID: 3585
Cao T, Edelsbrunner H, Tan T. Proof of correctness of the digital Delaunay triangulation algorithm. Computational Geometry: Theory and Applications. 2015;48(7):507-519. doi:10.1016/j.comgeo.2015.04.001
View | DOI
 

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

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

2015 | Journal Article | IST-REx-ID: 1678
Inglés Prieto Á, Gschaider-Reichhart E, Muellner M, et al. Light-assisted small-molecule screening against protein kinases. Nature Chemical Biology. 2015;11(12):952-954. doi:10.1038/nchembio.1933
View | Files available | DOI
 

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

2015 | Journal Article | IST-REx-ID: 477
Holst K, Guseva D, Schindler S, et al. The serotonin receptor 5-HT7R regulates the morphology and migratory properties of dendritic cells. Journal of Cell Science. 2015;128(15):2866-2880. doi:10.1242/jcs.167999
View | DOI
 

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

2015 | Technical Report | IST-REx-ID: 5430
Chatterjee K, Ibsen-Jensen R, Pavlogiannis A. Faster Algorithms for Quantitative Verification in Constant Treewidth Graphs. IST Austria; 2015. doi:10.15479/AT:IST-2015-319-v1-1
View | Files available | DOI
 

2015 | Technical Report | IST-REx-ID: 5435   OA
Chatterjee K, Komarkova Z, Kretinsky J. Unifying Two Views on Multiple Mean-Payoff Objectives in Markov Decision Processes. IST Austria; 2015. doi:10.15479/AT:IST-2015-318-v2-1
View | Files available | DOI
 

2015 | Conference Paper | IST-REx-ID: 1659
Boker U, Henzinger TA, Otop J. The target discounted-sum problem. In: LICS. Logic in Computer Science. IEEE; 2015:750-761. doi:10.1109/LICS.2015.74
View | Files available | DOI
 

2015 | Technical Report | IST-REx-ID: 5442   OA
Anonymous 1, Anonymous 2, Anonymous 3, Anonymous 4. Algorithms for Algebraic Path Properties in Concurrent Systems of Constant Treewidth Components. IST Austria; 2015.
View | Files available
 

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

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

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

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

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

2015 | Journal Article | IST-REx-ID: 1802
Siegert S, Seo J, Kwon E, et al. The schizophrenia risk gene product miR-137 alters presynaptic plasticity. Nature Neuroscience. 2015;18:1008-1016. doi:10.1038/nn.4023
View | DOI
 

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

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

2015 | Journal Article | IST-REx-ID: 360
Yu X, Liu J, Genç A, et al. Cu2ZnSnS4-Ag2S nanoscale p-n heterostructures as sensitizers for photoelectrochemical water splitting. Langmuir. 2015;31(38):10555-10561. doi:10.1021/acs.langmuir.5b02490
View | DOI
 

2015 | Journal Article | IST-REx-ID: 365
Walte M, Kravchyk K, Ibanez M, Kovalenko M. Efficient and inexpensive sodium magnesium hybrid battery. Chemistry of Materials. 2015;27(21):7452-7458. doi:10.1021/acs.chemmater.5b03531
View | DOI
 

2015 | Conference Paper | IST-REx-ID: 776
Alistarh D, Kopinsky J, Li J, Shavit N. The SprayList: A scalable relaxed priority queue. In: Vol 2015-January. ACM; 2015:11-20. doi:10.1145/2688500.2688523
View | DOI
 

2015 | Conference Paper | IST-REx-ID: 783   OA
Alistarh D, Gelashvili R, Vladu A. How to elect a leader faster than a tournament. In: Vol 2015-July. ACM; 2015:365-374. doi:10.1145/2767386.2767420
View | DOI | Download (ext.)
 

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

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

2015 | Journal Article | IST-REx-ID: 1383
Yu L, Scholl S, Doering A, et al. V-ATPase activity in the TGN/EE is required for exocytosis and recycling in Arabidopsis. Nature Plants. 2015;1(7). doi:10.1038/nplants.2015.94
View | DOI
 

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

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

2015 | Journal Article | IST-REx-ID: 1542   OA
Paixao T, Badkobeh G, Barton NH, et al. Toward a unifying framework for evolutionary processes. Journal of Theoretical Biology. 2015;383:28-43. doi:10.1016/j.jtbi.2015.07.011
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1547   OA
Mohammadi F, Moradi S. Resolution of unmixed bipartite graphs. Bulletin of the Korean Mathematical Society. 2015;52(3):977-986. doi: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. Reporters for sensitive and quantitative measurement of auxin response. Nature Methods. 2015;12(3):207-210. doi: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. Computational complexity of ecological and evolutionary spatial dynamics. PNAS. 2015;112(51):15636-15641. doi:10.1073/pnas.1511366112
View | DOI | Download (ext.) | PubMed | Europe PMC
 

2015 | Journal Article | IST-REx-ID: 1561
Heger K, Kober M, Rieß D, et al. A novel Cre recombinase reporter mouse strain facilitates selective and efficient infection of primary immune cells with adenoviral vectors. European Journal of Immunology. 2015;45(6):1614-1620. doi:10.1002/eji.201545457
View | DOI
 

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

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

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

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

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

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

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

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

2015 | Conference Paper | IST-REx-ID: 1605
Bogomolov S, Schilling C, Bartocci E, Batt G, Kong H, Grosu R. Abstraction-based parameter synthesis for multiaffine systems. In: Vol 9434. Springer; 2015:19-35. doi:10.1007/978-3-319-26287-1_2
View | DOI
 

Filters and Search Terms

year=2015

Search

Filter Publications

Display / Sort

Citation Style: AMA

Export / Embed