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.
361 Publications
2017 | Conference Paper | IST-REx-ID: 487
Baig G, Radunovic B, Alistarh D-A, Balkwill M, Karagiannis T, Qiu L. Towards unlicensed cellular networks in TV white spaces. In: Proceedings of the 2017 13th International Conference on Emerging Networking EXperiments and Technologies. ACM; 2017:2-14. doi:10.1145/3143361.3143367
View
| DOI
2017 | Journal Article | IST-REx-ID: 6117 | 
Chen C, Itakura E, Nelson GM, et al. IL-17 is a neuromodulator of Caenorhabditis elegans sensory responses. Nature. 2017;542(7639):43-48. doi:10.1038/nature20818
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
2017 | Book Chapter | IST-REx-ID: 634
Schroeder J, Deliu E, Novarino G, Schmeisser M. Genetic and pharmacological reversibility of phenotypes in mouse models of autism spectrum disorder. In: Schmeisser M, Boekers T, eds. Translational Anatomy and Cell Biology of Autism Spectrum Disorder. Vol 224. Advances in Anatomy Embryology and Cell Biology. Springer; 2017:189-211. doi:10.1007/978-3-319-52498-6_10
View
| DOI
2017 | Conference Paper | IST-REx-ID: 636 |
Bakhirkin A, Ferrere T, Maler O, Ulus D. On the quantitative semantics of regular expressions over real-valued signals. In: Abate A, Geeraerts G, eds. Vol 10419. Springer; 2017:189-206. doi:10.1007/978-3-319-65765-3_11
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
2017 | Technical Report | IST-REx-ID: 6426 |
Henzinger TA, Kragl B, Qadeer S. Synchronizing the Asynchronous. IST Austria; 2017. doi:10.15479/AT:IST-2018-853-v2-2
[Published Version]
View
| Files available
| DOI
2017 | Journal Article | IST-REx-ID: 644 |
Kolmogorov V, Krokhin A, Rolinek M. The complexity of general-valued CSPs. SIAM Journal on Computing. 2017;46(3):1087-1110. doi:10.1137/16M1091836
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
2017 | Journal Article | IST-REx-ID: 674
Schwarz J, Bierbaum V, Vaahtomeri K, et al. Dendritic cells interpret haptotactic chemokine gradients in a manner governed by signal to noise ratio and dependent on GRK6. Current Biology. 2017;27(9):1314-1325. doi:10.1016/j.cub.2017.04.004
View
| DOI
2017 | Journal Article | IST-REx-ID: 7064 |
Modic KA, Ramshaw BJ, Betts JB, et al. Robust spin correlations at high magnetic fields in the harmonic honeycomb iridates. Nature Communications. 2017;8(1). doi:10.1038/s41467-017-00264-6
[Published Version]
View
| Files available
| DOI
2017 | Journal Article | IST-REx-ID: 7725
Reger J, Lind MI, Robinson MR, Beckerman AP. Predation drives local adaptation of phenotypic plasticity. Nature Ecology & Evolution. 2017;2:100-107. doi:10.1038/s41559-017-0373-6
View
| DOI
2017 | Conference Paper | IST-REx-ID: 8306 |
Syta E, Jovanovic P, Kokoris Kogias E, et al. Scalable bias-resistant distributed randomness. In: 2017 IEEE Symposium on Security and Privacy. IEEE; 2017:444-460. doi:10.1109/SP.2017.45
[Preprint]
View
| DOI
| Download Preprint (ext.)
2017 | Journal Article | IST-REx-ID: 14009
Jordan I, Huppert M, Pabst S, Kheifets AS, Baykusheva DR, Wörner HJ. Spin-orbit delays in photoemission. Physical Review A. 2017;95(1). doi:10.1103/physreva.95.013404
View
| DOI
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 | Thesis | IST-REx-ID: 992 |
Rolinek M. Complexity of constraint satisfaction. 2017. doi:10.15479/AT:ISTA:th_815
[Published Version]
View
| Files available
| DOI
2017 | Conference Paper | IST-REx-ID: 647 |
Bogomolov S, Giacobbe M, Henzinger TA, Kong H. Conic abstractions for hybrid systems. In: Vol 10419. Springer; 2017:116-132. doi:10.1007/978-3-319-65765-3_7
[Submitted Version]
View
| Files available
| DOI
2017 | Journal Article | IST-REx-ID: 1207 |
Bao Z, Erdös L, Schnelli K. Local law of addition of random matrices on optimal scale. Communications in Mathematical Physics. 2017;349(3):947-990. doi:10.1007/s00220-016-2805-6
[Published Version]
View
| Files available
| DOI
| WoS
2017 | Journal Article | IST-REx-ID: 1168 |
Perrone E, Rappold A, Müller W. D inf s optimality in copula models. Statistical Methods and Applications. 2017;26(3):403-418. doi:10.1007/s10260-016-0375-6
[Submitted Version]
View
| Files available
| DOI
| WoS
2017 | Journal Article | IST-REx-ID: 1073 |
Čadek M, Krcál M, Vokřínek L. Algorithmic solvability of the lifting extension problem. Discrete & Computational Geometry. 2017;54(4):915-965. doi:10.1007/s00454-016-9855-6
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| WoS
2017 | Journal Article | IST-REx-ID: 751 |
Matsubayashi Y, Louani A, Dragu A, et al. A moving source of matrix components is essential for De Novo basement membrane formation. Current Biology. 2017;27(22):3526-3534e.4. doi:10.1016/j.cub.2017.10.001
[Published Version]
View
| Files available
| DOI
| WoS
2017 | Journal Article | IST-REx-ID: 743
Gottlob G, Henzinger TA, Weißenbacher G. Preface of the special issue in memoriam Helmut Veith. Formal Methods in System Design. 2017;51(2):267-269. doi:10.1007/s10703-017-0307-6
View
| DOI
| WoS
2017 | Book Chapter | IST-REx-ID: 424 |
Goaoc X, Paták P, Patakova Z, Tancer M, Wagner U. Bounding helly numbers via betti numbers. In: Loebl M, Nešetřil J, Thomas R, eds. A Journey through Discrete Mathematics: A Tribute to Jiri Matousek. A Journey Through Discrete Mathematics. Springer; 2017:407-447. doi:10.1007/978-3-319-44479-6_17
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
2016 | Journal Article | IST-REx-ID: 1177 |
Kamath Hosdurg C, Chatterjee S. A closer look at multiple-forking: Leveraging (in)dependence for a tighter bound. Algorithmica. 2016;74(4):1321-1362. doi:10.1007/s00453-015-9997-6
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
2016 | Conference Paper | IST-REx-ID: 11836 |
Cheung YK, Goranci G, Henzinger MH. Graph minors for preserving terminal distances approximately - lower and upper bounds. In: 43rd International Colloquium on Automata, Languages, and Programming. Vol 55. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2016. doi:10.4230/LIPICS.ICALP.2016.131
[Published Version]
View
| DOI
| Download Published Version (ext.)
| arXiv
2016 | Conference Paper | IST-REx-ID: 11834 |
Goranci G, Henzinger MH, Thorup M. Incremental exact min-cut in poly-logarithmic amortized update time. In: 24th Annual European Symposium on Algorithms. Vol 57. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2016. doi:10.4230/LIPICS.ESA.2016.46
[Published Version]
View
| DOI
| Download Published Version (ext.)
| arXiv
2016 | Conference Paper | IST-REx-ID: 11835 |
Henzinger MH, Neumann S. Incremental and fully dynamic subgraph connectivity for emergency planning. In: 24th Annual European Symposium on Algorithms. Vol 57. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2016. doi:10.4230/LIPICS.ESA.2016.48
[Published Version]
View
| DOI
| Download Published Version (ext.)
| arXiv
2016 | Journal Article | IST-REx-ID: 1212 |
Rakusová H, Abbas M, Han H, Song S, Robert H, Friml J. Termination of shoot gravitropic responses by auxin feedback on PIN3 polarity. Current Biology. 2016;26(22):3026-3032. doi:10.1016/j.cub.2016.08.067
[Submitted Version]
View
| Files available
| DOI
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 | Journal Article | IST-REx-ID: 1331 |
Zwack P, De Clercq I, Howton T, et al. Cytokinin response factor 6 represses cytokinin-associated genes during oxidative stress. Plant Physiology. 2016;172(2):1249-1258. doi:10.1104/pp.16.00415
[Published Version]
View
| DOI
| Download Published Version (ext.)
2016 | Journal Article | IST-REx-ID: 1522 |
Avvakumov S. The classification of certain linked 3-manifolds in 6-space. Moscow Mathematical Journal. 2016;16(1):1-25. doi:10.17323/1609-4514-2016-16-1-1-25
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2016 | Conference Paper | IST-REx-ID: 5806
Biswas R, Bhowmick P. On functionality of quadraginta octants of naive sphere with application to circle drawing. In: Discrete Geometry for Computer Imagery. Vol 9647. Cham: Springer Nature; 2016:256-267. doi:10.1007/978-3-319-32360-2_20
View
| DOI
2016 | Journal Article | IST-REx-ID: 7294
Escamilla-Pérez AM, Louvain N, Kaschowitz M, et al. Lithium insertion properties of mesoporous nanocrystalline TiO2 and TiO2–V2O5 microspheres prepared by non-hydrolytic sol–gel. Journal of Sol-Gel Science and Technology. 2016;79(2):270-278. doi:10.1007/s10971-016-4037-9
View
| DOI
2016 | Journal Article | IST-REx-ID: 8452
Rodrigues CDA, Henry X, Neumann E, et al. A ring-shaped conduit connects the mother cell and forespore during sporulation in Bacillus subtilis. Proceedings of the National Academy of Sciences. 2016;113(41):11585-11590. doi:10.1073/pnas.1609604113
View
| DOI
2016 | Journal Article | IST-REx-ID: 12625 |
Kraaijenbrink P, Meijer SW, Shea JM, Pellicciotti F, De Jong SM, Immerzeel WW. Seasonal surface velocities of a Himalayan glacier derived by automated correlation of unmanned aerial vehicle imagery. Annals of Glaciology. 2016;57(71):103-113. doi:10.3189/2016aog71a072
[Published Version]
View
| DOI
| Download Published Version (ext.)
2016 | Journal Article | IST-REx-ID: 12615
Ayala A, Pellicciotti F, MacDonell S, et al. Modelling the hydrological response of debris-free and debris-covered glaciers to present climatic conditions in the semiarid Andes of central Chile. Hydrological Processes. 2016;30(22):4036-4058. doi:10.1002/hyp.10971
View
| DOI
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: 1616 |
Kowalski J, Gan J, Jonas PM, Pernia-Andrade A. Intrinsic membrane properties determine hippocampal differential firing pattern in vivo in anesthetized rats. Hippocampus. 2016;26(5):668-682. doi:10.1002/hipo.22550
[Published Version]
View
| Files available
| DOI
2016 | Conference Paper | IST-REx-ID: 482
Rueda A, Sedlmeir F, Collodo M, et al. Nonlinear single sideband microwave to optical conversion using an electro-optic WGM-resonator. In: Optica Publishing Group; 2016. doi:10.1364/NP.2016.NTh3A.6
View
| DOI
2016 | Research Data | IST-REx-ID: 5557 |
Swoboda P. Synthetic discrete tomography problems. 2016. doi:10.15479/AT:ISTA:46
[Published Version]
View
| Files available
| DOI
2016 | Research Data | IST-REx-ID: 5551 |
Ellis T. Data on pollinator observations and offpsring phenotypes. 2016. doi:10.15479/AT:ISTA:35
[Published Version]
View
| Files available
| DOI
2016 | Conference Paper | IST-REx-ID: 15245 |
Zhang SN et al. 2016. eXTP: Enhanced X-ray timing and polarization mission. Proceedings of the SPIE. vol. 9905, 99051Q.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| 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: 11837 |
Bhattacharya S, Dvorák W, Henzinger MH, Starnberger Martin. Welfare maximization with friends-of-friends network externalities. In: 32nd International Symposium on Theoretical Aspects of Computer Science. Vol 30. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2015:90-102. doi:10.4230/LIPICS.STACS.2015.90
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
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: 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 | 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 | Book Chapter | IST-REx-ID: 1549 |
Mckenzie C, Sanchez-Romero I, Janovjak HL. Flipping the photoswitch: Ion channels under light control. In: Novel Chemical Tools to Study Ion Channel Biology. Vol 869. Advances in Experimental Medicine and Biology. Springer; 2015:101-117. doi:10.1007/978-1-4939-2845-3_6
[Submitted Version]
View
| Files available
| DOI
2015 | Journal Article | IST-REx-ID: 1878
Cires Rodriguez E, Prieto J. Phylogenetic relationships of Petrocoptis A. Braun ex Endl. (Caryophyllaceae), a discussed genus from the Iberian Peninsula. Journal of Plant Research. 2015;128(2):223-238. doi:10.1007/s10265-014-0691-6
View
| DOI
2015 | Journal Article | IST-REx-ID: 2085 |
Nam P, Seiringer R. Collective excitations of Bose gases in the mean-field regime. Archive for Rational Mechanics and Analysis. 2015;215(2):381-417. doi:10.1007/s00205-014-0781-6
[Preprint]
View
| DOI
| Download Preprint (ext.)
2015 | Conference Paper | IST-REx-ID: 1502 |
Beneš N, Daca P, Henzinger TA, Kretinsky J, Nickovic D. Complete composition operators for IOCO-testing theory. In: ACM; 2015:101-110. doi:10.1145/2737166.2737175
[Submitted Version]
View
| Files available
| DOI
2015 | Journal Article | IST-REx-ID: 1834 |
Chen C, Wang C, Zhao X, et al. Low-dose sevoflurane promoteshippocampal neurogenesis and facilitates the development of dentate gyrus-dependent learning in neonatal rats. ASN Neuro. 2015;7(2). doi:10.1177/1759091415575845
[Published Version]
View
| Files available
| DOI
2014 | Journal Article | IST-REx-ID: 11967
Moghaddam MM, Pieber B, Glasnov T, Kappe CO. Immobilized iron oxide nanoparticles as stable and reusable catalysts for hydrazine-mediated nitro reductions in continuous flow. ChemSusChem. 2014;7(11):3122-3131. doi:10.1002/cssc.201402455
View
| DOI
| PubMed | Europe PMC