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.

7642 Publications


2017 | Journal Article | IST-REx-ID: 1133 | OA
Anomalous screening of quantum impurities by a neutral environment
E. Yakaboylu, M. Lemeshko, Physical Review Letters 118 (2017).
View | DOI | Download Submitted Version (ext.)
 

2017 | Journal Article | IST-REx-ID: 1144 | OA
Fluctuations of functions of Wigner matrices
L. Erdös, D.J. Schröder, Electronic Communications in Probability 21 (2017).
View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 1146
Comparison of the effects of nicotinic acid and nicotinamide degradation on plasma betaine and choline levels
W. Sun, M.-Z. Zhai, D. Li, Y. Zhou, N. Chen, M. Guo, S. Zhou, Clinical Nutrition 36 (2017) 1136–1142.
View | DOI
 

2017 | Journal Article | IST-REx-ID: 1152 | OA
A multi objective memetic inverse solver reinforced by local optimization methods
E.P. Gajda-Zagorska, R. Schaefer, M. Smołka, D. Pardo, J. Alvarez Aramberri, Journal of Computational Science 18 (2017) 85–94.
View | Files available | DOI
 

2017 | Thesis | IST-REx-ID: 1155 | OA
Statistical and logical methods for property checking
P. Daca, Statistical and Logical Methods for Property Checking, IST Austria, 2017.
View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 1160 | OA
Dynamics of ferrofluidic flow in the Taylor-Couette system with a small aspect ratio
S. Altmeyer, Y. Do, Y. Lai, Scientific Reports 7 (2017).
View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 1161
Cell migration: Making the waves
J. Müller, M.K. Sixt, Current Biology 27 (2017) R24–R25.
View | DOI
 

2017 | Journal Article | IST-REx-ID: 1162 | OA
Universal properties of high temperature superconductors from real space pairing t-J-U model and its quantitative comparison with experiment
J. Spałek, M. Zegrodnik, J. Kaczmarczyk, Physical Review B - Condensed Matter and Materials Physics 95 (2017).
View | DOI | Download Submitted Version (ext.)
 

2017 | Journal Article | IST-REx-ID: 1163
Unconventional superconductivity in generalized Hubbard model role of electron–hole symmetry breaking terms
M. Wysokiński, J. Kaczmarczyk, Journal of Physics: Condensed Matter 29 (2017).
View | DOI
 

2017 | Journal Article | IST-REx-ID: 1168 | OA
D inf s optimality in copula models
E. Perrone, A. Rappold, W. Müller, Statistical Methods and Applications 26 (2017) 403–418.
View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 1169 | OA
Spatial gene frequency waves under genotype dependent dispersal
S. Novak, R. Kollár, Genetics 205 (2017) 367–374.
View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 169 | OA
Twisted Linnik implies optimal covering exponent for S3
T.D. Browning, V. Kumaraswamy, R. Steiner, International Mathematics Research Notices (2017).
View | DOI | Download None (ext.) | arXiv
 

2017 | Journal Article | IST-REx-ID: 172 | OA
Strong approximation and a conjecture of Harpaz and Wittenberg
T.D. Browning, D. Schindler, International Mathematics Research Notices (2017).
View | DOI | Download None (ext.) | arXiv
 

2017 | Conference Paper | IST-REx-ID: 609 | OA
Moderately hard functions: Definition, instantiations, and applications
J.F. Alwen, B. Tackmann, in:, Y. Kalai, L. Reyzin (Eds.), Springer, 2017, pp. 493–526.
View | DOI | Download Submitted Version (ext.)
 

2017 | Journal Article | IST-REx-ID: 610 | OA
On generalized Heawood inequalities for manifolds: A van Kampen–Flores type nonembeddability result
X. Goaoc, I. Mabillard, P. Paták, Z. Patakova, M. Tancer, U. Wagner, Israel Journal of Mathematics 222 (2017) 841–866.
View | Files available | DOI | Download Preprint (ext.)
 

2017 | Journal Article | IST-REx-ID: 611
Evolution of flower color pattern through selection on regulatory small RNAs
D. Bradley, P. Xu, I. Mohorianu, A. Whibley, D. Field, H. Tavares, M. Couchman, L. Copsey, R. Carpenter, M. Li, Q. Li, Y. Xue, T. Dalmay, E. Coen, Science 358 (2017) 925–928.
View | DOI
 

2017 | Journal Article | IST-REx-ID: 6113 | OA
Modulation of sensory information processing by a neuroglobin in Caenorhabditis elegans
S. Oda, Y. Toyoshima, M. de Bono, Proceedings of the National Academy of Sciences 114 (2017) E4658–E4665.
View | Files available | DOI | PubMed | Europe PMC
 

2017 | Journal Article | IST-REx-ID: 6115 | OA
Memory of recent oxygen experience switches pheromone valence inCaenorhabditis elegans
L.A. Fenk, M. de Bono, Proceedings of the National Academy of Sciences 114 (2017) 4195–4200.
View | Files available | DOI | PubMed | Europe PMC
 

2017 | Journal Article | IST-REx-ID: 6117 | OA
IL-17 is a neuromodulator of Caenorhabditis elegans sensory responses
C. Chen, E. Itakura, G.M. Nelson, M. Sheng, P. Laurent, L.A. Fenk, R.A. Butcher, R.S. Hegde, M. de Bono, Nature 542 (2017) 43–48.
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2017 | Journal Article | IST-REx-ID: 613 | OA
Shaping bacterial population behavior through computer interfaced control of individual cells
R.P. Chait, J. Ruess, T. Bergmiller, G. Tkačik, C.C. Guet, Nature Communications 8 (2017).
View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 614 | OA
The deep conservation of the Lepidoptera Z chromosome suggests a non canonical origin of the W
C. Fraisse, M.A.L. Picard, B. Vicoso, Nature Communications 8 (2017).
View | Files available | DOI | PubMed | Europe PMC
 

2017 | Journal Article | IST-REx-ID: 615 | OA
Universality for random matrix flows with time dependent density
L. Erdös, K. Schnelli, Annales de l’institut Henri Poincare (B) Probability and Statistics 53 (2017) 1606–1656.
View | DOI | Download Submitted Version (ext.)
 

2017 | Journal Article | IST-REx-ID: 618 | OA
Environmental temperature variation influences fitness trade-offs in a fish-tapeworm association
F. Franke, S. Armitage, M. Kutzer, J. Kurtz, J. Scharsack, Parasites & Vectors 10 (2017).
View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 6196 | OA
The exact security of PMAC
P. Gazi, K.Z. Pietrzak, M. Rybar, IACR Transactions on Symmetric Cryptology 2016 (2017) 145–161.
View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 621 | OA
Mechanisms of radial glia progenitor cell lineage progression
R.J. Beattie, S. Hippenmeyer, FEBS Letters 591 (2017) 3993–4008.
View | Files available | DOI
 

2017 | Book Chapter | IST-REx-ID: 623
Extracerebral dysfunction in animal models of autism spectrum disorder
E. Hill Yardin, S. Mckeown, G. Novarino, A. Grabrucker, in:, M. Schmeisser, T. Boekers (Eds.), Translational Anatomy and Cell Biology of Autism Spectrum Disorder, Springer, 2017, pp. 159–187.
View | DOI
 

2017 | Journal Article | IST-REx-ID: 624 | OA View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 626 | OA
The infinitesimal model: Definition derivation and implications
N.H. Barton, A. Etheridge, A. Véber, Theoretical Population Biology 118 (2017) 50–73.
View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 627 | OA
Dietary menthol-induced TRPM8 activation enhances WAT “browning” and ameliorates diet-induced obesity
C. Jiang, M.-Z. Zhai, D. Yan, D. Li, C. Li, Y. Zhang, L. Xiao, D. Xiong, Q. Deng, W. Sun, Oncotarget 8 (2017) 75114–75126.
View | Files available | DOI
 

2017 | Conference Paper | IST-REx-ID: 628 | OA
Automated recurrence analysis for almost linear expected runtime bounds
K. Chatterjee, H. Fu, A. Murhekar, in:, R. Majumdar, V. Kunčak (Eds.), Springer, 2017, pp. 118–139.
View | DOI | Download Submitted Version (ext.)
 

2017 | Thesis | IST-REx-ID: 6287 | OA
Discrete Morse theory for random complexes
A. Nikitenko, Discrete Morse Theory for Random Complexes , IST Austria, 2017.
View | Files available | DOI
 

2017 | Book Chapter | IST-REx-ID: 629
Reconstitution of protein dynamics involved in bacterial cell division
M. Loose, K. Zieske, P. Schwille, in:, Prokaryotic Cytoskeletons, Springer, 2017, pp. 419–444.
View | DOI | PubMed | Europe PMC
 

2017 | Thesis | IST-REx-ID: 6291 | OA
Bacterial herd and social immunity to phages
P. Payne, Bacterial Herd and Social Immunity to Phages, IST Austria, 2017.
View | Files available
 

2017 | Conference Paper | IST-REx-ID: 630 | OA
Biosignals standards and FHIR: The way to go
S. Sauermann, V. David, A. Schlögl, R. Egelkraut, M. Frohner, B. Pohn, P. Urbauer, A. Mense, in:, IOS Press, 2017, pp. 356–362.
View | Files available | DOI
 

2017 | Conference Paper | IST-REx-ID: 631 | OA
Counterexample guided refinement of template polyhedra
S. Bogomolov, G. Frehse, M. Giacobbe, T.A. Henzinger, in:, Springer, 2017, pp. 589–606.
View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 632 | OA
A note on 2D focusing many boson systems
M. Lewin, P. Nam, N. Rougerie, Proceedings of the American Mathematical Society 145 (2017) 2441–2454.
View | DOI | Download Submitted Version (ext.)
 

2017 | Conference Paper | IST-REx-ID: 633
Challenges and tool implementation of hybrid rapidly exploring random trees
S. Bak, S. Bogomolov, T.A. Henzinger, A. Kumar, in:, A. Abate, S. Bodo (Eds.), Springer, 2017, pp. 83–89.
View | DOI
 

2017 | Book Chapter | IST-REx-ID: 634
Genetic and pharmacological reversibility of phenotypes in mouse models of autism spectrum disorder
J. Schroeder, E. Deliu, G. Novarino, M. Schmeisser, in:, M. Schmeisser, T. Boekers (Eds.), Translational Anatomy and Cell Biology of Autism Spectrum Disorder, Springer, 2017, pp. 189–211.
View | DOI
 

2017 | Conference Paper | IST-REx-ID: 635 | OA
Scrypt is maximally memory hard
J.F. Alwen, B. Chen, K.Z. Pietrzak, L. Reyzin, S. Tessaro, in:, J.-S. Coron, J. Buus Nielsen (Eds.), Springer, 2017, pp. 33–62.
View | DOI | Download Submitted Version (ext.)
 

2017 | Conference Paper | IST-REx-ID: 636 | OA
On the quantitative semantics of regular expressions over real-valued signals
A. Bakhirkin, T. Ferrere, O. Maler, D. Ulus, in:, A. Abate, G. Geeraerts (Eds.), Springer, 2017, pp. 189–206.
View | DOI | Download Submitted Version (ext.)
 

2017 | Conference Paper | IST-REx-ID: 637 | OA
Be adaptive avoid overcommitting
Z. Jafargholi, C. Kamath Hosdurg, K. Klein, I. Komargodski, K.Z. Pietrzak, D. Wichs, in:, J. Katz, H. Shacham (Eds.), Springer, 2017, pp. 133–163.
View | Files available | DOI | Download Submitted Version (ext.)
 

2017 | Conference Paper | IST-REx-ID: 640 | OA
Depth-robust graphs and their cumulative memory complexity
J.F. Alwen, J. Blocki, K.Z. Pietrzak, in:, J.-S. Coron, J. Buus Nielsen (Eds.), Springer, 2017, pp. 3–32.
View | DOI | Download Submitted Version (ext.)
 

2017 | Conference Paper | IST-REx-ID: 641
Graphical model parameter learning by inverse linear programming
V. Trajkovska, P. Swoboda, F. Åström, S. Petra, in:, F. Lauze, Y. Dong, A. Bjorholm Dahl (Eds.), Springer, 2017, pp. 323–334.
View | DOI
 

2017 | Journal Article | IST-REx-ID: 642 | OA
Localization errors in solving stochastic partial differential equations in the whole space
M. Gerencser, I. Gyöngy, Mathematics of Computation 86 (2017) 2373–2397.
View | DOI | Download Submitted Version (ext.)
 

2017 | Technical Report | IST-REx-ID: 6426 | OA
Synchronizing the asynchronous
T.A. Henzinger, B. Kragl, S. Qadeer, Synchronizing the Asynchronous, IST Austria, 2017.
View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 643
Effects of B vitamins overload on plasma insulin level and hydrogen peroxide generation in rats
W. Sun, M.-Z. Zhai, Q. Zhou, C. Qian, C. Jiang, Chinese Journal of Physiology 60 (2017) 207–214.
View | DOI | PubMed | Europe PMC
 

2017 | Journal Article | IST-REx-ID: 644 | OA
The complexity of general-valued CSPs
V. Kolmogorov, A. Krokhin, M. Rolinek, SIAM Journal on Computing 46 (2017) 1087–1110.
View | Files available | DOI | Download Preprint (ext.)
 

2017 | Conference Paper | IST-REx-ID: 645 | OA
Value iteration for long run average reward in markov decision processes
P. Ashok, K. Chatterjee, P. Daca, J. Kretinsky, T. Meggendorfer, in:, R. Majumdar, V. Kunčak (Eds.), Springer, 2017, pp. 201–221.
View | DOI | Download Submitted Version (ext.)
 

2017 | Conference Paper | IST-REx-ID: 646 | OA
A novel convex relaxation for non binary discrete tomography
J. Kuske, P. Swoboda, S. Petra, in:, F. Lauze, Y. Dong, A. Bjorholm Dahl (Eds.), Springer, 2017, pp. 235–246.
View | DOI | Download Submitted Version (ext.)
 

2017 | Conference Paper | IST-REx-ID: 647 | OA
Conic abstractions for hybrid systems
S. Bogomolov, M. Giacobbe, T.A. Henzinger, H. Kong, in:, Springer, 2017, pp. 116–132.
View | Files available | DOI
 

Search

Filter Publications