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.

5785 Publications


2012 | Journal Article | IST-REx-ID: 12198 | OA
Ibarra, Christian A., Xiaoqi Feng, Vera K. Schoft, Tzung-Fu Hsieh, Rie Uzawa, Jessica A. Rodrigues, Assaf Zemach, et al. “Active DNA Demethylation in Plant Companion Cells Reinforces Transposon Methylation in Gametes.” Science. American Association for the Advancement of Science, 2012. https://doi.org/10.1126/science.1224839.
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2012 | Journal Article | IST-REx-ID: 6588 | OA
Pausinger, Florian. “Elementary Solutions of the Bernstein Problem on Two Intervals.” Journal of Mathematical Physics, Analysis, Geometry. B. Verkin Institute for Low Temperature Physics and Engineering, 2012.
[Published Version] View | Download Published Version (ext.) | WoS
 

2012 | Conference Paper | IST-REx-ID: 3123 | OA
Yu, Jihun, Chris Wojtan, Greg Turk, and Chee Yap. “Explicit Mesh Surfaces for Particle Based Fluids.” In Computer Graphics Forum, 31:815–24. Wiley, 2012. https://doi.org/10.1111/j.1467-8659.2012.03062.x.
[Submitted Version] View | Files available | DOI
 

2012 | Journal Article | IST-REx-ID: 3244 | OA
Danowski, Patrick. “Die Zeit des Abwartens ist vorbei!” BuB - Forum Bibliothek und Information. Fachzeitschrift des BIB – Berufsverband Information Bibliothek, 2012.
[Published Version] View | Download Published Version (ext.)
 

2012 | Journal Article | IST-REx-ID: 3243 | OA
Danowski, Patrick. “Zwischen Technologie und Information.” Büchereiperspektiven. Büchereiverband Österreichs, 2012.
[Published Version] View | Download Published Version (ext.)
 

2012 | Conference Paper | IST-REx-ID: 3127 | OA
Quadrianto, Novi, Christoph Lampert, and Chao Chen. “The Most Persistent Soft-Clique in a Set of Sampled Graphs.” In Proceedings of the 29th International Conference on Machine Learning, 211–18. ML Research Press, 2012.
[Preprint] View | Download Preprint (ext.)
 

2012 | Journal Article | IST-REx-ID: 2904 | OA
Pausinger, Florian. “Weak Multipliers for Generalized van Der Corput Sequences.” Journal de Theorie Des Nombres Des Bordeaux. Université de Bordeaux, 2012. https://doi.org/10.5802/jtnb.819.
[Published Version] View | Files available | DOI
 

2012 | Journal Article | IST-REx-ID: 2902 | OA
Edelsbrunner, Herbert, Oleg Musin, Alexey Ukhalov, Olga Yakimova, Vladislav Alexeev, Victoriya Bogaevskaya, Andrey Gorohov, and Margarita Preobrazhenskaya. “Fractal and computational geometry for generalizing cartographic objects.” Modeling and Analysis of Information Systems. Russian Academy of Sciences, 2012.
[Published Version] View | Download Published Version (ext.)
 

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

2011 | Journal Article | IST-REx-ID: 1050 | OA
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).
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2011 | Journal Article | IST-REx-ID: 1048 | OA
Nägerl, Hanns, Manfred Mark, Elmar Haller, Mattias Gustavsson, Russell Hart, and Johann G Danzl. “Ultracold and Dense Samples of Ground-State Molecules in Lattice Potentials.” Journal of Physics: Conference Series. IOP Publishing Ltd., 2011. https://doi.org/10.1088/1742-6596/264/1/012015.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2011 | Journal Article | IST-REx-ID: 1052 | OA
Vexiau, Romain, Nadia Bouloufa, Mireille Aymar, Johann G Danzl, Manfred Mark, Hanns Nägerl, and Olivier Dulieu. “Optimal Trapping Wavelengths of Cs 2 Molecules in an Optical Lattice.” European Physical Journal D. Springer, 2011. https://doi.org/10.1140/epjd/e2011-20085-4.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2011 | Journal Article | IST-REx-ID: 1053 | OA
Mark, Manfred, Elmar Haller, Katharina Lauber, Johann G Danzl, Andrew Daley, and Hanns Nägerl. “Precision Measurements on a Tunable Mott Insulator of Ultracold Atoms.” Physical Review Letters. American Physical Society, 2011. https://doi.org/10.1103/PhysRevLett.107.175301.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2011 | Journal Article | IST-REx-ID: 1054 | OA
Haller, Elmar, Mahmoud Rabie, Manfred Mark, Johann G Danzl, Russell Hart, Katharina Lauber, Guido Pupillo, and Hanns Nägerl. “Three-Body Correlation Functions and Recombination Rates for Bosons in Three Dimensions and One Dimension.” Physical Review Letters. American Physical Society, 2011. https://doi.org/10.1103/PhysRevLett.107.230404.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2011 | Journal Article | IST-REx-ID: 11094 | OA
Talamas, Jessica A., and Martin Hetzer. “POM121 and Sun1 Play a Role in Early Steps of Interphase NPC Assembly.” Journal of Cell Biology. Rockefeller University Press, 2011. https://doi.org/10.1083/jcb.201012154.
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2011 | Journal Article | IST-REx-ID: 112 | OA
Waitukaitis, Scott R, Helge Grütjen, John Royer, and Heinrich Jaeger. “Droplet and Cluster Formation in Freely Falling Granular Streams.” Physical Review E. American Physical Society, 2011. https://doi.org/10.1103/PhysRevE.83.051302.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2011 | Journal Article | IST-REx-ID: 12651 | OA
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. American Geophysical Union, 2011. https://doi.org/10.1029/2011jd015842.
[Published Version] View | DOI | Download Published Version (ext.)
 

2011 | Journal Article | IST-REx-ID: 12649 | OA
Finger, David, Francesca Pellicciotti, Markus Konz, Stefan Rimkus, and Paolo Burlando. “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. American Geophysical Union, 2011. https://doi.org/10.1029/2010wr009824.
[Published Version] View | DOI | Download Published Version (ext.)
 

2011 | Journal Article | IST-REx-ID: 12652 | OA
Pellicciotti, Francesca, Thomas Raschle, Thomas Huerlimann, Marco Carenzo, and Paolo Burlando. “Transmission of Solar Radiation through Clouds on Melting Glaciers: A Comparison of Parameterizations and Their Impact on Melt Modelling.” Journal of Glaciology. Cambridge University Press, 2011. https://doi.org/10.3189/002214311796406013.
[Published Version] View | DOI | Download Published Version (ext.)
 

2011 | Journal Article | IST-REx-ID: 1467 | OA
Hausel, Tamás, Emmanuel Letellier, and Fernando Rodríguez Villegas. “Arithmetic Harmonic Analysis on Character and Quiver Varieties.” Duke Mathematical Journal. Duke University Press, 2011. https://doi.org/10.1215/00127094-1444258.
View | DOI | Download (ext.)
 

2011 | Journal Article | IST-REx-ID: 1754 | OA
Mongillo, Massimo, Panayotis Spathis, Georgios Katsaros, Pascal Gentile, Marc Sanquer, and Silvano De Franceschi. “Joule-Assisted Silicidation for Short-Channel Silicon Nanowire Devices.” ACS Nano. American Chemical Society, 2011. https://doi.org/10.1021/nn202524j.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2011 | Journal Article | IST-REx-ID: 1755 | OA
Katsaros, Georgios, Vitaly Golovach, Panayotis Spathis, Natalia Ares, Mathieu Stoffel, Frank Fournel, Oliver Schmidt, Leonid Glazman, and Silvano De Franceschi. “Observation of Spin-Selective Tunneling in Sige Nanocrystals.” Physical Review Letters. American Physical Society, 2011. https://doi.org/10.1103/PhysRevLett.107.246601.
View | DOI | Download (ext.)
 

2011 | Journal Article | IST-REx-ID: 1777 | OA
Eichler, Christopher, Deniz Bozyigit, C Lang, L. Steffen, Johannes M Fink, and Andreas Wallraff. “Experimental State Tomography of Itinerant Single Microwave Photons.” Physical Review Letters. American Physical Society, 2011. https://doi.org/10.1103/PhysRevLett.106.220503.
View | Files available | DOI | Download None (ext.)
 

2011 | Journal Article | IST-REx-ID: 1778 | OA
Lang, C, Deniz Bozyigit, Christopher Eichler, L. Steffen, Johannes M Fink, Abdufarrukh Abdumalikov, Matthias Baur, et al. “Observation of Resonant Photon Blockade at Microwave Frequencies Using Correlation Function Measurements.” Physical Review Letters. American Physical Society, 2011. https://doi.org/10.1103/PhysRevLett.106.243601.
View | DOI | Download (ext.)
 

2011 | Journal Article | IST-REx-ID: 1815 | OA
Friedlander, Tamar, and Naama Brenner. “Adaptive Response and Enlargement of Dynamic Range.” Mathematical Biosciences and Engineering. Arizona State University, 2011. https://doi.org/10.3934/mbe.2011.8.515.
View | DOI | Download (ext.)
 

2011 | Journal Article | IST-REx-ID: 2072 | OA
Vicoso, Beatriz, and Doris Bachtrog. “Lack of Global Dosage Compensation in Schistosoma Mansoni, a Female-Heterogametic Parasite.” Genome Biology and Evolution. Oxford University Press, 2011. https://doi.org/10.1093/gbe/evr010.
[Published Version] View | Files available | DOI
 

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

2011 | Journal Article | IST-REx-ID: 2122 | OA
Maas, Jan, Jan Van Neerven, and Pierre Portal. “Conical Square Functions and Non-Tangential Maximal Functions with Respect to the Gaussian Measure.” Publicacions Matemàtiques. Universitat Autònoma de Barcelona, Departament de Matemàtique, 2011. https://doi.org/10.5565/PUBLMAT_55211_03  .
View | DOI | Download (ext.)
 

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

2011 | Journal Article | IST-REx-ID: 2126 | OA
Maas, Jan. “Gradient Flows of the Entropy for Finite Markov Chains.” Journal of Functional Analysis. Academic Press, 2011. https://doi.org/10.1016/j.jfa.2011.06.009 .
View | DOI | Download (ext.)
 

2011 | Preprint | IST-REx-ID: 2138 | OA
Ağanoğlu, Ruzin, Mikhail Lemeshko, Břetislav Friedrich, Rosario González Férez, and Christiane Koch. “Controlling a Diatomic Shape Resonance with Non-Resonant Light.” Unknown. ArXiv, 2011.
View | Download (ext.)
 

2011 | Journal Article | IST-REx-ID: 2200 | OA
Lemeshko, Mikhail, Mustafa Mustafa, Sabre Kais, and Břetislav Friedrich. “Supersymmetry Identifies Molecular Stark States Whose Eigenproperties Can Be Obtained Analytically.” New Journal of Physics. IOP Publishing Ltd., 2011. https://doi.org/10.1088/1367-2630/13/6/063036.
View | DOI | Download (ext.)
 

2011 | Journal Article | IST-REx-ID: 2199 | OA
Lemeshko, Mikhail, Mustafa Mustafa, Sabre Kais, and Břetislav Friedrich. “Supersymmetric Factorization Yields Exact Solutions to the Molecular Stark-Effect Problem for "Stretched" States.” Physical Review A - Atomic, Molecular, and Optical Physics. American Physical Society, 2011. https://doi.org/10.1103/PhysRevA.83.043415.
View | DOI | Download (ext.)
 

2011 | Journal Article | IST-REx-ID: 2198 | OA
Lemeshko, Mikhail. “Shaping Interactions between Polar Molecules with Far-off-Resonant Light.” Physical Review A - Atomic, Molecular, and Optical Physics. American Physical Society, 2011. https://doi.org/10.1103/PhysRevA.83.051402.
View | DOI | Download (ext.)
 

2011 | Conference Paper | IST-REx-ID: 2320 | OA
Frank, Rupert, Élliott Lieb, Robert Seiringer, and Lawrence Thomas. “Binding, Stability, and Non-Binding of Multi-Polaron Systems,” 21–32. World Scientific Publishing, 2011. https://doi.org/10.1142/9789814350365_0002.
View | DOI | Download (ext.)
 

2011 | Conference Paper | IST-REx-ID: 2321 | OA
Frank, Rupert, Ari Laptev, and Robert Seiringer. “ A Sharp Bound on Eigenvalues of Schrödinger Operators on the Halfline with Complex-Valued Potentials,” 214:39–44. Springer, 2011. https://doi.org/10.1007/978-3-7643-9994-8_3.
View | DOI | Download (ext.)
 

2011 | Journal Article | IST-REx-ID: 2390 | OA
Frank, Rupert, Élliott Lieb, Robert Seiringer, and Lawrence Thomas. “Stability and Absence of Binding for Multi-Polaron Systems.” Publications Mathematiques de l Institut Des Hautes Etudes Scientifiques. Springer, 2011. https://doi.org/10.1007/s10240-011-0031-5.
View | DOI | Download (ext.)
 

2011 | Journal Article | IST-REx-ID: 2391 | OA
Frank, Rupert, Mathieu Lewin, Élliott Lieb, and Robert Seiringer. “Energy Cost to Make a Hole in the Fermi Sea.” Physical Review Letters. American Physical Society, 2011. https://doi.org/10.1103/PhysRevLett.106.150402.
View | DOI | Download (ext.)
 

2011 | Journal Article | IST-REx-ID: 2393 | OA
Seiringer, Robert. “The Excitation Spectrum for Weakly Interacting Bosons.” Communications in Mathematical Physics. Springer, 2011. https://doi.org/10.1007/s00220-011-1261-6.
View | DOI | Download (ext.)
 

2011 | Journal Article | IST-REx-ID: 2454 | OA
Li, Hongjiang, Deshu Lin, Pankaj Dhonukshe, Shingo Nagawa, Dandan Chen, Jiří Friml, Ben Scheres, Hongwei Guo, and Zhenbiao Yang. “Phosphorylation Switch Modulates the Interdigitated Pattern of PIN1 Localization and Cell Expansion in Arabidopsis Leaf Epidermis.” Cell Research. Nature Publishing Group, 2011. https://doi.org/10.1038/cr.2011.49.
View | DOI | Download (ext.)
 

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

2011 | Journal Article | IST-REx-ID: 3092 | OA
Wabnik, Krzysztof T, Willy Govaerts, Jiří Friml, and Jürgen Kleine Vehn. “Feedback Models for Polarized Auxin Transport: An Emerging Trend.” Molecular BioSystems. Royal Society of Chemistry, 2011. https://doi.org/10.1039/c1mb05109a.
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

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

2011 | Journal Article | IST-REx-ID: 3269 | OA
Sheng, Yu, Barbara Cutler, Chao Chen, and Joshua Nasman. “Perceptual Global Illumination Cancellation in Complex Projection Environments.” Computer Graphics Forum. Wiley-Blackwell, 2011. https://doi.org/10.1111/j.1467-8659.2011.01985.x.
[Published Version] View | DOI | Download Published Version (ext.)
 

2011 | Journal Article | IST-REx-ID: 3288 | OA
Smutny, Michael, Selwin Wu, Guillermo Gomez, Sabine Mangold, Alpha Yap, and Nicholas Hamilton. “Multicomponent Analysis of Junctional Movements Regulated by Myosin II Isoforms at the Epithelial Zonula Adherens.” PLoS One. Public Library of Science, 2011. https://doi.org/10.1371/journal.pone.0022458.
[Published Version] View | Files available | DOI
 

2011 | Conference Paper | IST-REx-ID: 3302 | OA
Henzinger, Thomas A, Anmol Singh, Vasu Singh, Thomas Wies, and Damien Zufferey. “Static Scheduling in Clouds,” 1–6. USENIX, 2011.
[Submitted Version] View | Files available
 

2011 | Conference Paper | IST-REx-ID: 3301 | OA
Henzinger, Thomas A, and Maria Mateescu. “Tail Approximation for the Chemical Master Equation.” Tampere International Center for Signal Processing, 2011.
[Submitted Version] View | Files available
 

2011 | Conference Paper | IST-REx-ID: 3299 | OA
Henzinger, Thomas A, and Maria Mateescu. “Propagation Models for Computing Biochemical Reaction Networks,” 1–3. Springer, 2011. https://doi.org/10.1145/2037509.2037510.
[Submitted Version] View | Files available | DOI
 

2011 | Conference Paper | IST-REx-ID: 3316 | OA
Bloem, Roderick, Krishnendu Chatterjee, Karin Greimel, Thomas A Henzinger, and Barbara Jobstmann. “Specification-Centered Robustness.” In 6th IEEE International Symposium on Industrial and Embedded Systems, 176–85. IEEE, 2011. https://doi.org/10.1109/SIES.2011.5953660.
[Published Version] View | DOI | Download Published Version (ext.)
 

2011 | Journal Article | IST-REx-ID: 3318 | OA
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. Nature Publishing Group, 2011. https://doi.org/10.1038/nn.3002.
[Submitted Version] View | DOI | Download Submitted Version (ext.)
 

2011 | Book Chapter | IST-REx-ID: 3335 | OA
Van De Weygaert, Rien, Gert Vegter, Herbert Edelsbrunner, Bernard Jones, Pratyush Pranav, Changbom Park, Wojciech Hellwing, et al. “Alpha, Betti and the Megaparsec Universe: On the Topology of the Cosmic Web.” In Transactions on Computational Science XIV, edited by Marina Gavrilova, Kenneth Tan, and Mir Mostafavi, 6970:60–101. Special Issue on Voronoi Diagrams and Delaunay Triangulation. Springer, 2011. https://doi.org/10.1007/978-3-642-25249-5_3.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2011 | Conference Paper | IST-REx-ID: 3329 | OA
Berberich, Eric, Dan Halperin, Michael Kerber, and Roza Pogalnikova. “Deconstructing Approximate Offsets.” In Proceedings of the Twenty-Seventh Annual Symposium on Computational Geometry, 187–96. ACM, 2011. https://doi.org/10.1145/1998196.1998225.
[Preprint] View | Files available | DOI | Download Preprint (ext.)
 

2011 | Journal Article | IST-REx-ID: 3332 | OA
Kerber, Michael, and Michael Sagraloff. “A Note on the Complexity of Real Algebraic Hypersurfaces.” Graphs and Combinatorics. Springer, 2011. https://doi.org/10.1007/s00373-011-1020-7.
[Submitted Version] View | Files available | DOI
 

2011 | Conference Paper | IST-REx-ID: 3330 | OA
Kerber, Michael, and Michael Sagraloff. “Root Refinement for Real Polynomials,” 209–16. Springer, 2011. https://doi.org/10.1145/1993886.1993920.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2011 | Conference Paper | IST-REx-ID: 3328 | OA
Berberich, Eric, Michael Hemmer, and Michael Kerber. “A Generic Algebraic Kernel for Non Linear Geometric Applications,” 179–86. ACM, 2011. https://doi.org/10.1145/1998196.1998224.
[Published Version] View | DOI | Download Published Version (ext.)
 

2011 | Journal Article | IST-REx-ID: 3353 | OA
Tripakis, Stavros, Ben Lickly, Thomas A Henzinger, and Edward Lee. “A Theory of Synchronous Relational Interfaces.” ACM Transactions on Programming Languages and Systems (TOPLAS). ACM, 2011. https://doi.org/10.1145/1985342.1985345.
[Submitted Version] View | Files available | DOI
 

2011 | Conference Paper | IST-REx-ID: 3355 | OA
Halalai, Raluca, Thomas A Henzinger, and Vasu Singh. “Quantitative Evaluation of BFT Protocols,” 255–64. IEEE, 2011. https://doi.org/10.1109/QEST.2011.40.
[Submitted Version] View | Files available | DOI
 

2011 | Conference Paper | IST-REx-ID: 3351 | OA
Chatterjee, Krishnendu, Laurent Doyen, and Rohit Singh. “On Memoryless Quantitative Objectives.” edited by Olaf Owe, Martin Steffen, and Jan Arne Telle, 6914:148–59. Springer, 2011. https://doi.org/10.1007/978-3-642-22953-4_13.
[Submitted Version] View | DOI | Download Submitted Version (ext.)
 

2011 | Conference Paper | IST-REx-ID: 3349 | OA
Chatterjee, Krishnendu, and Nathanaël Fijalkow. “A Reduction from Parity Games to Simple Stochastic Games,” 54:74–86. EPTCS, 2011. https://doi.org/10.4204/EPTCS.54.6.
[Submitted Version] View | DOI | Download Submitted Version (ext.)
 

2011 | Conference Paper | IST-REx-ID: 3362 | OA
Fisher, Jasmin, Thomas A Henzinger, Dejan Nickovic, Nir Piterman, Anmol Singh, and Moshe Vardi. “Dynamic Reactive Modules,” 6901:404–18. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2011. https://doi.org/10.1007/978-3-642-23217-6_27.
[Submitted Version] View | Files available | DOI
 

2011 | Conference Paper | IST-REx-ID: 3365 | OA
Chatterjee, Krishnendu, Thomas A Henzinger, Barbara Jobstmann, and Rohit Singh. “QUASY: Quantitative Synthesis Tool,” 6605:267–71. Springer, 2011. https://doi.org/10.1007/978-3-642-19835-9_24.
[Submitted Version] View | Files available | DOI
 

2011 | Preprint | IST-REx-ID: 3363 | OA
Chatterjee, Krishnendu, Thomas A Henzinger, and Mathieu Tracol. “The Decidability Frontier for Probabilistic Automata on Infinite Words.” ArXiv, n.d.
[Preprint] View | Download Preprint (ext.) | arXiv
 

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

2011 | Journal Article | IST-REx-ID: 3371 | OA
Sixt, Michael K, and Carole Parent. “Cells on the Move in Philadelphia.” Molecular Biology and Evolution. Oxford University Press, 2011. https://doi.org/10.1091/mbc.E10-12-0958.
[Published Version] View | Files available | DOI
 

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

2011 | Journal Article | IST-REx-ID: 3368 | OA
Krens, Gabriel, Stephanie Möllmert, and Carl-Philipp J Heisenberg. “Enveloping Cell Layer Differentiation at the Surface of Zebrafish Germ Layer Tissue Explants.” PNAS. National Academy of Sciences, 2011. https://doi.org/10.1073/pnas.1010767108.
[Submitted Version] View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2011 | Journal Article | IST-REx-ID: 3370 | OA
Kupczok, Anne. “Consequences of Different Null Models on the Tree Shape Bias of Supertree Methods.” Systematic Biology. Oxford University Press, 2011. https://doi.org/10.1093/sysbio/syq086.
[Submitted Version] View | DOI | Download Submitted Version (ext.)
 

2011 | Journal Article | IST-REx-ID: 3396 | OA
Stockinger, Petra, Carl-Philipp J Heisenberg, and Jean-Léon Maître. “Defective Neuroepithelial Cell Cohesion Affects Tangential Branchiomotor Neuron Migration in the Zebrafish Neural Tube.” Development. Company of Biologists, 2011. https://doi.org/10.1242/dev.071233.
[Published Version] View | Files available | DOI
 

2011 | Journal Article | IST-REx-ID: 3394 | OA
Polechova, Jitka, and Nicholas H Barton. “Genetic Drift Widens the Expected Cline but Narrows the Expected Cline Width.” Genetics. Genetics Society of America, 2011. https://doi.org/10.1534/genetics.111.129817.
[Submitted Version] View | DOI | Download Submitted Version (ext.)
 

2011 | Journal Article | IST-REx-ID: 3390 | OA
Barton, Nicholas H, and Alison Etheridge. “The Relation between Reproductive Value and Genetic Contribution.” Genetics. Genetics Society of America, 2011. https://doi.org/10.1534/genetics.111.127555.
[Submitted Version] View | DOI | Download Submitted Version (ext.)
 

2011 | Journal Article | IST-REx-ID: 3391 | OA
Vladar, Harold de, and Nicholas H Barton. “The Contribution of Statistical Physics to Evolutionary Biology.” Trends in Ecology and Evolution. Cell Press, 2011. https://doi.org/10.1016/j.tree.2011.04.002.
[Submitted Version] View | DOI | Download Submitted Version (ext.)
 

2011 | Journal Article | IST-REx-ID: 3397 | OA
Maître, Jean-Léon, and Carl-Philipp J Heisenberg. “The Role of Adhesion Energy in Controlling Cell-Cell Contacts.” Current Opinion in Cell Biology. Elsevier, 2011. https://doi.org/10.1016/j.ceb.2011.07.004.
[Submitted Version] View | DOI | Download Submitted Version (ext.)
 

2011 | Journal Article | IST-REx-ID: 3405 | OA
Janovjak, Harald L, Guillaume Sandoz, and Ehud Isacoff. “Modern Ionotropic Glutamate Receptor with a K+ Selectivity Signature Sequence.” Nature Communications. Nature Publishing Group, 2011. https://doi.org/10.1038/ncomms1231.
[Submitted Version] View | Files available | DOI
 

2011 | Journal Article | IST-REx-ID: 3505 | OA
Sixt, Michael K, and Tim Lämmermann. “In Vitro Analysis of Chemotactic Leukocyte Migration in 3D Environments.” Cell Migration. Springer, 2011. https://doi.org/10.1007/978-1-61779-207-6_11.
[Published Version] View | DOI | Download Published Version (ext.)
 

2011 | Journal Article | IST-REx-ID: 3784 | OA
Palero, Ferran, Guillermo Guerao, Paul Clark, and Pere Abello. “Scyllarus Arctus (Crustacea: Decapoda: Scyllaridae) Final Stage Phyllosoma Identified by DNA Analysis, with Morphological Description.” Journal of the Marine Biological Association of the United Kingdom. Cambridge University Press, 2011. https://doi.org/10.1017/S0025315410000287.
[Published Version] View | DOI | Download Published Version (ext.)
 

2011 | Book Chapter | IST-REx-ID: 3796 | OA
Edelsbrunner, Herbert, and Michael Kerber. “Covering and Packing with Spheres by Diagonal Distortion in R^n.” In Rainbow of Computer Science, edited by Cristian Calude, Grzegorz Rozenberg, and Arto Salomaa, 6570:20–35. Dedicated to Hermann Maurer on the Occasion of His 70th Birthday. Springer, 2011. https://doi.org/10.1007/978-3-642-19391-0_2.
[Submitted Version] View | Files available | DOI
 

2011 | Journal Article | IST-REx-ID: 3381 | OA
Henzinger, Thomas A, Barbara Jobstmann, and Verena Wolf. “Formalisms for Specifying Markovian Population Models.” IJFCS: International Journal of Foundations of Computer Science. World Scientific Publishing, 2011. https://doi.org/10.1142/S0129054111008441.
[Submitted Version] View | Files available | DOI
 

2011 | Journal Article | IST-REx-ID: 386 | OA
Alpichshev, Zhanybek, J G Analytis, J H Chu, I R Fisher, and A Kapitulnik. “STM Imaging of a Bound State along a Step on the Surface of the Topological Insulator Bi2Te3.” Physical Review B - Condensed Matter and Materials Physics. American Physical Society, 2011. https://doi.org/10.1103/PhysRevB.84.041104.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2011 | Journal Article | IST-REx-ID: 3315 | OA
Chatterjee, Krishnendu, Thomas A Henzinger, and Vinayak Prabhu. “Timed Parity Games: Complexity and Robustness.” Logical Methods in Computer Science. International Federation of Computational Logic, 2011. https://doi.org/10.2168/LMCS-7(4:8)2011.
[Published Version] View | Files available | DOI
 

2011 | Journal Article | IST-REx-ID: 3101 | OA
Zwiewka, Marta, Elena Feraru, Barbara Möller, Inhwan Hwang, Mugurel Feraru, Jürgen Kleine Vehn, Dolf Weijers, and Jiří Friml. “The AP 3 Adaptor Complex Is Required for Vacuolar Function in Arabidopsis.” Cell Research. Nature Publishing Group, 2011. https://doi.org/10.1038/cr.2011.99.
View | DOI | Download (ext.)
 

2011 | Journal Article | IST-REx-ID: 3100 | OA
Vanneste, Steffen, Frederik Coppens, Eunkyoung Lee, Tyler Donner, Zidian Xie, Gert Van Isterdael, Stijn Dhondt, et al. “Developmental Regulation of CYCA2s Contributes to Tissue-Specific Proliferation in Arabidopsis .” EMBO Journal. Wiley-Blackwell, 2011. https://doi.org/10.1038/emboj.2011.240.
View | DOI | Download (ext.)
 

2011 | Journal Article | IST-REx-ID: 3276 | OA
Prentice, Jason, Jan Homann, Kristina Simmons, Gašper Tkačik, Vijay Balasubramanian, and Philip Nelson. “Fast, Scalable, Bayesian Spike Identification for Multi-Electrode Arrays.” PLoS One. Public Library of Science, 2011. https://doi.org/10.1371/journal.pone.0019884.
View | Files available | DOI
 

2011 | Conference Paper | IST-REx-ID: 3298 | OA
Raveendran, Karthik, Chris Wojtan, and Greg Turk. “Hybrid Smoothed Particle Hydrodynamics.” edited by Stephen Spencer, 33–42. ACM, 2011. https://doi.org/10.1145/2019406.2019411.
[Submitted Version] View | Files available | DOI
 

2011 | Conference Paper | IST-REx-ID: 3297 | OA
Wojtan, Chris, Matthias Müller Fischer, and Tyson Brochu. “Liquid Simulation with Mesh-Based Surface Tracking.” ACM, 2011. https://doi.org/10.1145/2037636.2037644.
[Published Version] View | Files available | DOI
 

2011 | Journal Article | IST-REx-ID: 3290 | OA
Lohse, Konrad, Richard Harrison, and Nicholas H Barton. “A General Method for Calculating Likelihoods under the Coalescent Process.” Genetics. Genetics Society of America, 2011. https://doi.org/10.1534/genetics.111.129569.
[Submitted Version] View | DOI | Download Submitted Version (ext.)
 

2011 | Conference Poster | IST-REx-ID: 3312 | OA
Zheng, Ying, Steve Gu, Herbert Edelsbrunner, Carlo Tomasi, and Philip Benfey. Detailed Reconstruction of 3D Plant Root Shape. Proceedings of the IEEE International Conference on Computer Vision. IEEE, 2011. https://doi.org/10.1109/ICCV.2011.6126475.
[Submitted Version] View | Files available | DOI
 

2011 | Conference Paper | IST-REx-ID: 3313 | OA
Chen, Chao, and Herbert Edelsbrunner. “Diffusion Runs Low on Persistence Fast.” In Proceedings of the IEEE International Conference on Computer Vision. IEEE, 2011. https://doi.org/10.1109/ICCV.2011.6126271.
[Submitted Version] View | Files available | DOI
 

2011 | Book Chapter | IST-REx-ID: 3311 | OA
Edelsbrunner, Herbert. “Alpha Shapes - a Survey.” In Tessellations in the Sciences: Virtues, Techniques and Applications of Geometric Tilings, edited by R van de Weygaert, G Vegter, J Ritzerveld, and V Icke. Springer, n.d.
[Submitted Version] View | Files available
 

2011 | Conference Paper | IST-REx-ID: 3326 | OA
Almagor, Shaull, Udi Boker, and Orna Kupferman. “What’s Decidable about Weighted Automata ,” 6996:482–91. Springer, 2011. https://doi.org/10.1007/978-3-642-24372-1_37.
[Submitted Version] View | Files available | DOI
 

2011 | Conference Paper | IST-REx-ID: 3324 | OA
Piskac, Ruzica, and Thomas Wies. “Decision Procedures for Automating Termination Proofs.” edited by Ranjit Jhala and David Schmidt, 6538:371–86. Springer, 2011. https://doi.org/10.1007/978-3-642-18275-4_26.
[Submitted Version] View | DOI | Download Submitted Version (ext.)
 

2011 | Preprint | IST-REx-ID: 3339 | OA
Chatterjee, Krishnendu, Luca De Alfaro, and Roy Pritam. “Magnifying Lens Abstraction for Stochastic Games with Discounted and Long-Run Average Objectives.” ArXiv. ArXiv, 2011.
[Preprint] View | Download Preprint (ext.) | arXiv
 

2011 | Conference Paper | IST-REx-ID: 3342 | OA
Chatterjee, Krishnendu, Monika H Henzinger, Manas Joglekar, and Shah Nisarg. “Symbolic Algorithms for Qualitative Analysis of Markov Decision Processes with Büchi Objectives.” edited by Ganesh Gopalakrishnan and Shaz Qadeer, 6806:260–76. Springer, 2011. https://doi.org/10.1007/978-3-642-22110-1_21.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2011 | Conference Paper | IST-REx-ID: 3347 | OA
Chatterjee, Krishnendu, and Nathanaël Fijalkow. “Finitary Languages,” 6638:216–26. Springer, 2011. https://doi.org/10.1007/978-3-642-21254-3_16.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2011 | Conference Paper | IST-REx-ID: 3346 | OA
Brázdil, Tomáš, Václav Brožek, Krishnendu Chatterjee, Vojtěch Forejt, and Antonín Kučera. “Two Views on Multiple Mean Payoff Objectives in Markov Decision Processes.” IEEE, 2011. https://doi.org/10.1109/LICS.2011.10.
[Submitted Version] View | DOI | Download Submitted Version (ext.)
 

2011 | Conference Paper | IST-REx-ID: 3348 | OA
Chatterjee, Krishnendu, and Vinayak Prabhu. “Synthesis of Memory Efficient Real Time Controllers for Safety Objectives,” 221–30. Springer, 2011. https://doi.org/10.1145/1967701.1967734.
[Submitted Version] View | DOI | Download Submitted Version (ext.)
 

2011 | Conference Paper | IST-REx-ID: 3343 | OA
Chatterjee, Krishnendu, and Monika H Henzinger. “Faster and Dynamic Algorithms for Maximal End-Component Decomposition and Related Graph Problems in Probabilistic Verification,” 1318–36. SIAM, 2011. https://doi.org/10.1137/1.9781611973082.101.
[Submitted Version] View | DOI | Download Submitted Version (ext.)
 

2011 | Conference Paper | IST-REx-ID: 3360 | OA
Boker, Udi, and Thomas A Henzinger. “Determinizing Discounted-Sum Automata,” 12:82–96. Springer, 2011. https://doi.org/10.4230/LIPIcs.CSL.2011.82.
[Published Version] View | Files available | DOI
 

2011 | Conference Paper | IST-REx-ID: 3361 | OA
Cerny, Pavol, Krishnendu Chatterjee, and Thomas A Henzinger. “The Complexity of Quantitative Information Flow Problems,” 205–17. IEEE, 2011. https://doi.org/10.1109/CSF.2011.21.
[Submitted Version] View | Files available | DOI
 

2011 | Conference Paper | IST-REx-ID: 3358 | OA
Henzinger, Thomas A, Vasu Singh, Thomas Wies, and Damien Zufferey. “Scheduling Large Jobs by Abstraction Refinement,” 329–42. ACM, 2011. https://doi.org/10.1145/1966445.1966476.
[Published Version] View | DOI | Download Published Version (ext.)
 

2011 | Journal Article | IST-REx-ID: 3379 | OA
Row, Richard, Jean-Léon Maître, Benjamin Martin, Petra Stockinger, Carl-Philipp J Heisenberg, and David Kimelman. “Completion of the Epithelial to Mesenchymal Transition in Zebrafish Mesoderm Requires Spadetail.” Developmental Biology. Elsevier, 2011. https://doi.org/10.1016/j.ydbio.2011.03.025.
[Submitted Version] View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

Filters and Search Terms

oa=1

Search

Filter Publications