ISTA Research Explorer

We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.

2011 | Journal Article | IST-REx-ID: 3381 |

Formalisms for specifying Markovian population models
T.A. Henzinger, B. Jobstmann, V. Wolf, IJFCS: International Journal of Foundations of Computer Science 22 (2011) 823–841.

[Submitted Version] View | Files available | DOI

2011 | Journal Article | IST-REx-ID: 386 |

STM imaging of a bound state along a step on the surface of the topological insulator Bi2Te3
Z. Alpichshev, J.G. Analytis, J.H. Chu, I.R. Fisher, A. Kapitulnik, Physical Review B - Condensed Matter and Materials Physics 84 (2011).

[Preprint] View | DOI | Download Preprint (ext.) | arXiv

2011 | Journal Article | IST-REx-ID: 3315 |

Timed parity games: Complexity and robustness
K. Chatterjee, T.A. Henzinger, V. Prabhu, Logical Methods in Computer Science 7 (2011).

[Published Version] View | Files available | DOI

2011 | Journal Article | IST-REx-ID: 3965

Computing elevation maxima by searching the Gauss sphere
B. Wang, H. Edelsbrunner, D. Morozov, Journal of Experimental Algorithmics 16 (2011) 1–13.

View | DOI

2011 | Journal Article | IST-REx-ID: 3086

Polar localized NPH3-like proteins regulate polarity and endocytosis of PIN-FORMED auxin efflux carriers
M. Furutani, N. Sakamoto, S. Yoshida, T. Kajiwara, H. Robert, J. Friml, M. Tasaka, Development 138 (2011) 2069–2078.

View | DOI