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.
5852 Publications
2011 | Journal Article | IST-REx-ID: 3505 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Sixt MK, Lämmermann T. In vitro analysis of chemotactic leukocyte migration in 3D environments. Cell Migration. 2011;769:149-165. doi:10.1007/978-1-61779-207-6_11
[Published Version]
View
| DOI
| Download Published Version (ext.)
2011 | Journal Article | IST-REx-ID: 3784 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Palero F, Guerao G, Clark P, Abello P. Scyllarus arctus (Crustacea: Decapoda: Scyllaridae) final stage phyllosoma identified by DNA analysis, with morphological description. Journal of the Marine Biological Association of the United Kingdom. 2011;91(2):485-492. doi:10.1017/S0025315410000287
[Published Version]
View
| DOI
| Download Published Version (ext.)
2011 | Book Chapter | IST-REx-ID: 3796 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Edelsbrunner H, Kerber M. Covering and packing with spheres by diagonal distortion in R^n. In: Calude C, Rozenberg G, Salomaa A, eds. Rainbow of Computer Science. Vol 6570. Dedicated to Hermann Maurer on the Occasion of His 70th Birthday. Springer; 2011:20-35. doi:10.1007/978-3-642-19391-0_2
[Submitted Version]
View
| Files available
| DOI
2011 | Journal Article | IST-REx-ID: 3381 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Henzinger TA, Jobstmann B, Wolf V. Formalisms for specifying Markovian population models. IJFCS: International Journal of Foundations of Computer Science. 2011;22(4):823-841. doi:10.1142/S0129054111008441
[Submitted Version]
View
| Files available
| DOI
2011 | Journal Article | IST-REx-ID: 386 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Alpichshev Z, Analytis JG, Chu JH, Fisher IR, Kapitulnik A. 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. 2011;84(4). doi:10.1103/PhysRevB.84.041104
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2011 | Journal Article | IST-REx-ID: 3315 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Chatterjee K, Henzinger TA, Prabhu V. Timed parity games: Complexity and robustness. Logical Methods in Computer Science. 2011;7(4). doi:10.2168/LMCS-7(4:8)2011
[Published Version]
View
| Files available
| DOI
2011 | Journal Article | IST-REx-ID: 3101 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Zwiewka M, Feraru E, Möller B, et al. The AP 3 adaptor complex is required for vacuolar function in Arabidopsis. Cell Research. 2011;21(12):1711-1722. doi:10.1038/cr.2011.99
View
| DOI
| Download (ext.)
2011 | Journal Article | IST-REx-ID: 3100 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Vanneste S, Coppens F, Lee E, et al. Developmental regulation of CYCA2s contributes to tissue-specific proliferation in Arabidopsis . EMBO Journal. 2011;30(16):3430-3441. doi:10.1038/emboj.2011.240
View
| DOI
| Download (ext.)
2011 | Journal Article | IST-REx-ID: 3276 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Prentice J, Homann J, Simmons K, Tkačik G, Balasubramanian V, Nelson P. Fast, scalable, Bayesian spike identification for multi-electrode arrays. PLoS One. 2011;6(7). doi:10.1371/journal.pone.0019884
View
| Files available
| DOI
2011 | Conference Paper | IST-REx-ID: 3298 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Raveendran K, Wojtan C, Turk G. Hybrid smoothed particle hydrodynamics. In: Spencer S, ed. ACM; 2011:33-42. doi:10.1145/2019406.2019411
[Submitted Version]
View
| Files available
| DOI
2011 | Conference Paper | IST-REx-ID: 3297 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Wojtan C, Müller Fischer M, Brochu T. Liquid simulation with mesh-based surface tracking. In: ACM; 2011. doi:10.1145/2037636.2037644
[Published Version]
View
| Files available
| DOI
2011 | Journal Article | IST-REx-ID: 3290 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Lohse K, Harrison R, Barton NH. A general method for calculating likelihoods under the coalescent process. Genetics. 2011;189(3):977-987. doi:10.1534/genetics.111.129569
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
2011 | Conference Poster | IST-REx-ID: 3312 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Zheng Y, Gu S, Edelsbrunner H, Tomasi C, Benfey P. Detailed Reconstruction of 3D Plant Root Shape. IEEE; 2011. doi:10.1109/ICCV.2011.6126475
[Submitted Version]
View
| Files available
| DOI
2011 | Conference Paper | IST-REx-ID: 3313 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Chen C, Edelsbrunner H. Diffusion runs low on persistence fast. In: Proceedings of the IEEE International Conference on Computer Vision. IEEE; 2011. doi:10.1109/ICCV.2011.6126271
[Submitted Version]
View
| Files available
| DOI
2011 | Book Chapter | IST-REx-ID: 3311 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Edelsbrunner H. Alpha shapes - a survey. In: van de Weygaert R, Vegter G, Ritzerveld J, Icke V, eds. Tessellations in the Sciences: Virtues, Techniques and Applications of Geometric Tilings. Springer.
[Submitted Version]
View
| Files available
2011 | Conference Paper | IST-REx-ID: 3326 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Almagor S, Boker U, Kupferman O. What’s decidable about weighted automata . In: Vol 6996. Springer; 2011:482-491. doi:10.1007/978-3-642-24372-1_37
[Submitted Version]
View
| Files available
| DOI
2011 | Conference Paper | IST-REx-ID: 3324 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Piskac R, Wies T. Decision procedures for automating termination proofs. In: Jhala R, Schmidt D, eds. Vol 6538. Springer; 2011:371-386. doi:10.1007/978-3-642-18275-4_26
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
2011 | Preprint | IST-REx-ID: 3339 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Chatterjee K, De Alfaro L, Pritam R. Magnifying lens abstraction for stochastic games with discounted and long-run average objectives. arXiv. 2011.
[Preprint]
View
| Download Preprint (ext.)
| arXiv
2011 | Conference Paper | IST-REx-ID: 3342 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Chatterjee K, Henzinger MH, Joglekar M, Nisarg S. Symbolic algorithms for qualitative analysis of Markov decision processes with Büchi objectives. In: Gopalakrishnan G, Qadeer S, eds. Vol 6806. Springer; 2011:260-276. doi:10.1007/978-3-642-22110-1_21
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2011 | Conference Paper | IST-REx-ID: 3347 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Chatterjee K, Fijalkow N. Finitary languages. In: Vol 6638. Springer; 2011:216-226. doi:10.1007/978-3-642-21254-3_16
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv