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, D. R., & Wörner, H. J. (2017). Comment on ‘Time delays in molecular photoionization.’ Journal of Physics B: Atomic, Molecular and Optical Physics. IOP Publishing. https://doi.org/10.1088/1361-6455/aa62b5
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2017 | Journal Article | IST-REx-ID: 1144 |
Erdös, L., & Schröder, D. J. (2017). Fluctuations of functions of Wigner matrices. Electronic Communications in Probability. Institute of Mathematical Statistics. https://doi.org/10.1214/16-ECP38
[Published Version]
View
| Files available
| DOI
2017 | Journal Article | IST-REx-ID: 1528 |
Bao, Z., & Erdös, L. (2017). Delocalization for a class of random block band matrices. Probability Theory and Related Fields. Springer. https://doi.org/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., Božić, I., Chatterjee, K., Iacobuzio Donahue, C., … Nowak, M. (2017). Reconstructing metastatic seeding patterns of human cancers. Nature Communications. Nature Publishing Group. https://doi.org/10.1038/ncomms14114
[Published Version]
View
| Files available
| DOI
| WoS
2017 | Journal Article | IST-REx-ID: 1062
Guarina, L., Vandael, D. H., Carabelli, V., & Carbone, E. (2017). 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. Wiley-Blackwell. https://doi.org/10.1113/JP273735
View
| DOI
| WoS
2017 | Journal Article | IST-REx-ID: 1018
Dobisova, T., Hrdinova, V., Cuesta, C., Michlickova, S., Urbankova, I., Hejatkova, R., … Hejátko, J. (2017). Light regulated expression of sensor histidine kinase CKI1 controls cytokinin related development. Plant Physiology. American Society of Plant Biologists. https://doi.org/10.1104/pp.16.01964
View
| DOI
| WoS
2017 | Journal Article | IST-REx-ID: 1006 |
Greenwood, J., Milutinovic, B., Peuß, R., Behrens, S., Essar, D., Rosenstiel, P., … Kurtz, J. (2017). Oral immune priming with Bacillus thuringiensis induces a shift in the gene expression of Tribolium castaneum larvae. BMC Genomics. BioMed Central. https://doi.org/10.1186/s12864-017-3705-7
[Published Version]
View
| Files available
| DOI
| WoS
2017 | Journal Article | IST-REx-ID: 991
Chen, C., & Jonas, P. M. (2017). Synaptotagmins: That’s why so many. Neuron. Elsevier. https://doi.org/10.1016/j.neuron.2017.05.011
View
| DOI
| WoS
2017 | Conference Paper | IST-REx-ID: 836
Ethier, M., Jablonski, G., & Mrozek, M. (2017). Finding eigenvalues of self-maps with the Kronecker canonical form. In Special Sessions in Applications of Computer Algebra (Vol. 198, pp. 119–136). Kalamata, Greece: Springer. https://doi.org/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, P. M. (2017). Triple function of Synaptotagmin 7 ensures efficiency of high-frequency transmission at central GABAergic synapses. Cell Reports. Cell Press. https://doi.org/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, J. J. (2016). 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. Oxford University Press. https://doi.org/10.1093/mnras/stw2076
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2016 | Journal Article | IST-REx-ID: 1222 |
Musin, O., & Nikitenko, A. (2016). Optimal packings of congruent circles on a square flat torus. Discrete & Computational Geometry. Springer. https://doi.org/10.1007/s00454-015-9742-6
[Preprint]
View
| DOI
| Download Preprint (ext.)
2016 | Conference Paper | IST-REx-ID: 1245
Pandey, V., & Chatterjee, K. (2016). 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, pp. 365–368). San Francisco, CA, USA: ACM. https://doi.org/10.1145/2818052.2869122
View
| DOI
2016 | Journal Article | IST-REx-ID: 1261 |
Maas, J., & Matthes, D. (2016). Long-time behavior of a finite volume discretization for a fourth order diffusion equation. Nonlinearity. IOP Publishing Ltd. https://doi.org/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., Gaudinier, A., Goh, T., Swarup, K., … Bennett, M. (2016). Lateral root emergence in Arabidopsis is dependent on transcription factor LBD29 regulation of auxin influx carrier LAX3. Development. Company of Biologists. https://doi.org/10.1242/dev.136283
[Preprint]
View
| DOI
| Download Preprint (ext.)
2016 | Conference Paper | IST-REx-ID: 1389 |
Chonev, V. K., Ouaknine, J., & Worrell, J. (2016). On recurrent reachability for continuous linear dynamical systems. In LICS ’16 (pp. 515–524). New York, NY, USA: IEEE. https://doi.org/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. (2016). Structure preserving signatures and commitments to group elements. Journal of Cryptology. Springer. https://doi.org/10.1007/s00145-014-9196-7
View
| DOI
2016 | Book Chapter | IST-REx-ID: 5809
Biswas, R., Bhowmick, P., & Brimkov, V. E. (2016). On the connectivity and smoothness of discrete spherical circles. In Combinatorial image analysis (Vol. 9448, pp. 86–100). Cham: Springer Nature. https://doi.org/10.1007/978-3-319-26145-4_7
View
| DOI
2016 | Journal Article | IST-REx-ID: 9140 |
Drobinski, P., Alonzo, B., Bastin, S., Silva, N. D., & Muller, C. J. (2016). Scaling of precipitation extremes with temperature in the French Mediterranean region: What explains the hook shape? Journal of Geophysical Research: Atmospheres. American Geophysical Union. https://doi.org/10.1002/2015jd023497
[Published Version]
View
| DOI
| Download Published Version (ext.)
2016 | Journal Article | IST-REx-ID: 12617 |
Ragettli, S., Bolch, T., & Pellicciotti, F. (2016). Heterogeneous glacier thinning patterns over the last 40 years in Langtang Himal, Nepal. The Cryosphere. Copernicus Publications. https://doi.org/10.5194/tc-10-2075-2016
[Published Version]
View
| DOI
| Download Published Version (ext.)
2016 | Journal Article | IST-REx-ID: 13478 |
Götberg, Y. L. L., Davies, M. B., Mustill, A. J., Johansen, A., & Church, R. P. (2016). Long-term stability of the HR 8799 planetary system without resonant lock. Astronomy & Astrophysics. EDP Sciences. https://doi.org/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., Bergmiller, T., Wakamoto, Y., Kussell, E., & Guet, C. C. (2016). Bacterial autoimmunity due to a restriction-modification system. Current Biology. Cell Press. https://doi.org/10.1016/j.cub.2015.12.041
View
| Files available
| DOI
2016 | Journal Article | IST-REx-ID: 1794 |
Kolmogorov, V., & Takhanov, R. (2016). Inference algorithms for pattern-based CRFs on sequence data. Algorithmica. Springer. https://doi.org/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. (2015). 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, pp. 1018–1029). San Diego, CA, United States: SIAM. https://doi.org/10.1137/1.9781611973730.69
[Preprint]
View
| DOI
| arXiv
2015 | Journal Article | IST-REx-ID: 11519 |
Sobral, D., Matthee, J. J., Darvish, B., Schaerer, D., Mobasher, B., Röttgering, H., … Hemmati, S. (2015). Evidence for PopIII-like stellar populations in the most luminous Lyα emitters at the epoch of reionisation: Spectroscopic confirmation. The Astrophysical Journal. IOP Publishing. https://doi.org/10.1088/0004-637X/808/2/139
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2015 | Conference Paper | IST-REx-ID: 11785 |
Henzinger, M. H., Krinninger, S., & Nanongkai, D. (2015). Improved algorithms for decremental single-source reachability on directed graphs. In 42nd International Colloquium on Automata, Languages and Programming (Vol. 9134, pp. 725–736). Kyoto, Japan: Springer Nature. https://doi.org/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., Liu, G., Cheng, X., Friml, J., … Borghi, L. (2015). Asymmetric localizations of the ABC transporter PaPDR1 trace paths of directional strigolactone transport. Current Biology. Cell Press. https://doi.org/10.1016/j.cub.2015.01.015
View
| DOI
2015 | Journal Article | IST-REx-ID: 1546 |
Nakamura, Y., Harada, H., Kamasawa, N., Matsui, K., Rothman, J., Shigemoto, R., … Takahashi, T. (2015). Nanoscale distribution of presynaptic Ca2+ channels and its impact on vesicular release during development. Neuron. Elsevier. https://doi.org/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. (2015). XSpeed: Accelerating reachability analysis on multi-core processors. Presented at the HVC: Haifa Verification Conference, Haifa, Israel: Springer. https://doi.org/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. (2015). Runtime verification for hybrid analysis tools. In 6th International Conference (Vol. 9333, pp. 281–286). Vienna, Austria: Springer Nature. https://doi.org/10.1007/978-3-319-23820-3_19
View
| DOI
2015 | Conference Paper | IST-REx-ID: 1672 |
Alwen, J. F., Ostrovsky, R., Zhou, H., & Zikas, V. (2015). Incoercible multi-party computation and universally composable receipt-free voting. In Advances in Cryptology - CRYPTO 2015 (Vol. 9216, pp. 763–780). Santa Barbara, CA, United States: Springer. https://doi.org/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., Bozic, I., Chatterjee, K., Iacobuzio-Donahue, C., … Nowak, M. (2015). Reconstructing robust phylogenies of metastatic cancers. IST Austria. https://doi.org/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. (2015). Arnold diffusion for smooth convex systems of two and a half degrees of freedom. Nonlinearity. IOP Publishing. https://doi.org/10.1088/0951-7715/28/8/2699
View
| DOI
2014 | Conference Paper | IST-REx-ID: 11790
Cigler, L., Dvořák, W., Henzinger, M. H., & Starnberger, M. (2014). Limiting price discrimination when selling products with positive network externalities. In 10th International Conference of Web and Internet Economics (Vol. 8877, pp. 44–57). Beijing, China: Springer Nature. https://doi.org/10.1007/978-3-319-13129-0_4
View
| DOI
2014 | Conference Paper | IST-REx-ID: 11870 |
Henzinger, M. H., Krinninger, S., & Nanongkai, D. (2014). Sublinear-time decremental algorithms for single-source reachability and shortest paths on directed graphs. In 46th Annual ACM Symposium on Theory of Computing. New York, NY, United States: Association for Computing Machinery. https://doi.org/10.1145/2591796.2591869
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2014 | Conference Paper | IST-REx-ID: 11875 |
Bhattacharya, S., Henzinger, M. H., & Italiano, G. F. (2014). Deterministic fully dynamic data structures for vertex cover and matching. In 26th Annual ACM-SIAM Symposium on Discrete Algorithms (pp. 785–804). San Diego, CA, United States: Society for Industrial and Applied Mathematics. https://doi.org/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. (2014). Markov chain aggregation and its applications to combinatorial reaction networks. Journal of Mathematical Biology. Springer. https://doi.org/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. (2014). On Gromov’s method of selecting heavily covered points. Discrete & Computational Geometry. Springer. https://doi.org/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., Jonas, P. M., Graber, W., Nestel, S., & Frotscher, M. (2014). Capture of activity-induced ultrastructural changes at synapses by high-pressure freezing of brain tissue. Nature Protocols. Nature Publishing Group. https://doi.org/10.1038/nprot.2014.099
View
| DOI
2014 | Journal Article | IST-REx-ID: 2252
Phadke, S., Paixao, T., Pham, T., Pham, S., & Zufall, R. (2014). Genetic background alters dominance relationships between mat alleles in the ciliate Tetrahymena Thermophila. Journal of Heredity. Oxford University Press. https://doi.org/10.1093/jhered/est063
View
| DOI
2014 | Journal Article | IST-REx-ID: 2852
Fischlin, M., Lehmann, A., & Pietrzak, K. Z. (2014). Robust multi-property combiners for hash functions. Journal of Cryptology. Springer. https://doi.org/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, T. P. (2014). Connection-type-specific biases make uniform random network models consistent with cortical recordings. Journal of Neurophysiology. American Physiological Society. https://doi.org/10.1152/jn.00629.2013
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
2014 | Journal Article | IST-REx-ID: 535 |
Chatterjee, K., Henzinger, M. H., Krinninger, S., & Nanongkai, D. (2014). Polynomial-time algorithms for energy games with special weight structures. Algorithmica. Springer. https://doi.org/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. (2014). Patterns of hippocampal tau pathology differentiate neurodegenerative dementias. Dementia and Geriatric Cognitive Disorders. Karger Publishers. https://doi.org/10.1159/000365548
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2013 | Conference Paper | IST-REx-ID: 11856 |
Henzinger, M. H., Krinninger, S., & Nanongkai, D. (2013). Dynamic approximate all-pairs shortest paths: Breaking the O(mn) barrier and derandomization. In 54th Annual Symposium on Foundations of Computer Science (pp. 538–547). Berkeley, CA, United States: Institute of Electrical and Electronics Engineers. https://doi.org/10.1109/focs.2013.64
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2013 | Conference Paper | IST-REx-ID: 2181 |
Henzinger, T. A., Kirsch, C., Payer, H., Sezgin, A., & Sokolova, A. (2013). Quantitative relaxation of concurrent data structures. In Proceedings of the 40th annual ACM SIGPLAN-SIGACT symposium on Principles of programming language (pp. 317–328). Rome, Italy: ACM. https://doi.org/10.1145/2429069.2429109
[Submitted Version]
View
| Files available
| DOI
2013 | Conference Paper | IST-REx-ID: 2276 |
Gridchyn, I., & Kolmogorov, V. (2013). Potts model, parametric maxflow and k-submodular functions (pp. 2320–2327). Presented at the ICCV: International Conference on Computer Vision, Sydney, Australia: IEEE. https://doi.org/10.1109/ICCV.2013.288
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2013 | Journal Article | IST-REx-ID: 2289 |
Henzinger, T. A. (2013). Quantitative reactive modeling and verification. Computer Science Research and Development. Springer. https://doi.org/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. (2013). Derivation of Ginzburg-Landau theory for a one-dimensional system with contact interaction (pp. 57–88). Presented at the OTAMP: Operator Theory, Analysis and Mathematical Physics, Springer. https://doi.org/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. (2013). Developmental refinement of vesicle cycling at Schaffer collateral synapses. Neuron. Elsevier. https://doi.org/10.1016/j.neuron.2013.01.021
View
| DOI