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.
5772 Publications
2011 | Journal Article | IST-REx-ID: 1054 | 
Haller, E., Rabie, M., Mark, M., Danzl, J. G., Hart, R., Lauber, K., … Nägerl, H. (2011). Three-body correlation functions and recombination rates for bosons in three dimensions and one dimension. Physical Review Letters. American Physical Society. https://doi.org/10.1103/PhysRevLett.107.230404
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2011 | Journal Article | IST-REx-ID: 11094 |
Talamas, J. A., & Hetzer, M. (2011). POM121 and Sun1 play a role in early steps of interphase NPC assembly. Journal of Cell Biology. Rockefeller University Press. https://doi.org/10.1083/jcb.201012154
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2011 | Journal Article | IST-REx-ID: 112 |
Waitukaitis, S. R., Grütjen, H., Royer, J., & Jaeger, H. (2011). Droplet and cluster formation in freely falling granular streams. Physical Review E. American Physical Society. https://doi.org/10.1103/PhysRevE.83.051302
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2011 | Journal Article | IST-REx-ID: 12651 |
Petersen, L., & Pellicciotti, F. (2011). Spatial and temporal variability of air temperature on a melting glacier: Atmospheric controls, extrapolation methods and their effect on melt modeling, Juncal Norte Glacier, Chile. Journal of Geophysical Research: Atmospheres. American Geophysical Union. https://doi.org/10.1029/2011jd015842
[Published Version]
View
| DOI
| Download Published Version (ext.)
2011 | Journal Article | IST-REx-ID: 12649 |
Finger, D., Pellicciotti, F., Konz, M., Rimkus, S., & Burlando, P. (2011). The value of glacier mass balance, satellite snow cover images, and hourly discharge for improving the performance of a physically based distributed hydrological model. Water Resources Research. American Geophysical Union. https://doi.org/10.1029/2010wr009824
[Published Version]
View
| DOI
| Download Published Version (ext.)
2011 | Journal Article | IST-REx-ID: 12652 |
Pellicciotti, F., Raschle, T., Huerlimann, T., Carenzo, M., & Burlando, P. (2011). Transmission of solar radiation through clouds on melting glaciers: A comparison of parameterizations and their impact on melt modelling. Journal of Glaciology. Cambridge University Press. https://doi.org/10.3189/002214311796406013
[Published Version]
View
| DOI
| Download Published Version (ext.)
2011 | Journal Article | IST-REx-ID: 1467 |
Hausel, T., Letellier, E., & Rodríguez Villegas, F. (2011). Arithmetic harmonic analysis on character and quiver varieties. Duke Mathematical Journal. Duke University Press. https://doi.org/10.1215/00127094-1444258
View
| DOI
| Download (ext.)
2011 | Journal Article | IST-REx-ID: 1754 |
Mongillo, M., Spathis, P., Katsaros, G., Gentile, P., Sanquer, M., & De Franceschi, S. (2011). Joule-assisted silicidation for short-channel silicon nanowire devices. ACS Nano. American Chemical Society. https://doi.org/10.1021/nn202524j
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2011 | Journal Article | IST-REx-ID: 1755 |
Katsaros, G., Golovach, V., Spathis, P., Ares, N., Stoffel, M., Fournel, F., … De Franceschi, S. (2011). Observation of spin-selective tunneling in sige nanocrystals. Physical Review Letters. American Physical Society. https://doi.org/10.1103/PhysRevLett.107.246601
View
| DOI
| Download (ext.)
2011 | Journal Article | IST-REx-ID: 1777 |
Eichler, C., Bozyigit, D., Lang, C., Steffen, L., Fink, J. M., & Wallraff, A. (2011). Experimental state tomography of itinerant single microwave photons. Physical Review Letters. American Physical Society. https://doi.org/10.1103/PhysRevLett.106.220503
View
| Files available
| DOI
| Download None (ext.)
2011 | Journal Article | IST-REx-ID: 1778 |
Lang, C., Bozyigit, D., Eichler, C., Steffen, L., Fink, J. M., Abdumalikov, A., … Wallraff, A. (2011). Observation of resonant photon blockade at microwave frequencies using correlation function measurements. Physical Review Letters. American Physical Society. https://doi.org/10.1103/PhysRevLett.106.243601
View
| DOI
| Download (ext.)
2011 | Journal Article | IST-REx-ID: 1815 |
Friedlander, T., & Brenner, N. (2011). Adaptive response and enlargement of dynamic range. Mathematical Biosciences and Engineering. Arizona State University. https://doi.org/10.3934/mbe.2011.8.515
View
| DOI
| Download (ext.)
2011 | Journal Article | IST-REx-ID: 2072 |
Vicoso, B., & Bachtrog, D. (2011). Lack of global dosage compensation in Schistosoma mansoni, a female-heterogametic parasite. Genome Biology and Evolution. Oxford University Press. https://doi.org/10.1093/gbe/evr010
[Published Version]
View
| Files available
| DOI
2011 | Book Chapter | IST-REx-ID: 2116 |
Maas, J., & Van Neerven, J. (2011). Gradient estimates and domain identification for analytic Ornstein-Uhlenbeck operators. In Parabolic Problems (Vol. 80, pp. 463–477). Birkhäuser. https://doi.org/10.1007/978-3-0348-0075-4_24
View
| DOI
| Download (ext.)
2011 | Journal Article | IST-REx-ID: 2122 |
Maas, J., Van Neerven, J., & Portal, P. (2011). Conical square functions and non-tangential maximal functions with respect to the Gaussian measure. Publicacions Matemàtiques. Universitat Autònoma de Barcelona, Departament de Matemàtique. https://doi.org/10.5565/PUBLMAT_55211_03
View
| DOI
| Download (ext.)
2011 | Journal Article | IST-REx-ID: 2123 |
Clément, P., & Maas, J. (2011). A Trotter product formula for gradient flows in metric spaces. Journal of Evolution Equations. Birkhäuser. https://doi.org/10.1007/s00028-010-0096-5
View
| Files available
| DOI
| Download None (ext.)
2011 | Journal Article | IST-REx-ID: 2126 |
Maas, J. (2011). Gradient flows of the entropy for finite Markov chains. Journal of Functional Analysis. Academic Press. https://doi.org/10.1016/j.jfa.2011.06.009
View
| DOI
| Download (ext.)
2011 | Preprint | IST-REx-ID: 2138 |
Ağanoğlu, R., Lemeshko, M., Friedrich, B., González Férez, R., & Koch, C. (2011). Controlling a diatomic shape resonance with non-resonant light. Unknown. ArXiv.
View
| Download (ext.)
2011 | Journal Article | IST-REx-ID: 2200 |
Lemeshko, M., Mustafa, M., Kais, S., & Friedrich, B. (2011). Supersymmetry identifies molecular Stark states whose eigenproperties can be obtained analytically. New Journal of Physics. IOP Publishing Ltd. https://doi.org/10.1088/1367-2630/13/6/063036
View
| DOI
| Download (ext.)
2011 | Journal Article | IST-REx-ID: 2199 |
Lemeshko, M., Mustafa, M., Kais, S., & Friedrich, B. (2011). Supersymmetric factorization yields exact solutions to the molecular Stark-effect problem for "stretched" states. Physical Review A - Atomic, Molecular, and Optical Physics. American Physical Society. https://doi.org/10.1103/PhysRevA.83.043415
View
| DOI
| Download (ext.)
2011 | Journal Article | IST-REx-ID: 2198 |
Lemeshko, M. (2011). Shaping interactions between polar molecules with far-off-resonant light. Physical Review A - Atomic, Molecular, and Optical Physics. American Physical Society. https://doi.org/10.1103/PhysRevA.83.051402
View
| DOI
| Download (ext.)
2011 | Conference Paper | IST-REx-ID: 2320 |
Frank, R., Lieb, É., Seiringer, R., & Thomas, L. (2011). Binding, stability, and non-binding of multi-polaron systems (pp. 21–32). Presented at the QMath: Mathematical Results in Quantum Physics, World Scientific Publishing. https://doi.org/10.1142/9789814350365_0002
View
| DOI
| Download (ext.)
2011 | Conference Paper | IST-REx-ID: 2321 |
Frank, R., Laptev, A., & Seiringer, R. (2011). A sharp bound on eigenvalues of Schrödinger operators on the halfline with complex-valued potentials (Vol. 214, pp. 39–44). Presented at the OTAMP: Operator Theory, Analysis and Mathematical Physics, Springer. https://doi.org/10.1007/978-3-7643-9994-8_3
View
| DOI
| Download (ext.)
2011 | Journal Article | IST-REx-ID: 2390 |
Frank, R., Lieb, É., Seiringer, R., & Thomas, L. (2011). Stability and absence of binding for multi-polaron systems. Publications Mathematiques de l Institut Des Hautes Etudes Scientifiques. Springer. https://doi.org/10.1007/s10240-011-0031-5
View
| DOI
| Download (ext.)
2011 | Journal Article | IST-REx-ID: 2391 |
Frank, R., Lewin, M., Lieb, É., & Seiringer, R. (2011). Energy cost to make a hole in the fermi sea. Physical Review Letters. American Physical Society. https://doi.org/10.1103/PhysRevLett.106.150402
View
| DOI
| Download (ext.)
2011 | Journal Article | IST-REx-ID: 2393 |
Seiringer, R. (2011). The excitation spectrum for weakly interacting Bosons. Communications in Mathematical Physics. Springer. https://doi.org/10.1007/s00220-011-1261-6
View
| DOI
| Download (ext.)
2011 | Journal Article | IST-REx-ID: 2454 |
Li, H., Lin, D., Dhonukshe, P., Nagawa, S., Chen, D., Friml, J., … Yang, Z. (2011). Phosphorylation switch modulates the interdigitated pattern of PIN1 localization and cell expansion in Arabidopsis leaf epidermis. Cell Research. Nature Publishing Group. https://doi.org/10.1038/cr.2011.49
View
| DOI
| Download (ext.)
2011 | Journal Article | IST-REx-ID: 2961 |
Malaspinas, A., & Uhler, C. (2011). Detecting epistasis via Markov bases. Journal of Algebraic Statistics. Public Knowledge Project. http://dx.doi.org/10.18409/jas.v2i1.27
View
| DOI
| Download (ext.)
2011 | Journal Article | IST-REx-ID: 3092 |
Wabnik, K. T., Govaerts, W., Friml, J., & Kleine Vehn, J. (2011). Feedback models for polarized auxin transport: An emerging trend. Molecular BioSystems. Royal Society of Chemistry. https://doi.org/10.1039/c1mb05109a
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2011 | Journal Article | IST-REx-ID: 3091 |
Sauer, M., & Friml, J. (2011). Fleeting hormone cues get stabilized for plant organogenesis. Molecular Systems Biology. Nature Publishing Group. https://doi.org/10.1038/msb.2011.45
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
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. Wiley-Blackwell. https://doi.org/10.1111/j.1467-8659.2011.01985.x
[Published Version]
View
| DOI
| Download Published Version (ext.)
2011 | Journal Article | IST-REx-ID: 3288 |
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. Public Library of Science. https://doi.org/10.1371/journal.pone.0022458
[Published Version]
View
| Files available
| DOI
2011 | Conference Paper | IST-REx-ID: 3302 |
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.
[Submitted Version]
View
| Files available
2011 | Conference Paper | IST-REx-ID: 3301 |
Henzinger, T. A., & Mateescu, M. (2011). Tail approximation for the chemical master equation. Presented at the WCSB: Workshop on Computational Systems Biology (TICSP), Tampere International Center for Signal Processing.
[Submitted Version]
View
| Files available
2011 | Conference Paper | IST-REx-ID: 3299 |
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
[Submitted Version]
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
[Published Version]
View
| DOI
| Download Published Version (ext.)
2011 | Journal Article | IST-REx-ID: 3318 |
Eggermann, E., & Jonas, P. M. (2011). How the “slow” Ca(2+) buffer parvalbumin affects transmitter release in nanodomain coupling regimes at GABAergic synapses. Nature Neuroscience. Nature Publishing Group. https://doi.org/10.1038/nn.3002
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
2011 | Book Chapter | IST-REx-ID: 3335 |
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
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2011 | Conference Paper | IST-REx-ID: 3329 |
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
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
2011 | Journal Article | IST-REx-ID: 3332 |
Kerber, M., & Sagraloff, M. (2011). A note on the complexity of real algebraic hypersurfaces. Graphs and Combinatorics. Springer. https://doi.org/10.1007/s00373-011-1020-7
[Submitted Version]
View
| Files available
| DOI
2011 | Conference Paper | IST-REx-ID: 3330 |
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
[Preprint]
View
| DOI
| Download Preprint (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
[Published Version]
View
| DOI
| Download Published Version (ext.)
2011 | Journal Article | IST-REx-ID: 3353 |
Tripakis, S., Lickly, B., Henzinger, T. A., & Lee, E. (2011). A theory of synchronous relational interfaces. ACM Transactions on Programming Languages and Systems (TOPLAS). ACM. https://doi.org/10.1145/1985342.1985345
[Submitted Version]
View
| Files available
| DOI
2011 | Conference Paper | IST-REx-ID: 3355 |
Halalai, R., Henzinger, T. A., & Singh, V. (2011). Quantitative evaluation of BFT protocols (pp. 255–264). Presented at the QEST: Quantitative Evaluation of Systems, Aachen, Germany: IEEE. https://doi.org/10.1109/QEST.2011.40
[Submitted Version]
View
| Files available
| DOI
2011 | Conference Paper | IST-REx-ID: 3351 |
Chatterjee, K., Doyen, L., & Singh, R. (2011). On memoryless quantitative objectives. In O. Owe, M. Steffen, & J. A. Telle (Eds.) (Vol. 6914, pp. 148–159). Presented at the FCT: Fundamentals of Computation Theory, Oslo, Norway: Springer. https://doi.org/10.1007/978-3-642-22953-4_13
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
2011 | Conference Paper | IST-REx-ID: 3349 |
Chatterjee, K., & Fijalkow, N. (2011). A reduction from parity games to simple stochastic games (Vol. 54, pp. 74–86). Presented at the GandALF: Games, Automata, Logic, and Formal Verification, Minori, Italy: EPTCS. https://doi.org/10.4204/EPTCS.54.6
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
2011 | Conference Paper | IST-REx-ID: 3362 |
Fisher, J., Henzinger, T. A., Nickovic, D., Piterman, N., Singh, A., & Vardi, M. (2011). Dynamic reactive modules (Vol. 6901, pp. 404–418). Presented at the CONCUR: Concurrency Theory, Aachen, Germany: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.1007/978-3-642-23217-6_27
[Submitted Version]
View
| Files available
| DOI
2011 | Conference Paper | IST-REx-ID: 3365 |
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
[Submitted Version]
View
| Files available
| DOI
2011 | Preprint | IST-REx-ID: 3363 |
Chatterjee, K., Henzinger, T. A., & Tracol, M. (n.d.). The decidability frontier for probabilistic automata on infinite words. ArXiv.
[Preprint]
View
| Download Preprint (ext.)
| arXiv
2011 | Journal Article | IST-REx-ID: 3372 |
Abbot P et al. 2011. Inclusive fitness theory and eusociality. Nature. 471(7339), E1–E4.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
2011 | Journal Article | IST-REx-ID: 3371 |
Sixt, M. K., & Parent, C. (2011). Cells on the move in Philadelphia. Molecular Biology and Evolution. Oxford University Press. https://doi.org/10.1091/mbc.E10-12-0958
[Published Version]
View
| Files available
| DOI
2011 | Journal Article | IST-REx-ID: 3374 |
Tkačik, G., & Walczak, A. (2011). Information transmission in genetic regulatory networks a review. Journal of Physics: Condensed Matter. IOP Publishing Ltd. https://doi.org/10.1088/0953-8984/23/15/153102
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
2011 | Journal Article | IST-REx-ID: 3368 |
Krens, G., Möllmert, S., & Heisenberg, C.-P. J. (2011). Enveloping cell layer differentiation at the surface of zebrafish germ layer tissue explants. PNAS. National Academy of Sciences. https://doi.org/10.1073/pnas.1010767108
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
2011 | Journal Article | IST-REx-ID: 3370 |
Kupczok, A. (2011). Consequences of different null models on the tree shape bias of supertree methods. Systematic Biology. Oxford University Press. https://doi.org/10.1093/sysbio/syq086
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
2011 | Journal Article | IST-REx-ID: 3396 |
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. Company of Biologists. https://doi.org/10.1242/dev.071233
[Published Version]
View
| Files available
| DOI
2011 | Journal Article | IST-REx-ID: 3394 |
Polechova, J., & Barton, N. H. (2011). Genetic drift widens the expected cline but narrows the expected cline width. Genetics. Genetics Society of America. https://doi.org/10.1534/genetics.111.129817
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
2011 | Journal Article | IST-REx-ID: 3390 |
Barton, N. H., & Etheridge, A. (2011). The relation between reproductive value and genetic contribution. Genetics. Genetics Society of America. https://doi.org/10.1534/genetics.111.127555
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
2011 | Journal Article | IST-REx-ID: 3391 |
de Vladar, H., & Barton, N. H. (2011). The contribution of statistical physics to evolutionary biology. Trends in Ecology and Evolution. Cell Press. https://doi.org/10.1016/j.tree.2011.04.002
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
2011 | Journal Article | IST-REx-ID: 3397 |
Maître, J.-L., & Heisenberg, C.-P. J. (2011). The role of adhesion energy in controlling cell-cell contacts. Current Opinion in Cell Biology. Elsevier. https://doi.org/10.1016/j.ceb.2011.07.004
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
2011 | Journal Article | IST-REx-ID: 3405 |
Janovjak, H. L., Sandoz, G., & Isacoff, E. (2011). Modern ionotropic glutamate receptor with a K+ selectivity signature sequence. Nature Communications. Nature Publishing Group. https://doi.org/10.1038/ncomms1231
[Submitted Version]
View
| Files available
| 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. Springer. https://doi.org/10.1007/978-1-61779-207-6_11
[Published Version]
View
| DOI
| Download Published Version (ext.)
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. Cambridge University Press. https://doi.org/10.1017/S0025315410000287
[Published Version]
View
| DOI
| Download Published Version (ext.)
2011 | Book Chapter | IST-REx-ID: 3796 |
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
[Submitted Version]
View
| Files available
| DOI
2011 | Journal Article | IST-REx-ID: 3381 |
Henzinger, T. A., Jobstmann, B., & Wolf, V. (2011). Formalisms for specifying Markovian population models. IJFCS: International Journal of Foundations of Computer Science. World Scientific Publishing. https://doi.org/10.1142/S0129054111008441
[Submitted Version]
View
| Files available
| DOI
2011 | Journal Article | IST-REx-ID: 386 |
Alpichshev, Z., Analytis, J. G., Chu, J. H., Fisher, I. R., & Kapitulnik, A. (2011). 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. American Physical Society. https://doi.org/10.1103/PhysRevB.84.041104
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2011 | Journal Article | IST-REx-ID: 3315 |
Chatterjee, K., Henzinger, T. A., & Prabhu, V. (2011). Timed parity games: Complexity and robustness. Logical Methods in Computer Science. International Federation of Computational Logic. https://doi.org/10.2168/LMCS-7(4:8)2011
[Published Version]
View
| Files available
| DOI
2011 | Journal Article | IST-REx-ID: 3101 |
Zwiewka, M., Feraru, E., Möller, B., Hwang, I., Feraru, M., Kleine Vehn, J., … Friml, J. (2011). The AP 3 adaptor complex is required for vacuolar function in Arabidopsis. Cell Research. Nature Publishing Group. https://doi.org/10.1038/cr.2011.99
View
| DOI
| Download (ext.)
2011 | Journal Article | IST-REx-ID: 3100 |
Vanneste, S., Coppens, F., Lee, E., Donner, T., Xie, Z., Van Isterdael, G., … Beeckman, T. (2011). Developmental regulation of CYCA2s contributes to tissue-specific proliferation in Arabidopsis . EMBO Journal. Wiley-Blackwell. https://doi.org/10.1038/emboj.2011.240
View
| DOI
| Download (ext.)
2011 | Journal Article | IST-REx-ID: 3276 |
Prentice, J., Homann, J., Simmons, K., Tkačik, G., Balasubramanian, V., & Nelson, P. (2011). Fast, scalable, Bayesian spike identification for multi-electrode arrays. PLoS One. Public Library of Science. https://doi.org/10.1371/journal.pone.0019884
View
| Files available
| DOI
2011 | Conference Paper | IST-REx-ID: 3298 |
Raveendran, K., Wojtan, C., & Turk, G. (2011). Hybrid smoothed particle hydrodynamics. In S. Spencer (Ed.) (pp. 33–42). Presented at the SCA: ACM SIGGRAPH/Eurographics Symposium on Computer animation, Vancouver, Canada: ACM. https://doi.org/10.1145/2019406.2019411
[Submitted Version]
View
| Files available
| DOI
2011 | Conference Paper | IST-REx-ID: 3297 |
Wojtan, C., 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
[Published Version]
View
| Files available
| DOI
2011 | Journal Article | IST-REx-ID: 3290 |
Lohse, K., Harrison, R., & Barton, N. H. (2011). A general method for calculating likelihoods under the coalescent process. Genetics. Genetics Society of America. https://doi.org/10.1534/genetics.111.129569
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
2011 | Conference Poster | IST-REx-ID: 3312 |
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. Barcelona, Spain: IEEE. https://doi.org/10.1109/ICCV.2011.6126475
[Submitted Version]
View
| Files available
| DOI
2011 | Conference Paper | IST-REx-ID: 3313 |
Chen, C., & Edelsbrunner, H. (2011). Diffusion runs low on persistence fast. In Proceedings of the IEEE International Conference on Computer Vision. Barcelona, Spain: IEEE. https://doi.org/10.1109/ICCV.2011.6126271
[Submitted Version]
View
| Files available
| DOI
2011 | Book Chapter | IST-REx-ID: 3311 |
Edelsbrunner, H. (n.d.). Alpha shapes - a survey. In R. van de Weygaert, G. Vegter, J. Ritzerveld, & V. Icke (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 |
Almagor, S., Boker, U., & Kupferman, O. (2011). What’s decidable about weighted automata (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
[Submitted Version]
View
| Files available
| DOI
2011 | Conference Paper | IST-REx-ID: 3324 |
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
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
2011 | Preprint | IST-REx-ID: 3339 |
Chatterjee, K., De Alfaro, L., & Pritam, R. (2011). Magnifying lens abstraction for stochastic games with discounted and long-run average objectives. arXiv. ArXiv.
[Preprint]
View
| Download Preprint (ext.)
| arXiv
2011 | Conference Paper | IST-REx-ID: 3342 |
Chatterjee, K., Henzinger, M. H., 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
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2011 | Conference Paper | IST-REx-ID: 3347 |
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
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2011 | Conference Paper | IST-REx-ID: 3346 |
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
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
2011 | Conference Paper | IST-REx-ID: 3348 |
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
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
2011 | Conference Paper | IST-REx-ID: 3343 |
Chatterjee, K., & Henzinger, M. H. (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, SA, United States: SIAM. https://doi.org/10.1137/1.9781611973082.101
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
2011 | Conference Paper | IST-REx-ID: 3360 |
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
[Published Version]
View
| Files available
| DOI
2011 | Conference Paper | IST-REx-ID: 3361 |
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
[Submitted Version]
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
[Published Version]
View
| DOI
| Download Published Version (ext.)
2011 | Journal Article | IST-REx-ID: 3379 |
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. Elsevier. https://doi.org/10.1016/j.ydbio.2011.03.025
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
2011 | Journal Article | IST-REx-ID: 3376 |
Bollenbach, M. T., & Kishony, R. (2011). Resolution of gene regulatory conflicts caused by combinations of antibiotics. Molecular Cell. Cell Press. https://doi.org/10.1016/j.molcel.2011.04.016
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
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. Cambridge University Press. https://doi.org/10.1017/S0016672311000115
[Published Version]
View
| DOI
| Download Published Version (ext.)
2011 | Journal Article | IST-REx-ID: 3377 |
Edelsbrunner, H., Morozov, D., & Patel, A. (2011). Quantifying transversality by measuring the robustness of intersections. Foundations of Computational Mathematics. Springer. https://doi.org/10.1007/s10208-011-9090-8
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
2011 | Journal Article | IST-REx-ID: 3388 |
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. BioMed Central. https://doi.org/10.1186/1471-2148-11-201
[Published Version]
View
| Files available
| DOI
2011 | Journal Article | IST-REx-ID: 3384 |
Tkačik, 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. Public Library of Science. https://doi.org/10.1371/journal.pone.0020409
[Published Version]
View
| Files available
| DOI
2011 | Journal Article | IST-REx-ID: 3387 |
Kupczok, A. (2011). Split based computation of majority rule supertrees. BMC Evolutionary Biology. BioMed Central. https://doi.org/10.1186/1471-2148-11-205
[Published Version]
View
| Files available
| DOI
2011 | Journal Article | IST-REx-ID: 3399 |
Cremer, S., Schrempf, A., & Heinze, J. (2011). Competition and opportunity shape the reproductive tactics of males in the ant Cardiocondyla obscurior. PLoS One. Public Library of Science. https://doi.org/10.1371/journal.pone.0017323
[Published Version]
View
| Files available
| DOI
2011 | Journal Article | IST-REx-ID: 3778 |
Barton, N. H. (2011). Estimating linkage disequilibria. Heredity. Nature Publishing Group. https://doi.org/10.1038/hdy.2010.67
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
2011 | Journal Article | IST-REx-ID: 3364 |
Didier, F., Henzinger, T. A., Mateescu, M., & Wolf, V. (2011). Approximation of event probabilities in noisy cellular processes. Theoretical Computer Science. Elsevier. https://doi.org/10.1016/j.tcs.2010.10.022
[Submitted Version]
View
| Files available
| DOI
2011 | Journal Article | IST-REx-ID: 469 |
Vyleta, N., & Smith, S. (2011). Spontaneous glutamate release is independent of calcium influx and tonically activated by the calcium-sensing receptor. European Journal of Neuroscience. Wiley-Blackwell. https://doi.org/10.1523/JNEUROSCI.6398-10.2011
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
2011 | Journal Article | IST-REx-ID: 490 |
Schlögl, A., Vidaurre, C., & Sander, T. (2011). BioSig: The free and open source software library for biomedical signal processing. Computational Intelligence and Neuroscience. Hindawi Publishing Corporation. https://doi.org/10.1155/2011/935364
[Published Version]
View
| Files available
| 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. Wiley-Blackwell. https://doi.org/10.1038/emboj.2011.301
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
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. Springer. https://doi.org/10.1007/s10703-011-0131-3
[Published Version]
View
| DOI
| Download Published Version (ext.)