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 | OA
D. R. Baykusheva and H. J. Wörner, “Comment on ‘Time delays in molecular photoionization,’” Journal of Physics B: Atomic, Molecular and Optical Physics, vol. 50, no. 7. IOP Publishing, 2017.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2017 | Journal Article | IST-REx-ID: 1144 | OA
L. Erdös and D. J. Schröder, “Fluctuations of functions of Wigner matrices,” Electronic Communications in Probability, vol. 21. Institute of Mathematical Statistics, 2017.
[Published Version] View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 1528 | OA
Z. Bao and L. Erdös, “Delocalization for a class of random block band matrices,” Probability Theory and Related Fields, vol. 167, no. 3–4. Springer, pp. 673–776, 2017.
[Published Version] View | Files available | DOI | WoS
 

2017 | Journal Article | IST-REx-ID: 1080 | OA
J. Reiter et al., “Reconstructing metastatic seeding patterns of human cancers,” Nature Communications, vol. 8. Nature Publishing Group, 2017.
[Published Version] View | Files available | DOI | WoS
 

2017 | Journal Article | IST-REx-ID: 1062
L. Guarina, D. H. Vandael, V. Carabelli, and E. Carbone, “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, vol. 595, no. 8. Wiley-Blackwell, pp. 2587–2609, 2017.
View | DOI | WoS
 

2017 | Journal Article | IST-REx-ID: 1018
T. Dobisova et al., “Light regulated expression of sensor histidine kinase CKI1 controls cytokinin related development,” Plant Physiology, vol. 174, no. 1. American Society of Plant Biologists, pp. 387–404, 2017.
View | DOI | WoS
 

2017 | Journal Article | IST-REx-ID: 1006 | OA
J. Greenwood et al., “Oral immune priming with Bacillus thuringiensis induces a shift in the gene expression of Tribolium castaneum larvae,” BMC Genomics, vol. 18, no. 1. BioMed Central, p. 329, 2017.
[Published Version] View | Files available | DOI | WoS
 

2017 | Journal Article | IST-REx-ID: 991
C. Chen and P. M. Jonas, “Synaptotagmins: That’s why so many,” Neuron, vol. 94, no. 4. Elsevier, pp. 694–696, 2017.
View | DOI | WoS
 

2017 | Conference Paper | IST-REx-ID: 836
M. Ethier, G. Jablonski, and M. Mrozek, “Finding eigenvalues of self-maps with the Kronecker canonical form,” in Special Sessions in Applications of Computer Algebra, Kalamata, Greece, 2017, vol. 198, pp. 119–136.
View | DOI | WoS
 

2017 | Journal Article | IST-REx-ID: 749 | OA
C. Chen, R. Satterfield, S. Young, and P. M. Jonas, “Triple function of Synaptotagmin 7 ensures efficiency of high-frequency transmission at central GABAergic synapses,” Cell Reports, vol. 21, no. 8. Cell Press, pp. 2082–2089, 2017.
[Published Version] View | Files available | DOI | WoS
 

2016 | Journal Article | IST-REx-ID: 11574 | OA
S. Santos, D. Sobral, and J. J. Matthee, “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, vol. 463, no. 2. Oxford University Press, pp. 1678–1691, 2016.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2016 | Journal Article | IST-REx-ID: 1222 | OA
O. Musin and A. Nikitenko, “Optimal packings of congruent circles on a square flat torus,” Discrete & Computational Geometry, vol. 55, no. 1. Springer, pp. 1–20, 2016.
[Preprint] View | DOI | Download Preprint (ext.)
 

2016 | Conference Paper | IST-REx-ID: 1245
V. Pandey and K. Chatterjee, “Game-theoretic models identify useful principles for peer collaboration in online learning platforms,” in Proceedings of the ACM Conference on Computer Supported Cooperative Work, San Francisco, CA, USA, 2016, vol. 26, no. Februar-2016, pp. 365–368.
View | DOI
 

2016 | Journal Article | IST-REx-ID: 1261 | OA
J. Maas and D. Matthes, “Long-time behavior of a finite volume discretization for a fourth order diffusion equation,” Nonlinearity, vol. 29, no. 7. IOP Publishing Ltd., pp. 1992–2023, 2016.
[Preprint] View | DOI | Download Preprint (ext.)
 

2016 | Journal Article | IST-REx-ID: 1273 | OA
S. Porco et al., “Lateral root emergence in Arabidopsis is dependent on transcription factor LBD29 regulation of auxin influx carrier LAX3,” Development, vol. 143, no. 18. Company of Biologists, pp. 3340–3349, 2016.
[Preprint] View | DOI | Download Preprint (ext.)
 

2016 | Conference Paper | IST-REx-ID: 1389 | OA
V. K. Chonev, J. Ouaknine, and J. Worrell, “On recurrent reachability for continuous linear dynamical systems,” in LICS ’16, New York, NY, USA, 2016, pp. 515–524.
[Preprint] View | DOI | Download Preprint (ext.)
 

2016 | Journal Article | IST-REx-ID: 1592
M. Abe, G. Fuchsbauer, J. Groth, K. Haralambiev, and M. Ohkubo, “Structure preserving signatures and commitments to group elements,” Journal of Cryptology, vol. 29, no. 2. Springer, pp. 363–421, 2016.
View | DOI
 

2016 | Book Chapter | IST-REx-ID: 5809
R. Biswas, P. Bhowmick, and V. E. Brimkov, “On the connectivity and smoothness of discrete spherical circles,” in Combinatorial image analysis, vol. 9448, Cham: Springer Nature, 2016, pp. 86–100.
View | DOI
 

2016 | Journal Article | IST-REx-ID: 9140 | OA
P. Drobinski, B. Alonzo, S. Bastin, N. D. Silva, and C. J. Muller, “Scaling of precipitation extremes with temperature in the French Mediterranean region: What explains the hook shape?,” Journal of Geophysical Research: Atmospheres, vol. 121, no. 7. American Geophysical Union, pp. 3100–3119, 2016.
[Published Version] View | DOI | Download Published Version (ext.)
 

2016 | Journal Article | IST-REx-ID: 12617 | OA
S. Ragettli, T. Bolch, and F. Pellicciotti, “Heterogeneous glacier thinning patterns over the last 40 years in Langtang Himal, Nepal,” The Cryosphere, vol. 10, no. 5. Copernicus Publications, pp. 2075–2097, 2016.
[Published Version] View | DOI | Download Published Version (ext.)
 

2016 | Journal Article | IST-REx-ID: 13478 | OA
Y. L. L. Götberg, M. B. Davies, A. J. Mustill, A. Johansen, and R. P. Church, “Long-term stability of the HR 8799 planetary system without resonant lock,” Astronomy & Astrophysics, vol. 592. EDP Sciences, 2016.
[Published Version] View | DOI | Download Published Version (ext.) | arXiv
 

2016 | Journal Article | IST-REx-ID: 1243
M. Pleska et al., “Bacterial autoimmunity due to a restriction-modification system,” Current Biology, vol. 26, no. 3. Cell Press, pp. 404–409, 2016.
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1794 | OA
V. Kolmogorov and R. Takhanov, “Inference algorithms for pattern-based CRFs on sequence data,” Algorithmica, vol. 76, no. 1. Springer, pp. 17–46, 2016.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2015 | Conference Paper | IST-REx-ID: 10796
K. Chatterjee and R. Ibsen-Jensen, “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, San Diego, CA, United States, 2015, vol. 2015, no. 1, pp. 1018–1029.
[Preprint] View | DOI | arXiv
 

2015 | Journal Article | IST-REx-ID: 11519 | OA
D. Sobral et al., “Evidence for PopIII-like stellar populations in the most luminous Lyα emitters at the epoch of reionisation: Spectroscopic confirmation,” The Astrophysical Journal, vol. 808, no. 2. IOP Publishing, p. 139, 2015.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2015 | Conference Paper | IST-REx-ID: 11785 | OA
M. H. Henzinger, S. Krinninger, and D. Nanongkai, “Improved algorithms for decremental single-source reachability on directed graphs,” in 42nd International Colloquium on Automata, Languages and Programming, Kyoto, Japan, 2015, vol. 9134, pp. 725–736.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2015 | Journal Article | IST-REx-ID: 1536
J. Sasse et al., “Asymmetric localizations of the ABC transporter PaPDR1 trace paths of directional strigolactone transport,” Current Biology, vol. 25, no. 5. Cell Press, pp. 647–655, 2015.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 1546 | OA
Y. Nakamura et al., “Nanoscale distribution of presynaptic Ca2+ channels and its impact on vesicular release during development,” Neuron, vol. 85, no. 1. Elsevier, pp. 145–158, 2015.
[Published Version] 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 | Conference Paper | IST-REx-ID: 1606
L. Nguyen, C. Schilling, S. Bogomolov, and T. Johnson, “Runtime verification for hybrid analysis tools,” in 6th International Conference, Vienna, Austria, 2015, vol. 9333, pp. 281–286.
View | DOI
 

2015 | Conference Paper | IST-REx-ID: 1672 | OA
J. F. Alwen, R. Ostrovsky, H. Zhou, and V. Zikas, “Incoercible multi-party computation and universally composable receipt-free voting,” in Advances in Cryptology - CRYPTO 2015, Santa Barbara, CA, United States, 2015, vol. 9216, pp. 763–780.
[Submitted Version] View | Files available | DOI
 

2015 | Technical Report | IST-REx-ID: 5444 | OA
J. Reiter et al., Reconstructing robust phylogenies of metastatic cancers. IST Austria, 2015.
[Published Version] View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 8498
V. Kaloshin and K. Zhang, “Arnold diffusion for smooth convex systems of two and a half degrees of freedom,” Nonlinearity, vol. 28, no. 8. IOP Publishing, pp. 2699–2720, 2015.
View | DOI
 

2014 | Conference Paper | IST-REx-ID: 11790
L. Cigler, W. Dvořák, M. H. Henzinger, and M. Starnberger, “Limiting price discrimination when selling products with positive network externalities,” in 10th International Conference of Web and Internet Economics, Beijing, China, 2014, vol. 8877, pp. 44–57.
View | DOI
 

2014 | Conference Paper | IST-REx-ID: 11870 | OA
M. H. Henzinger, S. Krinninger, and D. Nanongkai, “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, 2014.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2014 | Conference Paper | IST-REx-ID: 11875 | OA
S. Bhattacharya, M. H. Henzinger, and G. F. Italiano, “Deterministic fully dynamic data structures for vertex cover and matching,” in 26th Annual ACM-SIAM Symposium on Discrete Algorithms, San Diego, CA, United States, 2014, pp. 785–804.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2014 | Journal Article | IST-REx-ID: 2056 | OA
A. Ganguly, T. Petrov, and H. Koeppl, “Markov chain aggregation and its applications to combinatorial reaction networks,” Journal of Mathematical Biology, vol. 69, no. 3. Springer, pp. 767–797, 2014.
[Submitted Version] View | DOI | Download Submitted Version (ext.)
 

2014 | Journal Article | IST-REx-ID: 2154 | OA
J. Matoušek and U. Wagner, “On Gromov’s method of selecting heavily covered points,” Discrete & Computational Geometry, vol. 52, no. 1. Springer, pp. 1–33, 2014.
[Submitted Version] View | DOI | Download Submitted Version (ext.)
 

2014 | Journal Article | IST-REx-ID: 2176
D. Studer et al., “Capture of activity-induced ultrastructural changes at synapses by high-pressure freezing of brain tissue,” Nature Protocols, vol. 9, no. 6. Nature Publishing Group, pp. 1480–1495, 2014.
View | DOI
 

2014 | Journal Article | IST-REx-ID: 2252
S. Phadke, T. Paixao, T. Pham, S. Pham, and R. Zufall, “Genetic background alters dominance relationships between mat alleles in the ciliate Tetrahymena Thermophila,” Journal of Heredity, vol. 105, no. 1. Oxford University Press, pp. 130–135, 2014.
View | DOI
 

2014 | Journal Article | IST-REx-ID: 2852
M. Fischlin, A. Lehmann, and K. Z. Pietrzak, “Robust multi-property combiners for hash functions,” Journal of Cryptology, vol. 27, no. 3. Springer, pp. 397–428, 2014.
View | Files available | DOI
 

2014 | Journal Article | IST-REx-ID: 8023 | OA
C. Tomm, M. Avermann, C. Petersen, W. Gerstner, and T. P. Vogels, “Connection-type-specific biases make uniform random network models consistent with cortical recordings,” Journal of Neurophysiology, vol. 112, no. 8. American Physiological Society, pp. 1801–1814, 2014.
[Published Version] View | Files available | DOI | PubMed | Europe PMC
 

2014 | Journal Article | IST-REx-ID: 535 | OA
K. Chatterjee, M. H. Henzinger, S. Krinninger, and D. Nanongkai, “Polynomial-time algorithms for energy games with special weight structures,” Algorithmica, vol. 70, no. 3. Springer, pp. 457–492, 2014.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2014 | Journal Article | IST-REx-ID: 1913 | OA
I. Milenković, T. Petrov, and G. Kovács, “Patterns of hippocampal tau pathology differentiate neurodegenerative dementias,” Dementia and Geriatric Cognitive Disorders, vol. 38, no. 5–6. Karger Publishers, pp. 375–388, 2014.
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2013 | Conference Paper | IST-REx-ID: 11856 | OA
M. H. Henzinger, S. Krinninger, and D. Nanongkai, “Dynamic approximate all-pairs shortest paths: Breaking the O(mn) barrier and derandomization,” in 54th Annual Symposium on Foundations of Computer Science, Berkeley, CA, United States, 2013, pp. 538–547.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2013 | Conference Paper | IST-REx-ID: 2181 | OA
T. A. Henzinger, C. Kirsch, H. Payer, A. Sezgin, and A. Sokolova, “Quantitative relaxation of concurrent data structures,” in Proceedings of the 40th annual ACM SIGPLAN-SIGACT symposium on Principles of programming language, Rome, Italy, 2013, pp. 317–328.
[Submitted Version] View | Files available | DOI
 

2013 | Conference Paper | IST-REx-ID: 2276 | OA
I. Gridchyn and V. Kolmogorov, “Potts model, parametric maxflow and k-submodular functions,” presented at the ICCV: International Conference on Computer Vision, Sydney, Australia, 2013, pp. 2320–2327.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2013 | Journal Article | IST-REx-ID: 2289 | OA
T. A. Henzinger, “Quantitative reactive modeling and verification,” Computer Science Research and Development, vol. 28, no. 4. Springer, pp. 331–344, 2013.
[Published Version] View | Files available | DOI
 

2013 | Conference Paper | IST-REx-ID: 2319 | OA
R. Frank, C. Hainzl, R. Seiringer, and J. Solovej, “ Derivation of Ginzburg-Landau theory for a one-dimensional system with contact interaction,” presented at the OTAMP: Operator Theory, Analysis and Mathematical Physics, 2013, pp. 57–88.
View | DOI | Download (ext.)
 

2013 | Journal Article | IST-REx-ID: 2845
T. Rose, P. Schönenberger, K. Jezek, and T. Oertner, “Developmental refinement of vesicle cycling at Schaffer collateral synapses,” Neuron, vol. 77, no. 6. Elsevier, pp. 1109–1121, 2013.
View | DOI
 

Filters and Search Terms

isbn%3D978-331958770-7

Search

Filter Publications