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.

9084 Publications


2010 | Book | IST-REx-ID: 3899
Edelsbrunner, Herbert, and John Harer. Computational Topology: An Introduction. Vol. 69. American Mathematical Society, 2010. https://doi.org/10.1090/mbk/069.
View | Files available | DOI | Download None (ext.)
 

2010 | Journal Article | IST-REx-ID: 3963
Streinzer, M., Thomas Ellis, H. Paulus, and J. Spaethe. “Visual Discrimination between Two Sexually Deceptive Ophrys Species by a Bee Pollinator.” Arthropod-Plant Interactions. Springer, 2010. https://doi.org/10.1007/s11829-010-9093-4.
View | DOI
 

2010 | Journal Article | IST-REx-ID: 3959
Schumann, Kathrin, Tim Lämmermann, Markus Bruckner, Daniel Legler, Julien Polleux, Joachim Spatz, Gerold Schuler, et al. “Immobilized Chemokine Fields and Soluble Chemokine Gradients Cooperatively Shape Migration Patterns of Dendritic Cells.” Immunity. Cell Press, 2010. https://doi.org/10.1016/j.immuni.2010.04.017.
View | DOI
 

2010 | Journal Article | IST-REx-ID: 3958
Mohan, Hema, Markus Krumbholz, Rakhi Sharma, Sylvia Eisele, Andreas Junker, Michael K Sixt, Jia Newcombe, et al. “Extracellular Matrix in Multiple Sclerosis Lesions: Fibrillar Collagens, Biglycan and Decorin Are Upregulated and Associated with Infiltrating Immune Cells.” Brain Pathology. Wiley-Blackwell, 2010. https://doi.org/10.1111/j.1750-3639.2010.00399.x.
View | DOI
 

2010 | Journal Article | IST-REx-ID: 3961
Renkawitz, Jörg, and Michael K Sixt. “Mechanisms of Force Generation and Force Transmission during Interstitial Leukocyte Migration.” EMBO Reports. Wiley-Blackwell, 2010. https://doi.org/10.1038/embor.2010.147.
View | DOI
 

2010 | Journal Article | IST-REx-ID: 3960 | OA
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: 3964
Cohen Steiner, David, Herbert Edelsbrunner, John Harer, and Yuriy Mileyko. “Lipschitz Functions Have L_p-Stable Persistence.” Foundations of Computational Mathematics. Springer, 2010. https://doi.org/10.1007/s10208-010-9060-6.
View | DOI
 

2010 | Journal Article | IST-REx-ID: 3957
Riedl, Julia, Kevin Flynn, Aurelia Raducanu, Florian R Gärtner, Gisela Beck, Michael Bosl, Frank Bradke, et al. “Lifeact Mice for Studying F-Actin Dynamics.” Nature Methods. Nature Publishing Group, 2010. https://doi.org/10.1038/nmeth0310-168.
View | DOI
 

2010 | Journal Article | IST-REx-ID: 4134
Bridle, Jon, Jitka Polechova, Masakado Kawata, and Roger Butlin. “Why Is Adaptation Prevented at Ecological Margins? New Insights from Individual-Based Simulations.” Ecology Letters. Wiley-Blackwell, 2010. https://doi.org/10.1111/j.1461-0248.2010.01442.x.
View | DOI
 

2010 | Journal Article | IST-REx-ID: 4163
Oteíza, Pablo, Mathias Koeppen, Michael Krieg, Eduardo Pulgar, Cecilia Farias, Cristina Melo, Steffen Preibisch, et al. “Planar Cell Polarity Signalling Regulates Cell Adhesion Properties in Progenitors of the Zebrafish Laterality Organ.” Development. Company of Biologists, 2010. https://doi.org/10.1242/dev.049981.
View | DOI
 

2010 | Journal Article | IST-REx-ID: 4243 | OA
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 | OA
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 | OA
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: 4341
Danowski, Patrick. “Step One: Blow up the Silo! - Open Bibliographic Data, the First Step towards Linked Open Data.” IFLA, 2010.
View | Download (ext.)
 

2010 | Conference Paper | IST-REx-ID: 4369 | OA
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 | Conference Paper | IST-REx-ID: 4364
Podelski, Andreas, and Thomas Wies. “Counterexample-Guided Focus,” 249–60. ACM, 2010. https://doi.org/10.1145/1707801.1706330.
View | DOI
 

2010 | Journal Article | IST-REx-ID: 3068
Růžička, Kamil, Lucia Strader, Aurélien Bailly, Haibing Yang, Joshua Blakeslee, Łukasz Łangowski, Eliška Nejedlá, et al. “Arabidopsis PIS1 Encodes the ABCG37 Transporter of Auxinic Compounds Including the Auxin Precursor Indole 3 Butyric Acid.” PNAS. National Academy of Sciences, 2010. https://doi.org/10.1073/pnas.1005878107.
View | DOI
 

2010 | Journal Article | IST-REx-ID: 3067
Jelínková, Adriana, Kateřina Malínská, Sibu Simon, Jürgen Kleine Vehn, Markéta Pařezová, Přemysl Pejchar, Martin Kubeš, et al. “Probing Plant Membranes with FM Dyes: Tracking Dragging or Blocking?” Plant Journal. Wiley-Blackwell, 2010. https://doi.org/10.1111/j.1365-313X.2009.04102.x.
View | DOI
 

2010 | Journal Article | IST-REx-ID: 3065
Žádníková, Petra, Jan Petrášek, Peter Marhavý, Vered Raz, Filip Vandenbussche, Zhaojun Ding, Kateřina Schwarzerová, et al. “Role of PIN-Mediated Auxin Efflux in Apical Hook Development of Arabidopsis Thaliana.” Development. Company of Biologists, 2010. https://doi.org/10.1242/dev.041277.
View | DOI
 

2010 | Journal Article | IST-REx-ID: 3064
Zhang, Jing, Thomasz Nodzyński, Aleš Pěnčík, Jakub Rolčík, and Jiří Friml. “PIN Phosphorylation Is Sufficient to Mediate PIN Polarity and Direct Auxin Transport.” PNAS. National Academy of Sciences, 2010. https://doi.org/10.1073/pnas.0909460107.
View | DOI
 

2010 | Journal Article | IST-REx-ID: 3066
Łangowski, Łukasz, Kamil Růžička, Satoshi Naramoto, Jürgen Kleine Vehn, and Jiří Friml. “Trafficking to the Outer Polar Domain Defines the Root Soil Interface.” Current Biology. Cell Press, 2010. https://doi.org/10.1016/j.cub.2010.03.059.
View | DOI
 

2010 | Journal Article | IST-REx-ID: 3070
Nawy, Tal, Martin Bayer, Jozef Mravec, Jiří Friml, Kenneth Birnbaum, and Wolfgang Lukowitz. “The GATA Factor HANABA TARANU Is Required to Position the Proembryo Boundary in the Early Arabidopsis Embryo.” Developmental Cell. Cell Press, 2010. https://doi.org/10.1016/j.devcel.2010.06.004.
View | DOI
 

2010 | Journal Article | IST-REx-ID: 3069
Ding, Zhaojun, and Jiří Friml. “Auxin Regulates Distal Stem Cell Differentiation in Arabidopsis Roots.” PNAS. National Academy of Sciences, 2010. https://doi.org/10.1073/pnas.1000672107.
View | DOI
 

2010 | Journal Article | IST-REx-ID: 3063
Friml, Jiří. “Subcellular Trafficking of PIN Auxin Efflux Carriers in Auxin Transport.” European Journal of Cell Biology. Elsevier, 2010. https://doi.org/10.1016/j.ejcb.2009.11.003.
View | DOI
 

2010 | Journal Article | IST-REx-ID: 3081
Naramoto, Satoshi, Jürgen Kleine Vehn, Stéphanie Robert, Masaru Fujimoto, Tomoko Dainobu, Tomasz Paciorek, Takashi Ueda, et al. “ADP Ribosylation Factor Machinery Mediates Endocytosis in Plant Cells.” PNAS. National Academy of Sciences, 2010. https://doi.org/10.1073/pnas.1016260107.
View | DOI
 

2010 | Journal Article | IST-REx-ID: 3080
Kleine Vehn, Jürgen, Zhaojun Ding, Angharad Jones, Masao Tasaka, Miyo Morita, and Jiří Friml. “Gravity Induced PIN Transcytosis for Polarization of Auxin Fluxes in Gravity Sensing Root Cells.” PNAS. National Academy of Sciences, 2010. https://doi.org/10.1073/pnas.1013145107.
View | DOI
 

2010 | Journal Article | IST-REx-ID: 3153
Siekhaus, Daria E, Martin Haesemeyer, Olivia Moffitt, and Ruth Lehmann. “RhoL Controls Invasion and Rap1 Localization during Immune Cell Transmigration in Drosophila.” Nature Cell Biology. Nature Publishing Group, 2010.
View | Download (ext.)
 

2010 | Conference Paper | IST-REx-ID: 3201
Vicente, Sara, Vladimir Kolmogorov, and Carsten Rother. “Cosegmentation Revisited: Models and Optimization,” 6312:465–79. Springer, 2010. https://doi.org/10.1007/978-3-642-15552-9_34.
View | DOI | Download (ext.)
 

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 | OA
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 | OA
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 | OA
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 | OA
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 | OA
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 | OA
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 | OA
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 | OA
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 | OA
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 | OA
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 | OA
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 | OA
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 | OA
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 | OA
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 | OA
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 | OA
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 | OA
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 | OA
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 | OA
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 | OA
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 | OA
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 | OA
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 | OA
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 | OA
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 | OA
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.)
 

2010 | Journal Article | IST-REx-ID: 3956
Nourshargh, Sussan, Peter Hordijk, and Michael K Sixt. “Breaching Multiple Barriers: Leukocyte Motility through Venular Walls and the Interstitium.” Nature Reviews Molecular Cell Biology. Nature Publishing Group, 2010. https://doi.org/10.1038/nrm2889.
View | DOI
 

2010 | Journal Article | IST-REx-ID: 4157 | OA
Papusheva, Ekaterina, and Carl-Philipp J Heisenberg. “Spatial Organization of Adhesion: Force-Dependent Regulation and Function in Tissue Morphogenesis.” EMBO Journal. Wiley-Blackwell, 2010. https://doi.org/10.1038/emboj.2010.182.
[Submitted Version] View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2010 | Journal Article | IST-REx-ID: 4187
Kardash, Elena, Michal Reichman Fried, Jean Maître, Bijan Boldajipour, Ekaterina Papusheva, Esther Messerschmidt, Carl Heisenberg, and Erez Raz. “A Role for Rho GTPases and Cell-Cell Adhesion in Single-Cell Motility in Vivo.” Nature Cell Biology. Nature Publishing Group, 2010. https://doi.org/10.1038/ncb2003.
View | DOI
 

2010 | Journal Article | IST-REx-ID: 4221
Arboleda Estudillo, Yohanna, Michael Krieg, Jan Stuehmer, Nicholas Licata, Daniel Mueller, and Carl-Philipp J Heisenberg. “Movement Directionality in Collective Migration of Germ Layer Progenitors.” Current Biology. Cell Press, 2010. https://doi.org/10.1016/j.cub.2009.11.036.
View | DOI
 

2010 | Book Chapter | IST-REx-ID: 4339 | OA
Bergmann, Julia, and Patrick Danowski. “Ist Bibliothek 2.0 Überhaupt Noch Relevant? – Eine Einleitung in Das Handbuch.” In Handbuch Bibliothek 2.0, edited by Julia Bergmann and Patrick Danowski, 5–20. Bibliotheks- Und Informationspraxis 41. De Gruyter, 2010. https://doi.org/10.1515/9783110232103.
[Published Version] View | Files available | DOI
 

2010 | Journal Article | IST-REx-ID: 4358
Guinane, Caitriona, Nouri Ben Zakour, Maria Tormo Mas, Lucy Weinert, Bethan Lowder, Robyn Cartwright, Davida Smyth, et al. “Evolutionary Genomics of Staphylococcus Aureus Reveals Insights into the Origin and Molecular Basis of Ruminant Host Adaptation.” Genome Biology and Evolution. Oxford University Press, 2010. https://doi.org/10.1093/gbe/evq031.
View | DOI
 

2010 | Conference Paper | IST-REx-ID: 4362
Singh, Vasu. “Runtime Verification for Software Transactional Memories.” edited by Oleg Sokolsky, Grigore Rosu, Nikolai Tilmann, Howard Barringer, Ylies Falcone, Bernd Finkbeiner, Klaus Havelund, Insup Lee, and Gordon Pace, 6418:421–35. Springer, 2010. https://doi.org/10.1007/978-3-642-16612-9_32.
View | DOI
 

2010 | Conference Paper | IST-REx-ID: 4378 | OA
Kuncak, Viktor, Ruzica Piskac, Philippe Suter, and Thomas Wies. “Building a Calculus of Data Structures.” edited by Gilles Barthe and Manuel Hermenegildo, 5944:26–44. Springer, 2010. https://doi.org/10.1007/978-3-642-11319-2_6.
[Submitted Version] View | DOI | Download Submitted Version (ext.)
 

2010 | Journal Article | IST-REx-ID: 4379 | OA
Jones, Kevin, Victor Konrad, and Dejan Nickovic. “Analog Property Checkers: A DDR2 Case Study.” Formal Methods in System Design. Springer, 2010. https://doi.org/10.1007/s10703-009-0085-x.
View | DOI | Download (ext.)
 

2010 | Conference Paper | IST-REx-ID: 4381 | OA
Henzinger, Thomas A, Anmol Tomar, Vasu Singh, Thomas Wies, and Damien Zufferey. “FlexPRICE: Flexible Provisioning of Resources in a Cloud Environment,” 83–90. IEEE, 2010. https://doi.org/10.1109/CLOUD.2010.71.
[Submitted Version] View | Files available | DOI
 

2010 | Conference Paper | IST-REx-ID: 4382 | OA
Guerraoui, Rachid, Thomas A Henzinger, Michal Kapalka, and Vasu Singh. “Transactions in the Jungle,” 263–72. ACM, 2010. https://doi.org/10.1145/1810479.1810529.
[Submitted Version] View | Files available | DOI
 

2010 | Conference Paper | IST-REx-ID: 4380 | OA
Henzinger, Thomas A, Anmol Tomar, Vasu Singh, Thomas Wies, and Damien Zufferey. “A Marketplace for Cloud Resources,” 1–8. ACM, 2010. https://doi.org/10.1145/1879021.1879022.
[Submitted Version] View | Files available | DOI
 

2010 | Conference Paper | IST-REx-ID: 4389 | OA
Doyen, Laurent, Thomas A Henzinger, Axel Legay, and Dejan Nickovic. “Robustness of Sequential Circuits,” 77–84. IEEE, 2010. https://doi.org/10.1109/ACSD.2010.26.
[Submitted Version] View | Files available | DOI
 

2010 | Book Chapter | IST-REx-ID: 4392
Cerny, Pavol, Thomas A Henzinger, and Arjun Radhakrishna. “Quantitative Simulation Games.” In Time For Verification: Essays in Memory of Amir Pnueli, edited by Zohar Manna and Doron Peled, 6200:42–60. Essays in Memory of Amir Pnueli. Springer, 2010. https://doi.org/10.1007/978-3-642-13754-9_3.
View | DOI
 

2010 | Conference Paper | IST-REx-ID: 4396 | OA
Beyer, Dirk, Thomas A Henzinger, Grégory Théoduloz, and Damien Zufferey. “Shape Refinement through Explicit Heap Analysis.” edited by David Rosenblum and Gabriele Taenzer, 6013:263–77. Springer, 2010. https://doi.org/10.1007/978-3-642-12029-9_19.
[Submitted Version] View | Files available | DOI
 

2010 | Conference Paper | IST-REx-ID: 4395
Burckhardt, Sebastian, Madanlal Musuvathi, and Vasu Singh. “Verifying Local Transformations on Relaxed Memory Models.” edited by Rajiv Gupta, 6011:104–23. Springer, 2010. https://doi.org/10.1007/978-3-642-11970-5_7.
View | DOI
 

2010 | Journal Article | IST-REx-ID: 3867 | OA
Chatterjee, Krishnendu, Laurent Doyen, and Thomas A Henzinger. “Expressiveness and Closure Properties for Quantitative Languages.” Logical Methods in Computer Science. International Federation of Computational Logic, 2010. https://doi.org/10.2168/LMCS-6(3:10)2010.
[Published Version] View | Files available | DOI
 

2010 | Journal Article | IST-REx-ID: 474
Barton, Nicholas H, Jerome Kelleher, and Alison Etheridge. “A New Model for Extinction and Recolonization in Two Dimensions: Quantifying Phylogeography.” Evolution. Wiley-Blackwell, 2010. https://doi.org/10.1111/j.1558-5646.2010.01019.x.
View | DOI
 

2010 | Conference Paper | IST-REx-ID: 488 | OA
Alur, Rajeev, and Pavol Cerny. “Expressiveness of Streaming String Transducers,” 8:1–12. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2010. https://doi.org/10.4230/LIPIcs.FSTTCS.2010.1.
[Published Version] View | Files available | DOI
 

2010 | Conference Paper | IST-REx-ID: 489 | OA
Cristau, Julien, Claire David, and Florian Horn. “How Do We Remember the Past in Randomised Strategies? .” In Proceedings of GandALF 2010, 25:30–39. Open Publishing Association, 2010. https://doi.org/10.4204/EPTCS.25.7.
[Published Version] View | DOI | Download Published Version (ext.)
 

2010 | Journal Article | IST-REx-ID: 533
Hoenicke, Jochen, Kari Leino, Andreas Podelski, Martin Schäf, and Thomas Wies. “Doomed Program Points.” Formal Methods in System Design. Springer, 2010. https://doi.org/10.1007/s10703-010-0102-0.
View | DOI
 

2010 | Conference Paper | IST-REx-ID: 4393 | OA
Cerny, Pavol, Thomas A Henzinger, and Arjun Radhakrishna. “Simulation Distances,” 6269:235–68. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2010. https://doi.org/10.1007/978-3-642-15375-4_18.
[Submitted Version] View | Files available | DOI
 

Search

Filter Publications