Please note that ISTA 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.
320 Publications
2017 | Journal Article | IST-REx-ID: 14007 | 
Baykusheva DR, Wörner HJ. Comment on ‘Time delays in molecular photoionization.’ Journal of Physics B: Atomic, Molecular and Optical Physics. 2017;50(7). doi:10.1088/1361-6455/aa62b5
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2017 | Journal Article | IST-REx-ID: 1144 |
Erdös L, Schröder DJ. Fluctuations of functions of Wigner matrices. Electronic Communications in Probability. 2017;21. doi:10.1214/16-ECP38
[Published Version]
View
| Files available
| DOI
2017 | Journal Article | IST-REx-ID: 1528 |
Bao Z, Erdös L. Delocalization for a class of random block band matrices. Probability Theory and Related Fields. 2017;167(3-4):673-776. doi:10.1007/s00440-015-0692-y
[Published Version]
View
| Files available
| DOI
| WoS
2017 | Journal Article | IST-REx-ID: 1080 |
Reiter J, Makohon Moore A, Gerold J, et al. Reconstructing metastatic seeding patterns of human cancers. Nature Communications. 2017;8. doi:10.1038/ncomms14114
[Published Version]
View
| Files available
| DOI
| WoS
2017 | Journal Article | IST-REx-ID: 1062
Guarina L, Vandael DH, Carabelli V, Carbone E. Low pH inf o boosts burst firing and catecholamine release by blocking TASK-1 and BK channels while preserving Cav1 channels in mouse chromaffin cells. Journal of Physiology. 2017;595(8):2587-2609. doi:10.1113/JP273735
View
| DOI
| WoS
2017 | Journal Article | IST-REx-ID: 1018
Dobisova T, Hrdinova V, Cuesta C, et al. Light regulated expression of sensor histidine kinase CKI1 controls cytokinin related development. Plant Physiology. 2017;174(1):387-404. doi:10.1104/pp.16.01964
View
| DOI
| WoS
2017 | Journal Article | IST-REx-ID: 1006 |
Greenwood J, Milutinovic B, Peuß R, et al. Oral immune priming with Bacillus thuringiensis induces a shift in the gene expression of Tribolium castaneum larvae. BMC Genomics. 2017;18(1):329. doi:10.1186/s12864-017-3705-7
[Published Version]
View
| Files available
| DOI
| WoS
2017 | Journal Article | IST-REx-ID: 991
Chen C, Jonas PM. Synaptotagmins: That’s why so many. Neuron. 2017;94(4):694-696. doi:10.1016/j.neuron.2017.05.011
View
| DOI
| WoS
2017 | Conference Paper | IST-REx-ID: 836
Ethier M, Jablonski G, Mrozek M. Finding eigenvalues of self-maps with the Kronecker canonical form. In: Special Sessions in Applications of Computer Algebra. Vol 198. Springer; 2017:119-136. doi:10.1007/978-3-319-56932-1_8
View
| DOI
| WoS
2017 | Journal Article | IST-REx-ID: 749 |
Chen C, Satterfield R, Young S, Jonas PM. Triple function of Synaptotagmin 7 ensures efficiency of high-frequency transmission at central GABAergic synapses. Cell Reports. 2017;21(8):2082-2089. doi:10.1016/j.celrep.2017.10.122
[Published Version]
View
| Files available
| DOI
| WoS
2016 | Journal Article | IST-REx-ID: 11574 |
Santos S, Sobral D, Matthee JJ. The Lyα luminosity function at z= 5.7–6.6 and the steep drop of the faint end: Implications for reionization. Monthly Notices of the Royal Astronomical Society. 2016;463(2):1678-1691. doi:10.1093/mnras/stw2076
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2016 | Journal Article | IST-REx-ID: 1222 |
Musin O, Nikitenko A. Optimal packings of congruent circles on a square flat torus. Discrete & Computational Geometry. 2016;55(1):1-20. doi:10.1007/s00454-015-9742-6
[Preprint]
View
| DOI
| Download Preprint (ext.)
2016 | Conference Paper | IST-REx-ID: 1245
Pandey V, Chatterjee K. Game-theoretic models identify useful principles for peer collaboration in online learning platforms. In: Proceedings of the ACM Conference on Computer Supported Cooperative Work. Vol 26. ACM; 2016:365-368. doi:10.1145/2818052.2869122
View
| DOI
2016 | Journal Article | IST-REx-ID: 1261 |
Maas J, Matthes D. Long-time behavior of a finite volume discretization for a fourth order diffusion equation. Nonlinearity. 2016;29(7):1992-2023. doi:10.1088/0951-7715/29/7/1992
[Preprint]
View
| DOI
| Download Preprint (ext.)
2016 | Journal Article | IST-REx-ID: 1273 |
Porco S, Larrieu A, Du Y, et al. Lateral root emergence in Arabidopsis is dependent on transcription factor LBD29 regulation of auxin influx carrier LAX3. Development. 2016;143(18):3340-3349. doi:10.1242/dev.136283
[Preprint]
View
| DOI
| Download Preprint (ext.)
2016 | Conference Paper | IST-REx-ID: 1389 |
Chonev VK, Ouaknine J, Worrell J. On recurrent reachability for continuous linear dynamical systems. In: LICS ’16. IEEE; 2016:515-524. doi:10.1145/2933575.2934548
[Preprint]
View
| DOI
| Download Preprint (ext.)
2016 | Journal Article | IST-REx-ID: 1592
Abe M, Fuchsbauer G, Groth J, Haralambiev K, Ohkubo M. Structure preserving signatures and commitments to group elements. Journal of Cryptology. 2016;29(2):363-421. doi:10.1007/s00145-014-9196-7
View
| DOI
2016 | Book Chapter | IST-REx-ID: 5809
Biswas R, Bhowmick P, Brimkov VE. On the connectivity and smoothness of discrete spherical circles. In: Combinatorial Image Analysis. Vol 9448. Cham: Springer Nature; 2016:86-100. doi:10.1007/978-3-319-26145-4_7
View
| DOI
2016 | Journal Article | IST-REx-ID: 9140 |
Drobinski P, Alonzo B, Bastin S, Silva ND, Muller CJ. Scaling of precipitation extremes with temperature in the French Mediterranean region: What explains the hook shape? Journal of Geophysical Research: Atmospheres. 2016;121(7):3100-3119. doi:10.1002/2015jd023497
[Published Version]
View
| DOI
| Download Published Version (ext.)
2016 | Journal Article | IST-REx-ID: 12617 |
Ragettli S, Bolch T, Pellicciotti F. Heterogeneous glacier thinning patterns over the last 40 years in Langtang Himal, Nepal. The Cryosphere. 2016;10(5):2075-2097. doi:10.5194/tc-10-2075-2016
[Published Version]
View
| DOI
| Download Published Version (ext.)
2016 | Journal Article | IST-REx-ID: 13478 |
Götberg YLL, Davies MB, Mustill AJ, Johansen A, Church RP. Long-term stability of the HR 8799 planetary system without resonant lock. Astronomy & Astrophysics. 2016;592. doi:10.1051/0004-6361/201526309
[Published Version]
View
| DOI
| Download Published Version (ext.)
| arXiv
2016 | Journal Article | IST-REx-ID: 1243
Pleska M, Qian L, Okura R, et al. Bacterial autoimmunity due to a restriction-modification system. Current Biology. 2016;26(3):404-409. doi:10.1016/j.cub.2015.12.041
View
| Files available
| DOI
2016 | Journal Article | IST-REx-ID: 1794 |
Kolmogorov V, Takhanov R. Inference algorithms for pattern-based CRFs on sequence data. Algorithmica. 2016;76(1):17-46. doi:10.1007/s00453-015-0017-7
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2015 | Conference Paper | IST-REx-ID: 10796
Chatterjee K, Ibsen-Jensen R. The value 1 problem under finite-memory strategies for concurrent mean-payoff games. In: Proceedings of the Twenty-Sixth Annual ACM-SIAM Symposium on Discrete Algorithms. Vol 2015. SIAM; 2015:1018-1029. doi:10.1137/1.9781611973730.69
[Preprint]
View
| DOI
| arXiv
2015 | Journal Article | IST-REx-ID: 11519 |
Sobral D, Matthee JJ, Darvish B, et al. Evidence for PopIII-like stellar populations in the most luminous Lyα emitters at the epoch of reionisation: Spectroscopic confirmation. The Astrophysical Journal. 2015;808(2):139. doi:10.1088/0004-637X/808/2/139
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2015 | Conference Paper | IST-REx-ID: 11785 |
Henzinger MH, Krinninger S, Nanongkai D. Improved algorithms for decremental single-source reachability on directed graphs. In: 42nd International Colloquium on Automata, Languages and Programming. Vol 9134. Springer Nature; 2015:725-736. doi:10.1007/978-3-662-47672-7_59
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2015 | Journal Article | IST-REx-ID: 1536
Sasse J, Simon S, Gübeli C, et al. Asymmetric localizations of the ABC transporter PaPDR1 trace paths of directional strigolactone transport. Current Biology. 2015;25(5):647-655. doi:10.1016/j.cub.2015.01.015
View
| DOI
2015 | Journal Article | IST-REx-ID: 1546 |
Nakamura Y, Harada H, Kamasawa N, et al. Nanoscale distribution of presynaptic Ca2+ channels and its impact on vesicular release during development. Neuron. 2015;85(1):145-158. doi:10.1016/j.neuron.2014.11.019
[Published Version]
View
| Files available
| DOI
2015 | Conference Paper | IST-REx-ID: 1541
Ray R, Gurung A, Das B, Bartocci E, Bogomolov S, Grosu R. XSpeed: Accelerating reachability analysis on multi-core processors. 2015;9434:3-18. doi:10.1007/978-3-319-26287-1_1
View
| DOI
2015 | Conference Paper | IST-REx-ID: 1606
Nguyen L, Schilling C, Bogomolov S, Johnson T. Runtime verification for hybrid analysis tools. In: 6th International Conference. Vol 9333. Springer Nature; 2015:281-286. doi:10.1007/978-3-319-23820-3_19
View
| DOI
2015 | Conference Paper | IST-REx-ID: 1672 |
Alwen JF, Ostrovsky R, Zhou H, Zikas V. Incoercible multi-party computation and universally composable receipt-free voting. In: Advances in Cryptology - CRYPTO 2015. Vol 9216. Lecture Notes in Computer Science. Springer; 2015:763-780. doi:10.1007/978-3-662-48000-7_37
[Submitted Version]
View
| Files available
| DOI
2015 | Technical Report | IST-REx-ID: 5444 |
Reiter J, Makohon-Moore A, Gerold J, et al. Reconstructing Robust Phylogenies of Metastatic Cancers. IST Austria; 2015. doi:10.15479/AT:IST-2015-399-v1-1
[Published Version]
View
| Files available
| DOI
2015 | Journal Article | IST-REx-ID: 8498
Kaloshin V, Zhang K. Arnold diffusion for smooth convex systems of two and a half degrees of freedom. Nonlinearity. 2015;28(8):2699-2720. doi:10.1088/0951-7715/28/8/2699
View
| DOI
2014 | Conference Paper | IST-REx-ID: 11790
Cigler L, Dvořák W, Henzinger MH, Starnberger M. Limiting price discrimination when selling products with positive network externalities. In: 10th International Conference of Web and Internet Economics. Vol 8877. Springer Nature; 2014:44-57. doi:10.1007/978-3-319-13129-0_4
View
| DOI
2014 | Conference Paper | IST-REx-ID: 11870 |
Henzinger MH, Krinninger S, Nanongkai D. Sublinear-time decremental algorithms for single-source reachability and shortest paths on directed graphs. In: 46th Annual ACM Symposium on Theory of Computing. Association for Computing Machinery; 2014. doi:10.1145/2591796.2591869
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2014 | Conference Paper | IST-REx-ID: 11875 |
Bhattacharya S, Henzinger MH, Italiano GF. Deterministic fully dynamic data structures for vertex cover and matching. In: 26th Annual ACM-SIAM Symposium on Discrete Algorithms. Society for Industrial and Applied Mathematics; 2014:785-804. doi:10.1137/1.9781611973730.54
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2014 | Journal Article | IST-REx-ID: 2056 |
Ganguly A, Petrov T, Koeppl H. Markov chain aggregation and its applications to combinatorial reaction networks. Journal of Mathematical Biology. 2014;69(3):767-797. doi:10.1007/s00285-013-0738-7
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
2014 | Journal Article | IST-REx-ID: 2154 |
Matoušek J, Wagner U. On Gromov’s method of selecting heavily covered points. Discrete & Computational Geometry. 2014;52(1):1-33. doi:10.1007/s00454-014-9584-7
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
2014 | Journal Article | IST-REx-ID: 2176
Studer D, Zhao S, Chai X, et al. Capture of activity-induced ultrastructural changes at synapses by high-pressure freezing of brain tissue. Nature Protocols. 2014;9(6):1480-1495. doi:10.1038/nprot.2014.099
View
| DOI
2014 | Journal Article | IST-REx-ID: 2252
Phadke S, Paixao T, Pham T, Pham S, Zufall R. Genetic background alters dominance relationships between mat alleles in the ciliate Tetrahymena Thermophila. Journal of Heredity. 2014;105(1):130-135. doi:10.1093/jhered/est063
View
| DOI
2014 | Journal Article | IST-REx-ID: 2852
Fischlin M, Lehmann A, Pietrzak KZ. Robust multi-property combiners for hash functions. Journal of Cryptology. 2014;27(3):397-428. doi:10.1007/s00145-013-9148-7
View
| Files available
| DOI
2014 | Journal Article | IST-REx-ID: 8023 |
Tomm C, Avermann M, Petersen C, Gerstner W, Vogels TP. Connection-type-specific biases make uniform random network models consistent with cortical recordings. Journal of Neurophysiology. 2014;112(8):1801-1814. doi:10.1152/jn.00629.2013
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
2014 | Journal Article | IST-REx-ID: 535 |
Chatterjee K, Henzinger MH, Krinninger S, Nanongkai D. Polynomial-time algorithms for energy games with special weight structures. Algorithmica. 2014;70(3):457-492. doi:10.1007/s00453-013-9843-7
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2014 | Journal Article | IST-REx-ID: 1913 |
Milenković I, Petrov T, Kovács G. Patterns of hippocampal tau pathology differentiate neurodegenerative dementias. Dementia and Geriatric Cognitive Disorders. 2014;38(5-6):375-388. doi:10.1159/000365548
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2013 | Conference Paper | IST-REx-ID: 11856 |
Henzinger MH, Krinninger S, Nanongkai D. Dynamic approximate all-pairs shortest paths: Breaking the O(mn) barrier and derandomization. In: 54th Annual Symposium on Foundations of Computer Science. Institute of Electrical and Electronics Engineers; 2013:538-547. doi:10.1109/focs.2013.64
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2013 | Conference Paper | IST-REx-ID: 2181 |
Henzinger TA, Kirsch C, Payer H, Sezgin A, Sokolova A. Quantitative relaxation of concurrent data structures. In: Proceedings of the 40th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Language. ACM; 2013:317-328. doi:10.1145/2429069.2429109
[Submitted Version]
View
| Files available
| DOI
2013 | Conference Paper | IST-REx-ID: 2276 |
Gridchyn I, Kolmogorov V. Potts model, parametric maxflow and k-submodular functions. In: IEEE; 2013:2320-2327. doi:10.1109/ICCV.2013.288
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2013 | Journal Article | IST-REx-ID: 2289 |
Henzinger TA. Quantitative reactive modeling and verification. Computer Science Research and Development. 2013;28(4):331-344. doi:10.1007/s00450-013-0251-7
[Published Version]
View
| Files available
| DOI
2013 | Conference Paper | IST-REx-ID: 2319 |
Frank R, Hainzl C, Seiringer R, Solovej J. Derivation of Ginzburg-Landau theory for a one-dimensional system with contact interaction. In: Springer; 2013:57-88. doi:10.1007/978-3-0348-0531-5_3
View
| DOI
| Download (ext.)
2013 | Journal Article | IST-REx-ID: 2845
Rose T, Schönenberger P, Jezek K, Oertner T. Developmental refinement of vesicle cycling at Schaffer collateral synapses. Neuron. 2013;77(6):1109-1121. doi:10.1016/j.neuron.2013.01.021
View
| DOI