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
Baykusheva, Denitsa Rangelova, and Hans Jakob Wörner. “Comment on ‘Time Delays in Molecular Photoionization.’” Journal of Physics B: Atomic, Molecular and Optical Physics, vol. 50, no. 7, 078002, IOP Publishing, 2017, doi:10.1088/1361-6455/aa62b5.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2017 | Journal Article | IST-REx-ID: 1144 | OA
Erdös, László, and Dominik J. Schröder. “Fluctuations of Functions of Wigner Matrices.” Electronic Communications in Probability, vol. 21, 86, Institute of Mathematical Statistics, 2017, doi:10.1214/16-ECP38.
[Published Version] View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 1528 | OA
Bao, Zhigang, and László Erdös. “Delocalization for a Class of Random Block Band Matrices.” Probability Theory and Related Fields, vol. 167, no. 3–4, Springer, 2017, pp. 673–776, doi:10.1007/s00440-015-0692-y.
[Published Version] View | Files available | DOI | WoS
 

2017 | Journal Article | IST-REx-ID: 1080 | OA
Reiter, Johannes, et al. “Reconstructing Metastatic Seeding Patterns of Human Cancers.” Nature Communications, vol. 8, 14114, Nature Publishing Group, 2017, doi:10.1038/ncomms14114.
[Published Version] View | Files available | DOI | WoS
 

2017 | Journal Article | IST-REx-ID: 1062
Guarina, Laura, et al. “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, 2017, pp. 2587–609, doi:10.1113/JP273735.
View | DOI | WoS
 

2017 | Journal Article | IST-REx-ID: 1018
Dobisova, Tereza, 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, 2017, pp. 387–404, doi:10.1104/pp.16.01964.
View | DOI | WoS
 

2017 | Journal Article | IST-REx-ID: 1006 | OA
Greenwood, Jenny, 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, 2017, p. 329, doi:10.1186/s12864-017-3705-7.
[Published Version] View | Files available | DOI | WoS
 

2017 | Journal Article | IST-REx-ID: 991
Chen, Chong, and Peter M. Jonas. “Synaptotagmins: That’s Why so Many.” Neuron, vol. 94, no. 4, Elsevier, 2017, pp. 694–96, doi:10.1016/j.neuron.2017.05.011.
View | DOI | WoS
 

2017 | Conference Paper | IST-REx-ID: 836
Ethier, Marc, et al. “Finding Eigenvalues of Self-Maps with the Kronecker Canonical Form.” Special Sessions in Applications of Computer Algebra, vol. 198, Springer, 2017, pp. 119–36, doi:10.1007/978-3-319-56932-1_8.
View | DOI | WoS
 

2017 | Journal Article | IST-REx-ID: 749 | OA
Chen, Chong, et al. “Triple Function of Synaptotagmin 7 Ensures Efficiency of High-Frequency Transmission at Central GABAergic Synapses.” Cell Reports, vol. 21, no. 8, Cell Press, 2017, pp. 2082–89, doi:10.1016/j.celrep.2017.10.122.
[Published Version] View | Files available | DOI | WoS
 

2016 | Journal Article | IST-REx-ID: 11574 | OA
Santos, Sérgio, et al. “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, 2016, pp. 1678–91, doi:10.1093/mnras/stw2076.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2016 | Journal Article | IST-REx-ID: 1222 | OA
Musin, Oleg, and Anton Nikitenko. “Optimal Packings of Congruent Circles on a Square Flat Torus.” Discrete & Computational Geometry, vol. 55, no. 1, Springer, 2016, pp. 1–20, doi:10.1007/s00454-015-9742-6.
[Preprint] View | DOI | Download Preprint (ext.)
 

2016 | Conference Paper | IST-REx-ID: 1245
Pandey, Vineet, and Krishnendu Chatterjee. “Game-Theoretic Models Identify Useful Principles for Peer Collaboration in Online Learning Platforms.” Proceedings of the ACM Conference on Computer Supported Cooperative Work, vol. 26, no. Februar-2016, ACM, 2016, pp. 365–68, doi:10.1145/2818052.2869122.
View | DOI
 

2016 | Journal Article | IST-REx-ID: 1261 | OA
Maas, Jan, and Daniel Matthes. “Long-Time Behavior of a Finite Volume Discretization for a Fourth Order Diffusion Equation.” Nonlinearity, vol. 29, no. 7, IOP Publishing Ltd., 2016, pp. 1992–2023, doi:10.1088/0951-7715/29/7/1992.
[Preprint] View | DOI | Download Preprint (ext.)
 

2016 | Journal Article | IST-REx-ID: 1273 | OA
Porco, Silvana, 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, 2016, pp. 3340–49, doi:10.1242/dev.136283.
[Preprint] View | DOI | Download Preprint (ext.)
 

2016 | Conference Paper | IST-REx-ID: 1389 | OA
Chonev, Ventsislav K., et al. “On Recurrent Reachability for Continuous Linear Dynamical Systems.” LICS ’16, IEEE, 2016, pp. 515–24, doi:10.1145/2933575.2934548.
[Preprint] View | DOI | Download Preprint (ext.)
 

2016 | Journal Article | IST-REx-ID: 1592
Abe, Masayuki, et al. “Structure Preserving Signatures and Commitments to Group Elements.” Journal of Cryptology, vol. 29, no. 2, Springer, 2016, pp. 363–421, doi:10.1007/s00145-014-9196-7.
View | DOI
 

2016 | Book Chapter | IST-REx-ID: 5809
Biswas, Ranita, et al. “On the Connectivity and Smoothness of Discrete Spherical Circles.” Combinatorial Image Analysis, vol. 9448, Springer Nature, 2016, pp. 86–100, doi:10.1007/978-3-319-26145-4_7.
View | DOI
 

2016 | Journal Article | IST-REx-ID: 9140 | OA
Drobinski, P., et al. “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, 2016, pp. 3100–19, doi:10.1002/2015jd023497.
[Published Version] View | DOI | Download Published Version (ext.)
 

2016 | Journal Article | IST-REx-ID: 12617 | OA
Ragettli, Silvan, et al. “Heterogeneous Glacier Thinning Patterns over the Last 40 Years in Langtang Himal, Nepal.” The Cryosphere, vol. 10, no. 5, Copernicus Publications, 2016, pp. 2075–97, doi:10.5194/tc-10-2075-2016.
[Published Version] View | DOI | Download Published Version (ext.)
 

2016 | Journal Article | IST-REx-ID: 13478 | OA
Götberg, Ylva Louise Linsdotter, et al. “Long-Term Stability of the HR 8799 Planetary System without Resonant Lock.” Astronomy & Astrophysics, vol. 592, A147, EDP Sciences, 2016, doi:10.1051/0004-6361/201526309.
[Published Version] View | DOI | Download Published Version (ext.) | arXiv
 

2016 | Journal Article | IST-REx-ID: 1243
Pleska, Maros, et al. “Bacterial Autoimmunity Due to a Restriction-Modification System.” Current Biology, vol. 26, no. 3, Cell Press, 2016, pp. 404–09, doi:10.1016/j.cub.2015.12.041.
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1794 | OA
Kolmogorov, Vladimir, and Rustem Takhanov. “Inference Algorithms for Pattern-Based CRFs on Sequence Data.” Algorithmica, vol. 76, no. 1, Springer, 2016, pp. 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, Krishnendu, and Rasmus Ibsen-Jensen. “The Value 1 Problem under Finite-Memory Strategies for Concurrent Mean-Payoff Games.” Proceedings of the Twenty-Sixth Annual ACM-SIAM Symposium on Discrete Algorithms, vol. 2015, no. 1, SIAM, 2015, pp. 1018–29, doi:10.1137/1.9781611973730.69.
[Preprint] View | DOI | arXiv
 

2015 | Journal Article | IST-REx-ID: 11519 | OA
Sobral, David, 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, 2015, p. 139, doi:10.1088/0004-637X/808/2/139.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2015 | Conference Paper | IST-REx-ID: 11785 | OA
Henzinger, Monika H., et al. “Improved Algorithms for Decremental Single-Source Reachability on Directed Graphs.” 42nd International Colloquium on Automata, Languages and Programming, vol. 9134, Springer Nature, 2015, pp. 725–36, doi:10.1007/978-3-662-47672-7_59.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2015 | Journal Article | IST-REx-ID: 1536
Sasse, Joëlle, et al. “Asymmetric Localizations of the ABC Transporter PaPDR1 Trace Paths of Directional Strigolactone Transport.” Current Biology, vol. 25, no. 5, Cell Press, 2015, pp. 647–55, doi:10.1016/j.cub.2015.01.015.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 1546 | OA
Nakamura, Yukihiro, et al. “Nanoscale Distribution of Presynaptic Ca2+ Channels and Its Impact on Vesicular Release during Development.” Neuron, vol. 85, no. 1, Elsevier, 2015, pp. 145–58, doi:10.1016/j.neuron.2014.11.019.
[Published Version] View | Files available | DOI
 

2015 | Conference Paper | IST-REx-ID: 1541
Ray, Rajarshi, et al. XSpeed: Accelerating Reachability Analysis on Multi-Core Processors. Vol. 9434, Springer, 2015, pp. 3–18, doi:10.1007/978-3-319-26287-1_1.
View | DOI
 

2015 | Conference Paper | IST-REx-ID: 1606
Nguyen, Luan, et al. “Runtime Verification for Hybrid Analysis Tools.” 6th International Conference, vol. 9333, Springer Nature, 2015, pp. 281–86, doi:10.1007/978-3-319-23820-3_19.
View | DOI
 

2015 | Conference Paper | IST-REx-ID: 1672 | OA
Alwen, Joel F., et al. “Incoercible Multi-Party Computation and Universally Composable Receipt-Free Voting.” Advances in Cryptology - CRYPTO 2015, vol. 9216, Springer, 2015, pp. 763–80, doi:10.1007/978-3-662-48000-7_37.
[Submitted Version] View | Files available | DOI
 

2015 | Technical Report | IST-REx-ID: 5444 | OA
Reiter, Johannes, 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, Vadim, and K. Zhang. “Arnold Diffusion for Smooth Convex Systems of Two and a Half Degrees of Freedom.” Nonlinearity, vol. 28, no. 8, IOP Publishing, 2015, pp. 2699–720, doi:10.1088/0951-7715/28/8/2699.
View | DOI
 

2014 | Conference Paper | IST-REx-ID: 11790
Cigler, Luděk, et al. “Limiting Price Discrimination When Selling Products with Positive Network Externalities.” 10th International Conference of Web and Internet Economics, vol. 8877, Springer Nature, 2014, pp. 44–57, doi:10.1007/978-3-319-13129-0_4.
View | DOI
 

2014 | Conference Paper | IST-REx-ID: 11870 | OA
Henzinger, Monika H., et al. “Sublinear-Time Decremental Algorithms for Single-Source Reachability and Shortest Paths on Directed Graphs.” 46th Annual ACM Symposium on Theory of Computing, 674–683, Association for Computing Machinery, 2014, doi:10.1145/2591796.2591869.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2014 | Conference Paper | IST-REx-ID: 11875 | OA
Bhattacharya, Sayan, et al. “Deterministic Fully Dynamic Data Structures for Vertex Cover and Matching.” 26th Annual ACM-SIAM Symposium on Discrete Algorithms, Society for Industrial and Applied Mathematics, 2014, pp. 785–804, doi:10.1137/1.9781611973730.54.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2014 | Journal Article | IST-REx-ID: 2056 | OA
Ganguly, Arnab, et al. “Markov Chain Aggregation and Its Applications to Combinatorial Reaction Networks.” Journal of Mathematical Biology, vol. 69, no. 3, Springer, 2014, pp. 767–97, doi:10.1007/s00285-013-0738-7.
[Submitted Version] View | DOI | Download Submitted Version (ext.)
 

2014 | Journal Article | IST-REx-ID: 2154 | OA
Matoušek, Jiří, and Uli Wagner. “On Gromov’s Method of Selecting Heavily Covered Points.” Discrete & Computational Geometry, vol. 52, no. 1, Springer, 2014, pp. 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, Daniel, 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, 2014, pp. 1480–95, doi:10.1038/nprot.2014.099.
View | DOI
 

2014 | Journal Article | IST-REx-ID: 2252
Phadke, Sujal, et al. “Genetic Background Alters Dominance Relationships between Mat Alleles in the Ciliate Tetrahymena Thermophila.” Journal of Heredity, vol. 105, no. 1, Oxford University Press, 2014, pp. 130–35, doi:10.1093/jhered/est063.
View | DOI
 

2014 | Journal Article | IST-REx-ID: 2852
Fischlin, Marc, et al. “Robust Multi-Property Combiners for Hash Functions.” Journal of Cryptology, vol. 27, no. 3, Springer, 2014, pp. 397–428, doi:10.1007/s00145-013-9148-7.
View | Files available | DOI
 

2014 | Journal Article | IST-REx-ID: 8023 | OA
Tomm, Christian, et al. “Connection-Type-Specific Biases Make Uniform Random Network Models Consistent with Cortical Recordings.” Journal of Neurophysiology, vol. 112, no. 8, American Physiological Society, 2014, pp. 1801–14, doi:10.1152/jn.00629.2013.
[Published Version] View | Files available | DOI | PubMed | Europe PMC
 

2014 | Journal Article | IST-REx-ID: 535 | OA
Chatterjee, Krishnendu, et al. “Polynomial-Time Algorithms for Energy Games with Special Weight Structures.” Algorithmica, vol. 70, no. 3, Springer, 2014, pp. 457–92, doi:10.1007/s00453-013-9843-7.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2014 | Journal Article | IST-REx-ID: 1913 | OA
Milenković, Ivan, et al. “Patterns of Hippocampal Tau Pathology Differentiate Neurodegenerative Dementias.” Dementia and Geriatric Cognitive Disorders, vol. 38, no. 5–6, Karger Publishers, 2014, pp. 375–88, doi:10.1159/000365548.
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2013 | Conference Paper | IST-REx-ID: 11856 | OA
Henzinger, Monika H., et al. “Dynamic Approximate All-Pairs Shortest Paths: Breaking the O(Mn) Barrier and Derandomization.” 54th Annual Symposium on Foundations of Computer Science, Institute of Electrical and Electronics Engineers, 2013, pp. 538–47, doi:10.1109/focs.2013.64.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2013 | Conference Paper | IST-REx-ID: 2181 | OA
Henzinger, Thomas A., et al. “Quantitative Relaxation of Concurrent Data Structures.” Proceedings of the 40th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Language, ACM, 2013, pp. 317–28, doi:10.1145/2429069.2429109.
[Submitted Version] View | Files available | DOI
 

2013 | Conference Paper | IST-REx-ID: 2276 | OA
Gridchyn, Igor, and Vladimir Kolmogorov. Potts Model, Parametric Maxflow and k-Submodular Functions. IEEE, 2013, pp. 2320–27, doi:10.1109/ICCV.2013.288.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2013 | Journal Article | IST-REx-ID: 2289 | OA
Henzinger, Thomas A. “Quantitative Reactive Modeling and Verification.” Computer Science Research and Development, vol. 28, no. 4, Springer, 2013, pp. 331–44, doi:10.1007/s00450-013-0251-7.
[Published Version] View | Files available | DOI
 

2013 | Conference Paper | IST-REx-ID: 2319 | OA
Frank, Rupert, et al. Derivation of Ginzburg-Landau Theory for a One-Dimensional System with Contact Interaction. Springer, 2013, pp. 57–88, doi:10.1007/978-3-0348-0531-5_3.
View | DOI | Download (ext.)
 

2013 | Journal Article | IST-REx-ID: 2845
Rose, Tobias, et al. “Developmental Refinement of Vesicle Cycling at Schaffer Collateral Synapses.” Neuron, vol. 77, no. 6, Elsevier, 2013, pp. 1109–21, doi:10.1016/j.neuron.2013.01.021.
View | DOI
 

Filters and Search Terms

isbn%3D978-331958770-7

Search

Filter Publications