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.

6092 Publications


2012 |Published| Conference Paper | IST-REx-ID: 10906 | OA
Grebenshchikov, S., Gupta, A., Lopes, N. P., Popeea, C., & Rybalchenko, A. (2012). HSF(C): A software verifier based on Horn clauses. In C. Flanagan & B. König (Eds.), Tools and Algorithms for the Construction and Analysis of Systems (Vol. 7214, pp. 549–551). Berlin, Heidelberg: Springer. https://doi.org/10.1007/978-3-642-28756-5_46
[Published Version] View | DOI | Download Published Version (ext.)
 

2012 |Published| Book Chapter | IST-REx-ID: 5745 | OA
Gupta, A. (2012). Improved Single Pass Algorithms for Resolution Proof Reduction. In Automated Technology for Verification and Analysis (Vol. 7561, pp. 107–121). Berlin, Heidelberg: Springer Berlin Heidelberg. https://doi.org/10.1007/978-3-642-33386-6_10
View | Files available | DOI
 

2012 |Published| Conference Paper | IST-REx-ID: 3251 | OA
Zufferey, D., Wies, T., & Henzinger, T. A. (2012). Ideal abstractions for well structured transition systems (Vol. 7148, pp. 445–460). Presented at the VMCAI: Verification, Model Checking and Abstract Interpretation, Philadelphia, PA, USA: Springer. https://doi.org/10.1007/978-3-642-27940-9_29
[Submitted Version] View | Files available | DOI
 

2012 |Published| Journal Article | IST-REx-ID: 3157 | OA
Diaz Jr, L., Williams, R., Wu, J., Kinde, I., Hecht, J., Berlin, J., … Vogelstein, B. (2012). The molecular evolution of acquired resistance to targeted EGFR blockade in colorectal cancers. Nature. Nature Publishing Group. https://doi.org/10.1038/nature11219
[Submitted Version] View | Files available | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2012 |Published| Journal Article | IST-REx-ID: 3260 | OA
Chatterjee, K., Reiter, J., & Nowak, M. (2012). Evolutionary dynamics of biological auctions. Theoretical Population Biology. Academic Press. https://doi.org/10.1016/j.tpb.2011.11.003
[Submitted Version] View | Files available | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2012 |Published| Journal Article | IST-REx-ID: 3258 | OA
Kim, S., Guzmán, J., Hu, H., & Jonas, P. M. (2012). Active dendrites support efficient initiation of dendritic spikes in hippocampal CA3 pyramidal neurons. Nature Neuroscience. Nature Publishing Group. https://doi.org/10.1038/nn.3060
[Published Version] View | Files available | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2012 |Published| Journal Article | IST-REx-ID: 12198 | OA
Ibarra, C. A., Feng, X., Schoft, V. K., Hsieh, T.-F., Uzawa, R., Rodrigues, J. A., … Zilberman, D. (2012). Active DNA demethylation in plant companion cells reinforces transposon methylation in gametes. Science. American Association for the Advancement of Science. https://doi.org/10.1126/science.1224839
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2012 |Published| 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. B. Verkin Institute for Low Temperature Physics and Engineering.
[Published Version] View | Download Published Version (ext.) | WoS
 

2012 |Published| Conference Paper | IST-REx-ID: 3123 | OA
Yu, J., Wojtan, C., Turk, G., & Yap, C. (2012). Explicit mesh surfaces for particle based fluids. In Computer Graphics Forum (Vol. 31, pp. 815–824). Cagliari, Sardinia, Italy: Wiley. https://doi.org/10.1111/j.1467-8659.2012.03062.x
[Submitted Version] View | Files available | DOI
 

2012 |Published| Journal Article | IST-REx-ID: 3244 | OA
Danowski, P. (2012). Die Zeit des Abwartens ist vorbei! BuB - Forum Bibliothek und Information. Fachzeitschrift des BIB – Berufsverband Information Bibliothek.
[Published Version] View | Download Published Version (ext.)
 

2012 |Published| Journal Article | IST-REx-ID: 3243 | OA
Danowski, P. (2012). Zwischen Technologie und Information. Büchereiperspektiven. Büchereiverband Österreichs.
[Published Version] View | Download Published Version (ext.)
 

2012 |Published| Conference Paper | IST-REx-ID: 3127 | OA
Quadrianto, N., Lampert, C., & Chen, C. (2012). The most persistent soft-clique in a set of sampled graphs. In Proceedings of the 29th International Conference on Machine Learning (pp. 211–218). Edinburgh, United Kingdom: ML Research Press.
[Preprint] View | Download Preprint (ext.)
 

2012 |Published| Journal Article | IST-REx-ID: 2904 | OA
Pausinger, F. (2012). Weak multipliers for generalized van der Corput sequences. Journal de Theorie Des Nombres Des Bordeaux. Université de Bordeaux. https://doi.org/10.5802/jtnb.819
[Published Version] View | Files available | DOI
 

2012 |Published| Journal Article | IST-REx-ID: 2902 | OA
Edelsbrunner, H., Musin, O., Ukhalov, A., Yakimova, O., Alexeev, V., Bogaevskaya, V., … Preobrazhenskaya, M. (2012). Fractal and computational geometry for generalizing cartographic objects. Modeling and Analysis of Information Systems. Russian Academy of Sciences.
[Published Version] View | Download Published Version (ext.)
 

2011 |Published| Journal Article | IST-REx-ID: 10389 | OA
Šarić, A., & Cacciuto, A. (2011). Soft elastic surfaces as a platform for particle self-assembly. Soft Matter. Royal Society of Chemistry. https://doi.org/10.1039/c1sm05773a
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2011 |Published| Journal Article | IST-REx-ID: 1050 | OA
Bai J, Ahmed E, Beser B, Guan Y, Kotochigova S, Lyyra M, Ashman S, Wolfe C, Huennekens J, Xie F, Li D, Li L, Tamanis M, Ferber R, Drozdova A, Pazyuk E, Stolyarov A, Danzl JG, Nägerl H, Bouloufa N, Dulieu O, Amiot C, Salami H, Bergeman T. 2011. Global analysis of data on the spin-orbit-coupled A 1Σu+ and b 3Πu inf states of Cs2. Physical Review A - Atomic, Molecular, and Optical Physics. 83(3).
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2011 |Published| Journal Article | IST-REx-ID: 1048 | OA
Nägerl, H., Mark, M., Haller, E., Gustavsson, M., Hart, R., & Danzl, J. G. (2011). Ultracold and dense samples of ground-state molecules in lattice potentials. Journal of Physics: Conference Series. IOP Publishing Ltd. https://doi.org/10.1088/1742-6596/264/1/012015
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2011 |Published| Journal Article | IST-REx-ID: 1052 | OA
Vexiau, R., Bouloufa, N., Aymar, M., Danzl, J. G., Mark, M., Nägerl, H., & Dulieu, O. (2011). Optimal trapping wavelengths of Cs 2 molecules in an optical lattice. European Physical Journal D. Springer. https://doi.org/10.1140/epjd/e2011-20085-4
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2011 |Published| Journal Article | IST-REx-ID: 1053 | OA
Mark, M., Haller, E., Lauber, K., Danzl, J. G., Daley, A., & Nägerl, H. (2011). Precision measurements on a tunable Mott insulator of ultracold atoms. Physical Review Letters. American Physical Society. https://doi.org/10.1103/PhysRevLett.107.175301
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2011 |Published| Journal Article | IST-REx-ID: 1054 | OA
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 |Published| Journal Article | IST-REx-ID: 11094 | OA
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 |Published| Journal Article | IST-REx-ID: 112 | OA
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 |Published| Journal Article | IST-REx-ID: 12651 | OA
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 |Published| Journal Article | IST-REx-ID: 12649 | OA
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 |Published| Journal Article | IST-REx-ID: 12652 | OA
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 |Published| Journal Article | IST-REx-ID: 1467 | OA
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 |Published| Journal Article | IST-REx-ID: 1754 | OA
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 |Published| Journal Article | IST-REx-ID: 1755 | OA
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 |Published| Journal Article | IST-REx-ID: 1777 | OA
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 |Published| Journal Article | IST-REx-ID: 1778 | OA
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 |Published| Journal Article | IST-REx-ID: 1815 | OA
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 |Published| Journal Article | IST-REx-ID: 2072 | OA
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 |Published| Book Chapter | IST-REx-ID: 2116 | OA
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 |Published| Journal Article | IST-REx-ID: 2122 | OA
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 |Published| Journal Article | IST-REx-ID: 2123 | OA
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 |Published| Journal Article | IST-REx-ID: 2126 | OA
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 |Published| Preprint | IST-REx-ID: 2138 | OA
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 |Published| Journal Article | IST-REx-ID: 2200 | OA
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 |Published| Journal Article | IST-REx-ID: 2199 | OA
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 |Published| Journal Article | IST-REx-ID: 2198 | OA
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 |Published| Conference Paper | IST-REx-ID: 2320 | OA
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 |Published| Conference Paper | IST-REx-ID: 2321 | OA
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 |Published| Journal Article | IST-REx-ID: 2390 | OA
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 |Published| Journal Article | IST-REx-ID: 2391 | OA
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 |Published| Journal Article | IST-REx-ID: 2393 | OA
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 |Published| Journal Article | IST-REx-ID: 2454 | OA
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 |Published| Journal Article | IST-REx-ID: 2961 | OA
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 |Published| Journal Article | IST-REx-ID: 3092 | OA
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 |Published| Journal Article | IST-REx-ID: 3091 | OA
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 |Published| 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. Wiley-Blackwell. https://doi.org/10.1111/j.1467-8659.2011.01985.x
[Published Version] View | DOI | Download Published Version (ext.)
 

2011 |Published| 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. Public Library of Science. https://doi.org/10.1371/journal.pone.0022458
[Published Version] View | Files available | DOI
 

2011 |Published| 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.
[Submitted Version] View | Files available
 

2011 |Published| Conference Paper | IST-REx-ID: 3301 | OA
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 |Published| 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
[Submitted Version] View | Files available | DOI
 

2011 |Published| Conference Paper | IST-REx-ID: 3316 | OA
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 |Published| Journal Article | IST-REx-ID: 3318 | OA
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 |Published| 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
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2011 |Published| 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
[Preprint] View | Files available | DOI | Download Preprint (ext.)
 

2011 |Published| Journal Article | IST-REx-ID: 3332 | OA
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 |Published| 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
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2011 |Published| Conference Paper | IST-REx-ID: 3328 | OA
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 |Published| 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). ACM. https://doi.org/10.1145/1985342.1985345
[Submitted Version] View | Files available | DOI
 

2011 |Published| Conference Paper | IST-REx-ID: 3355 | OA
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 |Published| Conference Paper | IST-REx-ID: 3351 | OA
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 |Published| Conference Paper | IST-REx-ID: 3349 | OA
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 |Published| Conference Paper | IST-REx-ID: 3362 | OA
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 |Published| 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
[Submitted Version] View | Files available | DOI
 

2011 |Submitted| Preprint | IST-REx-ID: 3363 | OA
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 |Published| Journal Article | IST-REx-ID: 3372 | OA
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 |Published| Journal Article | IST-REx-ID: 3371 | OA
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 |Published| Journal Article | IST-REx-ID: 3374 | OA
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 |Published| Journal Article | IST-REx-ID: 3368 | OA
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 |Published| Journal Article | IST-REx-ID: 3370 | OA
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 |Published| 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. Company of Biologists. https://doi.org/10.1242/dev.071233
[Published Version] View | Files available | DOI
 

2011 |Published| Journal Article | IST-REx-ID: 3394 | OA
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 |Published| Journal Article | IST-REx-ID: 3390 | OA
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 |Published| 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. Cell Press. https://doi.org/10.1016/j.tree.2011.04.002
[Submitted Version] View | DOI | Download Submitted Version (ext.)
 

2011 |Published| 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. Elsevier. https://doi.org/10.1016/j.ceb.2011.07.004
[Submitted Version] View | DOI | Download Submitted Version (ext.)
 

2011 |Published| 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. Nature Publishing Group. https://doi.org/10.1038/ncomms1231
[Submitted Version] View | Files available | DOI
 

2011 |Published| 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. Springer. https://doi.org/10.1007/978-1-61779-207-6_11
[Published Version] View | DOI | Download Published Version (ext.)
 

2011 |Published| Journal Article | IST-REx-ID: 3784 | OA
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 |Published| 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
[Submitted Version] View | Files available | DOI
 

2011 |Published| Journal Article | IST-REx-ID: 3381 | OA
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 |Published| Journal Article | IST-REx-ID: 386 | OA
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 |Published| 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. International Federation of Computational Logic. https://doi.org/10.2168/LMCS-7(4:8)2011
[Published Version] View | Files available | DOI
 

2011 |Published| Journal Article | IST-REx-ID: 3101 | OA
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 |Published| Journal Article | IST-REx-ID: 3100 | OA
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 |Published| Journal Article | IST-REx-ID: 3276 | OA
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 |Published| Conference Paper | IST-REx-ID: 3298 | OA
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 |Published| Conference Paper | IST-REx-ID: 3297 | OA
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 |Published| 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. Genetics Society of America. https://doi.org/10.1534/genetics.111.129569
[Submitted Version] View | DOI | Download Submitted Version (ext.)
 

2011 |Published| 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. Barcelona, Spain: IEEE. https://doi.org/10.1109/ICCV.2011.6126475
[Submitted Version] View | Files available | DOI
 

2011 |Published| Conference Paper | IST-REx-ID: 3313 | OA
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 |In Press| Book Chapter | IST-REx-ID: 3311 | OA
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 |Published| Conference Paper | IST-REx-ID: 3326 | OA
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 |Published| 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
[Submitted Version] View | DOI | Download Submitted Version (ext.)
 

2011 |Published| 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.
[Preprint] View | Download Preprint (ext.) | arXiv
 

2011 |Published| Conference Paper | IST-REx-ID: 3342 | OA
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 |Published| 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
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2011 |Published| 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
[Submitted Version] View | DOI | Download Submitted Version (ext.)
 

Filters and Search Terms

oa=1

Search

Filter Publications