Please note that IST 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.
3165 Publications
2014 | Journal Article | IST-REx-ID: 2220 |

de Vos, Marjon, and Mark Tobias Bollenbach. “Suppressive Drug Interactions between Antifungals.” Chemistry and Biology, vol. 21, no. 4, Cell Press, 2014, pp. 439–40, doi:10.1016/j.chembiol.2014.04.004.
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2014 | Journal Article | IST-REx-ID: 2223 |

Tanaka, Hirokazu, et al. “BEX1/ARF1A1C Is Required for BFA-Sensitive Recycling of PIN Auxin Transporters and Auxin-Mediated Development in Arabidopsis.” Plant and Cell Physiology, vol. 55, no. 4, Oxford University Press, 2014, pp. 737–49, doi:10.1093/pcp/pct196.
View
| Files available
| DOI
| Download Published Version (ext.)
2014 | Journal Article | IST-REx-ID: 2225 |

Bloemendal, Alex, et al. “Isotropic Local Laws for Sample Covariance and Generalized Wigner Matrices.” Electronic Journal of Probability, vol. 19, 33, Institute of Mathematical Statistics, 2014, doi:10.1214/EJP.v19-3054.
View
| Files available
| DOI
2014 | Journal Article | IST-REx-ID: 2226 |

Shi, Liang, et al. “Transient Growth of Ekman-Couette Flow.” Physical Review E Statistical Nonlinear and Soft Matter Physics, vol. 89, no. 1, 013001, American Institute of Physics, 2014, doi:10.1103/PhysRevE.89.013001.
View
| DOI
| Download Submitted Version (ext.)
2014 | Journal Article | IST-REx-ID: 2228 |

Hu, Hua, and Peter M. Jonas. “A Supercritical Density of Na^+ Channels Ensures Fast Signaling in GABAergic Interneuron Axons.” Nature Neuroscience, vol. 17, no. 5, Nature Publishing Group, 2014, pp. 686–93, doi:10.1038/nn.3678.
View
| DOI
| Download Submitted Version (ext.)
2014 | Journal Article | IST-REx-ID: 2229 |

Vyleta, Nicholas, and Peter M. Jonas. “Loose Coupling between Ca^2+ Channels and Release Sensors at a Plastic Hippocampal Synapse.” Science, vol. 343, no. 6171, American Association for the Advancement of Science, 2014, pp. 665–70, doi:10.1126/science.1244811.
View
| DOI
| Download Submitted Version (ext.)
2014 | Journal Article | IST-REx-ID: 2230 |

Guzmán, José, et al. “Stimfit: Quantifying Electrophysiological Data with Python.” Frontiers in Neuroinformatics, vol. 8, no. FEB, 16, Frontiers Research Foundation, 2014, doi:10.3389/fninf.2014.00016.
View
| Files available
| DOI
2014 | Journal Article | IST-REx-ID: 2231 |

Rieckh, Georg, and Gašper Tkačik. “Noise and Information Transmission in Promoters with Multiple Internal States.” Biophysical Journal, vol. 106, no. 5, Biophysical Society, 2014, pp. 1194–204, doi:10.1016/j.bpj.2014.01.014.
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
2014 | Journal Article | IST-REx-ID: 2232 |

Song, Baofang, and Björn Hof. “Deterministic and Stochastic Aspects of the Transition to Turbulence.” Journal of Statistical Mechanics Theory and Experiment, vol. 2014, no. 2, P02001, IOP Publishing Ltd., 2014, doi:10.1088/1742-5468/2014/02/P02001.
View
| DOI
| Download Submitted Version (ext.)
2014 | Journal Article | IST-REx-ID: 2233 |

Boker, Udi, and Thomas A. Henzinger. “Exact and Approximate Determinization of Discounted-Sum Automata.” Logical Methods in Computer Science, vol. 10, no. 1, International Federation of Computational Logic, 2014, doi:10.2168/LMCS-10(1:10)2014.
View
| Files available
| DOI
2014 | Journal Article | IST-REx-ID: 2234 |

Brázdil, Tomáš, et al. “Markov Decision Processes with Multiple Long-Run Average Objectives.” Logical Methods in Computer Science, vol. 10, no. 1, International Federation of Computational Logic, 2014, doi:10.2168/LMCS-10(1:13)2014.
View
| Files available
| DOI
| Download Published Version (ext.)
2014 | Journal Article | IST-REx-ID: 2235 |

Fürst, Matthias, et al. “Disease Associations between Honeybees and Bumblebees as a Threat to Wild Pollinators.” Nature, vol. 506, no. 7488, Nature Publishing Group, 2014, pp. 364–66, doi:10.1038/nature12977.
View
| DOI
| Download Submitted Version (ext.)
2014 | Conference Paper | IST-REx-ID: 2236 |

Jetchev, Dimitar, and Krzysztof Z. Pietrzak. How to Fake Auxiliary Input. Edited by Yehuda Lindell, vol. 8349, Springer, 2014, pp. 566–90, doi:10.1007/978-3-642-54242-8_24.
View
| Files available
| DOI
| Download Submitted Version (ext.)
2014 | Journal Article | IST-REx-ID: 2246 |

Grinshpun, Andrey, et al. “Alternating Traps in Muller and Parity Games.” Theoretical Computer Science, vol. 521, Elsevier, 2014, pp. 73–91, doi:10.1016/j.tcs.2013.11.032.
View
| DOI
| Download Submitted Version (ext.)
2014 | Journal Article | IST-REx-ID: 2249 |

Chen, Yani, et al. “Inter-Regulation of the Unfolded Protein Response and Auxin Signaling.” Plant Journal, vol. 77, no. 1, Wiley-Blackwell, 2014, pp. 97–107, doi:10.1111/tpj.12373.
View
| DOI
| Download Submitted Version (ext.)
2014 | Journal Article | IST-REx-ID: 2250 |

Kuchibhatla, Durga, et al. “Powerful Sequence Similarity Search Methods and In-Depth Manual Analyses Can Identify Remote Homologs in Many Apparently ‘Orphan’ Viral Proteins.” Journal of Virology, vol. 88, no. 1, ASM, 2014, pp. 10–20, doi:10.1128/JVI.02595-13.
View
| Files available
| DOI
2014 | Journal Article | IST-REx-ID: 2251 |

Csicsvari, Jozsef L., and David Dupret. “Sharp Wave/Ripple Network Oscillations and Learning-Associated Hippocampal Maps.” Philosophical Transactions of the Royal Society of London. Series B, Biological Sciences, vol. 369, no. 1635, 20120528, Royal Society, The, 2014, doi:10.1098/rstb.2012.0528.
View
| Files available
| DOI
| PubMed | Europe PMC
2014 | Journal Article | IST-REx-ID: 2253 |

Bailly, Aurélien, et al. “Expression of TWISTED DWARF1 Lacking Its In-Plane Membrane Anchor Leads to Increased Cell Elongation and Hypermorphic Growth.” Plant Journal, vol. 77, no. 1, Wiley-Blackwell, 2014, pp. 108–18, doi:10.1111/tpj.12369.
View
| DOI
| Download Published Version (ext.)
2014 | Journal Article | IST-REx-ID: 2254 |

Pernia-Andrade, Alejandro, and Peter M. Jonas. “Theta-Gamma-Modulated Synaptic Currents in Hippocampal Granule Cells in Vivo Define a Mechanism for Network Oscillations.” Neuron, vol. 81, no. 1, Elsevier, 2014, pp. 140–52, doi:10.1016/j.neuron.2013.09.046.
View
| Files available
| DOI
2014 | Journal Article | IST-REx-ID: 2255 |

Edelsbrunner, Herbert, and Florian Pausinger. “Stable Length Estimates of Tube-like Shapes.” Journal of Mathematical Imaging and Vision, vol. 50, no. 1, Springer, 2014, pp. 164–77, doi:10.1007/s10851-013-0468-x.
View
| Files available
| DOI
2014 | Journal Article | IST-REx-ID: 2257 |

Tkačik, Gašper, et al. “Searching for Collective Behavior in a Large Network of Sensory Neurons.” PLoS Computational Biology, vol. 10, no. 1, e1003408, Public Library of Science, 2014, doi:10.1371/journal.pcbi.1003408.
View
| Files available
| DOI
| Download Published Version (ext.)
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.
View
| Files available
| 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.
View
| DOI
| Download Preprint (ext.)
| arXiv
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.
View
| DOI
| Download Preprint (ext.)
| arXiv
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.
View
| DOI
| Download Preprint (ext.)
| arXiv
2014 | Journal Article | IST-REx-ID: 468 |

Cimadom, Arno, et al. “Invasive Parasites Habitat Change and Heavy Rainfall Reduce Breeding Success in Darwin’s Finches.” PLoS One, vol. 9, no. 9, 0107518, Public Library of Science, 2014, doi:10.1371/journal.pone.0107518.
View
| Files available
| DOI
2014 | Conference Paper | IST-REx-ID: 475 |

Aminof, Benjamin, and Sasha Rubin. “First Cycle Games.” Electronic Proceedings in Theoretical Computer Science, EPTCS, vol. 146, Open Publishing Association, 2014, pp. 83–90, doi:10.4204/EPTCS.146.11.
View
| Files available
| DOI
2014 | Journal Article | IST-REx-ID: 535 |

Chatterjee, Krishnendu, et al. “Polynomial Time Algorithms for Energy Games with Special Weight Structures.” Algorithmica, vol. 70, no. 3, Springer, 2014, pp. 457–92, doi:10.1007/s00453-013-9843-7.
View
| DOI
| Download Submitted Version (ext.)
2014 | Journal Article | IST-REx-ID: 537 |

Prizak, Roshan, et al. “Fitness Consequences of Maternal and Grandmaternal Effects.” Ecology and Evolution, vol. 4, no. 15, Wiley-Blackwell, 2014, pp. 3139–45, doi:10.1002/ece3.1150.
View
| Files available
| DOI
2014 | Technical Report | IST-REx-ID: 5411 |

Daca, Przemyslaw, et al. Compositional Specifications for IOCO Testing. IST Austria, 2014, doi:10.15479/AT:IST-2014-148-v2-1.
View
| Files available
| DOI
2014 | Technical Report | IST-REx-ID: 5412 |

Chatterjee, Krishnendu, et al. CEGAR for Qualitative Analysis of Probabilistic Systems. IST Austria, 2014, doi:10.15479/AT:IST-2014-153-v1-1.
View
| Files available
| DOI
2014 | Technical Report | IST-REx-ID: 5413 |

Chatterjee, Krishnendu, et al. CEGAR for Qualitative Analysis of Probabilistic Systems. IST Austria, 2014, doi:10.15479/AT:IST-2014-153-v2-2.
View
| Files available
| DOI
2014 | Technical Report | IST-REx-ID: 5414 |

Chatterjee, Krishnendu, et al. CEGAR for Qualitative Analysis of Probabilistic Systems. IST Austria, 2014, doi:10.15479/AT:IST-2014-153-v3-1.
View
| Files available
| DOI
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.
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, doi:10.15479/AT:IST-2014-171-v1-1.
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, doi:10.15479/AT:IST-2014-172-v1-1.
View
| Files available
| DOI
2014 | Technical Report | IST-REx-ID: 5418 |

Chatterjee, Krishnendu, and Laurent Doyen. Games with a Weak Adversary. IST Austria, 2014, doi:10.15479/AT:IST-2014-176-v1-1.
View
| Files available
| DOI
2014 | Technical Report | IST-REx-ID: 5419 |

Chatterjee, Krishnendu, et al. Improved Algorithms for Reachability and Shortest Path on Low Tree-Width Graphs. IST Austria, 2014, doi:10.15479/AT:IST-2014-187-v1-1.
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, doi:10.15479/AT:IST-2014-191-v1-1.
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.
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: 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.
View
| Files available
| DOI
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.
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.
View
| Files available
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.
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.
View
| Files available
| DOI
2014 | Technical Report | IST-REx-ID: 5428 |

Chatterjee, Krishnendu, et al. Quantitative Fair Simulation Games. IST Austria, 2014, doi:10.15479/AT:IST-2014-315-v1-1.
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.
View
| Files available
| 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: 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.
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.
View
| Files available
| DOI
| PubMed | Europe PMC
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.
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.
View
| 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.
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.
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2014 | Working Paper | IST-REx-ID: 7038 |

Huszár, Kristóf, and Michal Rolinek. Playful Math - An Introduction to Mathematical Games. IST Austria.
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.
View
| Files available
| DOI
2014 | Journal Article | IST-REx-ID: 1375 |

Chatterjee, Krishnendu, et al. “Approximating the Minimum Cycle Mean.” Theoretical Computer Science, vol. 547, no. C, Elsevier, 2014, pp. 104–16, doi:10.1016/j.tcs.2014.06.031.
View
| DOI
| Download Submitted Version (ext.)
2014 | Conference Paper | IST-REx-ID: 1392 |

Dragoi, Cezara, et al. A Logic-Based Framework for Verifying Consensus Algorithms. Vol. 8318, Springer, 2014, pp. 161–81, doi:10.1007/978-3-642-54013-4_10.
View
| Files available
| DOI
2014 | Conference Paper | IST-REx-ID: 1393 |

Gordon, Andrew, et al. “Probabilistic Programming.” Proceedings of the on Future of Software Engineering, ACM, 2014, pp. 167–81, doi:10.1145/2593882.2593900.
View
| DOI
| Download Published Version (ext.)
2014 | Conference Paper | IST-REx-ID: 1507 |

Erdös, László. Random Matrices, Log-Gases and Hölder Regularity. Vol. 3, Kyung Moon SA Co. Ltd., 2014, pp. 214–36.
View
| Download Submitted Version (ext.)
2014 | Conference Paper | IST-REx-ID: 1516 |

Bräunlich, Gerhard, et al. “On the BCS Gap Equation for Superfluid Fermionic Gases.” Proceedings of the QMath12 Conference, World Scientific Publishing, 2014, pp. 127–37, doi:10.1142/9789814618144_0007.
View
| DOI
| Download Preprint (ext.)
| arXiv
2014 | Journal Article | IST-REx-ID: 1629 |

Guerrero, Paul, et al. “Edit Propagation Using Geometric Relationship Functions.” ACM Transactions on Graphics, vol. 33, no. 2, 15, ACM, 2014, doi:10.1145/2591010.
View
| Files available
| DOI
2014 | Conference Paper | IST-REx-ID: 1643 |

Fuchsbauer, Georg. “Constrained Verifiable Random Functions .” SCN 2014, edited by Michel Abdalla and Roberto De Prisco, vol. 8642, Springer, 2014, pp. 95–114, doi:10.1007/978-3-319-10879-7_7.
View
| DOI
| Download Submitted Version (ext.)
2014 | Journal Article | IST-REx-ID: 119 |

Waitukaitis, Scott R., et al. “Size-Dependent Same-Material Tribocharging in Insulating Grains.” APS Physics, Physical Review Letters, vol. 112, no. 21, 218001, American Physical Society, 2014, doi:10.1103/PhysRevLett.112.218001.
View
| DOI
| Download Submitted Version (ext.)
| arXiv
2014 | Journal Article | IST-REx-ID: 9050 |

Takagi, Daisuke, et al. “Hydrodynamic Capture of Microswimmers into Sphere-Bound Orbits.” Soft Matter, vol. 10, no. 11, 1784, Royal Society of Chemistry , 2014, doi:10.1039/c3sm52815d.
View
| DOI
| Download Preprint (ext.)
| PubMed | Europe PMC
| arXiv
2014 | Journal Article | IST-REx-ID: 96 |

Higginbotham, Andrew P., et al. “Coherent Operations and Screening in Multielectron Spin Qubits.” APS Physics, Physical Review Letters, vol. 112, no. 2, 026801, American Physiological Society, 2014, doi:10.1103/PhysRevLett.112.026801.
View
| DOI
| Download Preprint (ext.)
| arXiv
2014 | Journal Article | IST-REx-ID: 97 |

Higginbotham, Andrew P., et al. “Antilocalization of Coulomb Blockade in a Ge/Si Nanowire.” APS Physics, Physical Review Letters, vol. 112, no. 21, 216806, American Physical Society, 2014, doi:10.1103/PhysRevLett.112.216806.
View
| DOI
| Download None (ext.)
| arXiv
2014 | Journal Article | IST-REx-ID: 977 |

Serbyn, Maksym, et al. “Interferometric Probes of Many-Body Localization.” Physical Review Letters, vol. 113, no. 14, American Physical Society, 2014, doi:10.1103/PhysRevLett.113.147204.
View
| DOI
| Download (ext.)
2014 | Journal Article | IST-REx-ID: 978 |

Zeljkovic, Ilija, et al. “Mapping the Unconventional Orbital Texture in Topological Crystalline Insulators.” Nature Physics, vol. 10, no. 8, Nature Publishing Group, 2014, pp. 572–77, doi:10.1038/nphys3012.
View
| DOI
| Download (ext.)
2014 | Journal Article | IST-REx-ID: 979 |

Serbyn, Maksym, and Liang Fu. “Symmetry Breaking and Landau Quantization in Topological Crystalline Insulators.” Physical Review B - Condensed Matter and Materials Physics, vol. 90, no. 3, American Physical Society, 2014, doi:10.1103/PhysRevB.90.035402.
View
| DOI
| Download (ext.)
2014 | Journal Article | IST-REx-ID: 98 |

Higginbotham, Andrew P., et al. “Hole Spin Coherence in a Ge/Si Heterostructure Nanowire.” Nano Letters, vol. 14, no. 6, American Chemical Society, 2014, pp. 3582–86, doi:10.1021/nl501242b.
View
| DOI
| Download Preprint (ext.)
| arXiv
2014 | Journal Article | IST-REx-ID: 980 |

Serbyn, Maksym, et al. “Quantum Quenches in the Many-Body Localized Phase.” Physical Review B - Condensed Matter and Materials Physics, vol. 90, no. 17, American Physical Society, 2014, doi:10.1103/PhysRevB.90.174302.
View
| DOI
| Download (ext.)
2014 | Journal Article | IST-REx-ID: 451 |

Pilarczyk, Pawel, and Pedro Real. “Computation of Cubical Homology, Cohomology, and (Co)Homological Operations via Chain Contraction.” Advances in Computational Mathematics, vol. 41, no. 1, Kluwer, 2014, pp. 253–75, doi:10.1007/s10444-014-9356-1.
View
| DOI
| Download (ext.)
2014 | Journal Article | IST-REx-ID: 3263 |

Tkačik, Gašper, et al. “Adaptation to Changes in Higher-Order Stimulus Statistics in the Salamander Retina.” PLoS One, vol. 9, no. 1, e85841, Public Library of Science, 2014, doi:10.1371/journal.pone.0085841.
View
| Files available
| DOI
2014 | Journal Article | IST-REx-ID: 350 |

Li, Wenhua, et al. “Colloidal Synthesis and Functional Properties of Quaternary Cu Based Semiconductors: Cu2HgGeSe4.” Journal of Nanoparticle Research, vol. 16, no. 3, Kluwer, 2014, doi:10.1007/s11051-014-2297-2.
View
| DOI
| Download Submitted Version (ext.)
2014 | Journal Article | IST-REx-ID: 9166 |

Palacci, Jérémie A., et al. “Light-Activated Self-Propelled Colloids.” Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences, vol. 372, no. 2029, 20130372, The Royal Society, 2014, doi:10.1098/rsta.2013.0372.
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
| arXiv
2014 | Conference Paper | IST-REx-ID: 2218 |

Cerny, Pavol, et al. Regression-Free Synthesis for Concurrency. Vol. 8559, Springer, 2014, pp. 568–84, doi:10.1007/978-3-319-08867-9_38.
View
| Files available
| DOI
| Download Submitted Version (ext.)
2014 | Conference Paper | IST-REx-ID: 2159 |

Mabillard, Isaac, and Uli Wagner. “Eliminating Tverberg Points, I. An Analogue of the Whitney Trick.” Proceedings of the Annual Symposium on Computational Geometry, ACM, 2014, pp. 171–80, doi:10.1145/2582112.2582134.
View
| Files available
| DOI
2014 | Journal Article | IST-REx-ID: 2023 |

Novak, Sebastian. “Habitat Heterogeneities versus Spatial Type Frequency Variances as Driving Forces of Dispersal Evolution.” Ecology and Evolution, vol. 4, no. 24, Wiley-Blackwell, 2014, pp. 4589–97, doi:10.1002/ece3.1289.
View
| Files available
| DOI
2013 | Conference Paper | IST-REx-ID: 2260 |

Bernhard, David, et al. Efficient Signatures of Knowledge and DAA in the Standard Model. Vol. 7954, Springer, 2013, pp. 518–33, doi:10.1007/978-3-642-38980-1_33.
View
| DOI
| Download Submitted Version (ext.)
2013 | Journal Article | IST-REx-ID: 2264 |

Liang, Huixuan, et al. “Neural Development Is Dependent on the Function of Specificity Protein 2 in Cell Cycle Progression.” Development, vol. 140, no. 3, Company of Biologists, 2013, pp. 552–61, doi:10.1242/dev.085621.
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
2013 | Conference Paper | IST-REx-ID: 2270 |

Bachrach, Yoram, et al. Optimal Coalition Structures in Cooperative Graph Games. AAAI Press, 2013, pp. 81–87.
View
| Download None (ext.)
| arXiv
2013 | Conference Paper | IST-REx-ID: 2272 |

Takhanov, Rustem, and Vladimir Kolmogorov. “Inference Algorithms for Pattern-Based CRFs on Sequence Data.” ICML’13 Proceedings of the 30th International Conference on International, vol. 28, no. 3, International Machine Learning Society, 2013, pp. 145–53.
View
| Files available
| Download Submitted Version (ext.)
2013 | Report | IST-REx-ID: 2273 |

Kolmogorov, Vladimir. Reweighted Message Passing Revisited. IST Austria, 2013.
View
| Download (ext.)
2013 | Report | IST-REx-ID: 2274 |

Dziembowski, Stefan, et al. Proofs of Space. IST Austria, 2013.
View
| Files available
2013 | Conference Paper | IST-REx-ID: 2276 |

Gridchyn, Igor, and Vladimir Kolmogorov. Potts Model, Parametric Maxflow and k-Submodular Functions. IEEE, 2013, pp. 2320–27, doi:10.1109/ICCV.2013.288.
View
| DOI
| Download Preprint (ext.)
| arXiv
2013 | Journal Article | IST-REx-ID: 2277 |

Simmons, Kristina, et al. “Transformation of Stimulus Correlations by the Retina.” PLoS Computational Biology, vol. 9, no. 12, e1003344, Public Library of Science, 2013, doi:10.1371/journal.pcbi.1003344.
View
| Files available
| DOI
2013 | Conference Paper | IST-REx-ID: 2279 |

Chatterjee, Krishnendu, et al. Looking at Mean-Payoff and Total-Payoff through Windows. Vol. 8172, Springer, 2013, pp. 118–32, doi:10.1007/978-3-319-02444-8_10.
View
| Files available
| DOI
| Download Preprint (ext.)
2013 | Journal Article | IST-REx-ID: 2280 |

Uhler, Caroline, and Stephen Wright. “Packing Ellipsoids with Overlap.” SIAM Review, vol. 55, no. 4, Society for Industrial and Applied Mathematics , 2013, pp. 671–706, doi:10.1137/120872309.
View
| DOI
| Download Preprint (ext.)
| arXiv
2013 | Journal Article | IST-REx-ID: 2282 |

Campinho, Pedro, et al. “Tension-Oriented Cell Divisions Limit Anisotropic Tissue Tension in Epithelial Spreading during Zebrafish Epiboly.” Nature Cell Biology, vol. 15, Nature Publishing Group, 2013, pp. 1405–14, doi:10.1038/ncb2869.
View
| Files available
| DOI
| Download Submitted Version (ext.)
2013 | Journal Article | IST-REx-ID: 2284 |

Tragust, Simon, et al. “Pupal Cocoons Affect Sanitary Brood Care and Limit Fungal Infections in Ant Colonies.” BMC Evolutionary Biology, vol. 13, no. 1, 225, BioMed Central, 2013, doi:10.1186/1471-2148-13-225.
View
| Files available
| DOI
2013 | Journal Article | IST-REx-ID: 2286 |

Campinho, Pedro, and Carl-Philipp J. Heisenberg. “The Force and Effect of Cell Proliferation.” EMBO Journal, vol. 32, no. 21, Wiley-Blackwell, 2013, pp. 2783–84, doi:10.1038/emboj.2013.225.
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
2013 | Journal Article | IST-REx-ID: 2287 |

Pickup, Melinda, and Spencer Barrett. “The Influence of Demography and Local Mating Environment on Sex Ratios in a Wind-Pollinated Dioecious Plant.” Ecology and Evolution, vol. 3, no. 3, Wiley-Blackwell, 2013, pp. 629–39, doi:10.1002/ece3.465.
View
| Files available
| DOI
2013 | Journal Article | IST-REx-ID: 2289 |

Henzinger, Thomas A. “Quantitative Reactive Modeling and Verification.” Computer Science Research and Development, vol. 28, no. 4, Springer, 2013, pp. 331–44, doi:10.1007/s00450-013-0251-7.
View
| Files available
| DOI
2013 | Journal Article | IST-REx-ID: 2290 |

Boutté, Yohann, et al. “ECHIDNA Mediated Post Golgi Trafficking of Auxin Carriers for Differential Cell Elongation.” PNAS, vol. 110, no. 40, National Academy of Sciences, 2013, pp. 16259–64, doi:10.1073/pnas.1309057110.
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
2013 | Conference Paper | IST-REx-ID: 2291 |

Ferrara, Anna, et al. Cryptographically Enforced RBAC. IEEE, 2013, pp. 115–29, doi:10.1109/CSF.2013.15.
View
| DOI
| Download Submitted Version (ext.)
2013 | Conference Paper | IST-REx-ID: 2293 |

Sharmanska, Viktoriia, et al. Learning to Rank Using Privileged Information. IEEE, 2013, pp. 825–32, doi:10.1109/ICCV.2013.107.
View
| DOI
| Download Submitted Version (ext.)
2013 | Conference Paper | IST-REx-ID: 2294 |

Kazmar, Tomas, et al. Drosophila Embryo Stage Annotation Using Label Propagation. IEEE, 2013, doi:10.1109/ICCV.2013.139.
View
| DOI
| Download Submitted Version (ext.)
2013 | Conference Paper | IST-REx-ID: 2295 |

Chatterjee, Krishnendu, et al. What Is Decidable about Partially Observable Markov Decision Processes with Omega-Regular Objectives. Vol. 23, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2013, pp. 165–80, doi:10.4230/LIPIcs.CSL.2013.165.
View
| Files available
| DOI