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.

7408 Publications


2010 | Journal Article | IST-REx-ID: 3604
Senn, Helen, et al. “Investigating Temporal Changes in Hybridisation and Introgression between Invasive Sika (Cervus Nippon) and Native Red Deer (Cervus Elaphus) on the Kintyre Peninsula, Scotland.” Molecular Ecology, vol. 19, no. 5, Wiley-Blackwell, 2010, pp. 910–24, doi:10.1111/j.1365-294X.2009.04497.x.
View | DOI
 

2010 | Conference Paper | IST-REx-ID: 3676
Wanke, Jörn, et al. Topic Models for Semantic Video Compression. ACM, 2010, pp. 275–84, doi:10.1145/1743384.1743433.
View | DOI | Download (ext.)
 

2010 | Conference Paper | IST-REx-ID: 3682
Tang, Kevin, et al. Optimizing One-Shot Recognition with Micro-Set Learning. IEEE, 2010, pp. 3027–34, doi:10.1109/CVPR.2010.5540053.
View | DOI
 

2010 | Journal Article | IST-REx-ID: 3686
Nowozin, Sebastian, and Christoph Lampert. “Global Interactions in Random Field Models: A Potential Function Ensuring Connectedness.” SIAM Journal on Imaging Sciences, vol. 3, no. 4 (Special Section on Optimization in Imaging Sciences), Society for Industrial and Applied Mathematics , 2010, pp. 1048–74, doi:10.1137/090752614.
View | DOI
 

2010 | Journal Article | IST-REx-ID: 3697
Tuytelaars, Tinne, et al. “Unsupervised Object Discovery: A Comparison.” International Journal of Computer Vision, vol. 88, no. 2, Springer, 2010, pp. 284–302, doi:10.1007/s11263-009-0271-8.
View | DOI
 

2010 | Conference Paper | IST-REx-ID: 3702
Kober, Jens, et al. Movement Templates for Learning of Hitting and Batting. IEEE, 2010, pp. 853–58, doi:10.1109/ROBOT.2010.5509672.
View | DOI | Download (ext.)
 

2010 | Conference Paper | IST-REx-ID: 3713
Lampert, Christoph. An Efficient Divide-and-Conquer Cascade for Nonlinear Object Detection. IEEE, 2010, pp. 1022–29, doi:10.1109/CVPR.2010.5540107.
View | DOI
 

2010 | Journal Article | IST-REx-ID: 3718
Guzmán, José, et al. “P2Y1 Receptors Inhibit Long-Term Depression in the Prefrontal Cortex.” Neuropharmacology, vol. 59, no. 6, Elsevier, 2010, pp. 406–15, doi:10.1016/j.neuropharm.2010.05.013.
View | DOI
 

2010 | Conference Paper | IST-REx-ID: 3719 | OA
Feret, Jérôme, et al. Lumpability Abstractions of Rule-Based Systems. Vol. 40, Open Publishing Association, 2010, pp. 142–61.
View | Files available | arXiv
 

2010 | Journal Article | IST-REx-ID: 3735
Tkačik, Gašper, et al. “Local Statistics in Natural Scenes Predict the Saliency of Synthetic Textures.” PNAS, vol. 107, no. 42, National Academy of Sciences, 2010, pp. 18149–54, doi:10.1073/pnas.0914916107.
View | DOI | Download (ext.)
 

2010 | Journal Article | IST-REx-ID: 3736
Tkačik, Gašper, et al. “Optimal Population Coding by Noisy Spiking Neurons.” PNAS, vol. 107, no. 32, National Academy of Sciences, 2010, pp. 14419–24, doi:10.1073/pnas.1004906107.
View | DOI | Download (ext.)
 

2010 | Journal Article | IST-REx-ID: 3738
Walczak, Aleksandra, et al. “Optimizing Information Flow in Small Genetic Networks. II. Feed-Forward Interactions.” Physical Review E Statistical Nonlinear and Soft Matter Physics, vol. 81, no. 4, American Institute of Physics, 2010, doi:10.1103/PhysRevE.81.041905.
View | DOI | Download (ext.)
 

2010 | Preprint | IST-REx-ID: 3743 | OA
Tkačik, Gašper. “From Statistical Mechanics to Information Theory: Understanding Biophysical Information-Processing Systems.” ArXiv, vol. q-MN, ArXiv, 2010, pp. 1–52.
View | Download (ext.)
 

2010 | Journal Article | IST-REx-ID: 3748 | OA
Park, Heungwon, et al. “Interdependence of Behavioural Variability and Response to Small Stimuli in Bacteria.” Nature, vol. 468, Nature Publishing Group, 2010, pp. 819–23, doi:10.1038/nature09551.
View | DOI | Download (ext.)
 

2010 | Journal Article | IST-REx-ID: 3749 | OA
Park, Heungwon, et al. “Fine-Tuning of Chemotactic Response in E. Coli Determined by High-Throughput Capillary Assay.” Current Microbiology, vol. 62, no. 3, Springer, 2010, pp. 764–69, doi:10.1007/s00284-010-9778-z.
View | DOI | Download (ext.)
 

2010 | Journal Article | IST-REx-ID: 3759
Wojtan, Christopher J., et al. “Physics-Inspired Topology Changes for Thin Fluid Features.” ACM Transactions on Graphics, vol. 29, no. 4, ACM, 2010, doi:10.1145/1778765.1778787.
View | DOI | Download None (ext.)
 

2010 | Journal Article | IST-REx-ID: 3761
Kwatra, Nipun, et al. “Fluid Simulation with Articulated Bodies.” IEEE Transactions on Visualization and Computer Graphics, vol. 16, no. 1, IEEE, 2010, pp. 70–80, doi:10.1109/TVCG.2009.66.
View | DOI
 

2010 | Journal Article | IST-REx-ID: 3766
Thürey, Nils, et al. “A Multiscale Approach to Mesh-Based Surface Tension Flows.” ACM Transactions on Graphics, vol. 29, no. 4, ACM, 2010, doi:10.1145/1778765.1778785.
View | DOI
 

2010 | Journal Article | IST-REx-ID: 3772 | OA
Barton, Nicholas H. “Understanding Adaptation in Large Populations.” PLoS Genetics, vol. 6, no. 6, e1000987, Public Library of Science, 2010, doi:10.1371/journal.pgen.1000987.
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, vol. 365, no. 1547, Royal Society, 2010, pp. 1825–40, doi:10.1098/rstb.2010.0001.
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2010 | Journal Article | IST-REx-ID: 3774
Senn, Helen, et al. “Phenotypic Correlates of Hybridisation between Red and Sika Deer (Genus Cervus).” Journal of Animal Ecology, vol. 79, no. 2, Wiley-Blackwell, 2010, pp. 414–25, doi:10.1111/j.1365-2656.2009.01633.x.
View | DOI | PubMed | Europe PMC
 

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, vol. 365, no. 1552, Royal Society, 2010, pp. 2559–69, doi:10.1098/rstb.2010.0106.
View | Files available | DOI
 

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, vol. 365, no. 1544, Royal Society, 2010, pp. 1281–94, doi:10.1098/rstb.2009.0320.
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2010 | Journal Article | IST-REx-ID: 3779 | OA
Rosas, Ulises, et al. “Cryptic Variation between Species and the Basis of Hybrid Performance.” PLoS Biology, vol. 8, no. 7, e1000429, Public Library of Science, 2010, doi:10.1371/journal.pbio.1000429.
View | Files available | DOI
 

2010 | Conference Paper | IST-REx-ID: 3782
Chen, Chao, and Daniel Freedman. “Topology Noise Removal for Curve  and Surface Evolution.” Conference Proceedings MCV 2010, vol. 6533, Springer, 2010, pp. 31–42, doi:10.1007/978-3-642-18421-5_4.
View | DOI
 

2010 | Journal Article | IST-REx-ID: 3783
Palero, Ferran, et al. “Microsatelight – Pipeline to Expedite Microsatellite Analysis.” Journal of Heredity, vol. 102, no. 2, Oxford University Press, 2010, pp. 247–49, doi:10.1093/jhered/esq111.
View | DOI
 

2010 | Journal Article | IST-REx-ID: 3785
Palero, Ferran, et al. “Genetic Diversity Levels in Fishery-Exploited Spiny Lobsters of the Genus Palinurus (Decapoda: Achelata).” Journal of Crustacean Biology, vol. 30, no. 4, BioOne, 2010, pp. 658–63, doi:10.1651/09-3192.1.
View | DOI
 

2010 | Journal Article | IST-REx-ID: 3786
Palero, Ferran, et al. “Final-Stage Phyllosoma of Palinustus A. Milne-Edwards, 1880 (Crustacea: Decapoda: Achelata: Palinuridae)-The First Complete Description.” Zootaxa, vol. 2403, no. 1, Magnolia Press, 2010, pp. 42–58, doi:10.11646/zootaxa.2403.1.4.
View | DOI
 

2010 | Journal Article | IST-REx-ID: 3787 | OA
Palero, Ferran, et al. “DNA Extraction from Formalin-Fixed Tissue: New Light from the Deep Sea.” Scientia Marina, vol. 74, no. 3, Consejo Superior de Investigaciones Científicas, 2010, pp. 465–70, doi:10.3989/scimar.2010.74n3465.
View | DOI | Download Submitted Version (ext.)
 

2010 | Journal Article | IST-REx-ID: 3788
Klopper, Abigail, et al. “Finite-Size Corrections to Scaling Behavior in Sorted Cell Aggregates.” The European Physical Journal E: Soft Matter and Biological Physics, vol. 33, no. 2, Springer, 2010, pp. 99–103, doi:10.1140/epje/i2010-10642-y.
View | DOI
 

2010 | Journal Article | IST-REx-ID: 3789
Quesada-Hernández, Elena, et al. “Stereotypical Cell Division Orientation Controls Neural Rod Midline Formation in Zebrafish.” Current Biology, vol. 20, no. 21, Cell Press, 2010, pp. 1966–72, doi:10.1016/j.cub.2010.10.009.
View | DOI
 

2010 | Journal Article | IST-REx-ID: 3790 | OA
Diz Muñoz, Alba, et al. “Control of Directed Cell Migration in Vivo by Membrane-to-Cortex Attachment.” PLoS Biology, vol. 8, no. 11, e1000544, Public Library of Science, 2010, doi:10.1371/journal.pbio.1000544.
View | Files available | 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, vol. 20, no. 10, Cell Press, 2010, pp. 586–92, doi:10.1016/j.tcb.2010.06.009.
View | DOI
 

2010 | Conference Paper | IST-REx-ID: 3793 | OA
Nowozin, Sebastian, et al. On Parameter Learning in CRF-Based Approaches to Object Class Image Segmentation. Vol. 6316, Springer, 2010, pp. 98–111, doi:10.1007/978-3-642-15567-3_8.
View | Files available | DOI
 

2010 | Conference Paper | IST-REx-ID: 3794
Lampert, Christoph, and Oliver Krömer. Weakly-Paired Maximum Covariance Analysis for Multimodal Dimensionality Reduction and Transfer Learning. Vol. 6312, Springer, 2010, pp. 566–79, doi:10.1007/978-3-642-15552-9_41.
View | DOI | Download None (ext.)
 

2010 | Book Chapter | IST-REx-ID: 3795 | OA
Edelsbrunner, Herbert, et al. “The Stability of the Apparent Contour of an Orientable 2-Manifold.” Topological Data Analysis and Visualization: Theory, Algorithms and Applications, Springer, 2010, pp. 27–42, doi:10.1007/978-3-642-15014-2_3.
View | Files available | DOI
 

2010 | Journal Article | IST-REx-ID: 3829
Bucurenciu, Iancu, et al. “A Small Number of Open Ca(2+) Channels Trigger Transmitter Release at a Central GABAergic Synapse.” Nature Neuroscience, vol. 13, no. 1, Nature Publishing Group, 2010, pp. 19–21, doi:10.1038/nn.2461 .
View | DOI
 

2010 | Journal Article | IST-REx-ID: 3830
Hu, Hua, et al. “Dendritic Mechanisms Underlying Rapid Synaptic Activation of Fast-Spiking Hippocampal Interneurons.” Science, vol. 327, no. 5961, American Association for the Advancement of Science, 2010, pp. 52–58, doi:10.1126/science.1177876.
View | DOI
 

2010 | Journal Article | IST-REx-ID: 3831 | OA
Norenberg, Anja, et al. “Distinct Nonuniform Cable Properties Optimize Rapid and Efficient Activation of Fast-Spiking GABAergic Interneurons.” PNAS, vol. 107, no. 2, National Academy of Sciences, 2010, pp. 894–99, doi:10.1073/pnas.0910716107.
View | DOI | Download (ext.)
 

2010 | Journal Article | IST-REx-ID: 3832 | OA
Guzmán, José, and Peter M. Jonas. “Beyond TARPs: The Growing List of Auxiliary AMPAR Subunits.” Neuron, vol. 66, no. 1, Elsevier, 2010, pp. 8–10, doi:10.1016/j.neuron.2010.04.003.
View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2010 | Journal Article | IST-REx-ID: 3833
Jonas, Peter M., and Stefan Hefft. “GABA Release at Terminals of CCK-Interneurons: Synchrony, Asynchrony and Modulation by Cannabinoid Receptors (Commentary on Ali & Todorova).” The European Journal of Neuroscience, vol. 31, no. 7, Wiley-Blackwell, 2010, pp. 1194–95, doi:10.1111/j.1460-9568.2010.07189.x.
View | DOI
 

2010 | Journal Article | IST-REx-ID: 3834 | OA
Wolf, Verena, et al. “Solving the Chemical Master Equation Using Sliding Windows.” BMC Systems Biology, vol. 4, no. 42, BioMed Central, 2010, pp. 1–19, doi:10.1186/1752-0509-4-42.
View | Files available | DOI
 

2010 | Conference Paper | IST-REx-ID: 3838 | OA
Henzinger, Thomas A., et al. Hybrid Numerical Solution of the Chemical Master Equation. Springer, 2010, pp. 55–65, doi:10.1145/1839764.1839772.
View | Files available | DOI
 

2010 | Conference Paper | IST-REx-ID: 3839 | OA
Henzinger, Thomas A., et al. Invariant and Type Inference for Matrices. Vol. 5944, Springer, 2010, pp. 163–79, doi:10.1007/978-3-642-11319-2_14.
View | Files available | DOI
 

2010 | Conference Paper | IST-REx-ID: 3840
Henzinger, Thomas A. From Boolean to Quantitative Notions of Correctness. Vol. 45, no. 1, ACM, 2010, pp. 157–58, doi:10.1145/1706299.1706319.
View | DOI
 

2010 | Journal Article | IST-REx-ID: 3842 | OA
Didier, Frédéric, et al. “Fast Adaptive Uniformization of the Chemical Master Equation.” IET Systems Biology, vol. 4, no. 6, Institution of Engineering and Technology, 2010, pp. 441–52, doi:10.1049/iet-syb.2010.0005.
View | Files available | DOI
 

2010 | Conference Paper | IST-REx-ID: 3845 | OA
Henzinger, Thomas A., et al. Aligators for Arrays. Vol. 6397, Springer, 2010, pp. 348–56, doi:10.1007/978-3-642-16242-8_25.
View | Files available | DOI
 

2010 | Conference Paper | IST-REx-ID: 3847 | OA
Didier, Frédéric, et al. SABRE: A Tool for the Stochastic Analysis of Biochemical Reaction Networks. IEEE, 2010, pp. 193–94, doi:10.1109/QEST.2010.33.
View | Files available | DOI
 

2010 | Conference Paper | IST-REx-ID: 3848
Bendich, Paul, et al. The Robustness of Level Sets. Vol. 6346, Springer, 2010, pp. 1–10, doi:10.1007/978-3-642-15775-2_1.
View | DOI
 

2010 | Conference Paper | IST-REx-ID: 3849 | OA
Bendich, Paul, et al. Persistent Homology under Non-Uniform Error. Vol. 6281, Springer, 2010, pp. 12–23, doi:10.1007/978-3-642-15155-2_2.
View | Files available | DOI
 

2010 | Journal Article | IST-REx-ID: 385 | OA
Alpichshev, Zhanybek, et al. “STM Imaging of Electronic Waves on the Surface of Bi2Te3 Topologically Protected Surface States and Hexagonal Warping Effects.” Physical Review Letters, vol. 104, no. 1, American Physical Society, 2010, doi:10.1103/PhysRevLett.104.016401.
View | DOI | Download None (ext.)
 

2010 | Conference Paper | IST-REx-ID: 3850
Berberich, Eric, et al. Polygonal Reconstruction from Approximate Offsets. TU Dortmund, 2010, pp. 12–23.
View
 

2010 | Conference Paper | IST-REx-ID: 3851 | OA
Chatterjee, Krishnendu, and Laurent Doyen. Energy Parity Games. Vol. 6199, Springer, 2010, pp. 599–610, doi:10.1007/978-3-642-14162-1_50.
View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2010 | Conference Paper | IST-REx-ID: 3852 | OA
Chatterjee, Krishnendu, and Ritankar Majumdar. Discounting in Games across Time Scales. Vol. 25, EPTCS, 2010, pp. 22–29, doi:10.4204/EPTCS.25.6.
View | Files available | DOI | arXiv
 

2010 | Conference Paper | IST-REx-ID: 3853 | OA
Chatterjee, Krishnendu, et al. Mean-Payoff Automaton Expressions. Vol. 6269, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2010, pp. 269–83, doi:10.1007/978-3-642-15375-4_19.
View | Files available | DOI
 

2010 | Conference Paper | IST-REx-ID: 3854
Chatterjee, Krishnendu, et al. Obliging Games. Vol. 6269, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2010, pp. 284–96, doi:10.1007/978-3-642-15375-4_20.
View | DOI
 

2010 | Conference Paper | IST-REx-ID: 3855 | OA
Chatterjee, Krishnendu, et al. Qualitative Analysis of Partially-Observable Markov Decision Processes. Vol. 6281, Springer, 2010, pp. 258–69, doi:10.1007/978-3-642-15155-2_24.
View | Files available | DOI
 

2010 | Conference Paper | IST-REx-ID: 3856 | OA
Chatterjee, Krishnendu, et al. Randomness for Free. Vol. 6281, Springer, 2010, pp. 246–57, doi:10.1007/978-3-642-15155-2_23.
View | Files available | DOI | Download Preprint (ext.)
 

2010 | Conference Paper | IST-REx-ID: 3857
Chatterjee, Krishnendu, and Thomas A. Henzinger. Probabilistic Automata on Infinite Words: Decidability and Undecidability Results. Vol. 6252, Springer, 2010, pp. 1–16, doi:10.1007/978-3-642-15643-4_1.
View | Files available | DOI
 

2010 | Conference Paper | IST-REx-ID: 3858 | OA
Chatterjee, Krishnendu, and Laurent Doyen. The Complexity of Partial-Observation Parity Games. Vol. 6397, Springer, 2010, pp. 1–14, doi:10.1007/978-3-642-16242-8_1.
View | Files available | DOI
 

2010 | Conference (Editor) | IST-REx-ID: 3859
Chatterjee, Krishnendu, and Thomas A. Henzinger, editors. Formal Modeling and Analysis of Timed Systems. Vol. 6246, Springer, 2010, doi:10.1007/978-3-642-15297-9.
View | Files available | DOI
 

2010 | Conference Paper | IST-REx-ID: 3860 | OA
Chatterjee, Krishnendu, et al. Generalized Mean-Payoff and Energy Games. Vol. 8, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2010, pp. 505–16, doi:10.4230/LIPIcs.FSTTCS.2010.505.
View | Files available | DOI
 

2010 | Journal Article | IST-REx-ID: 3861 | OA
Chatterjee, Krishnendu, et al. “Strategy Logic.” Information and Computation, vol. 208, no. 6, Elsevier, 2010, pp. 677–93, doi:10.1016/j.ic.2009.07.004.
View | Files available | DOI
 

2010 | Journal Article | IST-REx-ID: 3862 | OA
Chatterjee, Krishnendu, et al. “Quantitative Languages.” ACM Transactions on Computational Logic (TOCL), vol. 11, no. 4, 23, ACM, 2010, doi:10.1145/1805950.1805953.
View | Files available | DOI
 

2010 | Journal Article | IST-REx-ID: 3863 | OA
Berwanger, Dietmar, et al. “Strategy Construction for Parity Games with Imperfect Information.” Information and Computation, vol. 208, no. 10, Elsevier, 2010, pp. 1206–20, doi:10.1016/j.ic.2009.09.006.
View | Files available | DOI
 

2010 | Conference Paper | IST-REx-ID: 3864 | OA
Chatterjee, Krishnendu, et al. Measuring and Synthesizing Systems in Probabilistic Environments. Vol. 6174, Springer, 2010, pp. 380–95, doi:10.1007/978-3-642-14295-6_34.
View | Files available | DOI | Download Preprint (ext.)
 

2010 | Conference Paper | IST-REx-ID: 3865
Chatterjee, Krishnendu, et al. Analyzing the Impact of Change in Multi-Threaded Programs. Edited by David Rosenblum and Gabriele Taenzer, vol. 6013, Springer, 2010, pp. 293–307, doi:10.1007/978-3-642-12029-9_21.
View | DOI
 

2010 | Conference Paper | IST-REx-ID: 3866 | OA
Bloem, Roderick, et al. Robustness in the Presence of Liveness. Edited by Tayssir Touili et al., vol. 6174, Springer, 2010, pp. 410–24, doi:10.1007/978-3-642-14295-6_36.
View | Files available | DOI
 

2010 | Journal Article | IST-REx-ID: 3867 | OA
Chatterjee, Krishnendu, et al. “Expressiveness and Closure Properties for Quantitative Languages.” Logical Methods in Computer Science, vol. 6, no. 3, International Federation of Computational Logic, 2010, pp. 1–23, doi:10.2168/LMCS-6(3:10)2010.
View | Files available | DOI
 

2010 | Journal Article | IST-REx-ID: 3868 | OA
Chatterjee, Krishnendu, et al. “Algorithms for Game Metrics.” Logical Methods in Computer Science, vol. 6, no. 3, International Federation of Computational Logic, 2010, pp. 1–27, doi:10.2168/LMCS-6(3:13)2010.
View | Files available | DOI
 

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

2010 | Journal Article | IST-REx-ID: 3901 | OA
Bendich, Paul, et al. “Computing Robustness and Persistence for Images.” IEEE Transactions of Visualization and Computer Graphics, vol. 16, no. 6, IEEE, 2010, pp. 1251–60, doi:10.1109/TVCG.2010.139.
View | Files available | DOI
 

2010 | Journal Article | IST-REx-ID: 3904 | OA
Ugelvig, Line V., et al. “Rapid Anti-Pathogen Response in Ant Societies Relies on High Genetic Diversity.” Proceedings of the Royal Society of London Series B Biological Sciences, vol. 277, no. 1695, Royal Society, The, 2010, pp. 2821–28, doi:10.1098/rspb.2010.0644.
View | DOI | Download None (ext.)
 

2010 | Journal Article | IST-REx-ID: 3956
Nourshargh, Sussan, et al. “Breaching Multiple Barriers: Leukocyte Motility through Venular Walls and the Interstitium.” Nature Reviews Molecular Cell Biology, vol. 11, no. 5, Nature Publishing Group, 2010, pp. 366–78, doi:10.1038/nrm2889.
View | DOI
 

2010 | Journal Article | IST-REx-ID: 3957
Riedl, Julia, et al. “Lifeact Mice for Studying F-Actin Dynamics.” Nature Methods, vol. 7, no. 3, Nature Publishing Group, 2010, pp. 168–69, doi:10.1038/nmeth0310-168.
View | DOI
 

2010 | Journal Article | IST-REx-ID: 3958
Mohan, Hema, et al. “Extracellular Matrix in Multiple Sclerosis Lesions: Fibrillar Collagens, Biglycan and Decorin Are Upregulated and Associated with Infiltrating Immune Cells.” Brain Pathology, vol. 20, no. 5, Wiley-Blackwell, 2010, pp. 966–75, doi:10.1111/j.1750-3639.2010.00399.x.
View | DOI
 

2010 | Journal Article | IST-REx-ID: 3959
Schumann, Kathrin, et al. “Immobilized Chemokine Fields and Soluble Chemokine Gradients Cooperatively Shape Migration Patterns of Dendritic Cells.” Immunity, vol. 32, no. 5, Cell Press, 2010, pp. 703–13, doi:10.1016/j.immuni.2010.04.017.
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, vol. 29, no. 17, Wiley-Blackwell, 2010, pp. 2861–63, doi:10.1038/emboj.2010.183.
View | DOI | Download (ext.)
 

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, vol. 11, no. 10, Wiley-Blackwell, 2010, pp. 744–50, doi:10.1038/embor.2010.147.
View | DOI
 

2010 | Thesis | IST-REx-ID: 3962
Pflicke, Holger.   Dendritic Cell Migration across Basement Membranes in the Skin. IST Austria, 2010.
View
 

2010 | Journal Article | IST-REx-ID: 3963
Streinzer, M., et al. “Visual Discrimination between Two Sexually Deceptive Ophrys Species by a Bee Pollinator.” Arthropod-Plant Interactions, vol. 4, no. 3, Springer, 2010, pp. 141–48, doi:10.1007/s11829-010-9093-4.
View | DOI
 

2010 | Journal Article | IST-REx-ID: 3964
Cohen Steiner, David, et al. “Lipschitz Functions Have L_p-Stable Persistence.” Foundations of Computational Mathematics, vol. 10, no. 2, Springer, 2010, pp. 127–39, doi:10.1007/s10208-010-9060-6.
View | DOI
 

2010 | Journal Article | IST-REx-ID: 4134
Bridle, Jon, et al. “Why Is Adaptation Prevented at Ecological Margins? New Insights from Individual-Based Simulations.” Ecology Letters, vol. 13, no. 4, Wiley-Blackwell, 2010, pp. 485–94, doi:10.1111/j.1461-0248.2010.01442.x.
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, vol. 29, no. 16, Wiley-Blackwell, 2010, pp. 2753–68, doi:10.1038/emboj.2010.182.
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2010 | Journal Article | IST-REx-ID: 4163
Oteíza, Pablo, et al. “Planar Cell Polarity Signalling Regulates Cell Adhesion Properties in Progenitors of the Zebrafish Laterality Organ.” Development, vol. 137, no. 20, Company of Biologists, 2010, pp. 3459–68, doi:10.1242/dev.049981.
View | DOI
 

2010 | Journal Article | IST-REx-ID: 4187
Kardash, Elena, et al. “A Role for Rho GTPases and Cell-Cell Adhesion in Single-Cell Motility in Vivo.” Nature Cell Biology, vol. 12, no. 1, Nature Publishing Group, 2010, pp. 47–53, doi:10.1038/ncb2003.
View | DOI
 

2010 | Journal Article | IST-REx-ID: 4221
Arboleda Estudillo, Yohanna, et al. “Movement Directionality in Collective Migration of Germ Layer Progenitors.” Current Biology, vol. 20, no. 2, Cell Press, 2010, pp. 161–69, doi:10.1016/j.cub.2009.11.036.
View | DOI
 

2010 | Journal Article | IST-REx-ID: 4243 | OA
Barton, Nicholas H., et al. “A New Model for Evolution in a Spatial Continuum.” Electronic Journal of Probability, vol. 15, no. 7, Institute of Mathematical Statistics, 2010, pp. 162–216, doi:10.1214/EJP.v15-741.
View | Files available | 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.” Handbuch Bibliothek 2.0, edited by Julia Bergmann and Patrick Danowski, De Gruyter, 2010, pp. 5–20, doi:10.1515/9783110232103.
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 | 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 | Book (Editor) | IST-REx-ID: 4346 | OA
Danowski, Patrick, and Julia Bergmann, editors. Handbuch Bibliothek 2.0. Vol. 41, De Gruyter, 2010, doi:10.1515/9783110232103.
View | DOI | Download Published Version (ext.)
 

2010 | Journal Article | IST-REx-ID: 4358
Guinane, Caitriona, et al. “Evolutionary Genomics of Staphylococcus Aureus Reveals Insights into the Origin and Molecular Basis of Ruminant Host Adaptation.” Genome Biology and Evolution, vol. 2, Oxford University Press, 2010, pp. 454–66, doi:10.1093/gbe/evq031.
View | DOI
 

2010 | Conference Paper | IST-REx-ID: 4361 | OA
Wies, Thomas, et al. Forward Analysis of Depth-Bounded Processes. Edited by Luke Ong, vol. 6014, Springer, 2010, pp. 94–108, doi:10.1007/978-3-642-12032-9_8.
View | Files available | DOI
 

2010 | Conference Paper | IST-REx-ID: 4362
Singh, Vasu. Runtime Verification for Software Transactional Memories. Edited by Oleg Sokolsky et al., vol. 6418, Springer, 2010, pp. 421–35, doi:10.1007/978-3-642-16612-9_32.
View | DOI
 

2010 | Conference Paper | IST-REx-ID: 4364
Podelski, Andreas, and Thomas Wies. Counterexample-Guided Focus. ACM, 2010, pp. 249–60, doi:10.1145/1707801.1706330.
View | DOI
 

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, vol. 6246, Springer, 2010, pp. 152–67, doi:10.1007/978-3-642-15297-9_13.
View | Files available | DOI
 

2010 | Conference Paper | IST-REx-ID: 4378 | OA
Kuncak, Viktor, et al. Building a Calculus of Data Structures. Edited by Gilles Barthe and Manuel Hermenegildo, vol. 5944, Springer, 2010, pp. 26–44, doi:10.1007/978-3-642-11319-2_6.
View | DOI | Download Submitted Version (ext.)
 

2010 | Journal Article | IST-REx-ID: 4379 | OA
Jones, Kevin, et al. “Analog Property Checkers: A DDR2 Case Study.” Formal Methods in System Design, vol. 36, no. 2, Springer, 2010, pp. 114–30, doi:10.1007/s10703-009-0085-x.
View | DOI | Download (ext.)
 

2010 | Conference Paper | IST-REx-ID: 4380 | OA
Henzinger, Thomas A., et al. A Marketplace for Cloud Resources. ACM, 2010, pp. 1–8, doi:10.1145/1879021.1879022.
View | Files available | DOI
 

Search

Filter Publications