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.
9119 Publications
2016 | Journal Article | IST-REx-ID: 389 | 
Mahmood, Fahad, et al. “Selective Scattering between Floquet Bloch and Volkov States in a Topological Insulator.” Nature Physics, vol. 12, no. 4, Nature Publishing Group, 2016, pp. 306–10, doi:10.1038/nphys3609.
View
| DOI
| Download None (ext.)
2016 | Journal Article | IST-REx-ID: 460 |
Willmann, Katharina, et al. “Expanding the Interactome of the Noncanonical NF-ΚB Signaling Pathway.” Journal of Proteome Research, vol. 15, no. 9, American Chemical Society, 2016, pp. 2900–09, doi:10.1021/acs.jproteome.5b01004.
View
| DOI
| Download (ext.)
2016 | Conference Paper | IST-REx-ID: 478 |
Chatterjee, Krishnendu, and Rasmus Ibsen-Jensen. The Complexity of Deciding Legality of a Single Step of Magic: The Gathering. Vol. 285, IOS Press, 2016, pp. 1432–39, doi:10.3233/978-1-61499-672-9-1432.
[Published Version]
View
| Files available
| DOI
2016 | Conference Paper | IST-REx-ID: 479
Jiang, Yu, et al. “Use Runtime Verification to Improve the Quality of Medical Care Practice.” Proceedings of the 38th International Conference on Software Engineering Companion , IEEE, 2016, pp. 112–21, doi:10.1145/2889160.2889233.
View
| DOI
2016 | Conference Paper | IST-REx-ID: 480 |
Chatterjee, Krishnendu, and Laurent Doyen. Perfect-Information Stochastic Games with Generalized Mean-Payoff Objectives. Vol. 05-08-July-2016, IEEE, 2016, pp. 247–56, doi:10.1145/2933575.2934513.
[Preprint]
View
| DOI
| Download Preprint (ext.)
2016 | Journal Article | IST-REx-ID: 526
von Wangenheim, Daniel, et al. “Rules and Self-Organizing Properties of Post-Embryonic Plant Organ Cell Division Patterns.” Current Biology, vol. 26, no. 4, Cell Press, 2016, pp. 439–49, doi:10.1016/j.cub.2015.12.047.
View
| DOI
2016 | Conference Paper | IST-REx-ID: 1379 |
Burton, Benjamin, et al. Finding Non-Orientable Surfaces in 3-Manifolds. Vol. 51, Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 2016, p. 24.1-24.15, doi:10.4230/LIPIcs.SoCG.2016.24.
[Published Version]
View
| Files available
| DOI
2016 | Journal Article | IST-REx-ID: 1477 |
Chatterjee, Krishnendu, et al. “What Is Decidable about Partially Observable Markov Decision Processes with ω-Regular Objectives.” Journal of Computer and System Sciences, vol. 82, no. 5, Elsevier, 2016, pp. 878–911, doi:10.1016/j.jcss.2016.02.009.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2016 | Journal Article | IST-REx-ID: 1529 |
Chatterjee, Krishnendu, et al. “Optimal Cost Almost-Sure Reachability in POMDPs.” Artificial Intelligence, vol. 234, Elsevier, 2016, pp. 26–48, doi:10.1016/j.artint.2016.01.007.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2016 | Technical Report | IST-REx-ID: 5445 |
Chatterjee, Krishnendu, et al. Quantitative Interprocedural Analysis. IST Austria, 2016, doi:10.15479/AT:IST-2016-523-v1-1.
[Published Version]
View
| Files available
| DOI
2016 | Conference Paper | IST-REx-ID: 1166
Chatterjee, Krishnendu, et al. “A Symbolic SAT Based Algorithm for Almost Sure Reachability with Small Strategies in Pomdps.” Proceedings of the Thirtieth AAAI Conference on Artificial Intelligence, vol. 2016, AAAI Press, 2016, pp. 3225–32.
View
| Files available
2016 | Technical Report | IST-REx-ID: 5449 |
Pavlogiannis, Andreas, et al. Amplification on Undirected Population Structures: Comets Beat Stars. IST Austria, 2016, doi:10.15479/AT:IST-2016-648-v1-1.
[Updated Version]
View
| Files available
| DOI
2016 | Technical Report | IST-REx-ID: 5446 |
Anonymous, 1, et al. Termination and Worst-Case Analysis of Recursive Programs. IST Austria, 2016.
[Published Version]
View
| Files available
2016 | Technical Report | IST-REx-ID: 5447 |
Anonymous, 1, et al. 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 |
Pavlogiannis, Andreas, et al. Arbitrarily Strong Amplifiers of Natural Selection. IST Austria, 2016, doi:10.15479/AT:IST-2017-749-v3-1.
[Published Version]
View
| Files available
| DOI
2016 | Technical Report | IST-REx-ID: 5451 |
Pavlogiannis, Andreas, et al. Strong Amplifiers of Natural Selection. IST Austria, 2016, doi:10.15479/AT:IST-2016-728-v1-1.
[Published Version]
View
| Files available
| DOI
2016 | Technical Report | IST-REx-ID: 5448 |
Anonymous, 1, et al. Data-Centric Dynamic Partial Order Reduction. IST Austria, 2016.
[Published Version]
View
| Files available
| arXiv
2016 | Journal Article | IST-REx-ID: 5771 |
Mattei, Simone, et al. “Retrovirus Maturation—an Extraordinary Structural Transformation.” Current Opinion in Virology, vol. 18, no. 6, Elsevier, 2016, pp. 27–35, doi:10.1016/j.coviro.2016.02.008.
[Published Version]
View
| Files available
| DOI
2016 | Conference Paper | IST-REx-ID: 5806
Biswas, Ranita, and Partha Bhowmick. “On Functionality of Quadraginta Octants of Naive Sphere with Application to Circle Drawing.” Discrete Geometry for Computer Imagery, vol. 9647, Springer Nature, 2016, pp. 256–67, doi:10.1007/978-3-319-32360-2_20.
View
| DOI
2016 | Book Chapter | IST-REx-ID: 5805
Sen, Nabhasmita, et al. “On Some Local Topological Properties of Naive Discrete Sphere.” Computational Topology in Image Context, vol. 9667, Springer Nature, 2016, pp. 253–64, doi:10.1007/978-3-319-39441-1_23.
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: 588
Hosten, Onur, et al. “Measurement Noise 100 Times Lower than the Quantum-Projection Limit Using Entangled Atoms.” Nature, vol. 529, no. 7587, Nature Publishing Group, 2016, pp. 505–08, doi:10.1038/nature16176.
View
| DOI
2016 | Journal Article | IST-REx-ID: 587 |
Hosten, Onur, et al. “Quantum Phase Magnification.” Science, vol. 352, no. 6293, American Association for the Advancement of Science, 2016, pp. 1552–55, doi:10.1126/science.aaf3397.
View
| DOI
| Download (ext.)
2016 | Conference Paper | IST-REx-ID: 592
Engelsen, Nils, et al. Engineering Spin Squeezed States for Quantum-Enhanced Atom Interferometry. IEEE, 2016.
View
| Download None (ext.)
2016 | Journal Article | IST-REx-ID: 602
Bernecky, Carrie, et al. “Structure of Transcribing Mammalian RNA Polymerase II.” Nature, vol. 529, no. 7587, Nature Publishing Group, 2016, pp. 551–54, doi:10.1038/nature16482.
View
| DOI
2016 | Journal Article | IST-REx-ID: 6732 |
Mondelli, Marco, et al. “Unified Scaling of Polar Codes: Error Exponent, Scaling Exponent, Moderate Deviations, and Error Floors.” IEEE Transactions on Information Theory, vol. 62, no. 12, IEEE, 2016, pp. 6698–712, doi:10.1109/tit.2016.2616117.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2016 | Conference Paper | IST-REx-ID: 6733 |
Kudekar, Shrinivas, et al. “Comparing the Bit-MAP and Block-MAP Decoding Thresholds of Reed-Muller Codes on BMS Channels.” 2016 IEEE International Symposium on Information Theory , IEEE, 2016, pp. 1755–59, doi:10.1109/isit.2016.7541600.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2016 | Conference Paper | IST-REx-ID: 6770
Mondelli, Marco, et al. “Reed-Muller Codes: Thresholds and Weight Distribution.” 24th International Zurich Seminar on Communications, ETH Zürich, 2016, p. 50, doi:10.3929/ETHZ-A-010646484.
View
| DOI
2016 | Journal Article | IST-REx-ID: 7068 |
Moll, Philip J. W., et al. “Magnetic Torque Anomaly in the Quantum Limit of Weyl Semimetals.” Nature Communications, vol. 7, 12492, Springer Nature, 2016, doi:10.1038/ncomms12492.
[Published Version]
View
| Files available
| DOI
2016 | Journal Article | IST-REx-ID: 7069
Chan, M. K., et al. “Single Reconstructed Fermi Surface Pocket in an Underdoped Single-Layer Cuprate Superconductor.” Nature Communications, vol. 7, 12244, Springer Nature, 2016, doi:10.1038/ncomms12244.
[Published Version]
View
| DOI
2016 | Journal Article | IST-REx-ID: 7141
Rolando, Chiara, et al. “Multipotency of Adult Hippocampal NSCs in Vivo Is Restricted by Drosha/NFIB.” Cell Stem Cell, vol. 19, no. 5, Elsevier, 2016, pp. 653–62, doi:10.1016/j.stem.2016.07.003.
View
| DOI
2016 | Journal Article | IST-REx-ID: 7279 |
Mourad, Eléonore, et al. “Biredox Ionic Liquids with Solid-like Redox Density in the Liquid State for High-Energy Supercapacitors.” Nature Materials, vol. 16, no. 4, Springer Nature, 2016, pp. 446–53, doi:10.1038/nmat4808.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2016 | Journal Article | IST-REx-ID: 7294
Escamilla-Pérez, A. 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, vol. 79, no. 2, Springer Nature, 2016, pp. 270–78, doi:10.1007/s10971-016-4037-9.
View
| DOI
2016 | Journal Article | IST-REx-ID: 7296
Volck, Theo, et al. “Method for Determination of the Internal Short Resistance and Heat Evolution at Different Mechanical Loads of a Lithium Ion Battery Cell Based on Dummy Pouch Cells.” Batteries, vol. 2, no. 2, 8, MDPI AG, 2016, doi:10.3390/batteries2020008.
[Published Version]
View
| DOI
2016 | Journal Article | IST-REx-ID: 7295
Mourad, Eléonore, et al. “Biredox Ionic Liquids: Electrochemical Investigation and Impact of Ion Size on Electron Transfer.” Electrochimica Acta, vol. 206, no. 7, Elsevier, 2016, pp. 513–23, doi:10.1016/j.electacta.2016.02.211.
View
| DOI
2016 | Journal Article | IST-REx-ID: 7297 |
Freunberger, Stefan Alexander. “Batteries: Charging Ahead Rationally.” Nature Energy, vol. 1, no. 6, 16074, Springer Nature, 2016, doi:10.1038/nenergy.2016.74.
[Submitted Version]
View
| Files available
| DOI
2016 | Journal Article | IST-REx-ID: 7293
Thimmappa, Ravikumar, et al. “Proton Conducting Hollow Graphene Oxide Cylinder as Molecular Fuel Barrier for Tubular H2-Air Fuel Cell.” International Journal of Hydrogen Energy, vol. 41, no. 47, Elsevier, 2016, pp. 22305–15, doi:10.1016/j.ijhydene.2016.08.057.
View
| DOI
2016 | Journal Article | IST-REx-ID: 7298
Plaimer, Martin, et al. “Evaluating the Trade-off between Mechanical and Electrochemical Performance of Separators for Lithium-Ion Batteries: Methodology and Application.” Journal of Power Sources, vol. 306, no. 2, Elsevier, 2016, pp. 702–10, doi:10.1016/j.jpowsour.2015.12.047.
View
| DOI
2016 | Journal Article | IST-REx-ID: 7599 |
Tang, Yong, et al. “Arabidopsis Type II Phosphatidylinositol 4-Kinase PI4Kγ5 Regulates Auxin Biosynthesis and Leaf Margin Development through Interacting with Membrane-Bound Transcription Factor ANAC078.” PLOS Genetics, vol. 12, no. 8, e1006252, Public Library of Science, 2016, doi:10.1371/journal.pgen.1006252.
[Published Version]
View
| Files available
| DOI
2016 | Journal Article | IST-REx-ID: 7734
Peyrot, Wouter J., et al. “Exploring Boundaries for the Genetic Consequences of Assortative Mating for Psychiatric Traits.” JAMA Psychiatry, vol. 73, no. 11, American Medical Association, 2016, pp. 1189–95, doi:10.1001/jamapsychiatry.2016.2566.
View
| DOI
2016 | Journal Article | IST-REx-ID: 7736
Chen, G. B., et al. “EigenGWAS: Finding Loci under Selection through Genome-Wide Association Studies of Eigenvectors in Structured Populations.” Heredity, vol. 117, Springer Nature, 2016, pp. 51–61, doi:10.1038/hdy.2016.25.
View
| DOI
2016 | Journal Article | IST-REx-ID: 7737 |
Zhu, Zhihong, et al. “Integration of Summary Data from GWAS and EQTL Studies Predicts Complex Trait Gene Targets.” Nature Genetics, vol. 48, no. 5, Springer Nature, 2016, pp. 481–87, doi:10.1038/ng.3538.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2016 | Journal Article | IST-REx-ID: 7762
Rieser, Jennifer M., et al. “Divergence of Voronoi Cell Anisotropy Vector: A Threshold-Free Characterization of Local Structure in Amorphous Materials.” Physical Review Letters, vol. 116, no. 8, 088001, American Physical Society, 2016, doi:10.1103/physrevlett.116.088001.
View
| DOI
2016 | Journal Article | IST-REx-ID: 7761
Graves, Amy L., et al. “Pinning Susceptibility: The Effect of Dilute, Quenched Disorder on Jamming.” Physical Review Letters, vol. 116, no. 23, 235501, American Physical Society, 2016, doi:10.1103/physrevlett.116.235501.
View
| DOI
2016 | Journal Article | IST-REx-ID: 7764
Sussman, Daniel M., et al. “Spatial Structure of States of Self Stress in Jammed Systems.” Soft Matter, vol. 12, no. 17, Royal Society of Chemistry, 2016, pp. 3982–90, doi:10.1039/c6sm00094k.
View
| Files available
| DOI
2016 | Journal Article | IST-REx-ID: 7763
Lombardini, Richard, et al. “Higher-Order Wavelet Reconstruction/Differentiation Filters and Gibbs Phenomena.” Journal of Computational Physics, vol. 305, Elsevier, 2016, pp. 244–62, doi:10.1016/j.jcp.2015.10.035.
View
| DOI
2016 | Journal Article | IST-REx-ID: 7760
Goodrich, Carl Peter, et al. “Scaling Ansatz for the Jamming Transition.” Proceedings of the National Academy of Sciences, vol. 113, no. 35, Proceedings of the National Academy of Sciences, 2016, pp. 9745–50, doi:10.1073/pnas.1601858113.
View
| DOI
2016 | Journal Article | IST-REx-ID: 786 |
Alistarh, Dan-Adrian, et al. “Are Lock Free Concurrent Algorithms Practically Wait Free .” Journal of the ACM, vol. 63, no. 4, ACM, 2016, doi:10.1145/2903136.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2016 | Conference Paper | IST-REx-ID: 785
Haider, Syed, et al. Lease/Release: Architectural Support for Scaling Contended Data Structures. Vol. 12-16-March-2016, ACM, 2016, doi:10.1145/2851141.2851155.
View
| DOI
2016 | Journal Article | IST-REx-ID: 8020 |
Barron, H. C., et al. “Unmasking Latent Inhibitory Connections in Human Cortex to Reveal Dormant Cortical Memories.” Neuron, vol. 90, no. 1, Elsevier, 2016, pp. 191–203, doi:10.1016/j.neuron.2016.02.031.
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC