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.

7346 Publications


2010 | Journal Article | IST-REx-ID: 3748 | OA
Park H, Pontius W, Guet CC, Marko J, Emonet T, Cluzel P. 2010. Interdependence of behavioural variability and response to small stimuli in bacteria. Nature. 468, 819–823.
View | DOI | Download (ext.)
 

2010 | Journal Article | IST-REx-ID: 3749 | OA
Park H, Guet CC, Emonet T, Cluzel P. 2010. Fine-tuning of chemotactic response in E. coli determined by high-throughput capillary assay. Current Microbiology. 62(3), 764–769.
View | DOI | Download (ext.)
 

2010 | Journal Article | IST-REx-ID: 3759
Wojtan CJ, Thürey N, Gross M, Turk G. 2010. Physics-inspired topology changes for thin fluid features. ACM Transactions on Graphics. 29(4).
View | DOI | Download None (ext.)
 

2010 | Journal Article | IST-REx-ID: 3761
Kwatra N, Wojtan CJ, Carlson M, Essa I, Mucha P, Turk G. 2010. Fluid simulation with articulated bodies. IEEE Transactions on Visualization and Computer Graphics. 16(1), 70–80.
View | DOI
 

2010 | Journal Article | IST-REx-ID: 3766
Thürey N, Wojtan CJ, Gross M, Turk G. 2010. A multiscale approach to mesh-based surface tension flows. ACM Transactions on Graphics. 29(4).
View | DOI
 

2010 | Journal Article | IST-REx-ID: 3772 | OA
Barton NH. 2010. Understanding adaptation in large populations. PLoS Genetics. 6(6), e1000987.
View | Files available | DOI
 

2010 | Journal Article | IST-REx-ID: 3773 | OA
Barton NH. 2010. What role does natural selection play in speciation? Philosophical Transactions of the Royal Society of London. Series B, Biological Sciences. 365(1547), 1825–1840.
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2010 | Journal Article | IST-REx-ID: 3774
Senn H, Swanson G, Goodman S, Barton NH, Pemberton J. 2010. Phenotypic correlates of hybridisation between red and sika deer (genus Cervus). Journal of Animal Ecology. 79(2), 414–425.
View | DOI | PubMed | Europe PMC
 

2010 | Journal Article | IST-REx-ID: 3776 | OA
Barton NH. 2010. Genetic linkage and natural selection. Philosophical Transactions of the Royal Society of London. Series B, Biological Sciences. 365(1552), 2559–2569.
View | Files available | DOI
 

2010 | Journal Article | IST-REx-ID: 3777 | OA
Barton NH. 2010. Mutation and the evolution of recombination. Philosophical Transactions of the Royal Society of London. Series B, Biological Sciences. 365(1544), 1281–1294.
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2010 | Journal Article | IST-REx-ID: 3779 | OA
Rosas U, Barton NH, Copsey L, Barbier De Reuille P, Coen E. 2010. Cryptic variation between species and the basis of hybrid performance. PLoS Biology. 8(7), e1000429.
View | Files available | DOI
 

2010 | Conference Paper | IST-REx-ID: 3782
Chen C, Freedman D. 2010. Topology noise removal for curve  and surface evolution. Conference proceedings MCV 2010. MCV: Medical Computer Vision, LNCS, vol. 6533, 31–42.
View | DOI
 

2010 | Journal Article | IST-REx-ID: 3783
Palero F, González Candelas F, Pascual M. 2010. Microsatelight – Pipeline to expedite microsatellite analysis. Journal of Heredity. 102(2), 247–249.
View | DOI
 

2010 | Journal Article | IST-REx-ID: 3785
Palero F, Abello P, Macpherson E, Matthee C, Pascual M. 2010. Genetic diversity levels in fishery-exploited spiny lobsters of the Genus Palinurus (Decapoda: Achelata). Journal of Crustacean Biology. 30(4), 658–663.
View | DOI
 

2010 | Journal Article | IST-REx-ID: 3786
Palero F, Guerao G, Clark P, Abello P. 2010. Final-stage phyllosoma of Palinustus A. Milne-Edwards, 1880 (Crustacea: Decapoda: Achelata: Palinuridae)-The first complete description. Zootaxa. 2403(1), 42–58.
View | DOI
 

2010 | Journal Article | IST-REx-ID: 3787 | OA
Palero F, Hall S, Clark P, Johnston D, Mackenzie Dodds J, Thatje S. 2010. DNA extraction from formalin-fixed tissue: new light from the deep sea. Scientia Marina. 74(3), 465–470.
View | DOI | Download Submitted Version (ext.)
 

2010 | Journal Article | IST-REx-ID: 3788
Klopper A, Krens G, Grill S, Heisenberg C-PJ. 2010. Finite-size corrections to scaling behavior in sorted cell aggregates. The European Physical Journal E: Soft Matter and Biological Physics. 33(2), 99–103.
View | DOI
 

2010 | Journal Article | IST-REx-ID: 3789
Quesada-Hernández E, Caneparo L, Schneider S, Winkler S, Liebling M, Fraser S, Heisenberg C-PJ. 2010. Stereotypical cell division orientation controls neural rod midline formation in zebrafish. Current Biology. 20(21), 1966–1972.
View | DOI
 

2010 | Journal Article | IST-REx-ID: 3790 | OA
Diz Muñoz A, Krieg M, Bergert M, Ibarlucea Benitez I, Müller D, Paluch E, Heisenberg C-PJ. 2010. Control of directed cell migration in vivo by membrane-to-cortex attachment. PLoS Biology. 8(11), e1000544.
View | Files available | DOI
 

2010 | Journal Article | IST-REx-ID: 3792
Carvalho L, Heisenberg C-PJ. 2010. The yolk syncytial layer in early, zebrafish development. Trends in Cell Biology. 20(10), 586–592.
View | DOI
 

2010 | Conference Paper | IST-REx-ID: 3793 | OA
Nowozin S, Gehler P, Lampert C. 2010. On parameter learning in CRF-based approaches to object class image segmentation. ECCV: European Conference on Computer Vision, LNCS, vol. 6316, 98–111.
View | Files available | DOI
 

2010 | Conference Paper | IST-REx-ID: 3794
Lampert C, Krömer O. 2010. Weakly-paired maximum covariance analysis for multimodal dimensionality reduction and transfer learning. ECCV: European Conference on Computer Vision, LNCS, vol. 6312, 566–579.
View | DOI | Download None (ext.)
 

2010 | Book Chapter | IST-REx-ID: 3795 | OA
Edelsbrunner H, Morozov D, Patel A. 2010.The stability of the apparent contour of an orientable 2-manifold. In: Topological Data Analysis and Visualization: Theory, Algorithms and Applications. Mathematics and Visualization, , 27–42.
View | Files available | DOI
 

2010 | Journal Article | IST-REx-ID: 3829
Bucurenciu I, Bischofberger J, Jonas PM. 2010. A small number of open Ca(2+) channels trigger transmitter release at a central GABAergic synapse. Nature Neuroscience. 13(1), 19–21.
View | DOI
 

2010 | Journal Article | IST-REx-ID: 3830
Hu H, Martina M, Jonas PM. 2010. Dendritic mechanisms underlying rapid synaptic activation of fast-spiking hippocampal interneurons. Science. 327(5961), 52–8.
View | DOI
 

2010 | Journal Article | IST-REx-ID: 3831 | OA
Norenberg A, Hu H, Vida I, Bartos M, Jonas PM. 2010. Distinct nonuniform cable properties optimize rapid and efficient activation of fast-spiking GABAergic interneurons. PNAS. 107(2), 894–9.
View | DOI | Download (ext.)
 

2010 | Journal Article | IST-REx-ID: 3832 | OA
Guzmán J, Jonas PM. 2010. Beyond TARPs: The growing list of auxiliary AMPAR subunits. Neuron. 66(1), 8–10.
View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2010 | Journal Article | IST-REx-ID: 3833
Jonas PM, Hefft S. 2010. GABA release at terminals of CCK-interneurons: synchrony, asynchrony and modulation by cannabinoid receptors (commentary on Ali & Todorova). The European Journal of Neuroscience. 31(7), 1194–1195.
View | DOI
 

2010 | Journal Article | IST-REx-ID: 3834 | OA
Wolf V, Goel R, Mateescu M, Henzinger TA. 2010. Solving the chemical master equation using sliding windows. BMC Systems Biology. 4(42), 1–19.
View | Files available | DOI
 

2010 | Conference Paper | IST-REx-ID: 3838 | OA
Henzinger TA, Mateescu M, Mikeev L, Wolf V. 2010. Hybrid numerical solution of the chemical master equation. CMSB: Computational Methods in Systems Biology, 55–65.
View | Files available | DOI
 

2010 | Conference Paper | IST-REx-ID: 3839 | OA
Henzinger TA, Hottelier T, Kovács L, Voronkov A. 2010. Invariant and type inference for matrices. VMCAI: Verification, Model Checking and Abstract Interpretation, LNCS, vol. 5944, 163–179.
View | Files available | DOI
 

2010 | Conference Paper | IST-REx-ID: 3840
Henzinger TA. 2010. From boolean to quantitative notions of correctness. POPL: Principles of Programming Languages vol. 45, 157–158.
View | DOI
 

2010 | Journal Article | IST-REx-ID: 3842 | OA
Didier F, Henzinger TA, Mateescu M, Wolf V. 2010. Fast adaptive uniformization of the chemical master equation. IET Systems Biology. 4(6), 441–452.
View | Files available | DOI
 

2010 | Conference Paper | IST-REx-ID: 3845 | OA
Henzinger TA, Hottelier T, Kovács L, Rybalchenko A. 2010. Aligators for arrays. LPAR: Logic for Programming, Artificial Intelligence, and Reasoning, LNCS, vol. 6397, 348–356.
View | Files available | DOI
 

2010 | Conference Paper | IST-REx-ID: 3847 | OA
Didier F, Henzinger TA, Mateescu M, Wolf V. 2010. SABRE: A tool for the stochastic analysis of biochemical reaction networks. QEST: Quantitative Evaluation of Systems, 193–194.
View | Files available | DOI
 

2010 | Conference Paper | IST-REx-ID: 3848
Bendich P, Edelsbrunner H, Morozov D, Patel A. 2010. The robustness of level sets. ESA: European Symposium on Algorithms, LNCS, vol. 6346, 1–10.
View | DOI
 

2010 | Conference Paper | IST-REx-ID: 3849 | OA
Bendich P, Edelsbrunner H, Kerber M, Patel A. 2010. Persistent homology under non-uniform error. MFCS: Mathematical Foundations of Computer Science, LNCS, vol. 6281, 12–23.
View | Files available | DOI
 

2010 | Journal Article | IST-REx-ID: 385 | OA
Alpichshev Z, Analytis J, Chu J, Fisher I, Chen Y, Shen Z, Fang A, Kapitulnik A. 2010. STM imaging of electronic waves on the surface of Bi2Te3 Topologically protected surface states and hexagonal warping effects. Physical Review Letters. 104(1).
View | DOI | Download None (ext.)
 

2010 | Conference Paper | IST-REx-ID: 3850
Berberich E, Halperin D, Kerber M, Pogalnikova R. 2010. Polygonal reconstruction from approximate offsets. EuroCG: European Workshop on Computational Geometry, 12–23.
View
 

2010 | Conference Paper | IST-REx-ID: 3851 | OA
Chatterjee K, Doyen L. 2010. Energy parity games. ICALP: Automata, Languages and Programming, 37th International Colloquium, LNCS, vol. 6199, 599–610.
View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2010 | Conference Paper | IST-REx-ID: 3852 | OA
Chatterjee K, Majumdar R. 2010. Discounting in games across time scales. GandALF: Games, Automata, Logic, and Formal Verification, EPTCS, vol. 25, 22–29.
View | Files available | DOI | arXiv
 

2010 | Conference Paper | IST-REx-ID: 3853 | OA
Chatterjee K, Doyen L, Edelsbrunner H, Henzinger TA, Rannou P. 2010. Mean-payoff automaton expressions. CONCUR: Concurrency Theory, LNCS, vol. 6269, 269–283.
View | Files available | DOI
 

2010 | Conference Paper | IST-REx-ID: 3854
Chatterjee K, Horn F, Löding C. 2010. Obliging games. CONCUR: Concurrency Theory, LNCS, vol. 6269, 284–296.
View | DOI
 

2010 | Conference Paper | IST-REx-ID: 3855 | OA
Chatterjee K, Doyen L, Henzinger TA. 2010. Qualitative analysis of partially-observable Markov Decision Processes. MFCS: Mathematical Foundations of Computer Science, LNCS, vol. 6281, 258–269.
View | Files available | DOI
 

2010 | Conference Paper | IST-REx-ID: 3856 | OA
Chatterjee K, Doyen L, Gimbert H, Henzinger TA. 2010. Randomness for free. MFCS: Mathematical Foundations of Computer Science, LNCS, vol. 6281, 246–257.
View | Files available | DOI | Download Preprint (ext.)
 

2010 | Conference Paper | IST-REx-ID: 3857
Chatterjee K, Henzinger TA. 2010. Probabilistic Automata on infinite words: decidability and undecidability results. ATVA: Automated Technology for Verification and Analysis, LNCS, vol. 6252, 1–16.
View | Files available | DOI
 

2010 | Conference Paper | IST-REx-ID: 3858 | OA
Chatterjee K, Doyen L. 2010. The complexity of partial-observation parity games. LPAR: Logic for Programming, Artificial Intelligence, and Reasoning, LNCS, vol. 6397, 1–14.
View | Files available | DOI
 

2010 | Conference (Editor) | IST-REx-ID: 3859
Chatterjee K, Henzinger TA eds. 2010. Formal modeling and analysis of timed systems, Springer,p.
View | Files available | DOI
 

2010 | Conference Paper | IST-REx-ID: 3860 | OA
Chatterjee K, Doyen L, Henzinger TA, Raskin J. 2010. Generalized mean-payoff and energy games. FSTTCS: Foundations of Software Technology and Theoretical Computer Science, LIPIcs, vol. 8, 505–516.
View | Files available | DOI
 

2010 | Journal Article | IST-REx-ID: 3861 | OA
Chatterjee K, Henzinger TA, Piterman N. 2010. Strategy logic. Information and Computation. 208(6), 677–693.
View | Files available | DOI
 

Search

Filter Publications