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.

5750 Publications


2016 | Journal Article | IST-REx-ID: 1613 | OA
Modeling Alzheimer's disease with human induced pluripotent stem (iPS) cells
A. Mungenast, S. Siegert, L. Tsai, Molecular and Cellular Neuroscience 73 (2016) 13–31.
[Submitted Version] View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1612 | OA
CSP for binary conservative relational structures
A. Kazda, Algebra Universalis 75 (2016) 75–84.
[Preprint] View | DOI | Download Preprint (ext.)
 

2016 | Journal Article | IST-REx-ID: 1617 | OA
On the discrepancy of jittered sampling
F. Pausinger, S. Steinerberger, Journal of Complexity 33 (2016) 199–216.
[Submitted Version] View | DOI | Download Submitted Version (ext.)
 

2016 | Journal Article | IST-REx-ID: 1620 | OA
The external field dependence of the BCS critical temperature
R. Frank, C. Hainzl, R. Seiringer, J. Solovej, Communications in Mathematical Physics 342 (2016) 189–216.
[Submitted Version] View | DOI | Download Submitted Version (ext.)
 

2016 | Journal Article | IST-REx-ID: 1622 | OA
Fractional Hardy–Lieb–Thirring and related Inequalities for interacting systems
D. Lundholm, P. Nam, F. Portmann, Archive for Rational Mechanics and Analysis 219 (2016) 1343–1382.
[Submitted Version] View | DOI | Download Submitted Version (ext.)
 

2016 | Journal Article | IST-REx-ID: 1631 | OA
Spread of pedigree versus genetic ancestry in spatially distributed populations
J. Kelleher, A. Etheridge, A. Véber, N.H. Barton, Theoretical Population Biology 108 (2016) 1–12.
[Published Version] View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1641 | OA
A forward genetic screen for new regulators of auxin mediated degradation of auxin transport proteins in Arabidopsis thaliana
R. Zemová, M. Zwiewka, A. Bielach, H. Robert, J. Friml, Journal of Plant Growth Regulation 35 (2016) 465–476.
[Preprint] View | Files available | DOI
 

2016 | Conference Paper | IST-REx-ID: 1225 | OA
Practical round-optimal blind signatures in the standard model from weaker assumptions
G. Fuchsbauer, C. Hanser, C. Kamath Hosdurg, D. Slamanig, in:, Springer, 2016, pp. 391–408.
[Submitted Version] View | Files available | DOI | Download Submitted Version (ext.)
 

2016 | Conference Paper | IST-REx-ID: 1653 | OA
New realizations of somewhere statistically binding hashing and positional accumulators
T. Okamoto, K.Z. Pietrzak, B. Waters, D. Wichs, in:, Springer, 2016, pp. 121–145.
[Submitted Version] View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1705 | OA
Guided search for hybrid systems based on coarse-grained space abstractions
S. Bogomolov, A. Donzé, G. Frehse, R. Grosu, T. Johnson, H. Ladan, A. Podelski, M. Wehrle, International Journal on Software Tools for Technology Transfer 18 (2016) 449–467.
[Published Version] View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 173 | OA
Square-free values of reducible polynomials
T.D. Browning, A. Booker, Discrete Analysis 8 (2016) 1–18.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2016 | Journal Article | IST-REx-ID: 1833 | OA
On the closure of relational models
A. Klimova, T. Rudas, Journal of Multivariate Analysis 143 (2016) 440–452.
[Preprint] View | DOI | Download Preprint (ext.)
 

2016 | Journal Article | IST-REx-ID: 1881 | OA
Extremal eigenvalues and eigenvectors of deformed Wigner matrices
J. Lee, K. Schnelli, Probability Theory and Related Fields 164 (2016) 165–241.
[Preprint] View | DOI | Download Preprint (ext.)
 

2016 | Journal Article | IST-REx-ID: 1411 | OA
Untangling two systems of noncrossing curves
J. Matoušek, E. Sedgwick, M. Tancer, U. Wagner, Israel Journal of Mathematics 212 (2016) 37–79.
[Preprint] View | Files available | DOI | Download Preprint (ext.)
 

2016 | Journal Article | IST-REx-ID: 262 | OA
The proportion of failures of the Hasse norm principle
T.D. Browning, R. Newton, Mathematika 62 (2016) 337–347.
View | DOI | Download (ext.)
 

2016 | Journal Article | IST-REx-ID: 263 | OA
Counting rational points on the Cayley ruled cubic
R. De La Bretèche, T.D. Browning, P. Salberger, European Journal of Mathematics 2 (2016) 55–72.
View | DOI | Download (ext.)
 

2016 | Journal Article | IST-REx-ID: 264 | OA
Failures of weak approximation in families
M. Bright, T.D. Browning, D. Loughran, Compositio Mathematica 152 (2016) 1435–1475.
View | DOI | Download (ext.)
 

2016 | Journal Article | IST-REx-ID: 1479 | OA
A counterexample to the chain rule for conditional HILL entropy
S. Krenn, K.Z. Pietrzak, A. Wadia, D. Wichs, Computational Complexity 25 (2016) 567–605.
[Submitted Version] View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 366 | OA
Polymer enhanced stability of inorganic perovskite nanocrystals and their application in color conversion LEDs
M. Meyn, M. Perálvarez, A. Heuer Jungemann, W. Hertog, M. Ibáñez, R. Nafria, A. Genç, J. Arbiol, M. Kovalenko, J. Carreras, A. Cabot, A. Kanaras, ACS Applied Materials and Interfaces 8 (2016) 19579–19586.
View | DOI | Download None (ext.)
 

2016 | Journal Article | IST-REx-ID: 389 | OA
Selective scattering between Floquet Bloch and Volkov states in a topological insulator
F. Mahmood, C. Chan, Z. Alpichshev, D. Gardner, Y. Lee, P. Lee, N. Gedik, Nature Physics 12 (2016) 306–310.
View | DOI | Download None (ext.)
 

2016 | Journal Article | IST-REx-ID: 460 | OA
Expanding the interactome of the noncanonical NF-κB signaling pathway
K. Willmann, R. Sacco, R. Martins, W. Garncarz, A. Krolo, S. Knapp, K. Bennett, K. Boztug, Journal of Proteome Research 15 (2016) 2900–2909.
View | DOI | Download (ext.)
 

2016 | Conference Paper | IST-REx-ID: 478 | OA
The complexity of deciding legality of a single step of magic: The gathering
K. Chatterjee, R. Ibsen-Jensen, in:, IOS Press, 2016, pp. 1432–1439.
[Published Version] View | Files available | DOI
 

2016 | Conference Paper | IST-REx-ID: 480 | OA
Perfect-information stochastic games with generalized mean-payoff objectives
K. Chatterjee, L. Doyen, in:, IEEE, 2016, pp. 247–256.
[Preprint] View | DOI | Download Preprint (ext.)
 

2016 | Conference Paper | IST-REx-ID: 1379 | OA
Finding non-orientable surfaces in 3-manifolds
B. Burton, A.N. de Mesmay, U. Wagner, in:, Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 2016, p. 24.1-24.15.
[Published Version] View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1477 | OA
What is decidable about partially observable Markov decision processes with ω-regular objectives
K. Chatterjee, M. Chmelik, M. Tracol, Journal of Computer and System Sciences 82 (2016) 878–911.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2016 | Journal Article | IST-REx-ID: 1529 | OA
Optimal cost almost-sure reachability in POMDPs
K. Chatterjee, M. Chmelik, R. Gupta, A. Kanodia, Artificial Intelligence 234 (2016) 26–48.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2016 | Technical Report | IST-REx-ID: 5445 | OA
Quantitative interprocedural analysis
K. Chatterjee, A. Pavlogiannis, Y. Velner, Quantitative Interprocedural Analysis, IST Austria, 2016.
[Published Version] View | Files available | DOI
 

2016 | Technical Report | IST-REx-ID: 5449 | OA
Amplification on undirected population structures: Comets beat stars
A. Pavlogiannis, J. Tkadlec, K. Chatterjee, M. Nowak, Amplification on Undirected Population Structures: Comets Beat Stars, IST Austria, 2016.
[Updated Version] View | Files available | DOI
 

2016 | Technical Report | IST-REx-ID: 5446 | OA
Termination and worst-case analysis of recursive programs
1 Anonymous, 2 Anonymous, 3 Anonymous, Termination and Worst-Case Analysis of Recursive Programs, IST Austria, 2016.
[Published Version] View | Files available
 

2016 | Technical Report | IST-REx-ID: 5447 | OA
Average-case analysis of programs: Automated recurrence analysis for almost-linear bounds
1 Anonymous, 2 Anonymous, 3 Anonymous, Average-Case Analysis of Programs: Automated Recurrence Analysis for Almost-Linear Bounds, IST Austria, 2016.
[Published Version] View | Files available
 

2016 | Technical Report | IST-REx-ID: 5453 | OA
Arbitrarily strong amplifiers of natural selection
A. Pavlogiannis, J. Tkadlec, K. Chatterjee, M. Nowak, Arbitrarily Strong Amplifiers of Natural Selection, IST Austria, 2016.
[Published Version] View | Files available | DOI
 

2016 | Technical Report | IST-REx-ID: 5451 | OA
Strong amplifiers of natural selection
A. Pavlogiannis, J. Tkadlec, K. Chatterjee, M. Nowak, Strong Amplifiers of Natural Selection, IST Austria, 2016.
[Published Version] View | Files available | DOI
 

2016 | Technical Report | IST-REx-ID: 5448 | OA
Data-centric dynamic partial order reduction
1 Anonymous, 2 Anonymous, 3 Anonymous, 4 Anonymous, Data-Centric Dynamic Partial Order Reduction, IST Austria, 2016.
[Published Version] View | Files available | arXiv
 

2016 | Journal Article | IST-REx-ID: 5771 | OA
Retrovirus maturation—an extraordinary structural transformation
S. Mattei, F.K. Schur, J.A. Briggs, Current Opinion in Virology 18 (2016) 27–35.
[Published Version] View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 587 | OA
Quantum phase magnification
O. Hosten, R. Krishnakumar, N. Engelsen, M. Kasevich, Science 352 (2016) 1552–1555.
View | DOI | Download (ext.)
 

2016 | Journal Article | IST-REx-ID: 6732 | OA
Unified scaling of polar codes: Error exponent, scaling exponent, moderate deviations, and error floors
M. Mondelli, S.H. Hassani, R.L. Urbanke, IEEE Transactions on Information Theory 62 (2016) 6698–6712.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2016 | Conference Paper | IST-REx-ID: 6733 | OA
Comparing the bit-MAP and block-MAP decoding thresholds of Reed-Muller codes on BMS channels
S. Kudekar, S. Kumar, M. Mondelli, H.D. Pfister, R. Urbankez, in:, 2016 IEEE International Symposium on Information Theory , IEEE, 2016, pp. 1755–1759.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2016 | Journal Article | IST-REx-ID: 7068 | OA
Magnetic torque anomaly in the quantum limit of Weyl semimetals
P.J.W. Moll, A.C. Potter, N.L. Nair, B.J. Ramshaw, K.A. Modic, S. Riggs, B. Zeng, N.J. Ghimire, E.D. Bauer, R. Kealhofer, F. Ronning, J.G. Analytis, Nature Communications 7 (2016).
[Published Version] View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 7279 | OA
Biredox ionic liquids with solid-like redox density in the liquid state for high-energy supercapacitors
E. Mourad, L. Coustan, P. Lannelongue, D. Zigah, A. Mehdi, A. Vioux, S.A. Freunberger, F. Favier, O. Fontaine, Nature Materials 16 (2016) 446–453.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2016 | Journal Article | IST-REx-ID: 7297 | OA
Batteries: Charging ahead rationally
S.A. Freunberger, Nature Energy 1 (2016).
[Submitted Version] View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 7599 | OA
Arabidopsis type II phosphatidylinositol 4-kinase PI4Kγ5 regulates auxin biosynthesis and leaf margin development through interacting with membrane-bound transcription factor ANAC078
Y. Tang, C.-Y. Zhao, S. Tan, H.-W. Xue, PLOS Genetics 12 (2016).
[Published Version] View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 7737 | OA
Integration of summary data from GWAS and eQTL studies predicts complex trait gene targets
Z. Zhu, F. Zhang, H. Hu, A. Bakshi, M.R. Robinson, J.E. Powell, G.W. Montgomery, M.E. Goddard, N.R. Wray, P.M. Visscher, J. Yang, Nature Genetics 48 (2016) 481–487.
[Published Version] View | DOI | Download Published Version (ext.)
 

2016 | Journal Article | IST-REx-ID: 786 | OA
Are lock free concurrent algorithms practically wait free
D.-A. Alistarh, K. Censor Hillel, N. Shavit, Journal of the ACM 63 (2016).
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2016 | Journal Article | IST-REx-ID: 8020 | OA
Unmasking latent inhibitory connections in human cortex to reveal dormant cortical memories
H.C. Barron, T.P. Vogels, U.E. Emir, T.R. Makin, J. O’Shea, S. Clare, S. Jbabdi, R.J. Dolan, T.E.J. Behrens, Neuron 90 (2016) 191–203.
[Published Version] View | Files available | DOI | PubMed | Europe PMC
 

2016 | Conference Paper | IST-REx-ID: 8094 | OA
Self-organized control of an tendon driven arm by differential extrinsic plasticity
G.S. Martius, R. Hostettler, A. Knoll, R. Der, in:, Proceedings of the Artificial Life Conference 2016, MIT Press, 2016, pp. 142–143.
[Published Version] View | Files available | DOI
 

2016 | Preprint | IST-REx-ID: 8128 | OA
Receptive field formation by interacting excitatory and inhibitory synaptic plasticity
C. Clopath, T.P. Vogels, R.C. Froemke, H. Sprekeler, BioRxiv (2016).
[Preprint] View | Download Preprint (ext.)
 

2016 | Journal Article | IST-REx-ID: 8241 | OA
Proof of concept study with an HER-2 mimotope anticancer vaccine deduced from a novel AAV-mimotope library platform
J. Singer, K. Manzano-Szalai, J. Singer, K. Thell, A. Bentley-Lukschal, C. Stremnitzer, F. Roth-Walter, M. Weghofer, M. Ritter, K. Pino Tossi, M. Hörer, U. Michaelis, E. Jensen-Jarolim, OncoImmunology 5 (2016).
[Published Version] View | DOI | Download Published Version (ext.)
 

2016 | Conference Paper | IST-REx-ID: 8302 | OA
Enhancing bitcoin security and performance with strong consistency via collective signing
E. Kokoris Kogias, P. Jovanovic, N. Gailly, I. Khoffi, L. Gasser, B. Ford, in:, Proceedings of the 25th USENIX Conference on Security Symposium, USENIX Association, 2016, pp. 279–296.
[Published Version] View | Download Published Version (ext.) | arXiv
 

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

2016 | Journal Article | IST-REx-ID: 9591 | OA
Cycles and matchings in randomly perturbed digraphs and hypergraphs
M. Krivelevich, M.A. Kwan, B. Sudakov, Combinatorics, Probability and Computing 25 (2016) 909–927.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

Filters and Search Terms

oa=1

Search

Filter Publications