en
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.
2610 Publications
2011 | Journal Article | IST-REx-ID: 3384 
Tkacik, Gasper, et al. “Natural Images from the Birthplace of the Human Eye.” PLoS One, vol. 6, no. 6, e20409, Public Library of Science, 2011, doi:10.1371/journal.pone.0020409.
View
| Files available
| DOI
2011 | Journal Article | IST-REx-ID: 3389
Blaschko, Matthew, et al. “Semi Supervised Kernel Canonical Correlation Analysis with Application to Human FMRI.” Pattern Recognition Letters, vol. 32, no. 11, Elsevier, 2011, pp. 1572–83, doi:10.1016/j.patrec.2011.02.011.
View
| DOI
2011 | Journal Article | IST-REx-ID: 3391
de Vladar, Harold, and Nicholas H. Barton. “The Contribution of Statistical Physics to Evolutionary Biology.” Trends in Ecology and Evolution, vol. 26, no. 8, Cell Press, 2011, pp. 424–32, doi:10.1016/j.tree.2011.04.002.
View
| DOI
| Download (ext.)
2011 | Journal Article | IST-REx-ID: 3396
Stockinger, Petra, et al. “Defective Neuroepithelial Cell Cohesion Affects Tangential Branchiomotor Neuron Migration in the Zebrafish Neural Tube.” Development, vol. 138, no. 21, Company of Biologists, 2011, pp. 4673–83, doi:10.1242/dev.071233.
View
| Files available
| DOI
2011 | Journal Article | IST-REx-ID: 3505
Sixt, Michael K., and Tim Lämmermann. “In Vitro Analysis of Chemotactic Leukocyte Migration in 3D Environments.” Cell Migration, vol. 769, Springer, 2011, pp. 149–65, doi:10.1007/978-1-61779-207-6_11.
View
| DOI
2011 | Journal Article | IST-REx-ID: 3315
Chatterjee, Krishnendu, et al. “Timed Parity Games: Complexity and Robustness.” Logical Methods in Computer Science, vol. 7, no. 4, International Federation of Computational Logic, 2011, doi:10.2168/LMCS-7(4:8)2011.
View
| Files available
| DOI
2011 | Journal Article | IST-REx-ID: 531
Guerraoui, Rachid, et al. “Verification of STM on Relaxed Memory Models.” Formal Methods in System Design, vol. 39, no. 3, Springer, 2011, pp. 297–331, doi:10.1007/s10703-011-0131-3.
View
| DOI
2011 | Technical Report | IST-REx-ID: 5380
Chatterjee, Krishnendu. Bounded Rationality in Concurrent Parity Games. IST Austria, 2011, doi:10.15479/AT:IST-2011-0008.
View
| Files available
| DOI
2011 | Journal Article | IST-REx-ID: 6496
Park, Heungwon, et al. “Noise Underlies Switching Behavior of the Bacterial Flagellum.” Biophysical Journal, vol. 101, no. 10, Elsevier BV, 2011, pp. 2336–40, doi:10.1016/j.bpj.2011.09.040.
View
| DOI
| Download (ext.)
| PubMed | Europe PMC
2011 | Conference Paper | IST-REx-ID: 3346
Brázdil, Tomáš, et al. Two Views on Multiple Mean Payoff Objectives in Markov Decision Processes. 5970225, IEEE, 2011, doi:10.1109/LICS.2011.10.
View
| DOI
| Download (ext.)
2011 | Journal Article | IST-REx-ID: 3353
Tripakis, Stavros, et al. “A Theory of Synchronous Relational Interfaces.” ACM Transactions on Programming Languages and Systems (TOPLAS), vol. 33, no. 4, 14, ACM, 2011, doi:10.1145/1985342.1985345.
View
| Files available
| DOI
2011 | Conference Paper | IST-REx-ID: 3264
Gupta, Ashutosh, et al. Solving Recursion-Free Horn Clauses over LI+UIF. Edited by Hongseok Yang, vol. 7078, Springer, 2011, pp. 188–203, doi:10.1007/978-3-642-25318-8_16.
View
| DOI
2011 | Conference Paper | IST-REx-ID: 3360
Boker, Udi, and Thomas A. Henzinger. Determinizing Discounted-Sum Automata. Vol. 12, Springer, 2011, pp. 82–96, doi:10.4230/LIPIcs.CSL.2011.82.
View
| Files available
| DOI
2011 | Technical Report | IST-REx-ID: 5385
Boker, Udi, et al. Temporal Specifications with Accumulative Values. IST Austria, 2011, doi:10.15479/AT:IST-2011-0003.
View
| Files available
| DOI
2011 | Book Chapter | IST-REx-ID: 3311
Edelsbrunner, Herbert. “Alpha Shapes - a Survey.” Tessellations in the Sciences, Springer, 2011.
View
2011 | Conference Paper | IST-REx-ID: 3330
Kerber, Michael, and Michael Sagraloff. Root Refinement for Real Polynomials. Springer, 2011, pp. 209–16, doi:10.1145/1993886.1993920 .
View
| DOI
| Download (ext.)
| arXiv
2011 | Book Chapter | IST-REx-ID: 3335
Van De Weygaert, Rien, et al. “Alpha, Betti and the Megaparsec Universe: On the Topology of the Cosmic Web.” Transactions on Computational Science XIV, edited by Marina Gavrilova et al., vol. 6970, Springer, 2011, pp. 60–101, doi:10.1007/978-3-642-25249-5_3.
View
| DOI
| Download (ext.)
| arXiv
2011 | Conference Paper | IST-REx-ID: 3328
Berberich, Eric, et al. A Generic Algebraic Kernel for Non Linear Geometric Applications. ACM, 2011, pp. 179–86, doi:10.1145/1998196.1998224.
View
| DOI
2011 | Journal Article | IST-REx-ID: 3784
Palero, Ferran, et al. “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, vol. 91, no. 2, Cambridge University Press, 2011, pp. 485–92, doi:10.1017/S0025315410000287.
View
| DOI
2011 | Book Chapter | IST-REx-ID: 3791
Krens, Gabriel, and Carl-Philipp J. Heisenberg. “Cell Sorting in Development.” Current Topics in Developmental Biology, edited by Michel Labouesse, vol. 95, Elsevier, 2011, pp. 189–213, doi:10.1016/B978-0-12-385065-2.00006-2.
View
| DOI