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.
9078 Publications
2014 | Report | IST-REx-ID: 5422 | 
Porsche, Jana. Notes from Research Data Alliance Plenary Meeting in Dublin, Ireland. none, 2014.
View
| Files available
2014 | Technical Report | IST-REx-ID: 5424 |
Chatterjee, Krishnendu, et al. Qualitative Analysis of POMDPs with Temporal Logic Specifications for Robotics Applications. IST Austria, 2014, doi:10.15479/AT:IST-2014-305-v1-1.
[Published Version]
View
| Files available
| DOI
2014 | Technical Report | IST-REx-ID: 5426 |
Chatterjee, Krishnendu, et al. Qualitative Analysis of POMDPs with Temporal Logic Specifications for Robotics Applications. IST Austria, 2014, doi:10.15479/AT:IST-2014-305-v2-1.
[Published Version]
View
| Files available
| DOI
2014 | Technical Report | IST-REx-ID: 5423 |
Chatterjee, Krishnendu, et al. A Framework for Automated Competitive Analysis of On-Line Scheduling of Firm-Deadline Tasks. IST Austria, 2014, doi:10.15479/AT:IST-2014-300-v1-1.
[Published Version]
View
| Files available
| DOI
2014 | Technical Report | IST-REx-ID: 5427 |
Chatterjee, Krishnendu, et al. Optimal Tree-Decomposition Balancing and Reachability on Low Treewidth Graphs. IST Austria, 2014, doi:10.15479/AT:IST-2014-314-v1-1.
[Published Version]
View
| Files available
| DOI
2014 | Technical Report | IST-REx-ID: 5425 |
Anonymous, 1, et al. Optimal Cost Almost-Sure Reachability in POMDPs. IST Austria, 2014.
[Published Version]
View
| Files available
2014 | Technical Report | IST-REx-ID: 5415 |
Chatterjee, Krishnendu, et al. Nested Weighted Automata. IST Austria, 2014, doi:10.15479/AT:IST-2014-170-v1-1.
[Published Version]
View
| Files available
| DOI
2014 | Technical Report | IST-REx-ID: 5421 |
Chatterjee, Krishnendu, et al. The Complexity of Evolution on Graphs. IST Austria, 2014, doi:10.15479/AT:IST-2014-190-v2-2.
[Published Version]
View
| Files available
| DOI
2014 | Journal Article | IST-REx-ID: 5813 |
Dereziński, Jan, and Marcin M. Napiórkowski. “Excitation Spectrum of Interacting Bosons in the Mean-Field Infinite-Volume Limit.” Annales Henri Poincaré, vol. 15, no. 12, Springer Nature, 2014, pp. 2409–39, doi:10.1007/s00023-013-0302-4.
[Published Version]
View
| Files available
| DOI
2014 | Conference Paper | IST-REx-ID: 5810
Biswas, Ranita, and Partha Bhowmick. On Finding Spherical Geodesic Paths and Circles in ℤ3. Vol. 8668, Springer, 2014, pp. 396–409, doi:10.1007/978-3-319-09955-2_33.
View
| DOI
2014 | Journal Article | IST-REx-ID: 589 |
Lee, Jongmin, et al. “Many-Atom-Cavity QED System with Homogeneous Atom-Cavity Coupling.” Optics Letters, vol. 39, no. 13, OSA, 2014, pp. 4005–08, doi:10.1364/OL.39.004005.
View
| DOI
| Download (ext.)
2014 | Journal Article | IST-REx-ID: 6126 |
Gross, E., et al. “GLOBIN-5-Dependent O2 Responses Are Regulated by PDL-1/PrBP That Targets Prenylated Soluble Guanylate Cyclases to Dendritic Endings.” Journal of Neuroscience, vol. 34, no. 50, Society for Neuroscience, 2014, pp. 16726–38, doi:10.1523/jneurosci.5368-13.2014.
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
2014 | Journal Article | IST-REx-ID: 6124 |
Chen, Changchun, et al. “An ER Complex of ODR-4 and ODR-8/Ufm1 Specific Protease 2 Promotes GPCR Maturation by a Ufm1-Independent Mechanism.” PLoS Genetics, vol. 10, no. 3, e1004082, Public Library of Science (PLoS), 2014, doi:10.1371/journal.pgen.1004082.
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
2014 | Journal Article | IST-REx-ID: 6122 |
Linneweber, Gerit A., et al. “Neuronal Control of Metabolism through Nutrient-Dependent Modulation of Tracheal Branching.” Cell, vol. 156, no. 1–2, Elsevier, 2014, pp. 69–83, doi:10.1016/j.cell.2013.12.008.
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
2014 | Journal Article | IST-REx-ID: 6319 |
Bretèche, Régis de la, and Timothy D. Browning. “Contre-Exemples Au Principe de Hasse Pour Certains Tores Coflasques.” Journal de Théorie Des Nombres de Bordeaux, vol. 26, no. 1, Cellule MathDoc/CEDRAM, 2014, pp. 25–44, doi:10.5802/jtnb.857.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2014 | Conference Paper | IST-REx-ID: 6740 |
Mondelli, Marco, et al. “How to Achieve the Capacity of Asymmetric Channels.” 52nd Annual Allerton Conference on Communication, Control, and Computing, IEEE, 2014, pp. 789–96, doi:10.1109/allerton.2014.7028535.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2014 | Journal Article | IST-REx-ID: 6739 |
Mondelli, Marco, et al. “From Polar to Reed-Muller Codes: A Technique to Improve the Finite-Length Performance.” IEEE Transactions on Communications, vol. 62, no. 9, IEEE, 2014, pp. 3084–91, doi:10.1109/tcomm.2014.2345069.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2014 | Journal Article | IST-REx-ID: 6744
Mondelli, Marco, et al. “Joint Power Allocation and Path Selection for Multi-Hop Noncoherent Decode and Forward UWB Communications.” IEEE Transactions on Wireless Communications, vol. 13, no. 3, IEEE, 2014, pp. 1397–409, doi:10.1109/twc.2014.020914.130669.
View
| DOI
2014 | Conference Paper | IST-REx-ID: 10885
Chatterjee, Krishnendu, et al. “Doomsday Equilibria for Omega-Regular Games.” VMCAI 2014: Verification, Model Checking, and Abstract Interpretation, vol. 8318, Springer Nature, 2014, pp. 78–97, doi:10.1007/978-3-642-54013-4_5.
[Preprint]
View
| Files available
| DOI
| arXiv
2014 | Book | IST-REx-ID: 6853
Edelsbrunner, Herbert. A Short Course in Computational Geometry and Topology. 1st ed., Springer Nature, 2014, doi:10.1007/978-3-319-05957-0.
View
| Files available
| DOI
2014 | Working Paper | IST-REx-ID: 7038 |
Huszár, Kristóf, and Michal Rolinek. Playful Math - An Introduction to Mathematical Games. IST Austria.
[Published Version]
View
| Files available
2014 | Journal Article | IST-REx-ID: 7071 |
Modic, Kimberly A., et al. “Realization of a Three-Dimensional Spin–Anisotropic Harmonic Honeycomb Iridate.” Nature Communications, vol. 5, 4203, Springer Science and Business Media LLC, 2014, doi:10.1038/ncomms5203.
[Published Version]
View
| Files available
| DOI
2014 | Journal Article | IST-REx-ID: 7072
Lancaster T, Goddard PA, Blundell SJ, Foronda FR, Ghannadzadeh S, Möller JS, Baker PJ, Pratt FL, Baines C, Huang L, Wosnitza J, McDonald RD, Modic KA, Singleton J, Topping CV, Beale TAW, Xiao F, Schlueter JA, Barton AM, Cabrera RD, Carreiro KE, Tran HE, Manson JL. 2014. Controlling magnetic order and quantum disorder in molecule-based magnets. Physical Review Letters. 112(20), 207201.
View
| DOI
2014 | Book Chapter | IST-REx-ID: 7303
Freunberger, Stefan Alexander, et al. “Nonaqueous Electrolytes.” The Lithium Air Battery: Fundamentals, edited by Nobuyuki Imanishi et al., Springer Nature, 2014, pp. 23–58, doi:10.1007/978-1-4899-8062-5_2.
View
| DOI
2014 | Journal Article | IST-REx-ID: 7302
Dunst, A., et al. “Short-Range Li Diffusion vs. Long-Range Ionic Conduction in Nanocrystalline Lithium Peroxide Li2O2—the Discharge Product in Lithium-Air Batteries.” Energy & Environmental Science, vol. 7, no. 8, RSC, 2014, pp. 2739–52, doi:10.1039/c4ee00496e.
[Published Version]
View
| DOI
2014 | Journal Article | IST-REx-ID: 7305
Johnson, Lee, et al. “The Role of LiO2 Solubility in O2 Reduction in Aprotic Solvents and Its Consequences for Li–O2 Batteries.” Nature Chemistry, vol. 6, no. 12, Springer Nature, 2014, pp. 1091–99, doi:10.1038/nchem.2101.
View
| Files available
| DOI
2014 | Journal Article | IST-REx-ID: 7304
Kwabi, D. G., et al. “Materials Challenges in Rechargeable Lithium-Air Batteries.” MRS Bulletin, vol. 39, no. 5, CUP, 2014, pp. 443–52, doi:10.1557/mrs.2014.87.
View
| DOI
2014 | Journal Article | IST-REx-ID: 7301
Li, Chunmei, et al. “Aprotic Li–O2 Battery: Influence of Complexing Agents on Oxygen Reduction in an Aprotic Solvent.” The Journal of Physical Chemistry C, vol. 118, no. 7, ACS, 2014, pp. 3393–401, doi:10.1021/jp4093805.
View
| DOI
2014 | Journal Article | IST-REx-ID: 7300
Aigner, Daniel, et al. “Enhancing Photoinduced Electron Transfer Efficiency of Fluorescent PH-Probes with Halogenated Phenols.” Analytical Chemistry, vol. 86, no. 18, ACS, 2014, pp. 9293–300, doi:10.1021/ac502513g.
View
| DOI
2014 | Journal Article | IST-REx-ID: 7361
Lebar, Tina, et al. “A Bistable Genetic Switch Based on Designable DNA-Binding Domains.” Nature Communications, vol. 5, no. 1, 5007, Springer Nature, 2014, doi:10.1038/ncomms6007.
View
| DOI
| PubMed | Europe PMC
2014 | Journal Article | IST-REx-ID: 7455
Costanzo, Tommaso, et al. “Studying the Surface Reaction between NiO and Al2O3viatotal Reflection EXAFS (ReflEXAFS).” Journal of Synchrotron Radiation, vol. 21, no. 2, International Union of Crystallography, 2014, pp. 395–400, doi:10.1107/s1600577513031299.
View
| DOI
2014 | Journal Article | IST-REx-ID: 7598 |
Tan, Shutang, and Hong-Wei Xue. “Casein Kinase 1 Regulates Ethylene Synthesis by Phosphorylating and Promoting the Turnover of ACS5.” Cell Reports, vol. 9, no. 5, Elsevier, 2014, pp. 1692–702, doi:10.1016/j.celrep.2014.10.047.
[Published Version]
View
| Files available
| DOI
2014 | Conference Paper | IST-REx-ID: 768
Alistarh, Dan-Adrian, et al. Dynamic Task Allocation in Asynchronous Shared Memory. SIAM, 2014, pp. 416–35, doi:10.1137/1.9781611973402.31.
View
| DOI
2014 | Journal Article | IST-REx-ID: 769
Alistarh, Dan-Adrian, et al. “Tight Bounds for Asynchronous Renaming.” Journal of the ACM, vol. 61, no. 3, ACM, 2014, doi:10.1145/2597630.
View
| DOI
2014 | Conference Paper | IST-REx-ID: 770
Alistarh, Dan-Adrian, et al. StackTrack: An Automated Transactional Approach to Concurrent Memory Reclamation. ACM, 2014, doi:10.1145/2592798.2592808.
View
| DOI
2014 | Conference Paper | IST-REx-ID: 771
Alistarh, Dan-Adrian, et al. Balls-into-Leaves: Sub-Logarithmic Renaming in Synchronous Message-Passing Systems. ACM, 2014, pp. 232–41, doi:10.1145/2611462.2611499.
View
| DOI
2014 | Conference Paper | IST-REx-ID: 772 |
Alistarh, Dan-Adrian, et al. Are Lock-Free Concurrent Algorithms Practically Wait-Free? ACM, 2014, pp. 714–23, doi:10.1145/2591796.2591836.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2014 | Conference Paper | IST-REx-ID: 773
Alistarh, Dan-Adrian, et al. Communication-Efficient Randomized Consensus. Edited by Fabian Kuhn, vol. 8784, Springer, 2014, pp. 61–75, doi:10.1007/978-3-662-45174-8_5.
View
| DOI
2014 | Conference Paper | IST-REx-ID: 774
Alistarh, Dan-Adrian, et al. Brief Announcement: Are Lock-Free Concurrent Algorithms Practically Wait-Free? ACM, 2014, pp. 50–52, doi:10.1145/2611462.2611502.
View
| DOI
2014 | Conference Paper | IST-REx-ID: 775 |
Alistarh, Dan-Adrian, et al. The Levelarray: A Fast, Practical Long-Lived Renaming Algorithm. IEEE, 2014, pp. 348–57, doi:10.1109/ICDCS.2014.43.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2014 | Book Chapter | IST-REx-ID: 7743
Robinson, Matthew Richard, and Anna Qvarnström. “Influence of the Environment on the Genetic Architecture of Traits Involved in Sexual Selection within Wild Populations.” Genotype-by-Environment Interactions and Sexual Selection, edited by John Hunt and David Hosken, Wiley, 2014, pp. 137–68, doi:10.1002/9781118912591.ch6.
View
| DOI
2014 | Journal Article | IST-REx-ID: 7744
Robinson, Matthew Richard, et al. “Explaining Additional Genetic Variation in Complex Traits.” Trends in Genetics, vol. 30, no. 4, Elsevier, 2014, pp. 124–32, doi:10.1016/j.tig.2014.02.003.
View
| DOI
2014 | Journal Article | IST-REx-ID: 7768
Lohr, Matthew A., et al. “Vibrational and Structural Signatures of the Crossover between Dense Glassy and Sparse Gel-like Attractive Colloidal Packings.” Physical Review E, vol. 90, no. 6, 062305, American Physical Society, 2014, doi:10.1103/physreve.90.062305.
View
| DOI
2014 | Journal Article | IST-REx-ID: 7771 |
Goodrich, Carl Peter, et al. “Comment on ‘Repulsive Contact Interactions Make Jammed Particulate Systems Inherently Nonharmonic.’” Physical Review Letters, vol. 112, no. 4, 049801, American Physical Society, 2014, doi:10.1103/physrevlett.112.049801.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2014 | Journal Article | IST-REx-ID: 7772
Still, Tim, et al. “Phonon Dispersion and Elastic Moduli of Two-Dimensional Disordered Colloidal Packings of Soft Particles with Frictional Interactions.” Physical Review E, vol. 89, no. 1, 012301, American Physical Society, 2014, doi:10.1103/physreve.89.012301.
View
| DOI
2014 | Journal Article | IST-REx-ID: 7773
Goodrich, Carl Peter, et al. “Solids between the Mechanical Extremes of Order and Disorder.” Nature Physics, vol. 10, no. 8, Springer Nature, 2014, pp. 578–81, doi:10.1038/nphys3006.
View
| DOI
2014 | Journal Article | IST-REx-ID: 7769
Goodrich, Carl Peter, et al. “Jamming in Finite Systems: Stability, Anisotropy, Fluctuations, and Scaling.” Physical Review E, vol. 90, no. 2, 022138, American Physical Society, 2014, doi:10.1103/physreve.90.022138.
View
| DOI
2014 | Journal Article | IST-REx-ID: 7770
Goodrich, Carl Peter, et al. “Contact Nonlinearities and Linear Response in Jammed Particulate Packings.” Physical Review E, vol. 90, no. 2, 022201, American Physical Society, 2014, doi:10.1103/physreve.90.022201.
View
| DOI
2014 | Journal Article | IST-REx-ID: 8021 |
Araya, R., et al. “Activity-Dependent Dendritic Spine Neck Changes Are Correlated with Synaptic Strength.” Proceedings of the National Academy of Sciences, vol. 111, no. 28, Proceedings of the National Academy of Sciences, 2014, pp. E2895–904, doi:10.1073/pnas.1321869111.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2014 | Journal Article | IST-REx-ID: 8023 |
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