Please note that IST 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.

2706 Publications


2011 | Journal Article | IST-REx-ID: 6496   OA
Park, H., Oikonomou, P., Guet, C. C., & Cluzel, P. (2011). Noise underlies switching behavior of the bacterial flagellum. Biophysical Journal, 101(10), 2336–2340. https://doi.org/10.1016/j.bpj.2011.09.040
View | DOI | Download (ext.) | PubMed | Europe PMC
 

2011 | Conference Paper | IST-REx-ID: 3346   OA
Brázdil, T., Brožek, V., Chatterjee, K., Forejt, V., & Kučera, A. (2011). Two views on multiple mean payoff objectives in Markov Decision Processes. Presented at the LICS: Logic in Computer Science, Toronto, Canada: IEEE. https://doi.org/10.1109/LICS.2011.10
View | DOI | Download (ext.)
 

2011 | Journal Article | IST-REx-ID: 3353   OA
Tripakis, S., Lickly, B., Henzinger, T. A., & Lee, E. (2011). A theory of synchronous relational interfaces. ACM Transactions on Programming Languages and Systems (TOPLAS), 33(4). https://doi.org/10.1145/1985342.1985345
View | Files available | DOI
 

2011 | Conference Paper | IST-REx-ID: 3264
Gupta, A., Popeea, C., & Rybalchenko, A. (2011). Solving recursion-free Horn clauses over LI+UIF. In H. Yang (Ed.) (Vol. 7078, pp. 188–203). Presented at the APLAS: Asian Symposium on Programming Languages and Systems, Kenting, Taiwan: Springer. https://doi.org/10.1007/978-3-642-25318-8_16
View | DOI
 

2011 | Conference Paper | IST-REx-ID: 3360   OA
Boker, U., & Henzinger, T. A. (2011). Determinizing discounted-sum automata (Vol. 12, pp. 82–96). Presented at the CSL: Computer Science Logic, Bergen, Norway: Springer. https://doi.org/10.4230/LIPIcs.CSL.2011.82
View | Files available | DOI
 

2011 | Technical Report | IST-REx-ID: 5385
Boker, U., Chatterjee, K., Henzinger, T. A., & Kupferman, O. (2011). Temporal specifications with accumulative values. IST Austria. https://doi.org/10.15479/AT:IST-2011-0003
View | Files available | DOI
 

2011 | Journal Article | IST-REx-ID: 531   OA
Guerraoui, R., Henzinger, T. A., & Singh, V. (2011). Verification of STM on relaxed memory models. Formal Methods in System Design, 39(3), 297–331. https://doi.org/10.1007/s10703-011-0131-3
View | DOI | Download (ext.)
 

2011 | Conference Paper | IST-REx-ID: 3358   OA
Henzinger, T. A., Singh, V., Wies, T., & Zufferey, D. (2011). Scheduling large jobs by abstraction refinement (pp. 329–342). Presented at the EuroSys, Salzburg, Austria: ACM. https://doi.org/10.1145/1966445.1966476
View | DOI | Download (ext.)
 

2011 | Journal Article | IST-REx-ID: 3269   OA
Sheng, Y., Cutler, B., Chen, C., & Nasman, J. (2011). Perceptual global illumination cancellation in complex projection environments. Computer Graphics Forum, 30(4), 1261–1268. https://doi.org/10.1111/j.1467-8659.2011.01985.x
View | DOI | Download (ext.)
 

2011 | Journal Article | IST-REx-ID: 3505   OA
Sixt, M. K., & Lämmermann, T. (2011). In vitro analysis of chemotactic leukocyte migration in 3D environments. Cell Migration, 769, 149–165. https://doi.org/10.1007/978-1-61779-207-6_11
View | DOI | Download (ext.)
 

2011 | Book Chapter | IST-REx-ID: 3311
Edelsbrunner, H. (2011). Alpha shapes - a survey. In Tessellations in the Sciences. Springer.
View
 

2011 | Conference Paper | IST-REx-ID: 3330   OA
Kerber, M., & Sagraloff, M. (2011). Root refinement for real polynomials (pp. 209–216). Presented at the ISSAC: International Symposium on Symbolic and Algebraic Computation, California, USA: Springer. https://doi.org/10.1145/1993886.1993920
View | DOI | Download (ext.) | arXiv
 

2011 | Book Chapter | IST-REx-ID: 3335   OA
Van De Weygaert, R., Vegter, G., Edelsbrunner, H., Jones, B., Pranav, P., Park, C., … Teillaud, M. (2011). Alpha, Betti and the Megaparsec Universe: On the topology of the Cosmic Web. In M. Gavrilova, K. Tan, & M. Mostafavi (Eds.), Transactions on Computational Science XIV (Vol. 6970, pp. 60–101). Springer. https://doi.org/10.1007/978-3-642-25249-5_3
View | DOI | Download (ext.) | arXiv
 

2011 | Book Chapter | IST-REx-ID: 3791
Krens, G., & Heisenberg, C.-P. J. (2011). Cell sorting in development. In M. Labouesse (Ed.), Current Topics in Developmental Biology (Vol. 95, pp. 189–213). Elsevier. https://doi.org/10.1016/B978-0-12-385065-2.00006-2
View | DOI
 

2011 | Book Chapter | IST-REx-ID: 3796   OA
Edelsbrunner, H., & Kerber, M. (2011). Covering and packing with spheres by diagonal distortion in R^n. In C. Calude, G. Rozenberg, & A. Salomaa (Eds.), Rainbow of Computer Science (Vol. 6570, pp. 20–35). Springer. https://doi.org/10.1007/978-3-642-19391-0_2
View | Files available | DOI
 

2011 | Journal Article | IST-REx-ID: 3385
Sixt, M. K. (2011). Interstitial locomotion of leukocytes. Immunology Letters, 138(1), 32–34. https://doi.org/10.1016/j.imlet.2011.02.013
View | DOI
 

2011 | Journal Article | IST-REx-ID: 3392
Soriano, S., Hons, M., Schumann, K., Kumar, V., Dennier, T., Lyck, R., … Stein, J. (2011). In vivo analysis of uropod function during physiological T cell trafficking. Journal of Immunology, 187(5), 2356–2364. https://doi.org/10.4049/jimmunol.1100935
View | DOI
 

2011 | Journal Article | IST-REx-ID: 3397   OA
Maître, J.-L., & Heisenberg, C.-P. J. (2011). The role of adhesion energy in controlling cell-cell contacts. Current Opinion in Cell Biology, 23(5), 508–514. https://doi.org/10.1016/j.ceb.2011.07.004
View | DOI | Download (ext.)
 

2011 | Journal Article | IST-REx-ID: 3405   OA
Janovjak, H. L., Sandoz, G., & Isacoff, E. (2011). Modern ionotropic glutamate receptor with a K+ selectivity signature sequence. Nature Communications, 2(232), 1–6. https://doi.org/10.1038/ncomms1231
View | Files available | DOI
 

2011 | Journal Article | IST-REx-ID: 3429
Plachta, N., Bollenbach, M. T., Pease, S., Fraser, S., & Pantazis, P. (2011). Oct4 kinetics predict cell lineage patterning in the early mammalian embryo. Nature Cell Biology, 13(2), 117–123. https://doi.org/10.1038/ncb2154
View | DOI
 

Filters and Search Terms

extern<>1

Search

Filter Publications

Display / Sort

Citation Style: APA

Export / Embed