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.
5804 Publications
2010 | Journal Article | IST-REx-ID: 2409 | 
Kupczok, Anne, Heiko Schmidt, and Arndt Von Haeseler. “Accuracy of Phylogeny Reconstruction Methods Combining Overlapping Gene Data Sets .” Algorithms for Molecular Biology. BioMed Central, 2010. https://doi.org/10.1186/1748-7188-5-37.
[Published Version]
View
| Files available
| DOI
2010 | Journal Article | IST-REx-ID: 2442 |
Beeckman, Tom, and Jiří Friml. “Nitrate Contra Auxin: Nutrient Sensing by Roots.” Developmental Cell. Cell Press, 2010. https://doi.org/10.1016/j.devcel.2010.05.020.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2010 | Journal Article | IST-REx-ID: 2701 |
Erdös, László, Benjamin Schlein, and Horng Yau. “Wegner Estimate and Level Repulsion for Wigner Random Matrices.” International Mathematics Research Notices. Oxford University Press, 2010. https://doi.org/10.1093/imrn/rnp136.
View
| DOI
| Download (ext.)
2010 | Conference Paper | IST-REx-ID: 2979 |
Almeida, José, Endre Bangerter, Manuel Barbosa, Stephan Krenn, Ahmad Sadeghi, and Thomas Schneider. “A Certifying Compiler for Zero-Knowledge Proofs of Knowledge Based on Sigma-Protocols.” edited by Dimitris Gritzalis, Bart Preneel, and Marianthi Theoharidou, 6345:151–67. Springer, 2010. https://doi.org/10.1007/978-3-642-15497-3.
View
| DOI
| Download (ext.)
2010 | Conference Paper | IST-REx-ID: 2980 |
Bangerter, Endre, Thomas Briner, Wilko Henecka, Stephan Krenn, Ahmad Sadeghi, and Thomas Schneider. “Automatic Generation of Sigma-Protocols.” edited by Fabio Martinelli and Bart Preneel, 6391:67–82. Springer, 2010. https://doi.org/10.1007/978-3-642-16441-5.
View
| DOI
| Download (ext.)
2010 | Conference Paper | IST-REx-ID: 2978 |
Bangerter, Endre, Jan Camenisch, and Stephan Krenn. “Efficiency Limitations for Σ-Protocols for Group Homomorphisms.” edited by Daniele Micciancio, 5978:553–71. Springer, 2010. https://doi.org/10.1007/978-3-642-11799-2.
View
| DOI
| Download (ext.)
2010 | Journal Article | IST-REx-ID: 3072 |
Grunewald, Wim, and Jiří Friml. “The March of the PINs: Developmental Plasticity by Dynamic Polar Targeting in Plant Cells.” EMBO Journal. Wiley-Blackwell, 2010. https://doi.org/10.1038/emboj.2010.181.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2010 | Journal Article | IST-REx-ID: 3077 |
Friml, Jiří, and Angharad Jones. “Endoplasmic Reticulum: The Rising Compartment in Auxin Biology.” Plant Physiology. American Society of Plant Biologists, 2010. https://doi.org/10.1104/pp.110.161380.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2010 | Journal Article | IST-REx-ID: 3303 |
Weissman, Daniel, Marcus Feldman, and Daniel Fisher. “The Rate of Fitness-Valley Crossing in Sexual Populations.” Genetics. Genetics Society of America, 2010. https://doi.org/10.1534/genetics.110.123240.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
2010 | Journal Article | IST-REx-ID: 3538 |
Jiruska, Premysl, Jozsef L Csicsvari, Andrew Powell, John Fox, Wei Chang, Martin Vreugdenhil, Xiaoli Li, et al. “High-Frequency Network Activity, Global Increase in Neuronal Activity, and Synchrony Expansion Precede Epileptic Seizures in Vitro.” Journal of Neuroscience. Society for Neuroscience, 2010. https://doi.org/10.1523/JNEUROSCI.0535-10.2010.
View
| DOI
| Download None (ext.)
2010 | Conference Paper | IST-REx-ID: 3719 |
Feret, Jérôme, Thomas A Henzinger, Heinz Koeppl, and Tatjana Petrov. “Lumpability Abstractions of Rule-Based Systems,” 40:142–61. Open Publishing Association, 2010.
[Submitted Version]
View
| Files available
| arXiv
2010 | Journal Article | IST-REx-ID: 3748 |
Park, Heungwon, William Pontius, Calin C Guet, John Marko, Thierry Emonet, and Philippe Cluzel. “Interdependence of Behavioural Variability and Response to Small Stimuli in Bacteria.” Nature. Nature Publishing Group, 2010. https://doi.org/10.1038/nature09551.
View
| DOI
| Download (ext.)
2010 | Journal Article | IST-REx-ID: 3749 |
Park, Heungwon, Calin C Guet, Thierry Emonet, and Philippe Cluzel. “Fine-Tuning of Chemotactic Response in E. Coli Determined by High-Throughput Capillary Assay.” Current Microbiology. Springer, 2010. https://doi.org/10.1007/s00284-010-9778-z.
View
| DOI
| Download (ext.)
2010 | Book Chapter | IST-REx-ID: 3795 |
Edelsbrunner, Herbert, Dmitriy Morozov, and Amit Patel. “The Stability of the Apparent Contour of an Orientable 2-Manifold.” In Topological Data Analysis and Visualization: Theory, Algorithms and Applications, 27–42. Springer, 2010. https://doi.org/10.1007/978-3-642-15014-2_3.
[Submitted Version]
View
| Files available
| DOI
2010 | Journal Article | IST-REx-ID: 3831 |
Norenberg, Anja, Hua Hu, Imre Vida, Marlene Bartos, and Peter M Jonas. “Distinct Nonuniform Cable Properties Optimize Rapid and Efficient Activation of Fast-Spiking GABAergic Interneurons.” PNAS. National Academy of Sciences, 2010. https://doi.org/10.1073/pnas.0910716107.
View
| DOI
| Download (ext.)
2010 | Journal Article | IST-REx-ID: 3832 |
Guzmán, José, and Peter M Jonas. “Beyond TARPs: The Growing List of Auxiliary AMPAR Subunits.” Neuron. Elsevier, 2010. https://doi.org/10.1016/j.neuron.2010.04.003.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2010 | Conference Paper | IST-REx-ID: 3847 |
Didier, Frédéric, Thomas A Henzinger, Maria Mateescu, and Verena Wolf. “SABRE: A Tool for the Stochastic Analysis of Biochemical Reaction Networks,” 193–94. IEEE, 2010. https://doi.org/10.1109/QEST.2010.33.
[Submitted Version]
View
| Files available
| DOI
2010 | Conference Paper | IST-REx-ID: 3845 |
Henzinger, Thomas A, Thibaud Hottelier, Laura Kovács, and Andrey Rybalchenko. “Aligators for Arrays,” 6397:348–56. Springer, 2010. https://doi.org/10.1007/978-3-642-16242-8_25.
[Submitted Version]
View
| Files available
| DOI
2010 | Journal Article | IST-REx-ID: 3842 |
Didier, Frédéric, Thomas A Henzinger, Maria Mateescu, and Verena Wolf. “Fast Adaptive Uniformization of the Chemical Master Equation.” IET Systems Biology. Institution of Engineering and Technology, 2010. https://doi.org/10.1049/iet-syb.2010.0005.
[Submitted Version]
View
| Files available
| DOI
2010 | Conference Paper | IST-REx-ID: 3858 |
Chatterjee, Krishnendu, and Laurent Doyen. “The Complexity of Partial-Observation Parity Games,” 6397:1–14. Springer, 2010. https://doi.org/10.1007/978-3-642-16242-8_1.
[Submitted Version]
View
| Files available
| DOI
2010 | Conference Paper | IST-REx-ID: 3856 |
Chatterjee, Krishnendu, Laurent Doyen, Hugo Gimbert, and Thomas A Henzinger. “Randomness for Free,” 6281:246–57. Springer, 2010. https://doi.org/10.1007/978-3-642-15155-2_23.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
2010 | Conference Paper | IST-REx-ID: 3866 |
Bloem, Roderick, Krishnendu Chatterjee, Karin Greimel, Thomas A Henzinger, and Barbara Jobstmann. “Robustness in the Presence of Liveness.” edited by Tayssir Touili, Byron Cook, and Paul Jackson, 6174:410–24. Springer, 2010. https://doi.org/10.1007/978-3-642-14295-6_36.
[Submitted Version]
View
| Files available
| DOI
2010 | Journal Article | IST-REx-ID: 3868 |
Chatterjee, Krishnendu, Luca De Alfaro, Ritankar Majumdar, and Vishwanath Raman. “Algorithms for Game Metrics.” Logical Methods in Computer Science. International Federation of Computational Logic, 2010. https://doi.org/10.2168/LMCS-6(3:13)2010.
[Published Version]
View
| Files available
| DOI
2010 | Journal Article | IST-REx-ID: 3960 |
Weber, Michele, and Michael K Sixt. “MEK Signalling Tunes Actin Treadmilling for Interstitial Lymphocyte Migration.” EMBO Journal. Wiley-Blackwell, 2010. https://doi.org/10.1038/emboj.2010.183.
View
| DOI
| Download (ext.)
2010 | Journal Article | IST-REx-ID: 4243 |
Barton, Nicholas H, Alison Etheridge, and Amandine Véber. “A New Model for Evolution in a Spatial Continuum.” Electronic Journal of Probability. Institute of Mathematical Statistics, 2010. https://doi.org/10.1214/EJP.v15-741.
[Published Version]
View
| Files available
| DOI
2010 | Other Publication | IST-REx-ID: 4340 |
Danowski, Patrick. Open Bibliographic Data. European Library Automation Group (ELAG) 2010. Elsevier, 2010.
View
| Files available
| Download None (ext.)
2010 | Book (Editor) | IST-REx-ID: 4346 |
Danowski, Patrick, and Julia Bergmann, eds. Handbuch Bibliothek 2.0. Vol. 41. Bibliothekspraxis. De Gruyter, 2010. https://doi.org/10.1515/9783110232103.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2010 | Conference Paper | IST-REx-ID: 4369 |
Nickovic, Dejan, and Nir Piterman. “From MTL to Deterministic Timed Automata.” edited by Thomas A. Henzinger and Krishnendu Chatterjee, 6246:152–67. Springer, 2010. https://doi.org/10.1007/978-3-642-15297-9_13.
[Submitted Version]
View
| Files available
| DOI
2010 | Journal Article | IST-REx-ID: 3306 |
Evans, Steven, Bernd Sturmfels, and Caroline Uhler. “Commuting Birth and Death Processes.” The Annals of Applied Probability. Institute of Mathematical Statistics, 2010. https://doi.org/10.1214/09-AAP615.
View
| DOI
| Download (ext.)
2010 | Journal Article | IST-REx-ID: 3308 |
Sturmfels, Bernd, and Caroline Uhler. “Multivariate Gaussians, Semidefinite Matrix Completion, and Convex Algebraic Geometry.” Annals of the Institute of Statistical Mathematics. Springer, 2010. https://doi.org/10.1007/s10463-010-0295-4.
View
| DOI
| Download (ext.)
2010 | Conference Paper | IST-REx-ID: 3430 |
Tkačik, Gašper. “Lecture Notes for 2010 Summer School on Quantitative Evolutionary and Comparative Genomics.” Elsevier, 2010.
View
| Download (ext.)
2010 | Preprint | IST-REx-ID: 3743 |
Tkačik, Gašper. “From Statistical Mechanics to Information Theory: Understanding Biophysical Information-Processing Systems.” ArXiv. ArXiv, 2010.
View
| Download (ext.)
2010 | Journal Article | IST-REx-ID: 3776 |
Barton, Nicholas H. “Genetic Linkage and Natural Selection.” Philosophical Transactions of the Royal Society of London. Series B, Biological Sciences. Royal Society, 2010. https://doi.org/10.1098/rstb.2010.0106.
[Submitted Version]
View
| Files available
| DOI
2010 | Journal Article | IST-REx-ID: 3773 |
Barton, Nicholas H. “What Role Does Natural Selection Play in Speciation?” Philosophical Transactions of the Royal Society of London. Series B, Biological Sciences. Royal Society, 2010. https://doi.org/10.1098/rstb.2010.0001.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
2010 | Journal Article | IST-REx-ID: 3777 |
Barton, Nicholas H. “Mutation and the Evolution of Recombination.” Philosophical Transactions of the Royal Society of London. Series B, Biological Sciences. Royal Society, 2010. https://doi.org/10.1098/rstb.2009.0320.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
2010 | Journal Article | IST-REx-ID: 3772 |
Barton, Nicholas H. “Understanding Adaptation in Large Populations.” PLoS Genetics. Public Library of Science, 2010. https://doi.org/10.1371/journal.pgen.1000987.
[Published Version]
View
| Files available
| DOI
2010 | Journal Article | IST-REx-ID: 3790 |
Diz Muñoz, Alba, Michael Krieg, Martin Bergert, Itziar Ibarlucea Benitez, Daniel Müller, Ewa Paluch, and Carl-Philipp J Heisenberg. “Control of Directed Cell Migration in Vivo by Membrane-to-Cortex Attachment.” PLoS Biology. Public Library of Science, 2010. https://doi.org/10.1371/journal.pbio.1000544.
[Published Version]
View
| Files available
| DOI
2010 | Conference Paper | IST-REx-ID: 3793 |
Nowozin, Sebastian, Peter Gehler, and Christoph Lampert. “On Parameter Learning in CRF-Based Approaches to Object Class Image Segmentation,” 6316:98–111. Springer, 2010. https://doi.org/10.1007/978-3-642-15567-3_8.
[Submitted Version]
View
| Files available
| DOI
2010 | Journal Article | IST-REx-ID: 3787 |
Palero, Ferran, Sally Hall, Paul Clark, David Johnston, Jackie Mackenzie Dodds, and Sven Thatje. “DNA Extraction from Formalin-Fixed Tissue: New Light from the Deep Sea.” Scientia Marina. Consejo Superior de Investigaciones Científicas, 2010. https://doi.org/10.3989/scimar.2010.74n3465.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
2010 | Journal Article | IST-REx-ID: 3834 |
Wolf, Verena, Rushil Goel, Maria Mateescu, and Thomas A Henzinger. “Solving the Chemical Master Equation Using Sliding Windows.” BMC Systems Biology. BioMed Central, 2010. https://doi.org/10.1186/1752-0509-4-42.
[Published Version]
View
| Files available
| DOI
2010 | Conference Paper | IST-REx-ID: 3839 |
Henzinger, Thomas A, Thibaud Hottelier, Laura Kovács, and Andrei Voronkov. “Invariant and Type Inference for Matrices,” 5944:163–79. Springer, 2010. https://doi.org/10.1007/978-3-642-11319-2_14.
[Submitted Version]
View
| Files available
| DOI
2010 | Conference Paper | IST-REx-ID: 3838 |
Henzinger, Thomas A, Maria Mateescu, Linar Mikeev, and Verena Wolf. “Hybrid Numerical Solution of the Chemical Master Equation,” 55–65. Springer, 2010. https://doi.org/10.1145/1839764.1839772.
[Submitted Version]
View
| Files available
| DOI
2010 | Conference Paper | IST-REx-ID: 3853 |
Chatterjee, Krishnendu, Laurent Doyen, Herbert Edelsbrunner, Thomas A Henzinger, and Philippe Rannou. “Mean-Payoff Automaton Expressions,” 6269:269–83. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2010. https://doi.org/10.1007/978-3-642-15375-4_19.
[Submitted Version]
View
| Files available
| DOI
2010 | Conference Paper | IST-REx-ID: 3849 |
Bendich, Paul, Herbert Edelsbrunner, Michael Kerber, and Amit Patel. “Persistent Homology under Non-Uniform Error,” 6281:12–23. Springer, 2010. https://doi.org/10.1007/978-3-642-15155-2_2.
[Submitted Version]
View
| Files available
| DOI
2010 | Conference Paper | IST-REx-ID: 3851 |
Chatterjee, Krishnendu, and Laurent Doyen. “Energy Parity Games,” 6199:599–610. Springer, 2010. https://doi.org/10.1007/978-3-642-14162-1_50.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2010 | Journal Article | IST-REx-ID: 385 |
Alpichshev, Zhanybek, James Analytis, Jiunhaw Chu, Ian Fisher, Yulin Chen, Zhixun Shen, Aiping Fang, and Aharon Kapitulnik. “STM Imaging of Electronic Waves on the Surface of Bi2Te3 Topologically Protected Surface States and Hexagonal Warping Effects.” Physical Review Letters. American Physical Society, 2010. https://doi.org/10.1103/PhysRevLett.104.016401.
View
| DOI
| Download None (ext.)
2010 | Conference Paper | IST-REx-ID: 3860 |
Chatterjee, Krishnendu, Laurent Doyen, Thomas A Henzinger, and Jean Raskin. “Generalized Mean-Payoff and Energy Games,” 8:505–16. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2010. https://doi.org/10.4230/LIPIcs.FSTTCS.2010.505.
[Submitted Version]
View
| Files available
| DOI
2010 | Journal Article | IST-REx-ID: 3862 |
Chatterjee, Krishnendu, Laurent Doyen, and Thomas A Henzinger. “Quantitative Languages.” ACM Transactions on Computational Logic (TOCL). ACM, 2010. https://doi.org/10.1145/1805950.1805953.
[Submitted Version]
View
| Files available
| DOI
2010 | Conference Paper | IST-REx-ID: 3864 |
Chatterjee, Krishnendu, Thomas A Henzinger, Barbara Jobstmann, and Rohit Singh. “Measuring and Synthesizing Systems in Probabilistic Environments,” 6174:380–95. Springer, 2010. https://doi.org/10.1007/978-3-642-14295-6_34.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
2010 | Journal Article | IST-REx-ID: 3863 |
Berwanger, Dietmar, Krishnendu Chatterjee, Martin De Wulf, Laurent Doyen, and Thomas A Henzinger. “Strategy Construction for Parity Games with Imperfect Information.” Information and Computation. Elsevier, 2010. https://doi.org/10.1016/j.ic.2009.09.006.
[Submitted Version]
View
| Files available
| DOI