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.
9084 Publications
2014 | Technical Report | IST-REx-ID: 5419 | 
Chatterjee, Krishnendu, Rasmus Ibsen-Jensen, and Andreas Pavlogiannis. Improved Algorithms for Reachability and Shortest Path on Low Tree-Width Graphs. IST Austria, 2014. https://doi.org/10.15479/AT:IST-2014-187-v1-1.
[Published Version]
View
| Files available
| DOI
2014 | Conference Paper | IST-REx-ID: 2217
Henzinger, Thomas A, and Jan Otop. “Model Measuring for Hybrid Systems.” In Proceedings of the 17th International Conference on Hybrid Systems: Computation and Control, 213–22. Springer, 2014. https://doi.org/10.1145/2562059.2562130.
View
| Files available
| DOI
2014 | Technical Report | IST-REx-ID: 5417 |
Henzinger, Thomas A, and Jan Otop. From Model Checking to Model Measuring. IST Austria, 2014. https://doi.org/10.15479/AT:IST-2014-172-v1-1.
[Published Version]
View
| Files available
| DOI
2014 | Technical Report | IST-REx-ID: 5416 |
Henzinger, Thomas A, and Jan Otop. Model Measuring for Hybrid Systems. IST Austria, 2014. https://doi.org/10.15479/AT:IST-2014-171-v1-1.
[Published Version]
View
| Files available
| DOI
2014 | Technical Report | IST-REx-ID: 5418 |
Chatterjee, Krishnendu, and Laurent Doyen. Games with a Weak Adversary. IST Austria, 2014. https://doi.org/10.15479/AT:IST-2014-176-v1-1.
[Published Version]
View
| Files available
| DOI
2014 | Technical Report | IST-REx-ID: 5420 |
Chatterjee, Krishnendu, and Rasmus Ibsen-Jensen. The Value 1 Problem for Concurrent Mean-Payoff Games. IST Austria, 2014. https://doi.org/10.15479/AT:IST-2014-191-v1-1.
[Published Version]
View
| Files available
| DOI
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, Martin Chmelik, Raghav Gupta, and Ayush Kanodia. Qualitative Analysis of POMDPs with Temporal Logic Specifications for Robotics Applications. IST Austria, 2014. https://doi.org/10.15479/AT:IST-2014-305-v1-1.
[Published Version]
View
| Files available
| DOI
2014 | Technical Report | IST-REx-ID: 5426 |
Chatterjee, Krishnendu, Martin Chmelik, Raghav Gupta, and Ayush Kanodia. Qualitative Analysis of POMDPs with Temporal Logic Specifications for Robotics Applications. IST Austria, 2014. https://doi.org/10.15479/AT:IST-2014-305-v2-1.
[Published Version]
View
| Files available
| DOI
2014 | Technical Report | IST-REx-ID: 5423 |
Chatterjee, Krishnendu, Alexander Kössler, Andreas Pavlogiannis, and Ulrich Schmid. A Framework for Automated Competitive Analysis of On-Line Scheduling of Firm-Deadline Tasks. IST Austria, 2014. https://doi.org/10.15479/AT:IST-2014-300-v1-1.
[Published Version]
View
| Files available
| DOI
2014 | Technical Report | IST-REx-ID: 5427 |
Chatterjee, Krishnendu, Rasmus Ibsen-Jensen, and Andreas Pavlogiannis. Optimal Tree-Decomposition Balancing and Reachability on Low Treewidth Graphs. IST Austria, 2014. https://doi.org/10.15479/AT:IST-2014-314-v1-1.
[Published Version]
View
| Files available
| DOI
2014 | Technical Report | IST-REx-ID: 5425 |
Anonymous, 1, 2 Anonymous, 3 Anonymous, and 4 Anonymous. Optimal Cost Almost-Sure Reachability in POMDPs. IST Austria, 2014.
[Published Version]
View
| Files available
2014 | Technical Report | IST-REx-ID: 5415 |
Chatterjee, Krishnendu, Thomas A Henzinger, and Jan Otop. Nested Weighted Automata. IST Austria, 2014. https://doi.org/10.15479/AT:IST-2014-170-v1-1.
[Published Version]
View
| Files available
| DOI
2014 | Technical Report | IST-REx-ID: 5421 |
Chatterjee, Krishnendu, Rasmus Ibsen-Jensen, and Martin Nowak. The Complexity of Evolution on Graphs. IST Austria, 2014. https://doi.org/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é. Springer Nature, 2014. https://doi.org/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.” Lecture Notes in Computer Science. Berlin, Heidelberg: Springer, 2014. https://doi.org/10.1007/978-3-319-09955-2_33.
View
| DOI
2014 | Journal Article | IST-REx-ID: 589 |
Lee, Jongmin, Geert Vrijsen, Igor Teper, Onur Hosten, and Mark Kasevich. “Many-Atom-Cavity QED System with Homogeneous Atom-Cavity Coupling.” Optics Letters. OSA, 2014. https://doi.org/10.1364/OL.39.004005.
View
| DOI
| Download (ext.)
2014 | Journal Article | IST-REx-ID: 6126 |
Gross, E., Z. Soltesz, S. Oda, V. Zelmanovich, Z. Abergel, and Mario de Bono. “GLOBIN-5-Dependent O2 Responses Are Regulated by PDL-1/PrBP That Targets Prenylated Soluble Guanylate Cyclases to Dendritic Endings.” Journal of Neuroscience. Society for Neuroscience, 2014. https://doi.org/10.1523/jneurosci.5368-13.2014.
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
2014 | Journal Article | IST-REx-ID: 6124 |
Chen, Changchun, Eisuke Itakura, Katherine P. Weber, Ramanujan S. Hegde, and Mario de Bono. “An ER Complex of ODR-4 and ODR-8/Ufm1 Specific Protease 2 Promotes GPCR Maturation by a Ufm1-Independent Mechanism.” PLoS Genetics. Public Library of Science (PLoS), 2014. https://doi.org/10.1371/journal.pgen.1004082.
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
2014 | Journal Article | IST-REx-ID: 6122 |
Linneweber, Gerit A., Jake Jacobson, Karl Emanuel Busch, Bruno Hudry, Christo P. Christov, Dirk Dormann, Michaela Yuan, et al. “Neuronal Control of Metabolism through Nutrient-Dependent Modulation of Tracheal Branching.” Cell. Elsevier, 2014. https://doi.org/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. Cellule MathDoc/CEDRAM, 2014. https://doi.org/10.5802/jtnb.857.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2014 | Conference Paper | IST-REx-ID: 6740 |
Mondelli, Marco, Rudiger Urbanke, and Hamed Hassani. “How to Achieve the Capacity of Asymmetric Channels.” In 52nd Annual Allerton Conference on Communication, Control, and Computing, 789–96. IEEE, 2014. https://doi.org/10.1109/allerton.2014.7028535.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2014 | Journal Article | IST-REx-ID: 6739 |
Mondelli, Marco, Hamed Hassani, and Rudiger Urbanke. “From Polar to Reed-Muller Codes: A Technique to Improve the Finite-Length Performance.” IEEE Transactions on Communications. IEEE, 2014. https://doi.org/10.1109/tcomm.2014.2345069.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2014 | Journal Article | IST-REx-ID: 6744
Mondelli, Marco, Qi Zhou, Vincenzo Lottici, and Xiaoli Ma. “Joint Power Allocation and Path Selection for Multi-Hop Noncoherent Decode and Forward UWB Communications.” IEEE Transactions on Wireless Communications. IEEE, 2014. https://doi.org/10.1109/twc.2014.020914.130669.
View
| DOI
2014 | Conference Paper | IST-REx-ID: 10885
Chatterjee, Krishnendu, Laurent Doyen, Emmanuel Filiot, and Jean-François Raskin. “Doomsday Equilibria for Omega-Regular Games.” In VMCAI 2014: Verification, Model Checking, and Abstract Interpretation, 8318:78–97. Springer Nature, 2014. https://doi.org/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. SpringerBriefs in Applied Sciences and Technology. Cham: Springer Nature, 2014. https://doi.org/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, n.d.
[Published Version]
View
| Files available
2014 | Journal Article | IST-REx-ID: 7071 |
Modic, Kimberly A, Tess E. Smidt, Itamar Kimchi, Nicholas P. Breznay, Alun Biffin, Sungkyun Choi, Roger D. Johnson, et al. “Realization of a Three-Dimensional Spin–Anisotropic Harmonic Honeycomb Iridate.” Nature Communications. Springer Science and Business Media LLC, 2014. https://doi.org/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, Yuhui Chen, Fanny Bardé, Kensuke Takechi, Fuminori Mizuno, and Peter G. Bruce. “Nonaqueous Electrolytes.” In The Lithium Air Battery: Fundamentals, edited by Nobuyuki Imanishi, Alan C. Luntz, and Peter Bruce, 23–58. New York, NY: Springer Nature, 2014. https://doi.org/10.1007/978-1-4899-8062-5_2.
View
| DOI
2014 | Journal Article | IST-REx-ID: 7302
Dunst, A., V. Epp, I. Hanzu, Stefan Alexander Freunberger, and M. Wilkening. “Short-Range Li Diffusion vs. Long-Range Ionic Conduction in Nanocrystalline Lithium Peroxide Li2O2—the Discharge Product in Lithium-Air Batteries.” Energy & Environmental Science. RSC, 2014. https://doi.org/10.1039/c4ee00496e.
[Published Version]
View
| DOI
2014 | Journal Article | IST-REx-ID: 7305
Johnson, Lee, Chunmei Li, Zheng Liu, Yuhui Chen, Stefan Alexander Freunberger, Praveen C. Ashok, Bavishna B. Praveen, Kishan Dholakia, Jean-Marie Tarascon, and Peter G. Bruce. “The Role of LiO2 Solubility in O2 Reduction in Aprotic Solvents and Its Consequences for Li–O2 Batteries.” Nature Chemistry. Springer Nature, 2014. https://doi.org/10.1038/nchem.2101.
View
| Files available
| DOI
2014 | Journal Article | IST-REx-ID: 7304
Kwabi, D.G., N. Ortiz-Vitoriano, Stefan Alexander Freunberger, Y. Chen, N. Imanishi, P.G. Bruce, and Y. Shao-Horn. “Materials Challenges in Rechargeable Lithium-Air Batteries.” MRS Bulletin. CUP, 2014. https://doi.org/10.1557/mrs.2014.87.
View
| DOI
2014 | Journal Article | IST-REx-ID: 7301
Li, Chunmei, Olivier Fontaine, Stefan Alexander Freunberger, Lee Johnson, Sylvie Grugeon, Stéphane Laruelle, Peter G. Bruce, and Michel Armand. “Aprotic Li–O2 Battery: Influence of Complexing Agents on Oxygen Reduction in an Aprotic Solvent.” The Journal of Physical Chemistry C. ACS, 2014. https://doi.org/10.1021/jp4093805.
View
| DOI
2014 | Journal Article | IST-REx-ID: 7300
Aigner, Daniel, Stefan Alexander Freunberger, Martin Wilkening, Robert Saf, Sergey M. Borisov, and Ingo Klimant. “Enhancing Photoinduced Electron Transfer Efficiency of Fluorescent PH-Probes with Halogenated Phenols.” Analytical Chemistry. ACS, 2014. https://doi.org/10.1021/ac502513g.
View
| DOI
2014 | Journal Article | IST-REx-ID: 7361
Lebar, Tina, Urban Bezeljak, Anja Golob, Miha Jerala, Lucija Kadunc, Boštjan Pirš, Martin Stražar, et al. “A Bistable Genetic Switch Based on Designable DNA-Binding Domains.” Nature Communications. Springer Nature, 2014. https://doi.org/10.1038/ncomms6007.
View
| DOI
| PubMed | Europe PMC
2014 | Journal Article | IST-REx-ID: 7455
Costanzo, Tommaso, Federico Benzi, Paolo Ghigna, Sonia Pin, Giorgio Spinolo, and Francesco d’Acapito. “Studying the Surface Reaction between NiO and Al2O3viatotal Reflection EXAFS (ReflEXAFS).” Journal of Synchrotron Radiation. International Union of Crystallography, 2014. https://doi.org/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. Elsevier, 2014. https://doi.org/10.1016/j.celrep.2014.10.047.
[Published Version]
View
| Files available
| DOI
2014 | Conference Paper | IST-REx-ID: 768
Alistarh, Dan-Adrian, James Aspnes, Michael Bender, Rati Gelashvili, and Seth Gilbert. “Dynamic Task Allocation in Asynchronous Shared Memory,” 416–35. SIAM, 2014. https://doi.org/10.1137/1.9781611973402.31.
View
| DOI
2014 | Journal Article | IST-REx-ID: 769
Alistarh, Dan-Adrian, James Aspnes, Keren Censor Hillel, Seth Gilbert, and Rachid Guerraoui. “Tight Bounds for Asynchronous Renaming.” Journal of the ACM. ACM, 2014. https://doi.org/10.1145/2597630.
View
| DOI
2014 | Conference Paper | IST-REx-ID: 770
Alistarh, Dan-Adrian, Patrick Eugster, Maurice Herlihy, Alexander Matveev, and Nir Shavit. “StackTrack: An Automated Transactional Approach to Concurrent Memory Reclamation.” ACM, 2014. https://doi.org/10.1145/2592798.2592808.
View
| DOI
2014 | Conference Paper | IST-REx-ID: 771
Alistarh, Dan-Adrian, Oksana Denysyuk, Luís Rodrígues, and Nir Shavit. “Balls-into-Leaves: Sub-Logarithmic Renaming in Synchronous Message-Passing Systems,” 232–41. ACM, 2014. https://doi.org/10.1145/2611462.2611499.
View
| DOI
2014 | Conference Paper | IST-REx-ID: 772 |
Alistarh, Dan-Adrian, Keren Censor Hillel, and Nir Shavit. “Are Lock-Free Concurrent Algorithms Practically Wait-Free?,” 714–23. ACM, 2014. https://doi.org/10.1145/2591796.2591836.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2014 | Conference Paper | IST-REx-ID: 773
Alistarh, Dan-Adrian, James Aspnes, Valerie King, and Jared Saia. “Communication-Efficient Randomized Consensus.” edited by Fabian Kuhn, 8784:61–75. Springer, 2014. https://doi.org/10.1007/978-3-662-45174-8_5.
View
| DOI
2014 | Conference Paper | IST-REx-ID: 774
Alistarh, Dan-Adrian, Keren Censor Hille, and Nir Shavit. “Brief Announcement: Are Lock-Free Concurrent Algorithms Practically Wait-Free?,” 50–52. ACM, 2014. https://doi.org/10.1145/2611462.2611502.
View
| DOI
2014 | Conference Paper | IST-REx-ID: 775 |
Alistarh, Dan-Adrian, Justin Kopinsky, Alexander Matveev, and Nir Shavit. “The Levelarray: A Fast, Practical Long-Lived Renaming Algorithm,” 348–57. IEEE, 2014. https://doi.org/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.” In Genotype-by-Environment Interactions and Sexual Selection, edited by John Hunt and David Hosken, 137–68. Chichester, UK: Wiley, 2014. https://doi.org/10.1002/9781118912591.ch6.
View
| DOI
2014 | Journal Article | IST-REx-ID: 7744
Robinson, Matthew Richard, Naomi R. Wray, and Peter M. Visscher. “Explaining Additional Genetic Variation in Complex Traits.” Trends in Genetics. Elsevier, 2014. https://doi.org/10.1016/j.tig.2014.02.003.
View
| DOI
2014 | Journal Article | IST-REx-ID: 7768
Lohr, Matthew A., Tim Still, Raman Ganti, Matthew D. Gratale, Zoey S. Davidson, Kevin B. Aptowicz, Carl Peter Goodrich, Daniel M. Sussman, and A. G. Yodh. “Vibrational and Structural Signatures of the Crossover between Dense Glassy and Sparse Gel-like Attractive Colloidal Packings.” Physical Review E. American Physical Society, 2014. https://doi.org/10.1103/physreve.90.062305.
View
| DOI
2014 | Journal Article | IST-REx-ID: 7771 |
Goodrich, Carl Peter, Andrea J. Liu, and Sidney R. Nagel. “Comment on ‘Repulsive Contact Interactions Make Jammed Particulate Systems Inherently Nonharmonic.’” Physical Review Letters. American Physical Society, 2014. https://doi.org/10.1103/physrevlett.112.049801.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv