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.

9087 Publications


2018 | Book | IST-REx-ID: 3300
E. M. Clarke, T. A. Henzinger, H. Veith, and R. Bloem, Handbook of Model Checking, 1st ed. Cham: Springer Nature, 2018.
View | DOI
 

2018 | Book Chapter | IST-REx-ID: 37 | OA
M. P. Zagórski and A. Kicheva, “Measuring dorsoventral pattern and morphogen signaling profiles in the growing neural tube,” in Morphogen Gradients , vol. 1863, Springer Nature, 2018, pp. 47–63.
[Submitted Version] View | Files available | DOI
 

2018 | Journal Article | IST-REx-ID: 305
P. Misun, A. Birchler, M. Lang, A. Hierlemann, and O. Frey, “Fabrication and operation of microfluidic hanging drop networks,” Methods in Molecular Biology, vol. 1771. Springer, pp. 183–202, 2018.
View | DOI
 

2018 | Conference Paper | IST-REx-ID: 325 | OA
S. Agrawal, K. Chatterjee, and P. Novotný, “Lexicographic ranking supermartingales: an efficient approach to termination of probabilistic programs,” presented at the POPL: Principles of Programming Languages, Los Angeles, CA, USA, 2018, vol. 2, no. POPL.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2018 | Journal Article | IST-REx-ID: 394 | OA
F. Mahmood, Z. Alpichshev, Y. Lee, J. Kong, and N. Gedik, “Observation of exciton-exciton interaction mediated valley Depolarization in Monolayer MoSe2,” Nano Letters, vol. 18, no. 1. American Chemical Society, pp. 223–228, 2018.
[Submitted Version] View | DOI | Download Submitted Version (ext.) | arXiv
 

Search

Filter Publications