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.

9096 Publications


2010 | Journal Article | IST-REx-ID: 533
Hoenicke, J., Leino, K., Podelski, A., Schäf, M., & Wies, T. (2010). Doomed program points. Formal Methods in System Design. Springer. https://doi.org/10.1007/s10703-010-0102-0
View | DOI
 

2010 | Conference Paper | IST-REx-ID: 4393 | OA
Cerny, P., Henzinger, T. A., & Radhakrishna, A. (2010). Simulation distances (Vol. 6269, pp. 235–268). Presented at the CONCUR: Concurrency Theory, Paris, France: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.1007/978-3-642-15375-4_18
[Submitted Version] View | Files available | DOI
 

2010 | Technical Report | IST-REx-ID: 5388 | OA
Chatterjee, K., Cerny, P., Henzinger, T. A., Radhakrishna, A., & Singh, R. (2010). Quantitative synthesis for concurrent programs. IST Austria. https://doi.org/10.15479/AT:IST-2010-0004
[Published Version] View | Files available | DOI
 

2010 | Technical Report | IST-REx-ID: 5389 | OA
Cerny, P., Henzinger, T. A., & Radhakrishna, A. (2010). Simulation distances. IST Austria. https://doi.org/10.15479/AT:IST-2010-0003
[Published Version] View | Files available | DOI
 

2010 | Conference Paper | IST-REx-ID: 4390 | OA
Cerny, P., Radhakrishna, A., Zufferey, D., Chaudhuri, S., & Alur, R. (2010). Model checking of linearizability of concurrent list implementations (Vol. 6174, pp. 465–479). Presented at the CAV: Computer Aided Verification, Edinburgh, UK: Springer. https://doi.org/10.1007/978-3-642-14295-6_41
[Submitted Version] View | Files available | DOI
 

2010 | Conference Paper | IST-REx-ID: 4388 | OA
Chatterjee, K., Henzinger, T. A., Jobstmann, B., & Radhakrishna, A. (2010). GIST: A solver for probabilistic games (Vol. 6174, pp. 665–669). Presented at the CAV: Computer Aided Verification, Edinburgh, UK: Springer. https://doi.org/10.1007/978-3-642-14295-6_57
[Submitted Version] View | Files available | DOI | arXiv
 

2010 | Technical Report | IST-REx-ID: 5391 | OA
Cerny, P., Radhakrishna, A., Zufferey, D., Chaudhuri, S., & Alur, R. (2010). Model checking of linearizability of concurrent list implementations. IST Austria. https://doi.org/10.15479/AT:IST-2010-0001
[Published Version] View | Files available | DOI
 

2010 | Technical Report | IST-REx-ID: 5390 | OA
Chatterjee, K., & Fijalkow, N. (2010). Topological, automata-theoretic and logical characterization of finitary languages. IST Austria. https://doi.org/10.15479/AT:IST-2010-0002
[Published Version] View | Files available | DOI
 

2010 | Conference Paper | IST-REx-ID: 3857
Chatterjee, K., & Henzinger, T. A. (2010). Probabilistic Automata on infinite words: decidability and undecidability results (Vol. 6252, pp. 1–16). Presented at the ATVA: Automated Technology for Verification and Analysis, Singapore, Singapore: Springer. https://doi.org/10.1007/978-3-642-15643-4_1
View | Files available | DOI
 

2010 | Conference Paper | IST-REx-ID: 3855 | OA
Chatterjee, K., Doyen, L., & Henzinger, T. A. (2010). Qualitative analysis of partially-observable Markov Decision Processes (Vol. 6281, pp. 258–269). Presented at the MFCS: Mathematical Foundations of Computer Science, Brno, Czech Republic: Springer. https://doi.org/10.1007/978-3-642-15155-2_24
[Submitted Version] View | Files available | DOI
 

2010 | Book Chapter | IST-REx-ID: 5940
Juhás, G., Kazlov, I., & Juhásová, A. (2010). Instance Deadlock: A Mystery behind Frozen Programs. In Applications and Theory of Petri Nets (pp. 1–17). Berlin, Heidelberg: Springer Berlin Heidelberg. https://doi.org/10.1007/978-3-642-13675-7_1
View | DOI
 

2010 | Journal Article | IST-REx-ID: 598 | OA
Meyer, K., Lin, S., Bernecky, C., Gao, Y., & Taatjes, D. (2010). P53 activates transcription by directing structural shifts in Mediator. Nature Structural and Molecular Biology. Nature Publishing Group. https://doi.org/10.1038/nsmb.1816
View | DOI | Download None (ext.)
 

2010 | Journal Article | IST-REx-ID: 6142 | OA
Weber, K. P., De, S., Kozarewa, I., Turner, D. J., Babu, M. M., & de Bono, M. (2010). Whole genome sequencing highlights genetic changes associated with laboratory domestication of C. elegans. PLoS ONE. Public Library of Science. https://doi.org/10.1371/journal.pone.0013922
[Published Version] View | Files available | DOI | PubMed | Europe PMC
 

2010 | Book Chapter | IST-REx-ID: 619
Zacharasiewicz, W., & Kirsch, F. (2010). “This is a fundamentalist town”: The Prairie Town as a Site of Social and Cultural Conflict in Sinclair Ross’s As for Me and My House. In Social and cultural interaction and literary landscapes in the Canadian West : impressions of an exploratory field trip and academic interaction in the Canadian West : Rapports interculturels et paysages littéraires dans l’Ouest canadien (pp. 173–179). Facultas.WUV.
View
 

2010 | Journal Article | IST-REx-ID: 6198
Zhou, L., Li, F., Xu, H., Luo, C., Wu, H., Zhu, M., … Zhu, D. (2010). Treatment of cerebral ischemia by disrupting ischemia-induced interaction of nNOS with PSD-95. Nature Medicine. Nature Publishing Group. https://doi.org/10.1038/nm.2245
View | DOI | PubMed | Europe PMC
 

2010 | Journal Article | IST-REx-ID: 6320 | OA
Bretèche, R. de la, & Browning, T. D. (2010). Le problème des diviseurs pour des formes binaires de degré 4. Crelles Journal. Walter de Gruyter GmbH. https://doi.org/10.1515/crelle.2010.064
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2010 | Journal Article | IST-REx-ID: 7078 | OA
Salje, E. K. H., Safarik, D. J., Modic, K. A., Gubernatis, J. E., Cooley, J. C., Taylor, R. D., … Lashley, J. C. (2010). Tin telluride: A weakly co-elastic metal. Physical Review B. APS. https://doi.org/10.1103/physrevb.82.184112
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2010 | Journal Article | IST-REx-ID: 7079
Drymiotis, F. R., Drye, T. B., Wang, Y., He, J., Rhodes, D., Modic, K. A., … Zhang, Q. R. (2010). Structure formation and very low thermal conductivity in Pb:Te:Ag:Se mixtures. Journal of Applied Physics. AIP. https://doi.org/10.1063/1.3284946
View | DOI
 

2010 | Journal Article | IST-REx-ID: 7318
Giordani, V., Freunberger, S. A., Bruce, P. G., Tarascon, J.-M., & Larcher, D. (2010). H2O2 decomposition reaction as selecting tool for catalysts in Li–O2 cells. Electrochemical and Solid-State Letters. The Electrochemical Society. https://doi.org/10.1149/1.3494045
View | DOI
 

2010 | Conference Paper | IST-REx-ID: 754
Alistarh, D.-A., Attiya, H., Gilbert, S., Giurgiu, A., & Guerraoui, R. (2010). Fast randomized test-and-set and renaming (Vol. 6343 LNCS, pp. 94–108). Presented at the DISC: Distributed Computing, Springer. https://doi.org/10.1007/978-3-642-15763-9_9
View | DOI
 

2010 | Conference Paper | IST-REx-ID: 755
Alistarh, D.-A., Gilbert, S., Guerraoui, R., & Zadimoghaddam, M. (2010). How efficient can gossip be? (On the cost of resilient information exchange) (Vol. 6199 LNCS, pp. 115–126). Presented at the ICALP: International Colloquium on Automota, Languages and Programming, Springer. https://doi.org/10.1007/978-3-642-14162-1_10
View | DOI
 

2010 | Conference Paper | IST-REx-ID: 756
Alistarh, D.-A., Gilbert, S., Guerraoui, R., Milošević, Ž., & Newport, C. (2010). Securing every bit: Authenticated broadcast in radio networks (pp. 50–59). Presented at the SPAA: Symposium on Parallelism in Algorithms and Architectures, ACM. https://doi.org/10.1145/1810479.1810489
View | DOI
 

2010 | Conference Paper | IST-REx-ID: 758
Alistarh, D.-A., Gilbert, S., Guerraoui, R., & Travers, C. (2010). Brief announcement: New bounds for partially synchronous set agreement (Vol. 6343 LNCS, pp. 404–405). Presented at the DISC: Distributed Computing, Springer. https://doi.org/10.1007/978-3-642-15763-9_40
View | DOI
 

2010 | Journal Article | IST-REx-ID: 89
Wright, I., Higginbotham, A. P., Baker, S., & Donnelly, T. (2010). Generation of nanoparticles of controlled size using ultrasonic piezoelectric oscillators in solution. ACS Applied Materials and Interfaces. American Chemical Society. https://doi.org/10.1021/am100375w
View | DOI | PubMed | Europe PMC
 

2010 | Journal Article | IST-REx-ID: 891
Innan, H., & Kondrashov, F. (2010). The evolution of gene duplications: Classifying and distinguishing between models. Nature Reviews Genetics. Nature Publishing Group. https://doi.org/10.1038/nrg2689
View | DOI
 

2010 | Journal Article | IST-REx-ID: 9012 | OA
Palacci, J. A., Abécassis, B., Cottin-Bizonne, C., Ybert, C., & Bocquet, L. (2010). Colloidal motility and pattern formation under rectified diffusiophoresis. Physical Review Letters. American Physical Society. https://doi.org/10.1103/physrevlett.104.138302
[Preprint] View | DOI | Download Preprint (ext.) | PubMed | Europe PMC | arXiv
 

2010 | Journal Article | IST-REx-ID: 9013 | OA
Palacci, J. A., Cottin-Bizonne, C., Ybert, C., & Bocquet, L. (2010). Sedimentation and effective temperature of active colloidal suspensions. Physical Review Letters. American Physical Society . https://doi.org/10.1103/physrevlett.105.088304
[Preprint] View | DOI | Download Preprint (ext.) | PubMed | Europe PMC | arXiv
 

2010 | Journal Article | IST-REx-ID: 901
Breen, M., & Kondrashov, F. (2010). Mitochondrial pathogenic mutations are population-specific. Biology Direct. BioMed Central. https://doi.org/10.1186/1745-6150-5-68
View | DOI
 

2010 | Journal Article | IST-REx-ID: 9145
Canuto, V. M., Howard, A. M., Cheng, Y., Muller, C. J., Leboissetier, A., & Jayne, S. R. (2010). Ocean turbulence, III: New GISS vertical mixing scheme. Ocean Modelling. Elsevier. https://doi.org/10.1016/j.ocemod.2010.04.006
View | DOI
 

2010 | Journal Article | IST-REx-ID: 9146 | OA
O’Gorman, P. A., & Muller, C. J. (2010). How closely do changes in surface and column water vapor follow Clausius–Clapeyron scaling in climate change simulations? Environmental Research Letters. IOP Publishing. https://doi.org/10.1088/1748-9326/5/2/025207
[Published Version] View | DOI | Download Published Version (ext.)
 

2010 | Journal Article | IST-REx-ID: 920
Angelini, T., Hannezo, E. B., Trepat, X., Fredberg, J., & Weitz, D. (2010). Cell migration driven by cooperative substrate deformation patterns. Physical Review Letters. American Physical Society. https://doi.org/10.1103/PhysRevLett.104.168104
View | DOI
 

2010 | Journal Article | IST-REx-ID: 9485 | OA
Zemach, A., Kim, M. Y., Silva, P., Rodrigues, J. A., Dotson, B., Brooks, M. D., & Zilberman, D. (2010). Local DNA hypomethylation activates genes in rice endosperm. Proceedings of the National Academy of Sciences. National Academy of Sciences. https://doi.org/10.1073/pnas.1009695107
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2010 | Journal Article | IST-REx-ID: 9489 | OA
Zemach, A., & Zilberman, D. (2010). Evolution of eukaryotic DNA methylation and the pursuit of safer sex. Current Biology. Elsevier. https://doi.org/10.1016/j.cub.2010.07.007
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2010 | Journal Article | IST-REx-ID: 8473
Corazza, A., Rennella, E., Schanda, P., Mimmi, M. C., Cutuil, T., Raimondi, S., … Esposito, G. (2010). Native-unlike long-lived intermediates along the folding pathway of the amyloidogenic protein β2-Microglobulin revealed by real-time two-dimensional NMR. Journal of Biological Chemistry. American Society for Biochemistry & Molecular Biology. https://doi.org/10.1074/jbc.m109.061168
View | DOI
 

2010 | Journal Article | IST-REx-ID: 8472
Schanda, P., Meier, B. H., & Ernst, M. (2010). Quantitative analysis of protein backbone dynamics in microcrystalline ubiquitin by solid-state NMR spectroscopy. Journal of the American Chemical Society. American Chemical Society. https://doi.org/10.1021/ja100726a
View | DOI
 

2010 | Conference Paper | IST-REx-ID: 8507
Kaloshin, V., ZHANG, K., & ZHENG, Y. (2010). Almost dense orbit on energy surface. In XVIth International Congress on Mathematical Physics (pp. 314–322). Prague, Czech Republic: World Scientific. https://doi.org/10.1142/9789814304634_0017
View | DOI
 

2010 | Book Chapter | IST-REx-ID: 8506
Hunt, B. R., & Kaloshin, V. (2010). Prevalence. In Handbook of Dynamical Systems (Vol. 3, pp. 43–87). Elsevier. https://doi.org/10.1016/s1874-575x(10)00310-3
View | DOI
 

2010 | Journal Article | IST-REx-ID: 857
Povolotskaya, I., & Kondrashov, F. (2010). Sequence space and the ongoing expansion of the protein universe. Nature. Nature Publishing Group. https://doi.org/10.1038/nature09105
View | DOI
 

2010 | Journal Article | IST-REx-ID: 862
Meer, M., Kondrashov, A., Artzy Randrup, Y., & Kondrashov, F. (2010). Compensatory evolution in mitochondrial tRNAs navigates valleys of low fitness. Nature. Nature Publishing Group. https://doi.org/10.1038/nature08691
View | DOI
 

2010 | Journal Article | IST-REx-ID: 872
Kondrashov, F., & Kondrashov, A. (2010). Measurements of spontaneous rates of mutations in the recent past and the near future. Philosophical Transactions of the Royal Society of London. Series B, Biological Sciences. Royal Society, The. https://doi.org/10.1098/rstb.2009.0286
View | DOI
 

2010 | Journal Article | IST-REx-ID: 884
Kondrashov, A., Povolotskaya, I., Ivankov, D., & Kondrashov, F. (2010). Rate of sequence divergence under constant selection. Biology Direct. BioMed Central. https://doi.org/10.1186/1745-6150-5-5
View | DOI
 

2010 | Journal Article | IST-REx-ID: 9452
Zemach, A., McDaniel, I. E., Silva, P., & Zilberman, D. (2010). Genome-wide evolutionary analysis of eukaryotic DNA methylation. Science. American Association for the Advancement of Science. https://doi.org/10.1126/science.1186366
View | DOI | PubMed | Europe PMC
 

2010 | Journal Article | IST-REx-ID: 3779 | OA
Rosas, U., Barton, N. H., Copsey, L., Barbier De Reuille, P., & Coen, E. (2010). Cryptic variation between species and the basis of hybrid performance. PLoS Biology. Public Library of Science. https://doi.org/10.1371/journal.pbio.1000429
[Published Version] View | Files available | DOI
 

2010 | Research Data Reference | IST-REx-ID: 9764
Rosas, U., Barton, N. H., Copsey, L., Barbier De Reuille, P., & Coen, E. (2010). Heterosis and the drift load. Public Library of Science. https://doi.org/10.1371/journal.pbio.1000429.s003
[Published Version] View | Files available | DOI
 

2010 | Journal Article | IST-REx-ID: 12199
Feng, X., & Dickinson, H. G. (2010). Tapetal cell fate, lineage and proliferation in the Arabidopsis anther. Development. The Company of Biologists. https://doi.org/10.1242/dev.049320
View | DOI | PubMed | Europe PMC
 

2010 | Journal Article | IST-REx-ID: 12200
Feng, X., & Dickinson, H. G. (2010). Cell–cell interactions during patterning of the Arabidopsis anther. Biochemical Society Transactions. Portland Press Ltd. https://doi.org/10.1042/bst0380571
View | DOI | PubMed | Europe PMC
 

2010 | Journal Article | IST-REx-ID: 13410
Coskun, A., Wesson, P. J., Klajn, R., Trabolsi, A., Fang, L., Olson, M. A., … Stoddart, J. F. (2010). Molecular-mechanical switching at the nanoparticle−solvent interface: Practice and theory. Journal of the American Chemical Society. American Chemical Society. https://doi.org/10.1021/ja9102327
View | DOI | PubMed | Europe PMC
 

2010 | Journal Article | IST-REx-ID: 13409 | OA
Klajn, R. (2010). Immobilized azobenzenes for the construction of photoresponsive materials. Pure and Applied Chemistry. De Gruyter. https://doi.org/10.1351/pac-con-10-09-04
[Published Version] View | DOI | Download Published Version (ext.)
 

2010 | Journal Article | IST-REx-ID: 13412
Klajn, R., Stoddart, J. F., & Grzybowski, B. A. (2010). Nanoparticles functionalised with reversible molecular and supramolecular switches. Chemical Society Reviews. Royal Society of Chemistry. https://doi.org/10.1039/b920377j
View | DOI | PubMed | Europe PMC
 

2010 | Journal Article | IST-REx-ID: 13411
Klajn, R., Browne, K. P., Soh, S., & Grzybowski, B. A. (2010). Nanoparticles that “remember” temperature. Small. Wiley. https://doi.org/10.1002/smll.200902272
View | DOI | PubMed | Europe PMC
 

2010 | Conference Paper | IST-REx-ID: 3852 | OA
Chatterjee, K., & Majumdar, R. (2010). Discounting in games across time scales (Vol. 25, pp. 22–29). Presented at the GandALF: Games, Automata, Logic, and Formal Verification, Minori, Italy: EPTCS. https://doi.org/10.4204/EPTCS.25.6
[Published Version] View | Files available | DOI | arXiv
 

2010 | Thesis | IST-REx-ID: 3962
Pflicke, H. (2010).   Dendritic cell migration across basement membranes in the skin. Institute of Science and Technology Austria.
View
 

2010 | Conference Paper | IST-REx-ID: 4361 | OA
Wies, T., Zufferey, D., & Henzinger, T. A. (2010). Forward analysis of depth-bounded processes. In L. Ong (Ed.) (Vol. 6014, pp. 94–108). Presented at the FoSSaCS: Foundations of Software Science and Computation Structures, Paphos, Cyprus: Springer. https://doi.org/10.1007/978-3-642-12032-9_8
[Submitted Version] View | Files available | DOI
 

2010 | Journal Article | IST-REx-ID: 3785
Palero, F., Abello, P., Macpherson, E., Matthee, C., & Pascual, M. (2010). Genetic diversity levels in fishery-exploited spiny lobsters of the Genus Palinurus (Decapoda: Achelata). Journal of Crustacean Biology. Oxford University Press. https://doi.org/10.1651/09-3192.1
View | DOI
 

2010 | Journal Article | IST-REx-ID: 7703
Sweeney, L. B., & Luo, L. (2010). ‘Fore brain: A hint of the ancestral cortex. Cell. Elsevier. https://doi.org/10.1016/j.cell.2010.08.024
View | DOI
 

2010 | Book Chapter | IST-REx-ID: 14983
Schlögl, A., Vidaurre, C., & Müller, K.-R. (2010). Adaptive Methods in BCI Research - An Introductory Tutorial. In B. Graimann, G. Pfurtscheller, & B. Allison (Eds.), Brain-Computer Interfaces (1st ed., pp. 331–355). Berlin, Heidelberg: Springer. https://doi.org/10.1007/978-3-642-02091-9_18
View | DOI
 

2009 | Journal Article | IST-REx-ID: 1038 | OA
Mark, M., Danzl, J. G., Haller, E., Gustavsson, M., Bouloufa, N., Dulieu, O., … Nägerl, H. (2009). Dark resonances for ground-state transfer of molecular quantum gases. Applied Physics B: Lasers and Optics. Springer. https://doi.org/10.1007/s00340-009-3407-1
View | DOI | Download None (ext.) | arXiv
 

2009 | Journal Article | IST-REx-ID: 1040 | OA
Haller, E., Gustavsson, M., Mark, M., Danzl, J. G., Hart, R., Pupillo, G., & Nägerl, H. (2009). Realization of an excited, strongly correlated quantum gas Phase. Science. American Association for the Advancement of Science. https://doi.org/10.1126/science.1175850
View | DOI | Download None (ext.) | arXiv
 

2009 | Journal Article | IST-REx-ID: 1041 | OA
Danzl, J. G., Mark, M., Haller, E., Gustavsson, M., Hart, R., Liem, A., … Nägerl, H. (2009). Deeply bound ultracold molecules in an optical lattice. New Journal of Physics. IOP Publishing Ltd. https://doi.org/10.1088/1367-2630/11/5/055036
View | DOI | Download None (ext.) | arXiv
 

2009 | Journal Article | IST-REx-ID: 1043 | OA
Danzl, J. G., Mark, M., Haller, E., Gustavsson, M., Bouloufa, N., Dulieu, O., … Nägerl, H. (2009). Precision molecular spectroscopy for ground state transfer of molecular quantum gases. Faraday Discussions. Royal Society of Chemistry. https://doi.org/10.1039/b820542f
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2009 | Journal Article | IST-REx-ID: 110
Des Jardins, A., Canfield, R., Longcope, D., Fordyce, C., & Waitukaitis, S. R. (2009). Reconnection in three dimensions: The role of spines in three eruptive flares. The Astrophysical Journal. IOP Publishing Ltd. https://doi.org/10.1088/0004-637X/693/2/1628
View | DOI
 

2009 | Journal Article | IST-REx-ID: 111
Royer, J., Evans, D., Oyarte, L., Guo, Q., Kapit, E., Möbius, M., … Jaeger, H. (2009). High-speed tracking of rupture and clustering in freely falling granular streams. Nature. Nature Publishing Group. https://doi.org/10.1038/nature08115
View | DOI
 

2009 | Journal Article | IST-REx-ID: 11103 | OA
Hetzer, M., & Wente, S. R. (2009). Border control at the nucleus: Biogenesis and organization of the nuclear membrane and pore complexes. Developmental Cell. Elsevier. https://doi.org/10.1016/j.devcel.2009.10.007
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2009 | Journal Article | IST-REx-ID: 11106 | OA
Anderson, D. J., Vargas, J. D., Hsiao, J. P., & Hetzer, M. (2009). Recruitment of functionally distinct membrane proteins to chromatin mediates nuclear envelope formation in vivo. Journal of Cell Biology. Rockefeller University Press. https://doi.org/10.1083/jcb.200901106
[Published Version] View | Files available | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2009 | Journal Article | IST-REx-ID: 11107 | OA
Dawson, T. R., Lazarus, M. D., Hetzer, M., & Wente, S. R. (2009). ER membrane–bending proteins are necessary for de novo nuclear pore formation. Journal of Cell Biology. Rockefeller University Press. https://doi.org/10.1083/jcb.200806174
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2009 | Journal Article | IST-REx-ID: 11108 | OA
D’Angelo, M. A., Raices, M., Panowski, S. H., & Hetzer, M. (2009). Age-dependent deterioration of nuclear pore complexes causes a loss of nuclear integrity in postmitotic cells. Cell. Elsevier. https://doi.org/10.1016/j.cell.2008.11.037
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2009 | Journal Article | IST-REx-ID: 11105 | OA
Capelson, M., & Hetzer, M. (2009). The role of nuclear pores in gene regulation, development and disease. EMBO Reports. EMBO. https://doi.org/10.1038/embor.2009.147
[Published Version] View | Files available | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2009 | Conference Paper | IST-REx-ID: 11799
Dütting, P., Henzinger, M. H., & Weber, I. (2009). Bidder optimal assignments for general utilities. In 5th International Workshop on Internet and Network Economics (Vol. 5929, pp. 575–582). Rome, Italy: Springer Nature. https://doi.org/10.1007/978-3-642-10841-9_58
View | Files available | DOI
 

2009 | Conference Paper | IST-REx-ID: 11912 | OA
Baykan, Eda, Henzinger, M. H., Keller, S. F., de Castelberg, S., & Kinzler, M. (2009). A comparison of techniques for sampling web pages. In 26th International Symposium on Theoretical Aspects of Computer Science (Vol. 3, pp. 13–30). Freiburg, Germany: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPICS.STACS.2009.1809
[Published Version] View | DOI | Download Published Version (ext.) | arXiv
 

2009 | Conference Paper | IST-REx-ID: 11905
Baykan, E., Henzinger, M. H., Marian, L., & Weber, I. (2009). Purely URL-based topic classification. In 18th International World Wide Web Conference (pp. 1109–1110). New York, NY, United States: Association for Computing Machinery. https://doi.org/10.1145/1526709.1526880
View | DOI
 

2009 | Conference Paper | IST-REx-ID: 11906
Abdel Hamid, O., Behzadi, B., Christoph, S., & Henzinger, M. H. (2009). Detecting the origin of text segments efficiently. In 18th International World Wide Web Conference (pp. 61–70). Madrid, Spain: Association for Computing Machinery. https://doi.org/10.1145/1526709.1526719
View | DOI
 

2009 | Journal Article | IST-REx-ID: 12654 | OA
Carenzo, M., Pellicciotti, F., Rimkus, S., & Burlando, P. (2009). Assessing the transferability and robustness of an enhanced temperature-index glacier-melt model. Journal of Glaciology. Cambridge University Press. https://doi.org/10.3189/002214309788608804
[Published Version] View | DOI | Download Published Version (ext.)
 

2009 | Journal Article | IST-REx-ID: 12655 | OA
Pellicciotti, F., Carenzo, M., Helbing, J., Rimkus, S., & Burlando, P. (2009). On the role of subsurface heat conduction in glacier energy-balance modelling. Annals of Glaciology. International Glaciological Society. https://doi.org/10.3189/172756409787769555
[Published Version] View | DOI | Download Published Version (ext.)
 

2009 | Journal Article | IST-REx-ID: 1302
Raghu, S., Jösch, M. A., Sigrist, S., Borst, A., & Reiff, D. (2009). Synaptic organization of lobula plate tangential cells in Drosophila: Dα7 cholinergic receptors. Journal of Neurogenetics. Informa Healthcare. https://doi.org/10.1080/01677060802471684
View | DOI
 

2009 | Book Chapter | IST-REx-ID: 164 | OA
Browning, T. D., & Heath Brown, R. (2009). Integral points on cubic hypersurfaces. In Analytic Number Theory: Essays in honour of Klaus Roth (pp. 75–90). Cambridge University Press.
[Preprint] View | Download Preprint (ext.) | arXiv
 

2009 | Conference Paper | IST-REx-ID: 165
Browning, T. D. (2009). Resent progress on the quantitative arithmetic of del Pezzo surfaces. In T. Aoki, S. Kanemitsu, & J. Liu (Eds.) (Vol. 6, pp. 1–18). Presented at the Number Theory: Dreaming in dreams, World Scientific Publishing. https://doi.org/10.1142/9789814289924_0001
View | DOI
 

2009 | Book Chapter | IST-REx-ID: 168
Browning, T. D., & Dietmann, R. (2009). Solubility of Fermat equations. In Quadratic Forms - algebra, arithmetic and geometry (Vol. 493, pp. 99–106). American Mathematical Society. http://dx.doi.org/10.1090/conm/493
View | DOI | Download (ext.)
 

2009 | Journal Article | IST-REx-ID: 1718
Kutějová, E., Briscoe, J., & Kicheva, A. (2009). Temporal dynamics of patterning by morphogen gradients. Current Opinion in Genetics & Development. Elsevier. https://doi.org/10.1016/j.gde.2009.05.004
View | DOI
 

2009 | Journal Article | IST-REx-ID: 1720
Wartlick, O., Kicheva, A., & González Gaitán, M. (2009). Morphogen gradient formation . Cold Spring Harbor Perspectives in Biology. Cold Spring Harbor Laboratory Press. https://doi.org/10.1101/cshperspect.a001255
View | DOI
 

2009 | Journal Article | IST-REx-ID: 1769 | OA
Fink, J. M., Bianchetti, R., Baur, M., Göppl, M., Steffen, L., Filipp, S., … Wallraff, A. (2009). Dressed collective qubit states and the Tavis-Cummings model in circuit QED. Physical Review Letters. American Physical Society. https://doi.org/10.1103/PhysRevLett.103.083601
View | DOI | Download (ext.)
 

2009 | Journal Article | IST-REx-ID: 1767 | OA
Baur, M., Filipp, S., Bianchetti, R., Fink, J. M., Göppl, M., Steffen, L., … Wallraff, A. (2009). Measurement of autler-townes and mollow transitions in a strongly driven superconducting qubit. Physical Review Letters. American Physical Society. https://doi.org/10.1103/PhysRevLett.102.243602
View | DOI | Download (ext.)
 

2009 | Journal Article | IST-REx-ID: 1766 | OA
Leek, P., Filipp, S., Maurer, P., Baur, M., Bianchetti, R., Fink, J. M., … Wallraff, A. (2009). Using sideband transitions for two-qubit operations in superconducting circuits. Physical Review B - Condensed Matter and Materials Physics. American Physical Society. https://doi.org/10.1103/PhysRevB.79.180511
View | DOI | Download (ext.)
 

2009 | Journal Article | IST-REx-ID: 1768 | OA
Filipp, S., Maurer, P., Leek, P., Baur, M., Bianchetti, R., Fink, J. M., … Wallraff, A. (2009). Two-qubit state tomography using a joint dispersive readout. Physical Review Letters. American Physical Society. https://doi.org/10.1103/PhysRevLett.102.200402
View | DOI | Download (ext.)
 

2009 | Journal Article | IST-REx-ID: 1770 | OA
Bianchetti, R., Filipp, S., Baur, M., Fink, J. M., Göppl, M., Leek, P., … Wallraff, A. (2009). Dynamics of dispersive single-qubit readout in circuit quantum electrodynamics. Physical Review A - Atomic, Molecular, and Optical Physics. American Physical Society. https://doi.org/10.1103/PhysRevA.80.043840
View | DOI | Download (ext.)
 

2009 | Journal Article | IST-REx-ID: 1771 | OA
Fink, J. M., Baur, M., Bianchetti, R., Filipp, S., Göppl, M., Leek, P., … Wallraff, A. (2009). Thermal excitation of multi-photon dressed states in circuit quantum electrodynamics. Physica Scripta T. IOP Publishing Ltd. https://doi.org/10.1088/0031-8949/2009/T137/014013
View | DOI | Download (ext.)
 

2009 | Journal Article | IST-REx-ID: 1799
Münch, T., Da Silveira, R., Siegert, S., Viney, T., Awatramani, G., & Roska, B. (2009). Approach sensitivity in the retina processed by a multifunctional neural circuit. Nature Neuroscience. Nature Publishing Group. https://doi.org/10.1038/nn.2389
View | DOI
 

2009 | Journal Article | IST-REx-ID: 1798
Siegert, S., Scherf, B., Del Punta, K., Didkovsky, N., Heintz, N., & Roska, B. (2009). Genetic address book for retinal cell types. Nature Neuroscience. Nature Publishing Group. https://doi.org/10.1038/nn.2370
View | DOI
 

2009 | Journal Article | IST-REx-ID: 1825 | OA
Friedlander, T., & Brenner, N. (2009). Adaptive response by state-dependent inactivation. PNAS. National Academy of Sciences. https://doi.org/10.1073/pnas.0902146106
View | DOI | Download (ext.)
 

2009 | Journal Article | IST-REx-ID: 1971
Berrisford, J., & Sazanov, L. A. (2009). Structural basis for the mechanism of respiratory complex I. Journal of Biological Chemistry. American Society for Biochemistry and Molecular Biology. https://doi.org/10.1074/jbc.M109.032144
View | DOI
 

2009 | Journal Article | IST-REx-ID: 1984
Dinarina, A., Pugieux, C., Corral, M., Loose, M., Spatz, J., Karsenti, É., & Nédélec, F. (2009). Chromatin shapes the mitotic spindle. Cell. Cell Press. https://doi.org/10.1016/j.cell.2009.05.027
View | DOI
 

2009 | Journal Article | IST-REx-ID: 1983
Loose, M., & Schwille, P. (2009). Biomimetic membrane systems to study cellular organization. Journal of Structural Biology. Academic Press. https://doi.org/10.1016/j.jsb.2009.03.016
View | DOI
 

2009 | Journal Article | IST-REx-ID: 2067
Vicoso, B., & Charlesworth, B. (2009). Recombination rates may affect the ratio of X to autosomal noncoding polymorphism in African populations of Drosophila melanogaster. Genetics. Genetics Society of America. https://doi.org/10.1534/genetics.108.098004
View | DOI
 

2009 | Journal Article | IST-REx-ID: 2068
Vicoso, B., & Charlesworth, B. (2009). The deficit of male-biased genes on the D. melanogaster X chromosome is expression-dependent: A consequence of dosage compensation? Journal of Molecular Evolution. Springer. https://doi.org/10.1007/s00239-009-9235-4
View | DOI
 

2009 | Journal Article | IST-REx-ID: 2069
Vicoso, B., & Charlesworth, B. (2009). Effective population size and the faster-X effect: An extended model. Evolution. Wiley-Blackwell. https://doi.org/10.1111/j.1558-5646.2009.00719.x
View | DOI
 

2009 | Journal Article | IST-REx-ID: 2070
Vicoso, B., & Bachtrog, D. (2009). Progress and prospects toward our understanding of the evolution of dosage compensation. Chromosome Research. Springer. https://doi.org/10.1007/s10577-009-9053-y
View | DOI
 

2009 | Conference Paper | IST-REx-ID: 2094
Bickel, B., Bac̈Her, M., Otaduy, M., Matusik, W., Pfister, H., & Groß, M. (2009). Capture and modeling of non-linear heterogeneous soft tissue (Vol. 28). Presented at the ACM SIGGRAPH, ACM. https://doi.org/10.1145/1576246.1531395
View | DOI
 

2009 | Journal Article | IST-REx-ID: 2119 | OA
Maas, J., & Van Neerven, J. (2009). Boundedness of Riesz transforms for elliptic operators on abstract Wiener spaces. Journal of Functional Analysis. Academic Press. https://doi.org/10.1016/j.jfa.2009.07.001
View | DOI | Download (ext.)
 

2009 | Conference Paper | IST-REx-ID: 2136
Vedrinskiǐ, R., Kraǐzman, V., Lemeshko, M., Nazarenko, E., Novakovich, A., Reznichenko, L., … Shuvaeva, V. (2009). Local atomic structure of niobates and titanates from X-ray absorption spectroscopic data (Vol. 51, pp. 1394–1398). Presented at the CoPoF: 18th All-Russia Conference on Physics of Ferroelectrics (VKS-XVIII), Springer. https://doi.org/10.1134/S106378340907018X
View | DOI
 

2009 | Journal Article | IST-REx-ID: 2137 | OA
Lemeshko, M., & Frierich, B. (2009). Rotational structure of weakly bound molecular ions. Journal of Atomic and Molecular Sciences. Global Science Press. https://doi.org/10.4208/jams.101009.110209a
View | DOI | Download (ext.)
 

2009 | Journal Article | IST-REx-ID: 2149 | OA
Lemeshko, M., & Friedrich, B. (2009). Collisions of paramagnetic molecules in magnetic fields: An analytic model based on Fraunhofer diffraction of matter waves. Physical Review A - Atomic, Molecular, and Optical Physics. American Physical Society. https://doi.org/10.1103/PhysRevA.79.012718
View | DOI | Download (ext.)
 

Search

Filter Publications