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.

309 Publications


2011 | Journal Article | IST-REx-ID: 3381 | OA
T. A. Henzinger, B. Jobstmann, and V. Wolf, “Formalisms for specifying Markovian population models,” IJFCS: International Journal of Foundations of Computer Science, vol. 22, no. 4. World Scientific Publishing, pp. 823–841, 2011.
[Submitted Version] View | Files available | DOI
 

2011 | Journal Article | IST-REx-ID: 386 | OA
Z. Alpichshev, J. G. Analytis, J. H. Chu, I. R. Fisher, and A. Kapitulnik, “STM imaging of a bound state along a step on the surface of the topological insulator Bi2Te3,” Physical Review B - Condensed Matter and Materials Physics, vol. 84, no. 4. American Physical Society, 2011.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2011 | Journal Article | IST-REx-ID: 3315 | OA
K. Chatterjee, T. A. Henzinger, and V. Prabhu, “Timed parity games: Complexity and robustness,” Logical Methods in Computer Science, vol. 7, no. 4. International Federation of Computational Logic, 2011.
[Published Version] View | Files available | DOI
 

2011 | Journal Article | IST-REx-ID: 3965
B. Wang, H. Edelsbrunner, and D. Morozov, “Computing elevation maxima by searching the Gauss sphere,” Journal of Experimental Algorithmics, vol. 16, no. 2.2. ACM, pp. 1–13, 2011.
View | DOI
 

2011 | Journal Article | IST-REx-ID: 3086
M. Furutani et al., “Polar localized NPH3-like proteins regulate polarity and endocytosis of PIN-FORMED auxin efflux carriers,” Development, vol. 138, no. 10. Company of Biologists, pp. 2069–2078, 2011.
View | DOI
 

Filters and Search Terms

year=2011

Search

Filter Publications