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.
9078 Publications
2012 | Conference Paper | IST-REx-ID: 495 |
A Myhill Nerode theorem for automata with advice
A. Kruckman, S. Rubin, J. Sheridan, B. Zax, in:, Proceedings GandALF 2012, Open Publishing Association, 2012, pp. 238–246.
[Published Version]
View
| Files available
| DOI
A. Kruckman, S. Rubin, J. Sheridan, B. Zax, in:, Proceedings GandALF 2012, Open Publishing Association, 2012, pp. 238–246.
2012 | Journal Article | IST-REx-ID: 498 |
Predicting local adaptation in fragmented plant populations: Implications for restoration genetics
M. Pickup, D. Field, D. Rowell, A. Young, Evolutionary Applications 5 (2012) 913–924.
[Published Version]
View
| Files available
| DOI
M. Pickup, D. Field, D. Rowell, A. Young, Evolutionary Applications 5 (2012) 913–924.
2012 | Conference Paper | IST-REx-ID: 496 |
Interpretations in trees with countably many branches
A. Rabinovich, S. Rubin, in:, IEEE, 2012.
[Preprint]
View
| DOI
| Download Preprint (ext.)
A. Rabinovich, S. Rubin, in:, IEEE, 2012.
2012 | Journal Article | IST-REx-ID: 494
Translating to Co-Büchi made tight, unified, and useful
U. Boker, O. Kupferman, ACM Transactions on Computational Logic (TOCL) 13 (2012).
View
| DOI
U. Boker, O. Kupferman, ACM Transactions on Computational Logic (TOCL) 13 (2012).
2012 | Journal Article | IST-REx-ID: 506 |
Cell migration: Fibroblasts find a new way to get ahead
M.K. Sixt, Journal of Cell Biology 197 (2012) 347–349.
[Published Version]
View
| Files available
| DOI
M.K. Sixt, Journal of Cell Biology 197 (2012) 347–349.