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.
289 Publications
2010 | Conference Paper | IST-REx-ID: 4364
Podelski A, Wies T. Counterexample-guided focus. In: ACM; 2010:249-260. doi:10.1145/1707801.1706330
View
| DOI
2010 | Journal Article | IST-REx-ID: 3068
Růžička K, Strader L, Bailly A, et al. Arabidopsis PIS1 encodes the ABCG37 transporter of auxinic compounds including the auxin precursor indole 3 butyric acid. PNAS. 2010;107(23):10749-10753. doi:10.1073/pnas.1005878107
View
| DOI
2010 | Journal Article | IST-REx-ID: 3067
Jelínková A, Malínská K, Simon S, et al. Probing plant membranes with FM dyes: Tracking dragging or blocking? Plant Journal. 2010;61(5):883-892. doi:10.1111/j.1365-313X.2009.04102.x
View
| DOI
2010 | Journal Article | IST-REx-ID: 3065
Žádníková P, Petrášek J, Marhavý P, et al. Role of PIN-mediated auxin efflux in apical hook development of Arabidopsis thaliana. Development. 2010;137(4):607-617. doi:10.1242/dev.041277
View
| DOI
2010 | Journal Article | IST-REx-ID: 3064
Zhang J, Nodzyński T, Pěnčík A, Rolčík J, Friml J. PIN phosphorylation is sufficient to mediate PIN polarity and direct auxin transport. PNAS. 2010;107(2):918-922. doi:10.1073/pnas.0909460107
View
| DOI
2010 | Journal Article | IST-REx-ID: 3066
Łangowski Ł, Růžička K, Naramoto S, Kleine Vehn J, Friml J. Trafficking to the outer polar domain defines the root soil interface. Current Biology. 2010;20(10):904-908. doi:10.1016/j.cub.2010.03.059
View
| DOI
2010 | Journal Article | IST-REx-ID: 3070
Nawy T, Bayer M, Mravec J, Friml J, Birnbaum K, Lukowitz W. The GATA factor HANABA TARANU is required to position the proembryo boundary in the early Arabidopsis embryo. Developmental Cell. 2010;19(1):103-113. doi:10.1016/j.devcel.2010.06.004
View
| DOI
2010 | Journal Article | IST-REx-ID: 3069
Ding Z, Friml J. Auxin regulates distal stem cell differentiation in Arabidopsis roots. PNAS. 2010;107(26):12046-12051. doi:10.1073/pnas.1000672107
View
| DOI
2010 | Journal Article | IST-REx-ID: 3063
Friml J. Subcellular trafficking of PIN auxin efflux carriers in auxin transport. European Journal of Cell Biology. 2010;89(2-3):231-235. doi:10.1016/j.ejcb.2009.11.003
View
| DOI
2010 | Journal Article | IST-REx-ID: 3081
Naramoto S, Kleine Vehn J, Robert S, et al. ADP ribosylation factor machinery mediates endocytosis in plant cells. PNAS. 2010;107(50):21890-21895. doi:10.1073/pnas.1016260107
View
| DOI
2010 | Journal Article | IST-REx-ID: 3080
Kleine Vehn J, Ding Z, Jones A, Tasaka M, Morita M, Friml J. Gravity induced PIN transcytosis for polarization of auxin fluxes in gravity sensing root cells. PNAS. 2010;107(51):22344-22349. doi:10.1073/pnas.1013145107
View
| DOI
2010 | Journal Article | IST-REx-ID: 3153
Siekhaus DE, Haesemeyer M, Moffitt O, Lehmann R. RhoL controls invasion and Rap1 localization during immune cell transmigration in Drosophila. Nature Cell Biology. 2010;12(6):605-610.
View
| Download (ext.)
2010 | Conference Paper | IST-REx-ID: 3201
Vicente S, Kolmogorov V, Rother C. Cosegmentation revisited: Models and optimization. In: Vol 6312. Springer; 2010:465-479. doi:10.1007/978-3-642-15552-9_34
View
| DOI
| Download (ext.)
2010 | Conference Paper | IST-REx-ID: 3237
Kiltz E, Pietrzak KZ. Leakage resilient ElGamal encryption. In: Vol 6477. Springer; 2010:595-612. doi:10.1007/978-3-642-17373-8_34
View
| DOI
2010 | Conference Paper | IST-REx-ID: 3235
Dodis Y, Pietrzak KZ. Leakage resilient pseudorandom functions and side channel attacks on feistel networks. In: Vol 6223. Springer; 2010:21-40. doi:10.1007/978-3-642-14623-7_2
View
| DOI
2010 | Conference Paper | IST-REx-ID: 3234
Faust S, Kiltz E, Pietrzak KZ, Rothblum G. Leakage resilient signatures. In: Vol 5978. Springer; 2010:343-360. doi:10.1007/978-3-642-11799-2_21
View
| DOI
2010 | Conference Paper | IST-REx-ID: 3233
Håstad J, Pass R, Wikström D, Pietrzak KZ. An efficient parallel repetition theorem. In: Vol 5978. Springer; 2010:1-18. doi:10.1007/978-3-642-11799-2_1
View
| DOI
2010 | Conference Paper | IST-REx-ID: 2934
Kolmogorov V. Generalized roof duality and bisubmodular functions. In: Neural Information Processing Systems; 2010.
View
| Files available
2010 | Journal Article | IST-REx-ID: 3294
Iyengar A, Chakraborty Tuhin S, Goswami S, Wu C, Siddiqi O. Post eclosion odor experience modifies olfactory receptor neuron coding in Drosophila. PNAS. 2010;107(21):9855-9860. doi:10.1073/pnas.1003856107
View
| DOI
2010 | Thesis | IST-REx-ID: 3296
Wojtan C. Animating physical phenomena with embedded surface meshes. 2010:1-175.
View
| Download None (ext.)
2010 | Journal Article | IST-REx-ID: 3306 | 
Evans S, Sturmfels B, Uhler C. Commuting birth and death processes. The Annals of Applied Probability. 2010;20:238-266. doi:10.1214/09-AAP615
View
| DOI
| Download (ext.)
2010 | Journal Article | IST-REx-ID: 3308 |
Sturmfels B, Uhler C. Multivariate Gaussians, semidefinite matrix completion, and convex algebraic geometry. Annals of the Institute of Statistical Mathematics. 2010;62(4):603-638. doi:10.1007/s10463-010-0295-4
View
| DOI
| Download (ext.)
2010 | Journal Article | IST-REx-ID: 3402
Guerraoui R, Henzinger TA, Singh V. Model checking transactional memories. Distributed Computing. 2010;22(3):129-145. doi:10.1007/s00446-009-0092-6
View
| DOI
| Download (ext.)
2010 | Book Review | IST-REx-ID: 3403
Pleydell Bouverie B, Csicsvari JL. Rate remapping: When the code goes beyond space (preview). Neuron. 2010;68(6):1015-1016. doi:10.1016/j.neuron.2010.12.011
View
| DOI
2010 | Conference Paper | IST-REx-ID: 3430 |
Tkačik G. Lecture notes for 2010 summer school on Quantitative Evolutionary and Comparative Genomics. In: Elsevier; 2010.
View
| Download (ext.)
2010 | Journal Article | IST-REx-ID: 3498
Sabeti Aschraf M, Gonano C, Nemecek E, Cichocki L, Schueller Weidekamm C. Intra-operative ultrasound facilitates the localization of the calcific deposit during arthroscopic treatment of calcifying tendinitis. Knee Surgery, Sports Traumatology, Arthroscopy. 2010;18(12):1792-1794. doi:10.1007/s00167-010-1227-9
View
| DOI
2010 | Journal Article | IST-REx-ID: 3592
Carvalho L, Heisenberg C-PJ. Imaging zebrafish embryos by two-photon excitation time-lapse microscopy. Methods in Molecular Biology. 2010;546(Part 5):273-287. doi:10.1007/978-1-60327-977-2_17
View
| DOI
2010 | Conference Paper | IST-REx-ID: 3676
Wanke J, Ulges A, Lampert C, Breuel T. Topic models for semantic video compression. In: ACM; 2010:275-284. doi:10.1145/1743384.1743433
View
| DOI
| Download (ext.)
2010 | Journal Article | IST-REx-ID: 3697
Tuytelaars T, Lampert C, Blaschko M, Buntine W. Unsupervised object discovery: A comparison. International Journal of Computer Vision. 2010;88(2):284-302. doi:10.1007/s11263-009-0271-8
View
| DOI
2010 | Conference Paper | IST-REx-ID: 3713
Lampert C. An efficient divide-and-conquer cascade for nonlinear object detection. In: IEEE; 2010:1022-1029. doi:10.1109/CVPR.2010.5540107
View
| DOI
2010 | Preprint | IST-REx-ID: 3743 |
Tkačik G. From statistical mechanics to information theory: understanding biophysical information-processing systems. ArXiv. 2010;q-MN:1-52.
View
| Download (ext.)
2010 | Journal Article | IST-REx-ID: 3761
Kwatra N, Wojtan C, Carlson M, Essa I, Mucha P, Turk G. Fluid simulation with articulated bodies. IEEE Transactions on Visualization and Computer Graphics. 2010;16(1):70-80. doi:10.1109/TVCG.2009.66
View
| DOI
2010 | Journal Article | IST-REx-ID: 3759
Wojtan C, Thürey N, Gross M, Turk G. Physics-inspired topology changes for thin fluid features. ACM Transactions on Graphics. 2010;29(4). doi:10.1145/1778765.1778787
View
| DOI
| Download None (ext.)
2010 | Journal Article | IST-REx-ID: 3776 |
Barton NH. Genetic linkage and natural selection. Philosophical Transactions of the Royal Society of London Series B, Biological Sciences. 2010;365(1552):2559-2569. doi:10.1098/rstb.2010.0106
[Submitted Version]
View
| Files available
| DOI
2010 | Journal Article | IST-REx-ID: 3773 |
Barton NH. What role does natural selection play in speciation? Philosophical Transactions of the Royal Society of London Series B, Biological Sciences. 2010;365(1547):1825-1840. doi:10.1098/rstb.2010.0001
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
2010 | Journal Article | IST-REx-ID: 3777 |
Barton NH. Mutation and the evolution of recombination. Philosophical Transactions of the Royal Society of London Series B, Biological Sciences. 2010;365(1544):1281-1294. doi:10.1098/rstb.2009.0320
[Submitted Version]
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. Phenotypic correlates of hybridisation between red and sika deer (genus Cervus). Journal of Animal Ecology. 2010;79(2):414-425. doi:10.1111/j.1365-2656.2009.01633.x
View
| DOI
| PubMed | Europe PMC
2010 | Journal Article | IST-REx-ID: 3772 |
Barton NH. Understanding adaptation in large populations. PLoS Genetics. 2010;6(6). doi:10.1371/journal.pgen.1000987
[Published Version]
View
| Files available
| DOI
2010 | Journal Article | IST-REx-ID: 3790 |
Diz Muñoz A, Krieg M, Bergert M, et al. Control of directed cell migration in vivo by membrane-to-cortex attachment. PLoS Biology. 2010;8(11). doi:10.1371/journal.pbio.1000544
[Published Version]
View
| Files available
| DOI
2010 | Conference Paper | IST-REx-ID: 3793 |
Nowozin S, Gehler P, Lampert C. On parameter learning in CRF-based approaches to object class image segmentation. In: Vol 6316. Springer; 2010:98-111. doi:10.1007/978-3-642-15567-3_8
[Submitted Version]
View
| Files available
| DOI
2010 | Journal Article | IST-REx-ID: 3789
Quesada-Hernández E, Caneparo L, Schneider S, et al. Stereotypical cell division orientation controls neural rod midline formation in zebrafish. Current Biology. 2010;20(21):1966-1972. doi:10.1016/j.cub.2010.10.009
View
| DOI
2010 | Journal Article | IST-REx-ID: 3787 |
Palero F, Hall S, Clark P, Johnston D, Mackenzie Dodds J, Thatje S. DNA extraction from formalin-fixed tissue: new light from the deep sea. Scientia Marina. 2010;74(3):465-470. doi:10.3989/scimar.2010.74n3465
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
2010 | Journal Article | IST-REx-ID: 3788
Klopper A, Krens G, Grill S, Heisenberg C-PJ. Finite-size corrections to scaling behavior in sorted cell aggregates. The European Physical Journal E: Soft Matter and Biological Physics. 2010;33(2):99-103. doi:10.1140/epje/i2010-10642-y
View
| DOI
2010 | Journal Article | IST-REx-ID: 3786
Palero F, Guerao G, Clark P, Abello P. Final-stage phyllosoma of Palinustus A. Milne-Edwards, 1880 (Crustacea: Decapoda: Achelata: Palinuridae)-The first complete description. Zootaxa. 2010;2403(1):42-58. doi:10.11646/zootaxa.2403.1.4
View
| DOI
2010 | Journal Article | IST-REx-ID: 3792
Carvalho L, Heisenberg C-PJ. The yolk syncytial layer in early, zebrafish development. Trends in Cell Biology. 2010;20(10):586-592. doi:10.1016/j.tcb.2010.06.009
View
| DOI
2010 | Journal Article | IST-REx-ID: 3834 |
Wolf V, Goel R, Mateescu M, Henzinger TA. Solving the chemical master equation using sliding windows. BMC Systems Biology. 2010;4(42):1-19. doi:10.1186/1752-0509-4-42
[Published Version]
View
| Files available
| DOI
2010 | Conference Paper | IST-REx-ID: 3840
Henzinger TA. From boolean to quantitative notions of correctness. In: Vol 45. ACM; 2010:157-158. doi:10.1145/1706299.1706319
View
| DOI
2010 | Conference Paper | IST-REx-ID: 3839 |
Henzinger TA, Hottelier T, Kovács L, Voronkov A. Invariant and type inference for matrices. In: Vol 5944. Springer; 2010:163-179. doi:10.1007/978-3-642-11319-2_14
[Submitted Version]
View
| Files available
| DOI
2010 | Conference Paper | IST-REx-ID: 3838 |
Henzinger TA, Mateescu M, Mikeev L, Wolf V. Hybrid numerical solution of the chemical master equation. In: Springer; 2010:55-65. doi:10.1145/1839764.1839772
[Submitted Version]
View
| Files available
| DOI
2010 | Conference Paper | IST-REx-ID: 3853 |
Chatterjee K, Doyen L, Edelsbrunner H, Henzinger TA, Rannou P. Mean-payoff automaton expressions. In: Vol 6269. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2010:269-283. doi:10.1007/978-3-642-15375-4_19
[Submitted Version]
View
| Files available
| DOI