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.
4773 Publications
2012 | Journal Article | IST-REx-ID: 347 |

Ibáñez, Maria, et al. “Cu 2ZnGeSe 4 Nanocrystals: Synthesis and Thermoelectric Properties.” Journal of the American Chemical Society, vol. 134, no. 9, ACS, 2012, pp. 4060–63, doi:10.1021/ja211952z.
View
| DOI
| Download None (ext.)
2012 | Journal Article | IST-REx-ID: 2972 |

Chatterjee, Krishnendu, and Laurent Doyen. “Energy Parity Games.” Theoretical Computer Science, vol. 458, Elsevier, 2012, pp. 49–60, doi:10.1016/j.tcs.2012.07.038.
View
| Files available
| DOI
| arXiv
2012 | Journal Article | IST-REx-ID: 492 |

Galkovskyi, Taras, et al. “GiA Roots: Software for the High Throughput Analysis of Plant Root System Architecture.” BMC Plant Biology, vol. 12, 116, BioMed Central, 2012, doi:10.1186/1471-2229-12-116.
View
| Files available
| DOI
2012 | Journal Article | IST-REx-ID: 493 |

Tangermann, Michael, et al. “Review of the BCI Competition IV.” Frontiers in Neuroscience, vol. 6, 55, Frontiers Research Foundation, 2012, doi:10.3389/fnins.2012.00055.
View
| Files available
| DOI
2012 | Conference Paper | IST-REx-ID: 495 |

Kruckman, Alex, et al. “A Myhill Nerode Theorem for Automata with Advice.” Proceedings GandALF 2012, vol. 96, Open Publishing Association, 2012, pp. 238–46, doi:10.4204/EPTCS.96.18.
View
| Files available
| DOI
2012 | Journal Article | IST-REx-ID: 498 |

Pickup, Melinda, et al. “Predicting Local Adaptation in Fragmented Plant Populations: Implications for Restoration Genetics.” Evolutionary Applications, vol. 5, no. 8, Wiley-Blackwell, 2012, pp. 913–24, doi:10.1111/j.1752-4571.2012.00284.x.
View
| Files available
| DOI
2012 | Conference Paper | IST-REx-ID: 496 |

Rabinovich, Alexander, and Sasha Rubin. Interpretations in Trees with Countably Many Branches. 6280474, IEEE, 2012, doi:10.1109/LICS.2012.65.
View
| DOI
| Download Preprint (ext.)
2012 | Journal Article | IST-REx-ID: 506 |

Sixt, Michael K. “Cell Migration: Fibroblasts Find a New Way to Get Ahead.” Journal of Cell Biology, vol. 197, no. 3, Rockefeller University Press, 2012, pp. 347–49, doi:10.1083/jcb.201204039.
View
| Files available
| DOI
2012 | Conference Paper | IST-REx-ID: 10905 |

Chatterjee, Krishnendu, et al. “Polynomial-Time Algorithms for Energy Games with Special Weight Structures.” Algorithms – ESA 2012, vol. 7501, Springer, 2012, pp. 301–12, doi:10.1007/978-3-642-33090-2_27.
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2012 | Conference Paper | IST-REx-ID: 497 |

Chatterjee, Krishnendu, et al. Faster Algorithms for Alternating Refinement Relations. Vol. 16, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2012, pp. 167–82, doi:10.4230/LIPIcs.CSL.2012.167.
View
| Files available
| DOI
2012 | Conference Paper | IST-REx-ID: 3165 |

Chatterjee, Krishnendu, and Monika H. Henzinger. “An O(N2) Time Algorithm for Alternating Büchi Games.” Proceedings of the Annual ACM-SIAM Symposium on Discrete Algorithms, SIAM, 2012, pp. 1386–99, doi:10.1137/1.9781611973099.109.
View
| Files available
| DOI
| Download None (ext.)
| arXiv
2012 | Technical Report | IST-REx-ID: 5377 |

Chatterjee, Krishnendu, and Yaron Velner. Mean-Payoff Pushdown Games. IST Austria, 2012, doi:10.15479/AT:IST-2012-0002.
View
| Files available
| DOI
2012 | Technical Report | IST-REx-ID: 5378 |

Chatterjee, Krishnendu, et al. Faster Algorithms for Alternating Refinement Relations. IST Austria, 2012, doi:10.15479/AT:IST-2012-0001.
View
| Files available
| DOI
2012 | Conference Paper | IST-REx-ID: 2955 |

Chatterjee, Krishnendu, and Laurent Doyen. “Partial-Observation Stochastic Games: How to Win When Belief Fails.” Proceedings of the 2012 27th Annual ACM/IEEE Symposium on Logic in Computer Science, 6280436, IEEE, 2012, doi:10.1109/LICS.2012.28.
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2012 | Conference Paper | IST-REx-ID: 3341 |

Chatterjee, Krishnendu. Robustness of Structurally Equivalent Concurrent Parity Games. Vol. 7213, Springer, 2012, pp. 270–85, doi:10.1007/978-3-642-28729-9_18.
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2012 | Conference Paper | IST-REx-ID: 2957 |

Chatterjee, Krishnendu, and Mathieu Tracol. “Decidable Problems for Probabilistic Automata on Infinite Words.” Proceedings of the 2012 27th Annual ACM/IEEE Symposium on Logic in Computer Science, 6280437, IEEE, 2012, doi:10.1109/LICS.2012.29.
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2012 | Conference Paper | IST-REx-ID: 3124 |

Korc, Filip, et al. Approximating Marginals Using Discrete Energy Minimization. ICML, 2012.
View
| Files available
2012 | Technical Report | IST-REx-ID: 5396 |

Korc, Filip, et al. Approximating Marginals Using Discrete Energy Minimization. IST Austria, 2012, doi:10.15479/AT:IST-2012-0003.
View
| Files available
| DOI
2012 | Report | IST-REx-ID: 5398 |

Porsche, Jana. Actual State of Research Data @ ISTAustria. IST Austria, 2012.
View
| Files available
2012 | Book Chapter | IST-REx-ID: 5745 |

Gupta, Ashutosh. “Improved Single Pass Algorithms for Resolution Proof Reduction.” Automated Technology for Verification and Analysis, vol. 7561, Springer Berlin Heidelberg, 2012, pp. 107–21, doi:10.1007/978-3-642-33386-6_10.
View
| Files available
| DOI
2012 | Journal Article | IST-REx-ID: 5839 |

Biswas, Ranita, and Jaya Sil. “An Improved Canny Edge Detection Algorithm Based on Type-2 Fuzzy Sets.” Procedia Technology, vol. 4, Elsevier, 2012, pp. 820–24, doi:10.1016/j.protcy.2012.05.134.
View
| Files available
| DOI
2012 | Journal Article | IST-REx-ID: 596 |

Bernecky, Carrie, and Dylan Taatjes. “Activator-Mediator Binding Stabilizes RNA Polymerase II Orientation within the Human Mediator-RNA Polymerase II-TFIIF Assembly.” Journal of Molecular Biology, vol. 417, no. 5, Elsevier, 2012, pp. 387–94, doi:10.1016/j.jmb.2012.02.014.
View
| DOI
| Download None (ext.)
2012 | Journal Article | IST-REx-ID: 6136 |

Busch, Karl Emanuel, et al. “Tonic Signaling from O2 Sensors Sets Neural Circuit Activity and Behavioral State.” Nature Neuroscience, vol. 15, no. 4, Springer Nature, 2012, pp. 581–91, doi:10.1038/nn.3061.
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
2012 | Journal Article | IST-REx-ID: 6588 |

Pausinger, Florian. “Elementary Solutions of the Bernstein Problem on Two Intervals.” Journal of Mathematical Physics, Analysis, Geometry, vol. 8, no. 1, B. Verkin Institute for Low Temperature Physics and Engineering, 2012, pp. 63–78.
View
| Download Published Version (ext.)
| WoS
2012 | Journal Article | IST-REx-ID: 808 |

Vinzenz, Marlene, et al. “Actin Branching in the Initiation and Maintenance of Lamellipodia.” Journal of Cell Science, vol. 125, no. 11, Company of Biologists, 2012, pp. 2775–85, doi:10.1242/jcs.107623.
View
| Files available
| DOI
2012 | Journal Article | IST-REx-ID: 9014 |

Theurkauff, I., et al. “Dynamic Clustering in Active Colloidal Suspensions with Chemical Signaling.” Physical Review Letters, vol. 108, no. 26, 268303, American Physical Society , 2012, doi:10.1103/physrevlett.108.268303.
View
| DOI
| Download Preprint (ext.)
| PubMed | Europe PMC
| arXiv
2012 | Journal Article | IST-REx-ID: 9142 |

Muller, Caroline J., and Isaac M. Held. “Detailed Investigation of the Self-Aggregation of Convection in Cloud-Resolving Simulations.” Journal of the Atmospheric Sciences, vol. 69, no. 8, American Meteorological Society, 2012, pp. 2551–65, doi:10.1175/jas-d-11-0257.1.
View
| DOI
| Download Published Version (ext.)
2012 | Journal Article | IST-REx-ID: 9451 |

Ibarra, Christian A., et al. “Active DNA Demethylation in Plant Companion Cells Reinforces Transposon Methylation in Gametes.” Science, vol. 337, no. 6100, American Association for the Advancement of Science, 2012, pp. 1360–64, doi:10.1126/science.1224839.
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2012 | Journal Article | IST-REx-ID: 9535 |

Coleman-Derr, D., and Daniel Zilberman. “DNA Methylation, H2A.Z, and the Regulation of Constitutive Expression.” Cold Spring Harbor Symposia on Quantitative Biology, vol. 77, Cold Spring Harbor Laboratory Press, 2012, pp. 147–54, doi:10.1101/sqb.2012.77.014944.
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2012 | Journal Article | IST-REx-ID: 3242 |

Konrad, Matthias, et al. “Social Transfer of Pathogenic Fungus Promotes Active Immunisation in Ant Colonies.” PLoS Biology, vol. 10, no. 4, e1001300, Public Library of Science, 2012, doi:10.1371/journal.pbio.1001300.
View
| Files available
| DOI
2012 | Research Data Reference | IST-REx-ID: 9755 |

Konrad, Matthias, et al. Data from: Social Transfer of Pathogenic Fungus Promotes Active Immunisation in Ant Colonies. Dryad, 2012, doi:10.5061/dryad.sv37s.
View
| Files available
| DOI
| Download Published Version (ext.)
2012 | Research Data Reference | IST-REx-ID: 9758 |

Aeschbacher, Simon, et al. Data from: Approximate Bayesian Computation for Modular Inference Problems with Many Parameters: The Example of Migration Rates. Dryad, 2012, doi:10.5061/dryad.274b1.
View
| Files available
| DOI
| Download Published Version (ext.)
2012 | Research Data Reference | IST-REx-ID: 9757 |

Tragust, Simon, et al. Data from: Ants Disinfect Fungus-Exposed Brood by Oral Uptake and Spread of Their Poison. Dryad, 2012, doi:10.5061/dryad.61649.
View
| Files available
| DOI
| Download Published Version (ext.)
2012 | Journal Article | IST-REx-ID: 922 |

Hannezo, Edouard B., et al. “Mechanical Instabilities of Biological Tubes.” Physical Review Letters, vol. 109, no. 1, American Physical Society, 2012, doi:10.1103/PhysRevLett.109.018101.
View
| DOI
| Download Preprint (ext.)
| arXiv
2012 | Journal Article | IST-REx-ID: 9499 |

Kim, Sang Yeol, et al. “EMF1 and PRC2 Cooperate to Repress Key Regulators of Arabidopsis Development.” PLoS Genetics, vol. 8, no. 3, e1002512, Public Library of Science, 2012, doi:10.1371/journal.pgen.1002512.
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2012 | Journal Article | IST-REx-ID: 9497 |

Coleman-Derr, Devin, and Daniel Zilberman. “Deposition of Histone Variant H2A.Z within Gene Bodies Regulates Responsive Genes.” PLoS Genetics, vol. 8, no. 10, e1002988, Public Library of Science, 2012, doi:10.1371/journal.pgen.1002988.
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2012 | Journal Article | IST-REx-ID: 966 |

Bieri, Samuel, et al. “Paired Chiral Spin Liquid with a Fermi Surface in S=1 Model on the Triangular Lattice.” Physical Review B - Condensed Matter and Materials Physics, vol. 86, no. 22, American Physical Society, 2012, doi:10.1103/PhysRevB.86.224409.
View
| DOI
| Download (ext.)
2011 | Journal Article | IST-REx-ID: 10389 |

Šarić, Anđela, and Angelo Cacciuto. “Soft Elastic Surfaces as a Platform for Particle Self-Assembly.” Soft Matter, vol. 7, no. 18, 8324, Royal Society of Chemistry, 2011, doi:10.1039/c1sm05773a.
View
| DOI
| Download Preprint (ext.)
| arXiv
2011 | Journal Article | IST-REx-ID: 1050 |

Bai J, Ahmed E, Beser B, Guan Y, Kotochigova S, Lyyra M, Ashman S, Wolfe C, Huennekens J, Xie F, Li D, Li L, Tamanis M, Ferber R, Drozdova A, Pazyuk E, Stolyarov A, Danzl JG, Nägerl H, Bouloufa N, Dulieu O, Amiot C, Salami H, Bergeman T. 2011. Global analysis of data on the spin-orbit-coupled A 1Σu+ and b 3Πu inf states of Cs2. Physical Review A - Atomic, Molecular, and Optical Physics. 83(3).
View
| DOI
| Download Preprint (ext.)
| arXiv
2011 | Journal Article | IST-REx-ID: 1048 |

Nägerl, Hanns, et al. “Ultracold and Dense Samples of Ground-State Molecules in Lattice Potentials.” Journal of Physics: Conference Series, vol. 264, no. 1, IOP Publishing Ltd., 2011, doi:10.1088/1742-6596/264/1/012015.
View
| DOI
| Download Preprint (ext.)
| arXiv
2011 | Journal Article | IST-REx-ID: 1052 |

Vexiau, Romain, et al. “Optimal Trapping Wavelengths of Cs 2 Molecules in an Optical Lattice.” European Physical Journal D, vol. 65, no. 1–2, Springer, 2011, pp. 243–50, doi:10.1140/epjd/e2011-20085-4.
View
| DOI
| Download Preprint (ext.)
| arXiv
2011 | Journal Article | IST-REx-ID: 1053 |

Mark, Manfred, et al. “Precision Measurements on a Tunable Mott Insulator of Ultracold Atoms.” Physical Review Letters, vol. 107, no. 17, American Physical Society, 2011, doi:10.1103/PhysRevLett.107.175301.
View
| DOI
| Download Preprint (ext.)
| arXiv
2011 | Journal Article | IST-REx-ID: 1054 |

Haller, Elmar, et al. “Three-Body Correlation Functions and Recombination Rates for Bosons in Three Dimensions and One Dimension.” Physical Review Letters, vol. 107, no. 23, American Physical Society, 2011, doi:10.1103/PhysRevLett.107.230404.
View
| DOI
| Download Preprint (ext.)
| arXiv
2011 | Journal Article | IST-REx-ID: 11094 |

Talamas, Jessica A., and Martin Hetzer. “POM121 and Sun1 Play a Role in Early Steps of Interphase NPC Assembly.” Journal of Cell Biology, vol. 194, no. 1, Rockefeller University Press, 2011, pp. 27–37, doi:10.1083/jcb.201012154.
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2011 | Journal Article | IST-REx-ID: 112 |

Waitukaitis, Scott R., et al. “Droplet and Cluster Formation in Freely Falling Granular Streams.” Physical Review E, vol. 83, no. 5, 051302, American Physical Society, 2011, doi:10.1103/PhysRevE.83.051302.
View
| DOI
| Download Preprint (ext.)
| arXiv
2011 | Journal Article | IST-REx-ID: 12651 |

Petersen, L., and Francesca Pellicciotti. “Spatial and Temporal Variability of Air Temperature on a Melting Glacier: Atmospheric Controls, Extrapolation Methods and Their Effect on Melt Modeling, Juncal Norte Glacier, Chile.” Journal of Geophysical Research: Atmospheres, vol. 116, no. D23, D23109, American Geophysical Union, 2011, doi:10.1029/2011jd015842.
View
| DOI
| Download Published Version (ext.)
2011 | Journal Article | IST-REx-ID: 12649 |

Finger, David, et al. “The Value of Glacier Mass Balance, Satellite Snow Cover Images, and Hourly Discharge for Improving the Performance of a Physically Based Distributed Hydrological Model.” Water Resources Research, vol. 47, no. 7, W07519, American Geophysical Union, 2011, doi:10.1029/2010wr009824.
View
| DOI
| Download Published Version (ext.)
2011 | Journal Article | IST-REx-ID: 12652 |

Pellicciotti, Francesca, et al. “Transmission of Solar Radiation through Clouds on Melting Glaciers: A Comparison of Parameterizations and Their Impact on Melt Modelling.” Journal of Glaciology, vol. 57, no. 202, Cambridge University Press, 2011, pp. 367–81, doi:10.3189/002214311796406013.
View
| DOI
| Download Published Version (ext.)
2011 | Journal Article | IST-REx-ID: 1467 |

Hausel, Tamás, et al. “Arithmetic Harmonic Analysis on Character and Quiver Varieties.” Duke Mathematical Journal, vol. 160, no. 2, Duke University Press, 2011, pp. 323–400, doi:10.1215/00127094-1444258.
View
| DOI
| Download (ext.)
2011 | Journal Article | IST-REx-ID: 1754 |

Mongillo, Massimo, et al. “Joule-Assisted Silicidation for Short-Channel Silicon Nanowire Devices.” ACS Nano, vol. 5, no. 9, American Chemical Society, 2011, pp. 7117–23, doi:10.1021/nn202524j.
View
| DOI
| Download Preprint (ext.)
| arXiv
2011 | Journal Article | IST-REx-ID: 1755 |

Katsaros, Georgios, et al. “Observation of Spin-Selective Tunneling in Sige Nanocrystals.” Physical Review Letters, vol. 107, no. 24, American Physical Society, 2011, doi:10.1103/PhysRevLett.107.246601.
View
| DOI
| Download (ext.)
2011 | Journal Article | IST-REx-ID: 1777 |

Eichler, Christopher, et al. “Experimental State Tomography of Itinerant Single Microwave Photons.” Physical Review Letters, vol. 106, no. 22, American Physical Society, 2011, doi:10.1103/PhysRevLett.106.220503.
View
| Files available
| DOI
| Download None (ext.)
2011 | Journal Article | IST-REx-ID: 1778 |

Lang, C., et al. “Observation of Resonant Photon Blockade at Microwave Frequencies Using Correlation Function Measurements.” Physical Review Letters, vol. 106, no. 24, American Physical Society, 2011, doi:10.1103/PhysRevLett.106.243601.
View
| DOI
| Download (ext.)
2011 | Journal Article | IST-REx-ID: 1815 |

Friedlander, Tamar, and Naama Brenner. “Adaptive Response and Enlargement of Dynamic Range.” Mathematical Biosciences and Engineering, vol. 8, no. 2, Arizona State University, 2011, pp. 515–26, doi:10.3934/mbe.2011.8.515.
View
| DOI
| Download (ext.)
2011 | Journal Article | IST-REx-ID: 2072 |

Vicoso, Beatriz, and Doris Bachtrog. “Lack of Global Dosage Compensation in Schistosoma Mansoni, a Female-Heterogametic Parasite.” Genome Biology and Evolution, vol. 3, no. 1, Oxford University Press, 2011, pp. 230–35, doi:10.1093/gbe/evr010.
View
| Files available
| DOI
2011 | Book Chapter | IST-REx-ID: 2116 |

Maas, Jan, and Jan Van Neerven. “Gradient Estimates and Domain Identification for Analytic Ornstein-Uhlenbeck Operators.” Parabolic Problems, vol. 80, Birkhäuser, 2011, pp. 463–77, doi:10.1007/978-3-0348-0075-4_24.
View
| DOI
| Download (ext.)
2011 | Journal Article | IST-REx-ID: 2122 |

Maas, Jan, et al. “Conical Square Functions and Non-Tangential Maximal Functions with Respect to the Gaussian Measure.” Publicacions Matemàtiques, vol. 55, no. 2, Universitat Autònoma de Barcelona, Departament de Matemàtique, 2011, pp. 313–41, doi:10.5565/PUBLMAT_55211_03 .
View
| DOI
| Download (ext.)
2011 | Journal Article | IST-REx-ID: 2123 |

Clément, Philippe, and Jan Maas. “A Trotter Product Formula for Gradient Flows in Metric Spaces.” Journal of Evolution Equations, vol. 11, no. 2, Birkhäuser, 2011, pp. 405–27, doi:10.1007/s00028-010-0096-5.
View
| Files available
| DOI
| Download None (ext.)
2011 | Journal Article | IST-REx-ID: 2126 |

Maas, Jan. “Gradient Flows of the Entropy for Finite Markov Chains.” Journal of Functional Analysis, vol. 261, no. 8, Academic Press, 2011, pp. 2250–92, doi:10.1016/j.jfa.2011.06.009 .
View
| DOI
| Download (ext.)
2011 | Preprint | IST-REx-ID: 2138 |

Ağanoğlu, Ruzin, et al. “Controlling a Diatomic Shape Resonance with Non-Resonant Light.” Unknown, ArXiv, 2011.
View
| Download (ext.)
2011 | Journal Article | IST-REx-ID: 2200 |

Lemeshko, Mikhail, et al. “Supersymmetry Identifies Molecular Stark States Whose Eigenproperties Can Be Obtained Analytically.” New Journal of Physics, vol. 13, IOP Publishing Ltd., 2011, doi:10.1088/1367-2630/13/6/063036.
View
| DOI
| Download (ext.)
2011 | Journal Article | IST-REx-ID: 2199 |

Lemeshko, Mikhail, et al. “Supersymmetric Factorization Yields Exact Solutions to the Molecular Stark-Effect Problem for "Stretched" States.” Physical Review A - Atomic, Molecular, and Optical Physics, vol. 83, no. 4, American Physical Society, 2011, doi:10.1103/PhysRevA.83.043415.
View
| DOI
| Download (ext.)
2011 | Journal Article | IST-REx-ID: 2198 |

Lemeshko, Mikhail. “Shaping Interactions between Polar Molecules with Far-off-Resonant Light.” Physical Review A - Atomic, Molecular, and Optical Physics, vol. 83, no. 5, American Physical Society, 2011, doi:10.1103/PhysRevA.83.051402.
View
| DOI
| Download (ext.)
2011 | Conference Paper | IST-REx-ID: 2320 |

Frank, Rupert, et al. Binding, Stability, and Non-Binding of Multi-Polaron Systems. World Scientific Publishing, 2011, pp. 21–32, doi:10.1142/9789814350365_0002.
View
| DOI
| Download (ext.)
2011 | Conference Paper | IST-REx-ID: 2321 |

Frank, Rupert, et al. A Sharp Bound on Eigenvalues of Schrödinger Operators on the Halfline with Complex-Valued Potentials. Vol. 214, Springer, 2011, pp. 39–44, doi:10.1007/978-3-7643-9994-8_3.
View
| DOI
| Download (ext.)
2011 | Journal Article | IST-REx-ID: 2390 |

Frank, Rupert, et al. “Stability and Absence of Binding for Multi-Polaron Systems.” Publications Mathematiques de l Institut Des Hautes Etudes Scientifiques, vol. 113, no. 1, Springer, 2011, pp. 39–67, doi:10.1007/s10240-011-0031-5.
View
| DOI
| Download (ext.)
2011 | Journal Article | IST-REx-ID: 2391 |

Frank, Rupert, et al. “Energy Cost to Make a Hole in the Fermi Sea.” Physical Review Letters, vol. 106, no. 15, American Physical Society, 2011, doi:10.1103/PhysRevLett.106.150402.
View
| DOI
| Download (ext.)
2011 | Journal Article | IST-REx-ID: 2393 |

Seiringer, Robert. “The Excitation Spectrum for Weakly Interacting Bosons.” Communications in Mathematical Physics, vol. 306, no. 2, Springer, 2011, pp. 565–78, doi:10.1007/s00220-011-1261-6.
View
| DOI
| Download (ext.)
2011 | Journal Article | IST-REx-ID: 2454 |

Li, Hongjiang, et al. “Phosphorylation Switch Modulates the Interdigitated Pattern of PIN1 Localization and Cell Expansion in Arabidopsis Leaf Epidermis.” Cell Research, vol. 21, no. 6, Nature Publishing Group, 2011, pp. 970–78, doi:10.1038/cr.2011.49.
View
| DOI
| Download (ext.)
2011 | Journal Article | IST-REx-ID: 2961 |

Malaspinas, Anna, and Caroline Uhler. “Detecting Epistasis via Markov Bases.” Journal of Algebraic Statistics, vol. 2, no. 1, Public Knowledge Project, 2011, pp. 36–53, doi:http://dx.doi.org/10.18409/jas.v2i1.27.
View
| DOI
| Download (ext.)
2011 | Journal Article | IST-REx-ID: 3092 |

Wabnik, Krzysztof T., et al. “Feedback Models for Polarized Auxin Transport: An Emerging Trend.” Molecular BioSystems, vol. 7, no. 8, Royal Society of Chemistry, 2011, pp. 2352–59, doi:10.1039/c1mb05109a.
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2011 | Journal Article | IST-REx-ID: 3091 |

Sauer, Michael, and Jiří Friml. “Fleeting Hormone Cues Get Stabilized for Plant Organogenesis.” Molecular Systems Biology, vol. 7, Nature Publishing Group, 2011, doi:10.1038/msb.2011.45.
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2011 | Journal Article | IST-REx-ID: 3269 |

Sheng, Yu, et al. “Perceptual Global Illumination Cancellation in Complex Projection Environments.” Computer Graphics Forum, vol. 30, no. 4, Wiley-Blackwell, 2011, pp. 1261–68, doi:10.1111/j.1467-8659.2011.01985.x.
View
| DOI
| Download Published Version (ext.)
2011 | Journal Article | IST-REx-ID: 3288 |

Smutny, Michael, et al. “Multicomponent Analysis of Junctional Movements Regulated by Myosin II Isoforms at the Epithelial Zonula Adherens.” PLoS One, vol. 6, no. 7, Public Library of Science, 2011, doi:10.1371/journal.pone.0022458.
View
| Files available
| DOI
2011 | Conference Paper | IST-REx-ID: 3302 |

Henzinger, Thomas A., et al. Static Scheduling in Clouds. USENIX, 2011, pp. 1–6.
View
| Files available
2011 | Conference Paper | IST-REx-ID: 3301 |

Henzinger, Thomas A., and Maria Mateescu. Tail Approximation for the Chemical Master Equation. Tampere International Center for Signal Processing, 2011.
View
| Files available
2011 | Conference Paper | IST-REx-ID: 3299 |

Henzinger, Thomas A., and Maria Mateescu. Propagation Models for Computing Biochemical Reaction Networks. Springer, 2011, pp. 1–3, doi:10.1145/2037509.2037510.
View
| Files available
| DOI
2011 | Journal Article | IST-REx-ID: 3320 |

Nowozin, Sebastian, and Christoph Lampert. “Structured Learning and Prediction in Computer Vision.” Foundations and Trends in Computer Graphics and Vision, vol. 6, no. 3–4, now, 2011, pp. 185–365, doi:10.1561/0600000033.
View
| Files available
| DOI
2011 | Conference Paper | IST-REx-ID: 3316 |

Bloem, Roderick, et al. “Specification-Centered Robustness.” 6th IEEE International Symposium on Industrial and Embedded Systems, IEEE, 2011, pp. 176–85, doi:10.1109/SIES.2011.5953660.
View
| DOI
| Download Published Version (ext.)
2011 | Journal Article | IST-REx-ID: 3318 |

Eggermann, Emmanuel, and Peter M. Jonas. “How the ‘Slow’ Ca(2+) Buffer Parvalbumin Affects Transmitter Release in Nanodomain Coupling Regimes at GABAergic Synapses.” Nature Neuroscience, vol. 15, Nature Publishing Group, 2011, pp. 20–22, doi:10.1038/nn.3002.
View
| DOI
| Download Submitted Version (ext.)
2011 | Book Chapter | IST-REx-ID: 3335 |

Van De Weygaert, Rien, et al. “Alpha, Betti and the Megaparsec Universe: On the Topology of the Cosmic Web.” Transactions on Computational Science XIV, edited by Marina Gavrilova et al., vol. 6970, Springer, 2011, pp. 60–101, doi:10.1007/978-3-642-25249-5_3.
View
| DOI
| Download Preprint (ext.)
| arXiv
2011 | Conference Paper | IST-REx-ID: 3329 |

Berberich, Eric, et al. “Deconstructing Approximate Offsets.” Proceedings of the Twenty-Seventh Annual Symposium on Computational Geometry, ACM, 2011, pp. 187–96, doi:10.1145/1998196.1998225.
View
| Files available
| DOI
| Download Preprint (ext.)
2011 | Journal Article | IST-REx-ID: 3332 |

Kerber, Michael, and Michael Sagraloff. “A Note on the Complexity of Real Algebraic Hypersurfaces.” Graphs and Combinatorics, vol. 27, no. 3, Springer, 2011, pp. 419–30, doi:10.1007/s00373-011-1020-7.
View
| Files available
| DOI
2011 | Conference Paper | IST-REx-ID: 3330 |

Kerber, Michael, and Michael Sagraloff. Root Refinement for Real Polynomials. Springer, 2011, pp. 209–16, doi:10.1145/1993886.1993920.
View
| DOI
| Download Preprint (ext.)
| arXiv
2011 | Conference Paper | IST-REx-ID: 3328 |

Berberich, Eric, et al. A Generic Algebraic Kernel for Non Linear Geometric Applications. ACM, 2011, pp. 179–86, doi:10.1145/1998196.1998224.
View
| DOI
| Download Published Version (ext.)
2011 | Journal Article | IST-REx-ID: 3353 |

Tripakis, Stavros, et al. “A Theory of Synchronous Relational Interfaces.” ACM Transactions on Programming Languages and Systems (TOPLAS), vol. 33, no. 4, 14, ACM, 2011, doi:10.1145/1985342.1985345.
View
| Files available
| DOI
2011 | Conference Paper | IST-REx-ID: 3355 |

Halalai, Raluca, et al. Quantitative Evaluation of BFT Protocols. IEEE, 2011, pp. 255–64, doi:10.1109/QEST.2011.40.
View
| Files available
| DOI
2011 | Conference Paper | IST-REx-ID: 3351 |

Chatterjee, Krishnendu, et al. On Memoryless Quantitative Objectives. Edited by Olaf Owe et al., vol. 6914, Springer, 2011, pp. 148–59, doi:10.1007/978-3-642-22953-4_13.
View
| DOI
| Download Submitted Version (ext.)
2011 | Conference Paper | IST-REx-ID: 3349 |

Chatterjee, Krishnendu, and Nathanaël Fijalkow. A Reduction from Parity Games to Simple Stochastic Games. Vol. 54, EPTCS, 2011, pp. 74–86, doi:10.4204/EPTCS.54.6.
View
| DOI
| Download Submitted Version (ext.)
2011 | Conference Paper | IST-REx-ID: 3362 |

Fisher, Jasmin, et al. Dynamic Reactive Modules. Vol. 6901, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2011, pp. 404–18, doi:10.1007/978-3-642-23217-6_27.
View
| Files available
| DOI
2011 | Conference Paper | IST-REx-ID: 3365 |

Chatterjee, Krishnendu, et al. QUASY: Quantitative Synthesis Tool. Vol. 6605, Springer, 2011, pp. 267–71, doi:10.1007/978-3-642-19835-9_24.
View
| Files available
| DOI
2011 | Preprint | IST-REx-ID: 3363 |

Chatterjee, Krishnendu, et al. The Decidability Frontier for Probabilistic Automata on Infinite Words. ArXiv.
View
| Download Preprint (ext.)
| arXiv
2011 | Journal Article | IST-REx-ID: 3372 |

Abbot P et al. 2011. Inclusive fitness theory and eusociality. Nature. 471(7339), E1–E4.
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
2011 | Journal Article | IST-REx-ID: 3371 |

Sixt, Michael K., and Carole Parent. “Cells on the Move in Philadelphia.” Molecular Biology and Evolution, vol. 22, no. 6, Oxford University Press, 2011, p. 724, doi:10.1091/mbc.E10-12-0958.
View
| Files available
| DOI
2011 | Journal Article | IST-REx-ID: 3374 |

Tkačik, Gašper, and Aleksandra Walczak. “Information Transmission in Genetic Regulatory Networks a Review.” Journal of Physics: Condensed Matter, vol. 23, no. 15, 153102, IOP Publishing Ltd., 2011, doi:10.1088/0953-8984/23/15/153102.
View
| DOI
| Download Submitted Version (ext.)
2011 | Journal Article | IST-REx-ID: 3368 |

Krens, Gabriel, et al. “Enveloping Cell Layer Differentiation at the Surface of Zebrafish Germ Layer Tissue Explants.” PNAS, vol. 108, no. 3, National Academy of Sciences, 2011, pp. E9–10, doi:10.1073/pnas.1010767108.
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
2011 | Journal Article | IST-REx-ID: 3370 |

Kupczok, Anne. “Consequences of Different Null Models on the Tree Shape Bias of Supertree Methods.” Systematic Biology, vol. 60, no. 2, Oxford University Press, 2011, pp. 218–25, doi:10.1093/sysbio/syq086.
View
| DOI
| Download Submitted Version (ext.)
2011 | Journal Article | IST-REx-ID: 3373 |

Jahnel, Marcus, et al. “Measuring the Complete Force Field of an Optical Trap.” Optics Letters, vol. 36, no. 7, OSA, 2011, pp. 1260–62, doi:10.1364/OL.36.001260.
View
| Files available
| DOI
| Download Published Version (ext.)
2011 | Journal Article | IST-REx-ID: 3396 |

Stockinger, Petra, et al. “Defective Neuroepithelial Cell Cohesion Affects Tangential Branchiomotor Neuron Migration in the Zebrafish Neural Tube.” Development, vol. 138, no. 21, Company of Biologists, 2011, pp. 4673–83, doi:10.1242/dev.071233.
View
| Files available
| DOI
2011 | Journal Article | IST-REx-ID: 3393 |

Barton, Nicholas H., and Michael Turelli. “Spatial Waves of Advance with Bistable Dynamics: Cytoplasmic and Genetic Analogues of Allee Effects.” American Naturalist, vol. 178, no. 3, University of Chicago Press, 2011, pp. E48–75, doi:10.1086/661246.
View
| Files available
| DOI