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.
6985 Publications
2010 |Published| Conference Paper | IST-REx-ID: 4369 |
D. Nickovic and N. Piterman, “From MTL to deterministic timed automata,” presented at the FORMATS: Formal Modeling and Analysis of Timed Systems, Klosterneuburg, Austria, 2010, vol. 6246, pp. 152–167.
[Submitted Version]
View
| Files available
| DOI
2010 |Published| Journal Article | IST-REx-ID: 3070
T. Nawy, M. Bayer, J. Mravec, J. Friml, K. Birnbaum, and W. Lukowitz, “The GATA factor HANABA TARANU is required to position the proembryo boundary in the early Arabidopsis embryo,” Developmental Cell, vol. 19, no. 1. Cell Press, pp. 103–113, 2010.
View
| DOI
2010 |Published| Journal Article | IST-REx-ID: 3080
J. Kleine Vehn, Z. Ding, A. Jones, M. Tasaka, M. Morita, and J. Friml, “Gravity induced PIN transcytosis for polarization of auxin fluxes in gravity sensing root cells,” PNAS, vol. 107, no. 51. National Academy of Sciences, pp. 22344–22349, 2010.
View
| DOI
2010 |Published| Journal Article | IST-REx-ID: 3153
D. E. Siekhaus, M. Haesemeyer, O. Moffitt, and R. Lehmann, “RhoL controls invasion and Rap1 localization during immune cell transmigration in Drosophila,” Nature Cell Biology, vol. 12, no. 6. Nature Publishing Group, pp. 605–610, 2010.
View
| Download (ext.)
2010 |Published| Conference Paper | IST-REx-ID: 3201
S. Vicente, V. Kolmogorov, and C. Rother, “Cosegmentation revisited: Models and optimization,” presented at the ECCV: European Conference on Computer Vision, 2010, vol. 6312, pp. 465–479.
View
| DOI
| Download (ext.)
2010 |Published| Conference Paper | IST-REx-ID: 2934
V. Kolmogorov, “Generalized roof duality and bisubmodular functions,” presented at the Neural Information Processing Systems, 2010.
View
| Files available