Please note that IST Research Explorer no longer supports Internet Explorer versions 8 or 9 (or earlier).

We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.

6759 Publications


2009 | Conference Paper | IST-REx-ID: 3844 | OA
Henzinger, T. A., Kirsch, C., Marques, E., & Sokolova, A. (2009). Distributed, modular HTL (pp. 171–180). Presented at the RTSS: Real-Time Systems Symposium, Washington, DC, United States: IEEE. https://doi.org/10.1109/RTSS.2009.9
View | Files available | DOI
 

2009 | Journal Article | IST-REx-ID: 3869
Chatterjee, K., De Alfaro, L., Faella, M., & Legay, A. (2009). Qualitative logics and equivalences for probabilistic systems. Logical Methods in Computer Science. International Federation of Computational Logic. https://doi.org/10.2168/LMCS-5(2:7)2009
View | DOI
 

2009 | Journal Article | IST-REx-ID: 3870 | OA
Chatterjee, K., Henzinger, T. A., & Horn, F. (2009). Finitary winning in omega-regular games. ACM Transactions on Computational Logic (TOCL). ACM. https://doi.org/10.1145/1614431.1614432
View | Files available | DOI
 

2009 | Conference Paper | IST-REx-ID: 3871 | OA
Chatterjee, K., Doyen, L., & Henzinger, T. A. (2009). Probabilistic weighted automata (Vol. 5710, pp. 244–258). Presented at the CONCUR: Concurrency Theory, Bologna, Italy: Springer. https://doi.org/10.1007/978-3-642-04081-8_17
View | Files available | DOI
 

2009 | Journal Article | IST-REx-ID: 3946 | OA
Cremer, S., & Sixt, M. K. (2009). Analogies in the evolution of individual and social immunity. Philosophical Transactions of the Royal Society of London. Series B, Biological Sciences. Royal Society, The. https://doi.org/10.1098/rstb.2008.0166
View | DOI | Download None (ext.)
 

2009 | Journal Article | IST-REx-ID: 3947
Lämmermann, T., Renkawitz, J., Wu, X., Hirsch, K., Brakebusch, C., & Sixt, M. K. (2009). Cdc42-dependent leading edge coordination is essential for interstitial dendritic cell migration (Plenary Paper). Blood. American Society of Hematology. https://doi.org/10.1182/blood-2008-11-191882
View | DOI
 

2009 | Journal Article | IST-REx-ID: 3948
Bauer, M., Brakebusch, C., Coisne, C., Sixt, M. K., Wekerle, H., Engelhardt, B., & Fässler, R. (2009). β1 integrins differentially control extravasation of inflammatory cell subsets into the CNS during autoimmunity. PNAS. National Academy of Sciences. https://doi.org/10.1073/pnas.0808909106
View | DOI
 

2009 | Journal Article | IST-REx-ID: 3949
Quast, T., Tappertzhofen, B., Schild, C., Grell, J., Czeloth, N., Förster, R., … Kolanus, W. (2009). Cytohesin-1 controls the activation of RhoA and modulates integrin-dependent adhesion and migration of dendritic cells. Blood. American Society of Hematology. https://doi.org/10.1182/blood-2008-08-176123
View | DOI
 

2009 | Journal Article | IST-REx-ID: 3950
Moser, M., Bauer, M., Schmid, S., Ruppert, R., Schmidt, S., Sixt, M. K., … Fässler, R. (2009). Kindlin-3 is required for β2 integrin-mediated leukocyte adhesion to endothelial cells. Nature Medicine. Nature Publishing Group. https://doi.org/10.1038/nm.1921
View | DOI
 

2009 | Journal Article | IST-REx-ID: 3951
Lämmermann, T., & Sixt, M. K. (2009). Mechanical modes of “amoeboid” cell migration. Current Opinion in Cell Biology. Elsevier. https://doi.org/10.1016/j.ceb.2009.05.003
View | DOI
 

2009 | Journal Article | IST-REx-ID: 3952
Schymeinsky, J., Gerstl, R., Mannigel, I., Niedung, K., Frommhold, D., Panthel, K., … Walzog, B. (2009). A fundamental role of mAbp1 in neutrophils: impact on β(2) integrin-mediated phagocytosis and adhesion in vivo. Blood. American Society of Hematology. https://doi.org/10.1182/blood-2009-02-206169
View | DOI
 

2009 | Journal Article | IST-REx-ID: 3953
Wolf, A., Eller, K., Zeiser, R., Dürr, C., Gerlach, U., Sixt, M. K., … Wolf, D. (2009). The sphingosine 1-phosphate receptor agonist FTY720 potently inhibits regulatory T cell proliferation in vitro and in vivo. Journal of Immunology. American Association of Immunologists. https://doi.org/10.4049/jimmunol.0901011
View | DOI
 

2009 | Journal Article | IST-REx-ID: 3954
Renkawitz, J., Schumann, K., Weber, M., Lämmermann, T., Pflicke, H., Piel, M., … Sixt, M. K. (2009). Adaptive force transmission in amoeboid cell migration. Nature Cell Biology. Nature Publishing Group. https://doi.org/10.1038/ncb1992
View | DOI
 

2009 | Journal Article | IST-REx-ID: 3955
Pflicke, H., & Sixt, M. K. (2009). Preformed portals facilitate dendritic cell entry into afferent lymphatic vessels. The Journal of Experimental Medicine. Rockefeller University Press. https://doi.org/10.1084/jem.20091739
View | DOI
 

2009 | Journal Article | IST-REx-ID: 3966
Cohen Steiner, D., Edelsbrunner, H., & Harer, J. (2009). Extending persistence using Poincare and Lefschetz duality. Foundations of Computational Mathematics. Springer. https://doi.org/10.1007/s10208-008-9027-z
View | DOI
 

2009 | Conference Paper | IST-REx-ID: 3967
Cohen Steiner, D., Edelsbrunner, H., Harer, J., & Morozov, D. (2009). Persistent homology for kernels, images, and cokernels (pp. 1011–1020). Presented at the SODA: Symposium on Discrete Algorithms, SIAM.
View
 

2009 | Conference Paper | IST-REx-ID: 3968 | OA
Edelsbrunner, H., & Harer, J. (2009). The persistent Morse complex segmentation of a 3-manifold (Vol. 5903, pp. 36–50). Presented at the 3DPH: Modelling the Physiological Human, Zermatt, Switzerland: Springer. https://doi.org/10.1007/978-3-642-10470-1_4
View | Files available | DOI
 

2009 | Journal Article | IST-REx-ID: 4136 | OA
Polechova, J., Barton, N. H., & Marion, G. (2009). Species’ range: Adaptation in space and time. American Naturalist. University of Chicago Press. https://doi.org/10.1086/605958
View | Files available | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2009 | Journal Article | IST-REx-ID: 4143
Ulrich, F., & Heisenberg, C.-P. J. (2009). Trafficking and cell migration. Traffic. Wiley-Blackwell. https://doi.org/10.1111/j.1600-0854.2009.00929.x
View | DOI
 

2009 | Journal Article | IST-REx-ID: 4149
Soete, G., & Heisenberg, C.-P. J. (2009). The role of the extracellular matrix in Kupffer’s vesicle formation in zebrafish. Mechanisms of Development. Elsevier. https://doi.org/10.1016/j.mod.2009.06.391
View | DOI
 

2009 | Journal Article | IST-REx-ID: 4158
Paluch, E., & Heisenberg, C.-P. J. (2009). Biology and physics of cell shape changes in development. Current Biology. Cell Press. https://doi.org/10.1016/j.cub.2009.07.029
View | DOI
 

2009 | Journal Article | IST-REx-ID: 4159
Paluch, E., & Heisenberg, C.-P. J. (2009). Chaos begets order: Asynchronous cell contractions drive epithelial morphogenesis. Developmental Cell. Cell Press. https://doi.org/10.1016/j.devcel.2008.12.011
View | DOI
 

2009 | Journal Article | IST-REx-ID: 4160
Oteíza, P., Lemus, C., Köppen, M., Palma, K., Krieg, M., Melo, C., … Concha, M. (2009). Linking organ formation to left-right patterning in the embryonic zebrafish. Mechanisms of Development. Elsevier. https://doi.org/10.1016/j.mod.2009.06.970
View | DOI
 

2009 | Journal Article | IST-REx-ID: 4162
Oteíza, P., Köppen, M., Krieg, M., Preibisch, S., Haertel, S., Müller, D., … Concha, M. (2009). Wnt11/Pk1a-mediated planar cell polarity signalling orchestrates epithelial organ morphogenesis by regulating N-cadherin dependent cell adhesion forces. Mechanisms of Development. Elsevier. https://doi.org/10.1016/j.mod.2009.06.098
View | DOI
 

2009 | Journal Article | IST-REx-ID: 4165
Oates, A., Gorfinkiel, N., Gonzalez Gaitan, M., & Heisenberg, C.-P. J. (2009). Quantitative approaches in developmental biology. Nature Reviews Genetics. Nature Publishing Group. https://doi.org/10.1038/nrg2548
View | DOI
 

2009 | Journal Article | IST-REx-ID: 4192
Kai, M., Buchan, N., Heisenberg, C.-P. J., & Tada, M. (2009). Regulation of planar cell polarity signalling by the prenylation pathway. Mechanisms of Development. Elsevier. https://doi.org/10.1016/j.mod.2009.06.269
View | DOI
 

2009 | Journal Article | IST-REx-ID: 4206
Heisenberg, C.-P. J. (2009). Dorsal closure in Drosophila: cells cannot get out of the tight spot. Bioessays : News and Reviews in Molecular, Cellular and Developmental Biology. Wiley-Blackwell. https://doi.org/10.1002/bies.200900109
View | DOI
 

2009 | Journal Article | IST-REx-ID: 4217
Carvalho, L., Stuehmer, J., Bois, J., Kalaidzidis, Y., Lecaudey, V., & Heisenberg, C.-P. J. (2009). Control of convergent yolk syncytial layer nuclear movement in zebrafish. Development. Company of Biologists. https://doi.org/10.1242/dev.026922
View | DOI
 

2009 | Journal Article | IST-REx-ID: 4223
Swoboda, J., Meredith, T., Campbell, J., Brown, S., Suzuki, T., Bollenbach, M. T., … Walker, S. (2009). Discovery of a Small Molecule that Blocks Wall Teichoic Acid Biosynthesis in Staphylococcus aureus. ACS Chemical Biology. American Chemical Society. https://doi.org/10.1021/cb900151k
View | DOI | Download None (ext.)
 

2009 | Journal Article | IST-REx-ID: 4228
Bollenbach, T., Quan, S., Chait, R. P., & Kishony, R. (2009). Nonoptimal Microbial Response to Antibiotics Underlies Suppressive Drug Interactions. Cell. Cell Press. https://doi.org/10.1016/j.cell.2009.10.025
View | DOI
 

2009 | Journal Article | IST-REx-ID: 4231
Barton, N. H., & De Vladar, H. (2009). Statistical mechanics and the evolution of polygenic quantitative traits. Genetics. Genetics Society of America. https://doi.org/10.1534/genetics.108.099309
View | DOI
 

2009 | Thesis | IST-REx-ID: 4232
de Vladar, H. (2009). Stochasticity and Variability in the dynamics and genetics of populations. Faculty of mathematical and natural sciences, University of Groningen. https://doi.org/3811
View | DOI
 

2009 | Journal Article | IST-REx-ID: 4242 | OA
Barton, N. H., & De Cara, M. (2009). The evolution of strong reproductive isolation. Evolution; International Journal of Organic Evolution. Wiley. https://doi.org/10.1111/j.1558-5646.2009.00622.x
View | Files available | DOI
 

2009 | Journal Article | IST-REx-ID: 4357
Bollback, J. P., & Huelsenbeck, J. (2009). Parallel genetic evolution within and between bacteriophage species of varying degrees of divergence. Genetics. Genetics Society of America. https://doi.org/10.1534/genetics.107.085225
View | DOI
 

2009 | Conference Paper | IST-REx-ID: 4360
Wies, T., Piskac, R., & Kuncak, V. (2009). Combining Theories with Shared Set Operations (pp. 366–382). Presented at the FroCoS: Frontiers of Combining Systems, Springer. https://doi.org/1558
View | DOI
 

2009 | Thesis | IST-REx-ID: 4363
Singh, V. (2009). Formalizing and Verifying Transactional Memories. Formalizing and Verifying Transactional Memories. EPFL Lausanne.
View
 

2009 | Conference Paper | IST-REx-ID: 4365
Seghir, M., Podelski, A., & Wies, T. (2009). Abstraction Refinement for Quantified Array Assertions (pp. 3–18). Presented at the SAS: Static Analysis Symposium, Springer. https://doi.org/1556
View | DOI
 

2009 | Conference Paper | IST-REx-ID: 4375
Lahiri, S., Qadeer, S., Galeotti, J., Voung, J., & Wies, T. (2009). Intra-module Inference (pp. 493–508). Presented at the CAV: Computer Aided Verification, Springer. https://doi.org/1555
View | DOI
 

2009 | Conference Paper | IST-REx-ID: 4376
Lublinerman, R., Chaudhuri, S., & Cerny, P. (2009). Parallel programming with object assemblies (pp. 61–80). Presented at the Oopsla Object Oriented Programming Systems Languages and Applications, ACM. https://doi.org/1546
View | DOI
 

2009 | Conference Paper | IST-REx-ID: 4377
Hoenicke, J., Leino, K. R., Podelski, A., Schäf, M., & Wies, T. (2009). It’s Doomed; We Can Prove It (pp. 338–353). Presented at the FM: Formal Methods, Springer. https://doi.org/1557
View | DOI
 

2009 | Conference Paper | IST-REx-ID: 4383 | OA
Guerraoui, R., Henzinger, T. A., & Singh, V. (2009). Software transactional memory on relaxed memory models (Vol. 5643, pp. 321–336). Presented at the CAV: Computer Aided Verification, Springer. https://doi.org/10.1007/978-3-642-02658-4_26
View | Files available | DOI
 

2009 | Conference Paper | IST-REx-ID: 4385
Dragojevic, A., Guerraoui, R., Singh, A., & Singh, V. (2009). Preventing versus curing: avoiding conflicts in transactional memories (pp. 7–16). Presented at the POPL: Principles of Programming Languages, ACM. https://doi.org/1533
View | DOI
 

2009 | Conference Paper | IST-REx-ID: 4391
Cerny, P., & Alur, R. (2009). Automated Analysis of Java Methods for Confidentiality (pp. 173–187). Presented at the CAV: Computer Aided Verification, Springer. https://doi.org/1548
View | DOI
 

2009 | Conference Paper | IST-REx-ID: 4403 | OA
Alur, R., Cerny, P., & Weinstein, S. (2009). Algorithmic analysis of array-accessing programs (Vol. 5771, pp. 86–101). Presented at the CSL: Computer Science Logic, Coimbra, Portugal: Springer. https://doi.org/10.1007/978-3-642-04027-6_9
View | Files available | DOI | Download Submitted Version (ext.)
 

2009 | Conference Paper | IST-REx-ID: 4453 | OA
Henzinger, T. A., Mateescu, M., & Wolf, V. (2009). Sliding-window abstraction for infinite Markov chains (Vol. 5643, pp. 337–352). Presented at the CAV: Computer Aided Verification, Springer. https://doi.org/10.1007/978-3-642-02658-4_27
View | Files available | DOI | Download (ext.)
 

2009 | Conference Paper | IST-REx-ID: 4535
Didier, F., Henzinger, T. A., Mateescu, M., & Wolf, V. (2009). Approximation of event probabilities in noisy cellular processes (Vol. 5688, pp. 173–188). Presented at the CMSB: Computational Methods in Systems Biology, Springer. https://doi.org/10.1007/978-3-642-03845-7_12
View | Files available | DOI
 

2009 | Conference Paper | IST-REx-ID: 4540
Chatterjee, K., Doyen, L., & Henzinger, T. A. (2009). Expressiveness and closure properties for quantitative languages (pp. 199–208). Presented at the LICS: Logic in Computer Science, IEEE. https://doi.org/10.1109/LICS.2009.16
View | Files available | DOI
 

2009 | Conference Paper | IST-REx-ID: 4542 | OA
Chatterjee, K., Doyen, L., & Henzinger, T. A. (2009). Alternating weighted automata (Vol. 5699, pp. 3–13). Presented at the FCT: Fundamentals of Computation Theory, Wroclaw, Poland: Springer. https://doi.org/10.1007/978-3-642-03409-1_2
View | Files available | DOI
 

2009 | Conference Paper | IST-REx-ID: 4543
Chatterjee, K., Henzinger, T. A., & Horn, F. (2009). Stochastic games with finitary objectives (Vol. 5734, pp. 34–54). Presented at the MFCS: Mathematical Foundations of Computer Science, High Tatras, Slovakia: Springer. https://doi.org/10.1007/978-3-642-03816-7_4
View | DOI
 

2009 | Conference Paper | IST-REx-ID: 4544 | OA
Chatterjee, K., De Alfaro, L., & Henzinger, T. A. (2009). Termination criteria for solving concurrent safety and reachability games (pp. 197–206). Presented at the SODA: Symposium on Discrete Algorithms, SIAM. https://doi.org/10.1137/1.9781611973068.23
View | Files available | DOI | Download (ext.)
 

2009 | Conference Paper | IST-REx-ID: 4545 | OA
Chatterjee, K., Doyen, L., & Henzinger, T. A. (2009). A survey of stochastic games with limsup and liminf objectives (Vol. 5556, pp. 1–15). Presented at the ICALP: Automata, Languages and Programming, Rhodos, Greece: Springer. https://doi.org/10.1007/978-3-642-02930-1_1
View | Files available | DOI
 

2009 | Conference Paper | IST-REx-ID: 4569 | OA
Bloem, R., Chatterjee, K., Henzinger, T. A., & Jobstmann, B. (2009). Better quality in synthesis through quantitative objectives (Vol. 5643, pp. 140–156). Presented at the CAV: Computer Aided Verification, Grenoble, France: Springer. https://doi.org/10.1007/978-3-642-02658-4_14
View | DOI | Download Preprint (ext.) | arXiv
 

2009 | Conference Paper | IST-REx-ID: 4580 | OA
Berwanger, D., Chatterjee, K., De Wulf, M., Doyen, L., & Henzinger, T. A. (2009). Alpaga: A tool for solving parity games with imperfect information (Vol. 5505, pp. 58–61). Presented at the TACAS: Tools and Algorithms for the Construction and Analysis of Systems, Springer. https://doi.org/10.1007/978-3-642-00768-2_7
View | Files available | DOI | Download (ext.)
 

2009 | Journal Article | IST-REx-ID: 3046
Grunewald, W., Cannoot, B., Friml, J., & Gheysen, G. (2009). Parasitic nematodes modulate PIN mediated auxin transport to facilitate infection. PLoS Pathogens. Public Library of Science. https://doi.org/ 10.1371/journal.ppat.1000266
View | DOI
 

2009 | Journal Article | IST-REx-ID: 3047
Titapiwatanakun, B., Blakeslee, J., Bandyopadhyay, A., Yang, H., Mravec, J., Sauer, M., … Murphy, A. (2009). ABCB19 PGP19 stabilises PIN1 in membrane microdomains in Arabidopsis. Plant Journal. Wiley-Blackwell. https://doi.org/10.1111/j.1365-313X.2008.03668.x
View | DOI
 

2009 | Journal Article | IST-REx-ID: 3048
Tanaka, H., Kitakura, S., De Rycke, R., De Groodt, R., & Friml, J. (2009). Fluorescence imaging based screen identifies ARF GEF component of early endosomal trafficking. Current Biology. Cell Press. https://doi.org/10.1016/j.cub.2009.01.057
View | DOI
 

2009 | Journal Article | IST-REx-ID: 3049
Pernisová, M., Klíma, P., Horák, J., Válková, M., Malbeck, J., Souček, P., … Hejátko, J. (2009). Cytokinins modulate auxin induced organogenesis in plants via regulation of the auxin efflux. PNAS. National Academy of Sciences. https://doi.org/10.1073/pnas.0811539106
View | DOI
 

2009 | Journal Article | IST-REx-ID: 3050
Růžička, K., Šimášková, M., Duclercq, J., Petrášek, J., Zažímalová, E., Simon, S., … Benková, E. (2009). Cytokinin regulates root meristem activity via modulation of the polar auxin transport. PNAS. National Academy of Sciences. https://doi.org/10.1073/pnas.0900060106
View | DOI
 

2009 | Journal Article | IST-REx-ID: 3051 | OA
Weijers, D., & Friml, J. (2009). SnapShot: Auxin signaling and transport. Cell. Cell Press. https://doi.org/10.1016/j.cell.2009.03.009
View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2009 | Journal Article | IST-REx-ID: 3052 | OA
Vanneste, S., & Friml, J. (2009). Auxin: A trigger for change in plant development. Cell. Cell Press. https://doi.org/10.1016/j.cell.2009.03.001
View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2009 | Journal Article | IST-REx-ID: 3053
Benková, E., Ivanchenko, M., Friml, J., Shishkova, S., & Dubrovsky, J. (2009). A morphogenetic trigger: Is there an emerging concept in plant developmental biology? Trends in Plant Science. Cell Press. https://doi.org/10.1016/j.tplants.2009.01.006
View | DOI
 

2009 | Journal Article | IST-REx-ID: 3054
Robert, H., & Friml, J. (2009). Auxin and other signals on the move in plants. Nature Chemical Biology. Nature Publishing Group. https://doi.org/10.1038/nchembio.170
View | DOI | PubMed | Europe PMC
 

2009 | Journal Article | IST-REx-ID: 3055
Naramoto, S., Sawa, S., Koizumi, K., Uemura, T., Ueda, T., Friml, J., … Fukuda, H. (2009). Phosphoinositide-dependent regulation of VAN3 ARF-GAP localization and activity essential for vascular tissue continuity in plants. Development. Company of Biologists. https://doi.org/10.1242/dev.030098
View | DOI
 

2009 | Journal Article | IST-REx-ID: 3056
Sorefan, K., Girin, T., Liljegren, S., Ljung, K., Robles, P., Galván Ampudia, C., … Østergaard, L. (2009). A regulated auxin minimum is required for seed dispersal in Arabidopsis. Nature. Nature Publishing Group. https://doi.org/10.1038/nature07875
View | DOI
 

2009 | Journal Article | IST-REx-ID: 3057 | OA
Petrášek, J., & Friml, J. (2009). Auxin transport routes in plant development. Development. Company of Biologists. https://doi.org/10.1242/dev.030353
View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2009 | Journal Article | IST-REx-ID: 3058
Mravec, J., Skůpa, P., Bailly, A., Hoyerová, K., Křeček, P., Bielach, A., … Friml, J. (2009). Subcellular homeostasis of phytohormone auxin is mediated by the ER localized PIN5 transporter. Nature. Nature Publishing Group. https://doi.org/10.1038/nature08066
View | DOI
 

2009 | Journal Article | IST-REx-ID: 3059
Kleine Vehn, J., Huang, F., Naramoto, S., Zhang, J., Michniewicz, M., Offringa, R., & Friml, J. (2009). PIN auxin efflux carrier polarity is regulated by PINOID kinase mediated recruitment into GNOM independent trafficking in arabidopsis. Plant Cell. American Society of Plant Biologists. https://doi.org/10.1105/tpc.109.071639
View | DOI
 

2009 | Journal Article | IST-REx-ID: 3060
Schumacher, K., & Friml, J. (2009). Cell biology. Current Opinion in Plant Biology. Elsevier. https://doi.org/10.1016/j.pbi.2009.10.009
View | DOI
 

2009 | Journal Article | IST-REx-ID: 3061 | OA
Křeček, P., Skůpa, P., Libus, J., Naramoto, S., Tejos, R., Friml, J., & Zažímalová, E. (2009). The PIN-FORMED (PIN) protein family of auxin transporters. Genome Biology. BioMed Central. https://doi.org/10.1186/gb-2009-10-12-249
View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2009 | Journal Article | IST-REx-ID: 3197 | OA
Kumar, M. P., Kolmogorov, V., & Torr, P. (2009). An analysis of convex relaxations for MAP estimation of discrete MRFs. Journal of Machine Learning Research. Microtome Publishing.
View | Download (ext.)
 

2009 | Conference Paper | IST-REx-ID: 3199
Vicente, S., Kolmogorov, V., & Rother, C. (2009). Joint optimization of segmentation and appearance models (pp. 755–762). Presented at the ICCV: International Conference on Computer Vision, IEEE. https://doi.org/10.1109/ICCV.2009.5459287
View | DOI | Download (ext.)
 

2009 | Journal Article | IST-REx-ID: 3200
Kolmogorov, V., & Shioura, A. (2009). New algorithms for convex cost tension problem with application to computer vision. Discrete Optimization. Elsevier. https://doi.org/10.1016/j.disopt.2009.04.006
View | DOI
 

2009 | Conference Paper | IST-REx-ID: 3203
Woodford, O., Rother, C., & Kolmogorov, V. (2009). A global perspective on MAP inference for low level vision (pp. 2319–2326). Presented at the ICCV: International Conference on Computer Vision, IEEE. https://doi.org/10.1109/ICCV.2009.5459434
View | DOI
 

2009 | Conference Paper | IST-REx-ID: 3230
Kiltz, E., Pietrzak, K. Z., Stam, M., & Yung, M. (2009). A new randomness extraction paradigm for hybrid encryption (Vol. 5479, pp. 590–609). Presented at the EUROCRYPT: Theory and Applications of Cryptographic Techniques, Springer. https://doi.org/10.1007/978-3-642-01001-9_34
View | DOI
 

2009 | Conference Paper | IST-REx-ID: 3231
Kiltz, E., & Pietrzak, K. Z. (2009). On the security of padding based encryption schemes Why We cannot prove OAEP secure in the standard model (Vol. 5479, pp. 389–406). Presented at the EUROCRYPT: Theory and Applications of Cryptographic Techniques, Springer. https://doi.org/10.1007/978-3-642-01001-9_23
View | DOI
 

2009 | Conference Paper | IST-REx-ID: 3232
Pietrzak, K. Z. (2009). A leakage resilient mode of operation (Vol. 5479, pp. 462–482). Presented at the CRYPTO: International Cryptology Conference, Springer. https://doi.org/10.1007/978-3-642-01001-9_27
View | DOI
 

2009 | Journal Article | IST-REx-ID: 3292
Engel, J., Schmalhorst, P. S., Dörk Bousset, T., Ferrières, V., & Routier, F. (2009). A single UDP galactofuranose transporter is required for galactofuranosylation in Aspergillus fumigatus. Journal of Biological Chemistry. American Society for Biochemistry and Molecular Biology. https://doi.org/10.1074/jbc.M109.070219
View | DOI
 

2009 | Journal Article | IST-REx-ID: 3293
Chakraborty Tuhin, S., Goswami, S., & Siddiqi, O. (2009). Sensory correlates of imaginal conditioning in Drosophila melanogaster. Journal of Neurogenetics. Informa Healthcare. https://doi.org/10.1080/01677060802491559
View | DOI
 

2009 | Journal Article | IST-REx-ID: 3304
Weissman, D., Desai, M., Fisher, D., & Feldman, M. (2009). The rate at which asexual populations cross fitness valleys. Theoretical Population Biology. Academic Press. https://doi.org/10.1016/j.tpb.2009.02.006
View | DOI
 

2009 | Journal Article | IST-REx-ID: 3309
Uhler, C. (2009). Mastitis in dairy production: Estimation of sensitivity, specificity and disease prevalence in the absence of a gold standard. Journal of Agricultural Biological and Environmental Statistics. Springer. https://doi.org/10.1198/jabes.2009.0005
View | DOI
 

2009 | Journal Article | IST-REx-ID: 337
Cabot, A., Ibáñez, M., Guardia, P., & Alivisatos, P. (2009). Reaction regimes on the synthesis of hollow particles by the Kirkendall effect. Journal of the American Chemical Society. ACS. https://doi.org/10.1021/ja903751p
View | DOI
 

2009 | Journal Article | IST-REx-ID: 3398
Bollenbach, M. T., & Kishony, R. (2009). Quiet gene circuit more fragile than its noisy peer. Cell. Cell Press. https://doi.org/10.1016/j.cell.2009.10.005
View | DOI
 

2009 | Thesis | IST-REx-ID: 3400
Schmalhorst, P. S. (2009). Biosynthesis of Galactofuranose Containing Glycans and Their Relevance for the Pathogenic Fungus Aspergillus fumigatus. Gottfried Wilhelm Leibniz Universität Hannover.
View | Download (ext.)
 

2009 | Journal Article | IST-REx-ID: 3408
Szymczak, P., & Janovjak, H. L. (2009). Periodic forces trigger a complex mechanical response in ubiquitin. Journal of Molecular Biology. Elsevier. https://doi.org/10.1016/j.jmb.2009.04.071
View | DOI
 

2009 | Journal Article | IST-REx-ID: 3428
Bollenbach, M. T., & Kishony, R. (2009). Hydroxyurea triggers cellular responses that actively cause bacterial cell death. Molecular Cell. Cell Press. https://doi.org/10.1016/j.molcel.2009.11.027
View | DOI
 

2009 | Conference Paper | IST-REx-ID: 3503 | OA
Chatterjee, K., & Henzinger, T. A. (2009). Probabilistic systems with limsup and liminf objectives (Vol. 5489, pp. 32–45). Presented at the ILC: Infinity in Logic and Computation, Springer. https://doi.org/10.1007/978-3-642-03092-5_4
View | DOI | Download (ext.)
 

2009 | Journal Article | IST-REx-ID: 3547
Remy, S., Csicsvari, J. L., & Beck, H. (2009). Activity-dependent control of neuronal output by local and global dendritic spike attenuation. Neuron. Elsevier. https://doi.org/10.1016/j.neuron.2009.01.032
View | DOI
 

2009 | Book Chapter | IST-REx-ID: 3578
Attali, D., Boissonnat, J., & Edelsbrunner, H. (2009). Stability and computation of medial axes: a state-of-the-art report. In Mathematical Foundations of Scientific Visualization, Computer Graphics, and Massive Data Exploration (pp. 109–125). Springer. https://doi.org/10.1007/b106657_6
View | DOI | Download (ext.)
 

2009 | Book Chapter | IST-REx-ID: 3675
Barton, N. H. (2009). Why sex and recombination? . In Cold Spring Harbor Symposia on Quantitative Biology (Vol. 74, pp. 187–195). Cold Spring Harbor Laboratory Press. https://doi.org/10.1101/sqb.2009.74.030
View | DOI
 

2009 | Conference Paper | IST-REx-ID: 3690
Dhillon, P., Nowozin, S., & Lampert, C. (2009). Combining appearance and motion for human action classification in videos (pp. 22–29). Presented at the CVPR: Computer Vision and Pattern Recognition, IEEE. https://doi.org/10.1109/CVPRW.2009.5204237
View | DOI
 

2009 | Journal Article | IST-REx-ID: 3696
Lampert, C., & Blaschko, M. (2009). Structured prediction by joint kernel support estimation. Machine Learning. Springer. https://doi.org/10.1007/s10994-009-5111-0
View | DOI
 

2009 | Conference Poster | IST-REx-ID: 3699
Blaschko, M., Lampert, C., & Bartels, A. (2009). Semi-supervised analysis of human fMRI data. BBCI: Berlin Brain-Computer Interface Workshop - Advances in Neurotechnology. Berlin Institute of Technology.
View | Download (ext.)
 

2009 | Conference Paper | IST-REx-ID: 3703
Blaschko, M., & Lampert, C. (2009). Object localization with global and local context kernels (pp. 1–11). Presented at the BMVC: British Machine Vision Conference, BMVA Press. https://doi.org/10.5244/C.23.63
View | DOI | Download (ext.)
 

2009 | Conference Paper | IST-REx-ID: 3704
Lampert, C., Nickisch, H., & Harmeling, S. (2009). Learning to detect unseen object classes by between-class attribute transfer (pp. 951–958). Presented at the CVPR: Computer Vision and Pattern Recognition, IEEE. https://doi.org/10.1109/CVPR.2009.5206594
View | DOI
 

2009 | Book | IST-REx-ID: 3707
Lampert, C. (2009). Kernel methods in computer vision (Vol. 4, pp. 193–285). now. https://doi.org/10.1561/0600000027
View | DOI
 

2009 | Conference Paper | IST-REx-ID: 3708
Nowozin, S., & Lampert, C. (2009). Global connectivity potentials for random field models (pp. 818–825). Presented at the CVPR: Computer Vision and Pattern Recognition, IEEE. https://doi.org/10.1109/CVPR.2009.5206567
View | DOI
 

2009 | Conference Paper | IST-REx-ID: 3709
Lampert, C. (2009). Detecting objects in large image collections and videos by efficient subimage retrieval (pp. 987–994). Presented at the ICCV: International Conference on Computer Vision, IEEE. https://doi.org/10.1109/ICCV.2009.5459359
View | DOI
 

2009 | Journal Article | IST-REx-ID: 3710
Lampert, C., Blaschko, M., & Hofmann, T. (2009). Efficient subwindow search: A branch and bound framework for object localization. IEEE Transactions on Pattern Analysis and Machine Intelligence. IEEE. https://doi.org/10.1109/TPAMI.2009.144
View | DOI | Download (ext.)
 

2009 | Conference Paper | IST-REx-ID: 3711
Dhillon, P., Nowozin, S., & Lampert, C. (2009). Combining appearance and motion for human action classification in videos (pp. 22–29). Presented at the CVPR: Computer Vision and Pattern Recognition, IEEE. https://doi.org/10.1109/CVPRW.2009.5204237
View | DOI | Download (ext.)
 

2009 | Journal Article | IST-REx-ID: 9453 | OA
Hsieh, T.-F., Ibarra, C. A., Silva, P., Zemach, A., Eshed-Williams, L., Fischer, R. L., & ZILBERMAN, D. (2009). Genome-wide demethylation of Arabidopsis endosperm. Science. American Association for the Advancement of Science. https://doi.org/10.1126/science.1172417
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

Search

Filter Publications