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.
9101 Publications
2010 | Conference Paper | IST-REx-ID: 3237
Kiltz, Eike, and Krzysztof Z Pietrzak. “Leakage Resilient ElGamal Encryption,” 6477:595–612. Springer, 2010. https://doi.org/10.1007/978-3-642-17373-8_34.
View
| DOI
2010 | Conference Paper | IST-REx-ID: 3235
Dodis, Yevgeniy, and Krzysztof Z Pietrzak. “Leakage Resilient Pseudorandom Functions and Side Channel Attacks on Feistel Networks,” 6223:21–40. Springer, 2010. https://doi.org/10.1007/978-3-642-14623-7_2.
View
| DOI
2010 | Conference Paper | IST-REx-ID: 3234
Faust, Sebastian, Eike Kiltz, Krzysztof Z Pietrzak, and Guy Rothblum. “Leakage Resilient Signatures,” 5978:343–60. Springer, 2010. https://doi.org/10.1007/978-3-642-11799-2_21.
View
| DOI
2010 | Conference Paper | IST-REx-ID: 3233
Håstad, Johan, Rafael Pass, Douglas Wikström, and Krzysztof Z Pietrzak. “An Efficient Parallel Repetition Theorem,” 5978:1–18. Springer, 2010. https://doi.org/10.1007/978-3-642-11799-2_1.
View
| DOI
2010 | Conference Paper | IST-REx-ID: 2934
Kolmogorov, Vladimir. “Generalized Roof Duality and Bisubmodular Functions.” Neural Information Processing Systems, 2010.
View
| Files available
2010 | Journal Article | IST-REx-ID: 3294
Iyengar, Atulya, Subhra Chakraborty Tuhin, Sarit Goswami, Chun Wu, and Obaid Siddiqi. “Post Eclosion Odor Experience Modifies Olfactory Receptor Neuron Coding in Drosophila.” PNAS. National Academy of Sciences, 2010. https://doi.org/10.1073/pnas.1003856107.
View
| DOI
2010 | Thesis | IST-REx-ID: 3296
Wojtan, Chris. “Animating Physical Phenomena with Embedded Surface Meshes.” Georgia Institute of Technology, 2010.
View
| Download None (ext.)
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 | Journal Article | IST-REx-ID: 3402
Guerraoui, Rachid, Thomas A Henzinger, and Vasu Singh. “Model Checking Transactional Memories.” Distributed Computing. Springer, 2010. https://doi.org/10.1007/s00446-009-0092-6.
View
| DOI
| Download (ext.)
2010 | Book Review | IST-REx-ID: 3403
Pleydell Bouverie, Barty, and Jozsef L Csicsvari. “Rate Remapping: When the Code Goes beyond Space (Preview).” Neuron. Elsevier, 2010. https://doi.org/10.1016/j.neuron.2010.12.011.
View
| DOI
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 | Journal Article | IST-REx-ID: 3498
Sabeti Aschraf, M., C. Gonano, E. Nemecek, Lisa Cichocki, and C. Schueller Weidekamm. “Intra-Operative Ultrasound Facilitates the Localization of the Calcific Deposit during Arthroscopic Treatment of Calcifying Tendinitis.” Knee Surgery, Sports Traumatology, Arthroscopy. Springer, 2010. https://doi.org/10.1007/s00167-010-1227-9.
View
| DOI
2010 | Journal Article | IST-REx-ID: 3592
Carvalho, Lara, and Carl-Philipp J Heisenberg. “Imaging Zebrafish Embryos by Two-Photon Excitation Time-Lapse Microscopy.” Methods in Molecular Biology. Springer, 2010. https://doi.org/10.1007/978-1-60327-977-2_17.
View
| DOI
2010 | Conference Paper | IST-REx-ID: 3676
Wanke, Jörn, Adrian Ulges, Christoph Lampert, and Thomas Breuel. “Topic Models for Semantic Video Compression,” 275–84. ACM, 2010. https://doi.org/10.1145/1743384.1743433.
View
| DOI
| Download (ext.)
2010 | Journal Article | IST-REx-ID: 3697
Tuytelaars, Tinne, Christoph Lampert, Matthew Blaschko, and Wray Buntine. “Unsupervised Object Discovery: A Comparison.” International Journal of Computer Vision. Springer, 2010. https://doi.org/10.1007/s11263-009-0271-8.
View
| DOI
2010 | Conference Paper | IST-REx-ID: 3713
Lampert, Christoph. “An Efficient Divide-and-Conquer Cascade for Nonlinear Object Detection,” 1022–29. IEEE, 2010. https://doi.org/10.1109/CVPR.2010.5540107.
View
| DOI
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: 3761
Kwatra, Nipun, Chris Wojtan, Mark Carlson, Irfan Essa, Peter Mucha, and Greg Turk. “Fluid Simulation with Articulated Bodies.” IEEE Transactions on Visualization and Computer Graphics. IEEE, 2010. https://doi.org/10.1109/TVCG.2009.66.
View
| DOI
2010 | Journal Article | IST-REx-ID: 3759
Wojtan, Chris, Nils Thürey, Markus Gross, and Greg Turk. “Physics-Inspired Topology Changes for Thin Fluid Features.” ACM Transactions on Graphics. ACM, 2010. https://doi.org/10.1145/1778765.1778787.
View
| DOI
| Download None (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: 3774
Senn, Helen, Graeme Swanson, Simon Goodman, Nicholas H Barton, and Josephine Pemberton. “Phenotypic Correlates of Hybridisation between Red and Sika Deer (Genus Cervus).” Journal of Animal Ecology. Wiley-Blackwell, 2010. https://doi.org/10.1111/j.1365-2656.2009.01633.x.
View
| DOI
| 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: 3789
Quesada-Hernández, Elena, Luca Caneparo, Sylvia Schneider, Sylke Winkler, Michael Liebling, Scott Fraser, and Carl-Philipp J Heisenberg. “Stereotypical Cell Division Orientation Controls Neural Rod Midline Formation in Zebrafish.” Current Biology. Cell Press, 2010. https://doi.org/10.1016/j.cub.2010.10.009.
View
| 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: 3788
Klopper, Abigail, Gabriel Krens, Stephan Grill, and Carl-Philipp J Heisenberg. “Finite-Size Corrections to Scaling Behavior in Sorted Cell Aggregates.” The European Physical Journal E: Soft Matter and Biological Physics. Springer, 2010. https://doi.org/10.1140/epje/i2010-10642-y.
View
| DOI
2010 | Journal Article | IST-REx-ID: 3786
Palero, Ferran, Guillermo Guerao, Paul Clark, and Pere Abello. “Final-Stage Phyllosoma of Palinustus A. Milne-Edwards, 1880 (Crustacea: Decapoda: Achelata: Palinuridae)-The First Complete Description.” Zootaxa. Magnolia Press, 2010. https://doi.org/10.11646/zootaxa.2403.1.4.
View
| DOI
2010 | Journal Article | IST-REx-ID: 3792
Carvalho, Lara, and Carl-Philipp J Heisenberg. “The Yolk Syncytial Layer in Early, Zebrafish Development.” Trends in Cell Biology. Cell Press, 2010. https://doi.org/10.1016/j.tcb.2010.06.009.
View
| DOI
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: 3840
Henzinger, Thomas A. “From Boolean to Quantitative Notions of Correctness,” 45:157–58. ACM, 2010. https://doi.org/10.1145/1706299.1706319.
View
| 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: 3854
Chatterjee, Krishnendu, Florian Horn, and Christof Löding. “Obliging Games,” 6269:284–96. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2010. https://doi.org/10.1007/978-3-642-15375-4_20.
View
| 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: 3850
Berberich, Eric, Dan Halperin, Michael Kerber, and Roza Pogalnikova. “Polygonal Reconstruction from Approximate Offsets,” 12–23. TU Dortmund, 2010.
View
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 | Conference Paper | IST-REx-ID: 3865
Chatterjee, Krishnendu, Luca De Alfaro, Vishwanath Raman, and César Sánchez. “Analyzing the Impact of Change in Multi-Threaded Programs.” edited by David Rosenblum and Gabriele Taenzer, 6013:293–307. Springer, 2010. https://doi.org/10.1007/978-3-642-12029-9_21.
View
| DOI
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
2010 | Journal Article | IST-REx-ID: 3861 |
Chatterjee, Krishnendu, Thomas A Henzinger, and Nir Piterman. “Strategy Logic.” Information and Computation. Elsevier, 2010. https://doi.org/10.1016/j.ic.2009.07.004.
[Submitted Version]
View
| Files available
| DOI
2010 | Journal Article | IST-REx-ID: 3901 |
Bendich, Paul, Herbert Edelsbrunner, and Michael Kerber. “Computing Robustness and Persistence for Images.” IEEE Transactions of Visualization and Computer Graphics. IEEE, 2010. https://doi.org/10.1109/TVCG.2010.139.
[Submitted Version]
View
| Files available
| DOI
2010 | Journal Article | IST-REx-ID: 3904 |
Ugelvig, Line V, Daniel Kronauer, Alexandra Schrempf, Jürgen Heinze, and Sylvia Cremer. “Rapid Anti-Pathogen Response in Ant Societies Relies on High Genetic Diversity.” Proceedings of the Royal Society of London Series B Biological Sciences. Royal Society, The, 2010. https://doi.org/10.1098/rspb.2010.0644.
View
| DOI
| Download None (ext.)