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.

2497 Publications


2012 | Journal Article | IST-REx-ID: 3166   OA
Vladar, H. (2012). Amino acid fermentation at the origin of the genetic code. Biology Direct, 7. https://doi.org/10.1186/1745-6150-7-6
View | Files available | DOI
 

2012 | Conference Paper | IST-REx-ID: 3135   OA
Brázdil, B., Chatterjee, K., Kučera, A., & Novotny, P. (2012). Efficient controller synthesis for consumption games with multiple resource types (Vol. 7358, pp. 23–38). Presented at the CAV: Computer Aided Verification, Berkeley, CA, USA: Springer. https://doi.org/10.1007/978-3-642-31424-7_8
View | DOI | Download (ext.)
 

2012 | Journal Article | IST-REx-ID: 3248   OA
Lampert, C., & Peters, J. (2012). Real-time detection of colored objects in multiple camera streams with off-the-shelf hardware components. Journal of Real-Time Image Processing, 7(1), 31–41. https://doi.org/10.1007/s11554-010-0168-3
View | Files available | DOI
 

2012 | Conference Paper | IST-REx-ID: 3255
Chatterjee, K., & Doyen, L. (2012). Games and Markov decision processes with mean payoff parity and energy parity objectives (Vol. 7119, pp. 37–46). Presented at the MEMICS: Mathematical and Engineering Methods in Computer Science, Lednice, Czech Republic: Springer. https://doi.org/10.1007/978-3-642-25929-6_3
View | DOI
 

2012 | Journal Article | IST-REx-ID: 3243
Danowski, P. (2012). Zwischen Technologie und Information. Büchereiperspektiven, 1/2012, 11.
View | Download (ext.)
 

2012 | Journal Article | IST-REx-ID: 3262   OA
Tkacik, G., Walczak, A., & Bialek, W. (2012). Optimizing information flow in small genetic networks. III. A self-interacting gene. Physical Review E Statistical Nonlinear and Soft Matter Physics , 85(4). https://doi.org/10.1103/PhysRevE.85.041903
View | DOI | Download (ext.)
 

2012 | Journal Article | IST-REx-ID: 3274
Rieckh, G., Kreuzer, W., Waubke, H., & Balazs, P. (2012). A 2.5D-Fourier-BEM model for vibrations in a tunnel running through layered anisotropic soil. Engineering Analysis with Boundary Elements, 36(6), 960–967. https://doi.org/10.1016/j.enganabound.2011.12.014
View | DOI
 

2012 | Conference Paper | IST-REx-ID: 3279
Jain, A., Pietrzak, K. Z., & Tentes, A. (2012). Hardness preserving constructions of pseudorandom functions (Vol. 7194, pp. 369–382). Presented at the TCC: Theory of Cryptography Conference, Taormina, Sicily, Italy: Springer. https://doi.org/10.1007/978-3-642-28914-9_21
View | DOI | Download (ext.)
 

2012 | Conference Paper | IST-REx-ID: 3281
Pietrzak, K. Z., Rosen, A., & Segev, G. (2012). Lossy functions do not amplify well (Vol. 7194, pp. 458–475). Presented at the TCC: Theory of Cryptography Conference, Taormina, Sicily, Italy: Springer. https://doi.org/10.1007/978-3-642-28914-9_26
View | DOI | Download (ext.)
 

2012 | Conference Paper | IST-REx-ID: 495   OA
Kruckman, A., Rubin, S., Sheridan, J., & Zax, B. (2012). A Myhill Nerode theorem for automata with advice. In Proceedings GandALF 2012 (Vol. 96, pp. 238–246). Napoli, Italy: Open Publishing Association. https://doi.org/10.4204/EPTCS.96.18
View | Files available | DOI
 

2012 | Journal Article | IST-REx-ID: 6588   OA
Pausinger, F. (2012). Elementary solutions of the bernstein problem on two intervals. Journal of Mathematical Physics, Analysis, Geometry, 8(1), 63–78.
View | Download (ext.) | WoS
 

2011 | Conference Paper | IST-REx-ID: 3270
Chen, C., & Kerber, M. (2011). Persistent homology computation with a twist (pp. 197–200). Presented at the EuroCG: European Workshop on Computational Geometry, Morschach, Switzerland: TU Dortmund.
View
 

2011 | Thesis | IST-REx-ID: 3275
Schumann, K. (2011). The role of chemotactic gradients in dendritic cell migration. IST Austria.
View | Files available
 

2011 | Journal Article | IST-REx-ID: 3287
Ruprecht, V., Axmann, M., Wieser, S., & Schuetz, G. (2011). What can we learn from single molecule trajectories? Current Protein & Peptide Science, 12(8), 714–724. https://doi.org/10.2174/138920311798841753
View | DOI
 

2011 | Conference Paper | IST-REx-ID: 3299   OA
Henzinger, T. A., & Mateescu, M. (2011). Propagation models for computing biochemical reaction networks (pp. 1–3). Presented at the CMSB: Computational Methods in Systems Biology, Paris, France: Springer. https://doi.org/10.1145/2037509.2037510
View | Files available | DOI
 

2011 | Conference Paper | IST-REx-ID: 3302   OA
Henzinger, T. A., Singh, A., Singh, V., Wies, T., & Zufferey, D. (2011). Static scheduling in clouds (pp. 1–6). Presented at the HotCloud: Workshop on Hot Topics in Cloud Computing, USENIX.
View | Files available
 

2011 | Conference Paper | IST-REx-ID: 3319
Quadrianto, N., & Lampert, C. (2011). Learning multi-view neighborhood preserving projections (pp. 425–432). Presented at the ICML: International Conference on Machine Learning, Bellevue, USA: Omnipress.
View
 

2011 | Conference Paper | IST-REx-ID: 3326
Almagor, S., Boker, U., & Kupferman, O. (2011). What’s decidable about weighted automata . In T. Bultan & P.-A. Hsiung (Eds.) (Vol. 6996, pp. 482–491). Presented at the ATVA: Automated Technology for Verification and Analysis, Taipei, Taiwan: Springer. https://doi.org/10.1007/978-3-642-24372-1_37
View | DOI
 

2011 | Journal Article | IST-REx-ID: 3383
Heisenberg, C.-P. J. (2011). Invited Lectures ‐ Symposia Area. FEBS Journal, 278(S1), 24–24. https://doi.org/10.1111/j.1742-4658.2011.08136.x
View | DOI
 

2011 | Journal Article | IST-REx-ID: 3388   OA
Ugelvig, L. V., Nielsen, P., Boomsma, J., & Nash, D. (2011). Reconstructing eight decades of genetic variation in an isolated Danish population of the large blue butterfly Maculinea arion. BMC Evolutionary Biology, 11(201), 201. https://doi.org/10.1186/1471-2148-11-201
View | Files available | DOI
 

2011 | Journal Article | IST-REx-ID: 3390   OA
Barton, N. H., & Etheridge, A. (2011). The relation between reproductive value and genetic contribution. Genetics, 188(4), 953–973. https://doi.org/10.1534/genetics.111.127555
View | DOI | Download (ext.)
 

2011 | Journal Article | IST-REx-ID: 3395
Palero, F., Abello, P., Macpherson, E., Beaumont, M., & Pascual, M. (2011). Effect of oceanographic barriers and overfishing on the population genetic structure of the European spiny lobster Palinurus elephas . Biological Journal of the Linnean Society, 104(2), 407–418. https://doi.org/10.1111/j.1095-8312.2011.01728.x
View | DOI
 

2011 | Journal Article | IST-REx-ID: 3352
Fisher, J., Harel, D., & Henzinger, T. A. (2011). Biology as reactivity. Communications of the ACM, 54(10), 72–82. https://doi.org/10.1145/2001269.2001289
View | DOI
 

2011 | Journal Article | IST-REx-ID: 3369
Pernia-Andrade, A., & Jonas, P. M. (2011). The multiple faces of RIM. Neuron, 69(2), 185–187. https://doi.org/10.1016/j.neuron.2011.01.010
View | DOI
 

2011 | Journal Article | IST-REx-ID: 3371   OA
Sixt, M. K., & Parent, C. (2011). Cells on the move in Philadelphia. Molecular Biology and Evolution, 22(6), 724. https://doi.org/10.1091/mbc.E10-12-0958
View | Files available | DOI
 

2011 | Journal Article | IST-REx-ID: 3364   OA
Didier, F., Henzinger, T. A., Mateescu, M., & Wolf, V. (2011). Approximation of event probabilities in noisy cellular processes. Theoretical Computer Science, 412(21), 2128–2141. https://doi.org/10.1016/j.tcs.2010.10.022
View | Files available | DOI
 

2011 | Conference Paper | IST-REx-ID: 3357
Chatterjee, K., Henzinger, T. A., & Horn, F. (2011). The complexity of request-response games. In A.-H. Dediu, S. Inenaga, & C. Martín-Vide (Eds.) (Vol. 6638, pp. 227–237). Presented at the LATA: Language and Automata Theory and Applications, Tarragona, Spain: Springer. https://doi.org/10.1007/978-3-642-21254-3_17
View | DOI
 

2011 | Journal Article | IST-REx-ID: 3376   OA
Bollenbach, M. T., & Kishony, R. (2011). Resolution of gene regulatory conflicts caused by combinations of antibiotics. Molecular Cell, 42(4), 413–425. https://doi.org/10.1016/j.molcel.2011.04.016
View | DOI | Download (ext.)
 

2011 | Journal Article | IST-REx-ID: 3965
Wang, B., Edelsbrunner, H., & Morozov, D. (2011). Computing elevation maxima by searching the Gauss sphere. Journal of Experimental Algorithmics, 16(2.2), 1–13. https://doi.org/10.1145/1963190.1970375
View | DOI
 

2011 | Journal Article | IST-REx-ID: 491
Eichner, A., & Sixt, M. K. (2011). Setting the clock for recirculating lymphocytes. Science Signaling, 4(198). https://doi.org/10.1126/scisignal.2002617
View | DOI
 

2011 | Journal Article | IST-REx-ID: 504   OA
Polechova, J., Barton, N. H., & Marion, G. (2011). Erratum: Species’ range: Adaptation in space and time (American Naturalist 174 (E186 E204)) . American Naturalist, 177(4), 546–547. https://doi.org/10.1086/659642
View | Files available | DOI | Download (ext.)
 

2011 | Conference Paper | IST-REx-ID: 3345
Chatterjee, K., & Doyen, L. (2011). Energy and mean-payoff parity Markov Decision Processes (Vol. 6907, pp. 206–218). Presented at the MFCS: Mathematical Foundations of Computer Science, Warsaw, Poland: Springer. https://doi.org/10.1007/978-3-642-22993-0_21
View | Files available | DOI | Download (ext.) | arXiv
 

2011 | Technical Report | IST-REx-ID: 5384   OA
Chatterjee, K., & Tracol, M. (2011). Decidable problems for probabilistic automata on infinite words. IST Austria. https://doi.org/10.15479/AT:IST-2011-0004
View | Files available | DOI
 

2011 | Preprint | IST-REx-ID: 3338
Chatterjee, K. (2011). Bounded rationality in concurrent parity games. ArXiv. ArXiv.
View | Files available | Download (ext.) | arXiv
 

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 | Journal Article | IST-REx-ID: 3269
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
 

2011 | Book Chapter | IST-REx-ID: 3271
Wagner, H., Chen, C., & Vuçini, E. (2011). Efficient computation of persistent homology for cubical data. In R. Peikert, H. Hauser, H. Carr, & R. Fuchs (Eds.), Topological Methods in Data Analysis and Visualization II (pp. 91–106). Springer. https://doi.org/10.1007/978-3-642-23175-9_7
View | DOI
 

2011 | Journal Article | IST-REx-ID: 3288   OA
Smutny, M., Wu, S., Gomez, G., Mangold, S., Yap, A., & Hamilton, N. (2011). Multicomponent analysis of junctional movements regulated by Myosin II isoforms at the epithelial zonula adherens. PLoS One, 6(7). https://doi.org/10.1371/journal.pone.0022458
View | Files available | DOI
 

2011 | Journal Article | IST-REx-ID: 3290   OA
Lohse, K., Harrison, R., & Barton, N. H. (2011). A general method for calculating likelihoods under the coalescent process. Genetics, 189(3), 977–987. https://doi.org/10.1534/genetics.111.129569
View | DOI | Download (ext.)
 

2011 | Preprint | IST-REx-ID: 3339   OA
Chatterjee, K., De Alfaro, L., & Pritam, R. (2011). Magnifying lens abstraction for stochastic games with discounted and long-run average objectives. ArXiv. ArXiv.
View | Download (ext.) | arXiv
 

2011 | Conference Paper | IST-REx-ID: 3163
Lampert, C. (2011). Maximum margin multi-label structured prediction. Presented at the NIPS: Neural Information Processing Systems, Granada, Spain: Neural Information Processing Systems.
View | Files available
 

2011 | Journal Article | IST-REx-ID: 3315   OA
Chatterjee, K., Henzinger, T. A., & Prabhu, V. (2011). Timed parity games: Complexity and robustness. Logical Methods in Computer Science, 7(4). https://doi.org/10.2168/LMCS-7(4:8)2011
View | Files available | DOI
 

2011 | Conference Poster | IST-REx-ID: 3322
Lampert, C. (2011). Maximum margin multi label structured prediction. NIPS: Neural Information Processing Systems. Neural Information Processing Systems.
View | Files available
 

2011 | Journal Article | IST-REx-ID: 3334
Edelsbrunner, H., Pach, J., & Ziegler, G. (2011). Letter from the new editors-in-chief. Discrete & Computational Geometry, 45(1), 1–2. https://doi.org/10.1007/s00454-010-9313-9
View | DOI
 

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: 3358
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
 

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 | Journal Article | IST-REx-ID: 3372   OA
Abbot, P., Abe, J., Alcock, J., Alizon, S., Alpedrinha, J., Andersson, M., … Zink, A. (2011). Inclusive fitness theory and eusociality. Nature, 471(7339), E1–E4. https://doi.org/10.1038/nature09831
View | DOI | Download (ext.) | PubMed | Europe PMC
 

2011 | Conference Paper | IST-REx-ID: 3365   OA
Chatterjee, K., Henzinger, T. A., Jobstmann, B., & Singh, R. (2011). QUASY: quantitative synthesis tool (Vol. 6605, pp. 267–271). Presented at the TACAS: Tools and Algorithms for the Construction and Analysis of Systems, Saarbrucken, Germany: Springer. https://doi.org/10.1007/978-3-642-19835-9_24
View | Files available | DOI
 

2011 | Journal Article | IST-REx-ID: 3377   OA
Edelsbrunner, H., Morozov, D., & Patel, A. (2011). Quantifying transversality by measuring the robustness of intersections. Foundations of Computational Mathematics, 11(3), 345–361. https://doi.org/10.1007/s10208-011-9090-8
View | DOI | Download (ext.)
 

2011 | Journal Article | IST-REx-ID: 3771
Pavan, A., Martins, F., Santos, F., Ditchfield, A., & Fernandes Redondo, R. A. (2011). Patterns of diversification in two species of short-tailed bats (Carollia Gray, 1838): the effects of historical fragmentation of Brazilian rainforests. Biological Journal of the Linnean Society, 102(3), 527–539. https://doi.org/10.1111/j.1095-8312.2010.01601.x
View | DOI
 

2011 | Journal Article | IST-REx-ID: 3505
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
 

2011 | Journal Article | IST-REx-ID: 3384   OA
Tkacik, G., Garrigan, P., Ratliff, C., Milcinski, G., Klein, J., Seyfarth, L., … Balasubramanian, V. (2011). Natural images from the birthplace of the human eye. PLoS One, 6(6). https://doi.org/10.1371/journal.pone.0020409
View | Files available | DOI
 

2011 | Journal Article | IST-REx-ID: 3389
Blaschko, M., Shelton, J., Bartels, A., Lampert, C., & Gretton, A. (2011). Semi supervised kernel canonical correlation analysis with application to human fMRI. Pattern Recognition Letters, 32(11), 1572–1583. https://doi.org/10.1016/j.patrec.2011.02.011
View | DOI
 

2011 | Journal Article | IST-REx-ID: 3391   OA
de Vladar, H., & Barton, N. H. (2011). The contribution of statistical physics to evolutionary biology. Trends in Ecology and Evolution, 26(8), 424–432. https://doi.org/10.1016/j.tree.2011.04.002
View | DOI | Download (ext.)
 

2011 | Journal Article | IST-REx-ID: 3396   OA
Stockinger, P., Heisenberg, C.-P. J., & Maître, J.-L. (2011). Defective neuroepithelial cell cohesion affects tangential branchiomotor neuron migration in the zebrafish neural tube. Development, 138(21), 4673–4683. https://doi.org/10.1242/dev.071233
View | Files available | DOI
 

2011 | Journal Article | IST-REx-ID: 531
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
 

2011 | Technical Report | IST-REx-ID: 5380   OA
Chatterjee, K. (2011). Bounded rationality in concurrent parity games. IST Austria. https://doi.org/10.15479/AT:IST-2011-0008
View | Files available | DOI
 

2011 | Technical Report | IST-REx-ID: 5385   OA
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: 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 | 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: 3359
Cerny, P., & Henzinger, T. A. (2011). From boolean to quantitative synthesis (pp. 149–154). Presented at the EMSOFT: Embedded Software , Taipei; Taiwan: ACM. https://doi.org/10.1145/2038642.2038666
View | DOI
 

2011 | Conference Paper | IST-REx-ID: 3361   OA
Cerny, P., Chatterjee, K., & Henzinger, T. A. (2011). The complexity of quantitative information flow problems (pp. 205–217). Presented at the CSF: Computer Security Foundations, Cernay-la-Ville, France: IEEE. https://doi.org/10.1109/CSF.2011.21
View | Files available | DOI
 

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 | Conference Paper | IST-REx-ID: 3328
Berberich, E., Hemmer, M., & Kerber, M. (2011). A generic algebraic kernel for non linear geometric applications (pp. 179–186). Presented at the SCG: Symposium on Computational Geometry, Paris, France: ACM. https://doi.org/10.1145/1998196.1998224
View | DOI
 

2011 | Conference Paper | IST-REx-ID: 3342   OA
Chatterjee, K., Henzinger, M., Joglekar, M., & Nisarg, S. (2011). Symbolic algorithms for qualitative analysis of Markov decision processes with Büchi objectives. In G. Gopalakrishnan & S. Qadeer (Eds.) (Vol. 6806, pp. 260–276). Presented at the CAV: Computer Aided Verification, Snowbird, USA: Springer. https://doi.org/10.1007/978-3-642-22110-1_21
View | DOI | Download (ext.) | arXiv
 

2011 | Conference Paper | IST-REx-ID: 3347   OA
Chatterjee, K., & Fijalkow, N. (2011). Finitary languages (Vol. 6638, pp. 216–226). Presented at the LATA: Language and Automata Theory and Applications, Tarragona, Spain: Springer. https://doi.org/10.1007/978-3-642-21254-3_16
View | DOI | Download (ext.) | arXiv
 

2011 | Journal Article | IST-REx-ID: 3354
Chatterjee, K., De Alfaro, L., & Henzinger, T. A. (2011). Qualitative concurrent parity games. ACM Transactions on Computational Logic (TOCL), 12(4). https://doi.org/10.1145/1970398.1970404
View | Files available | DOI
 

2011 | Conference Paper | IST-REx-ID: 3316
Bloem, R., Chatterjee, K., Greimel, K., Henzinger, T. A., & Jobstmann, B. (2011). Specification-centered robustness. In 6th IEEE International Symposium on Industrial and Embedded Systems (pp. 176–185). Vasteras, Sweden: IEEE. https://doi.org/10.1109/SIES.2011.5953660
View | DOI
 

2011 | Journal Article | IST-REx-ID: 3784
Palero, F., Guerao, G., Clark, P., & Abello, P. (2011). 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, 91(2), 485–492. https://doi.org/10.1017/S0025315410000287
View | DOI
 

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
 

2011 | Journal Article | IST-REx-ID: 3373   OA
Jahnel, M., Behrndt, M., Jannasch, A., Schaeffer, E., & Grill, S. (2011). Measuring the complete force field of an optical trap. Optics Letters, 36(7), 1260–1262. https://doi.org/10.1364/OL.36.001260
View | Files available | DOI | Download (ext.)
 

2011 | Journal Article | IST-REx-ID: 3378
Bendich, P., & Harer, J. (2011). Persistent intersection homology. Foundations of Computational Mathematics, 11(3), 305–336. https://doi.org/10.1007/s10208-010-9081-1
View | DOI
 

2011 | Journal Article | IST-REx-ID: 3380
Logeswaran, S., & Barton, N. H. (2011). Mapping Mendelian traits in asexual progeny using changes in marker allele frequency. Genetical Research, 93(3), 221–232. https://doi.org/10.1017/S0016672311000115
View | DOI
 

2011 | Journal Article | IST-REx-ID: 518
Schraivogel, D., Weinmann, L., Beier, D., Tabatabai, G., Eichner, A., Zhu, J., … Meister, G. (2011). CAMTA1 is a novel tumour suppressor regulated by miR-9/9 * in glioblastoma stem cells. EMBO Journal, 30(20), 4309–4322. https://doi.org/10.1038/emboj.2011.301
View | DOI
 

2011 | Technical Report | IST-REx-ID: 5381   OA
Chatterjee, K., & Doyen, L. (2011). Partial-observation stochastic games: How to win when belief fails. IST Austria. https://doi.org/10.15479/AT:IST-2011-0007
View | Files available | DOI
 

2011 | Technical Report | IST-REx-ID: 5379   OA
Chatterjee, K., & Henzinger, M. (2011). An O(n2) time algorithm for alternating Büchi games. IST Austria. https://doi.org/10.15479/AT:IST-2011-0009
View | Files available | DOI
 

2011 | Conference Paper | IST-REx-ID: 3323
Wies, T., Muñiz, M., & Kuncak, V. (2011). An efficient decision procedure for imperative tree data structures (Vol. 6803, pp. 476–491). Presented at the CADE 23: Automated Deduction , Wrocław, Poland: Springer. https://doi.org/10.1007/978-3-642-22438-6_36
View | Files available | DOI
 

2011 | Conference Paper | IST-REx-ID: 3366
Cerny, P., Chatterjee, K., Henzinger, T. A., Radhakrishna, A., & Singh, R. (2011). Quantitative synthesis for concurrent programs. In G. Gopalakrishnan & S. Qadeer (Eds.) (Vol. 6806, pp. 243–259). Presented at the CAV: Computer Aided Verification, Snowbird, USA: Springer. https://doi.org/10.1007/978-3-642-22110-1_20
View | Files available | DOI
 

2011 | Technical Report | IST-REx-ID: 5386   OA
Chen, C., Freedman, D., & Lampert, C. (2011). Enforcing topological constraints in random field image segmentation. IST Austria. https://doi.org/10.15479/AT:IST-2011-0002
View | Files available | DOI
 

2011 | Conference Paper | IST-REx-ID: 3266
Ion, A., Carreira, J., & Sminchisescu, C. (2011). Probabilistic joint image segmentation and labeling. In NIPS Proceedings (Vol. 24, pp. 1827–1835). Granada, Spain: Neural Information Processing Systems Foundation.
View
 

2011 | Thesis | IST-REx-ID: 3273
Maître, J.-L. (2011). Mechanics of adhesion and de‐adhesion in zebrafish germ layer progenitors. IST Austria.
View
 

2011 | Conference Paper | IST-REx-ID: 3297   OA
Wojtan, C. J., Müller Fischer, M., & Brochu, T. (2011). Liquid simulation with mesh-based surface tracking. Presented at the SIGGRAPH: Special Interest Group on Computer Graphics and Interactive Techniques, Vancouver, BC, Canada: ACM. https://doi.org/10.1145/2037636.2037644
View | Files available | DOI
 

2011 | Conference Poster | IST-REx-ID: 3312   OA
Zheng, Y., Gu, S., Edelsbrunner, H., Tomasi, C., & Benfey, P. (2011). Detailed reconstruction of 3D plant root shape. Proceedings of the IEEE International Conference on Computer Vision (p. 6126475). Barcelona, Spain: IEEE. https://doi.org/10.1109/ICCV.2011.6126475
View | Files available | DOI
 

2011 | Conference Paper | IST-REx-ID: 3329   OA
Berberich, E., Halperin, D., Kerber, M., & Pogalnikova, R. (2011). Deconstructing approximate offsets. In Proceedings of the twenty-seventh annual symposium on Computational geometry (pp. 187–196). Paris, France: ACM. https://doi.org/10.1145/1998196.1998225
View | Files available | DOI | Download (ext.)
 

2011 | Conference Paper | IST-REx-ID: 3343   OA
Chatterjee, K., & Henzinger, M. (2011). Faster and dynamic algorithms for maximal end component decomposition and related graph problems in probabilistic verification (pp. 1318–1336). Presented at the SODA: Symposium on Discrete Algorithms, San Francisco, USA: SIAM. https://doi.org/10.1137/1.9781611973082.101
View | DOI | Download (ext.)
 

2011 | Conference Paper | IST-REx-ID: 3324   OA
Piskac, R., & Wies, T. (2011). Decision procedures for automating termination proofs. In R. Jhala & D. Schmidt (Eds.) (Vol. 6538, pp. 371–386). Presented at the VMCAI: Verification Model Checking and Abstract Interpretation, Texas, USA: Springer. https://doi.org/10.1007/978-3-642-18275-4_26
View | DOI | Download (ext.)
 

2011 | Journal Article | IST-REx-ID: 3386
Schrempf, A., Cremer, S., & Heinze, J. (2011). Social influence on age and reproduction reduced lifespan and fecundity in multi queen ant colonies. Journal of Evolutionary Biology, 24(7), 1455–1461. https://doi.org/10.1111/j.1420-9101.2011.02278.x
View | DOI
 

2011 | Journal Article | IST-REx-ID: 3393   OA
Barton, N. H., & Turelli, M. (2011). Spatial waves of advance with bistable dynamics: Cytoplasmic and genetic analogues of Allee effects. American Naturalist, 178(3), E48–E75. https://doi.org/10.1086/661246
View | Files available | DOI
 

2011 | Journal Article | IST-REx-ID: 3374   OA
Tkacik, G., & Walczak, A. (2011). Information transmission in genetic regulatory networks a review. Journal of Physics: Condensed Matter, 23(15). https://doi.org/10.1088/0953-8984/23/15/153102
View | DOI | Download (ext.)
 

2011 | Journal Article | IST-REx-ID: 3379   OA
Row, R., Maître, J.-L., Martin, B., Stockinger, P., Heisenberg, C.-P. J., & Kimelman, D. (2011). Completion of the epithelial to mesenchymal transition in zebrafish mesoderm requires Spadetail. Developmental Biology, 354(1), 102–110. https://doi.org/10.1016/j.ydbio.2011.03.025
View | DOI | Download (ext.) | PubMed | Europe PMC
 

2011 | Conference Paper | IST-REx-ID: 3348   OA
Chatterjee, K., & Prabhu, V. (2011). Synthesis of memory efficient real time controllers for safety objectives (pp. 221–230). Presented at the HSCC: Hybrid Systems - Computation and Control, Chicago, USA: Springer. https://doi.org/10.1145/1967701.1967734
View | DOI | Download (ext.)
 

Filters and Search Terms

extern<>1

Search

Filter Publications

Display / Sort

Citation Style: APA

Export / Embed