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.

6494 Publications


2006 | Journal Article | IST-REx-ID: 3934
Drumea Mirancea, M., Wessels, J., Müller, C., Essl, M., Eble, J., Tolosa, E., … Klein, G. (2006). Characterization of a conduit system containing laminin-5 in the human thymus: a potential transport system for small molecules. Journal of Cell Science. Company of Biologists. https://doi.org/10.1242/​jcs.02840
View | DOI
 

2006 | Journal Article | IST-REx-ID: 3935
Chu, H., Thievessen, I., Sixt, M. K., Lämmermann, T., Waisman, A., Braun, A., … Fässler, R. (2006). γ-Parvin is dispensable for hematopoiesis, leukocyte trafficking, and T-cell-dependent antibody response. Molecular and Cellular Biology. American Society for Microbiology. https://doi.org/10.1128/MCB.26.5.1817-1825.2006
View | DOI
 

2006 | Journal Article | IST-REx-ID: 3936
Sixt, M. K., Bauer, M., Lämmermann, T., & Fässler, R. (2006). β1 integrins: zip codes and signaling relay for blood cells. Current Opinion in Cell Biology. Elsevier. https://doi.org/10.1016/j.ceb.2006.08.007
View | DOI
 

2006 | Journal Article | IST-REx-ID: 3978
Ban, Y., Rudolph, J., Zhou, P., & Edelsbrunner, H. (2006). Evaluating the quality of NMR structures by local density of protons. Proteins: Structure, Function and Bioinformatics. Wiley-Blackwell. https://doi.org/10.1002/prot.20811
View | DOI
 

2006 | Journal Article | IST-REx-ID: 3979
Ban, Y., Edelsbrunner, H., & Rudolph, J. (2006). Interface surfaces for protein-protein complexes. Journal of the ACM. ACM. https://doi.org/10.1145/1147954.1147957
View | DOI
 

2006 | Journal Article | IST-REx-ID: 3980
Agarwal, P., Edelsbrunner, H., Harer, J., & Wang, Y. (2006). Extreme elevation on a 2-manifold. Discrete & Computational Geometry. Springer. https://doi.org/10.1007/s00454-006-1265-8
View | DOI
 

2006 | Journal Article | IST-REx-ID: 4140
Witzel, S., Zimyanin, V., Carreira Barbosa, F., Tada, M., & Heisenberg, C.-P. J. (2006). Wnt11 controls cell contact persistence by local accumulation of Frizzled 7 at the plasma membrane. Journal of Cell Biology. Rockefeller University Press. https://doi.org/10.1083/jcb.200606017
View | DOI
 

2006 | Journal Article | IST-REx-ID: 4145
Tonelli, D., Calegari, F., Fei, J., Nomura, T., Osumi, N., Heisenberg, C.-P. J., & Huttner, W. (2006). Single-cell detection of microRNAs in developing vertebrate embryos after acute administration of a dual-fluorescence reporter/sensor plasmid. Biotechniques. Informa Healthcare. https://doi.org/10.2144/000112296
View | DOI
 

2006 | Journal Article | IST-REx-ID: 4173 | OA
Link, V., Shevchenko, A., & Heisenberg, C.-P. J. (2006). Proteomics of early zebrafish embryos. BMC Developmental Biology. BioMed Central. https://doi.org/10.1186/1471-213X-6-1
View | DOI | Download None (ext.)
 

2006 | Journal Article | IST-REx-ID: 4176
Link, V., Carvalho, L., Castanon, I., Stockinger, P., Shevchenko, A., & Heisenberg, C.-P. J. (2006). Identification of regulators of germ layer morphogenesis using proteomics in zebrafish. Journal of Cell Science. Company of Biologists. https://doi.org/10.1242/jcs.02928
View | DOI
 

2006 | Journal Article | IST-REx-ID: 4178
Langenberg, T., Dracz, T., Oates, A., Heisenberg, C.-P. J., & Brand, M. (2006). Analysis and visualization of cell movement in the developing zebrafish brain. Developmental Dynamics. Wiley-Blackwell. https://doi.org/10.1002/dvdy.20692
View | DOI
 

2006 | Journal Article | IST-REx-ID: 4184
Köppen, M., Fernández, B., Carvalho, L., Jacinto, A., & Heisenberg, C.-P. J. (2006). Coordinated cell-shape changes control epithelial movement in zebrafish and Drosophila. Development. Company of Biologists. https://doi.org/doi: 10.1242/dev.02439
View | DOI
 

2006 | Journal Article | IST-REx-ID: 4218
Blaser, H., Reichman Fried, M., Castanon, I., Dumstrei, K., Marlow, F., Kawakami, K., … Raz, E. (2006). Migration of zebrafish primordial germ cells: A role for myosin contraction and cytoplasmic flow. Developmental Cell. Cell Press. https://doi.org/10.1016/j.devcel.2006.09.023
View | DOI
 

2006 | Journal Article | IST-REx-ID: 4235
de Vladar, H., & González, J. (2006). Dynamic response of cancer under the influence of immunological activity and therapy. Journal of Theoretical Biology. Elsevier.
View
 

2006 | Journal Article | IST-REx-ID: 4237
de Vladar, H. (2006). Density-dependence as a size-independent regulatory mechanism. Journal of Theoretical Biology. Elsevier. https://doi.org/3802
View | DOI
 

2006 | Journal Article | IST-REx-ID: 4248
Roze, D., & Barton, N. H. (2006). The Hill-Robertson effect and the evolution of recombination. Genetics. Genetics Society of America. https://doi.org/10.1534/genetics.106.058586
View | DOI
 

2006 | Book Review | IST-REx-ID: 4250
Barton, N. H. (2006). Evolutionary Biology: How did the human species form? Current Biology. Cell Press. https://doi.org/10.1016/j.cub.2006.07.032
View | DOI
 

2006 | Journal Article | IST-REx-ID: 4345
Danowski, P., & Heller, L. (2006). Bibliothek 2.0 - Die Bibliothek der Zukunft? Bibliotheksdienst. Zentral- und Landesbibliothek Berlin. https://doi.org/424
View | DOI | Download (ext.)
 

2006 | Journal Article | IST-REx-ID: 4351
Bollback, J. P. (2006). SIMMAP: stochastic character mapping of discrete traits on phylogenies. BMC Bioinformatics. BioMed Central. https://doi.org/10.1186/1471-2105-7-88
View | DOI
 

2006 | Journal Article | IST-REx-ID: 4352
Conn, J., Vineis, J., Bollback, J. P., Onyabe, D., Wilkerson, R., & Povoa, M. (2006). Population structure of the malaria vector Anopheles darlingi in a malaria-endemic region of eastern Amazonian Brazil. The American Journal of Tropical Medicine and Hygiene. American Society of Tropical Medicine and Hygiene.
View | Download (ext.)
 

2006 | Conference Paper | IST-REx-ID: 4359
Wies, T., Kuncak, V., Lam, P., Podelski, A., & Rinard, M. (2006). Field Constraint Analysis (pp. 157–173). Presented at the VMCAI: Verification, Model Checking and Abstract Interpretation, Springer. https://doi.org/1551
View | DOI
 

2006 | Conference Paper | IST-REx-ID: 4373
Maler, O., Nickovic, D., & Pnueli, A. (2006). Real Time Temporal Logic: Past, Present, Future (pp. 2–16). Presented at the FORMATS: Formal Modeling and Analysis of Timed Systems, Springer. https://doi.org/1571
View | DOI
 

2006 | Conference Paper | IST-REx-ID: 4374
Maler, O., Nickovic, D., & Pnueli, A. (2006). From MITL to Timed Automata (pp. 274–289). Presented at the FORMATS: Formal Modeling and Analysis of Timed Systems, Springer. https://doi.org/1570
View | DOI
 

2006 | Conference Paper | IST-REx-ID: 4401
Alur, R., Cerny, P., & Zdancewic, S. (2006). Preserving Secrecy Under Refinement (pp. 107–118). Presented at the ICALP: Automata, Languages and Programming, Springer. https://doi.org/1543
View | DOI
 

2006 | Conference Paper | IST-REx-ID: 4406
De Wulf, M., Doyen, L., Henzinger, T. A., & Raskin, J. (2006). Antichains: A new algorithm for checking universality of finite automata (Vol. 4144, pp. 17–30). Presented at the CAV: Computer Aided Verification, Springer. https://doi.org/10.1007/11817963_5
View | DOI
 

2006 | Conference Paper | IST-REx-ID: 4431
Henzinger, T. A., & Sifakis, J. (2006). The embedded systems design challenge (Vol. 4085, pp. 1–15). Presented at the FM: Formal Methods, Springer. https://doi.org/10.1007/11813040_1
View | DOI
 

2006 | Conference Paper | IST-REx-ID: 4432
Henzinger, T. A., & Prabhu, V. (2006). Timed alternating-time temporal logic (Vol. 4202, pp. 1–17). Presented at the FORMATS: Formal Modeling and Analysis of Timed Systems, Springer. https://doi.org/10.1007/11867340_1
View | DOI
 

2006 | Conference Paper | IST-REx-ID: 4436
Henzinger, T. A., & Matic, S. (2006). An interface algebra for real-time components (pp. 253–266). Presented at the RTAS: Real-time and Embedded Technology and Applications Symposium, IEEE. https://doi.org/10.1109/RTAS.2006.11
View | DOI
 

2006 | Conference Paper | IST-REx-ID: 4437
Henzinger, T. A., & Piterman, N. (2006). Solving games without determinization (Vol. 4207, pp. 395–410). Presented at the CSL: Computer Science Logic, Springer. https://doi.org/10.1007/11874683_26
View | DOI
 

2006 | Journal Article | IST-REx-ID: 4451
Henzinger, T. A., Kupferman, O., & Majumdar, R. (2006). On the universal and existential fragments of the mu-calculus. Theoretical Computer Science. Elsevier. https://doi.org/10.1016/j.tcs.2005.11.015
View | DOI
 

2006 | Conference Paper | IST-REx-ID: 4523
Gulavani, B., Henzinger, T. A., Kannan, Y., Nori, A., & Rajamani, S. (2006). Synergy: A new algorithm for property checking (pp. 117–127). Presented at the FSE: Foundations of Software Engineering, ACM. https://doi.org/10.1145/1181775.1181790
View | DOI
 

2006 | Conference Paper | IST-REx-ID: 4526
Ghosal, A., Henzinger, T. A., Iercan, D., Kirsch, C., & Sangiovanni Vincentelli, A. (2006). A hierarchical coordination language for interacting real-time tasks (pp. 132–141). Presented at the EMSOFT: Embedded Software , ACM. https://doi.org/10.1145/1176887.1176907
View | DOI
 

2006 | Conference Paper | IST-REx-ID: 4528
Fisher, J., & Henzinger, T. A. (2006). Executable biology (pp. 1675–1682). Presented at the WSC: Winter Simulation Conference, IEEE. https://doi.org/10.1109/WSC.2006.322942
View | DOI
 

2006 | Conference Paper | IST-REx-ID: 4538
Chatterjee, K., & Henzinger, T. A. (2006). Strategy improvement and randomized subexponential algorithms for stochastic parity games (Vol. 3884, pp. 512–523). Presented at the STACS: Theoretical Aspects of Computer Science, Springer. https://doi.org/10.1007/11672142_42
View | DOI
 

2006 | Conference Paper | IST-REx-ID: 4539
Chatterjee, K., & Henzinger, T. A. (2006). Finitary winning in omega-regular games (Vol. 3920, pp. 257–271). Presented at the TACAS: Tools and Algorithms for the Construction and Analysis of Systems, Springer. https://doi.org/10.1007/11691372_17
View | DOI
 

2006 | Conference Paper | IST-REx-ID: 4549
Chatterjee, K., De Alfaro, L., Faella, M., Henzinger, T. A., Majumdar, R., & Stoelinga, M. (2006). Compositional quantitative reasoning (pp. 179–188). Presented at the QEST: Quantitative Evaluation of Systems, IEEE. https://doi.org/10.1109/QEST.2006.11
View | DOI
 

2006 | Journal Article | IST-REx-ID: 4550
Chatterjee, K., Henzinger, T. A., & Jurdziński, M. (2006). Games with secure equilibria. Theoretical Computer Science. Elsevier. https://doi.org/10.1016/j.tcs.2006.07.032
View | DOI
 

2006 | Conference Paper | IST-REx-ID: 4551
Chatterjee, K., Majumdar, R., & Henzinger, T. A. (2006). Markov decision processes with multiple objectives (Vol. 3884, pp. 325–336). Presented at the STACS: Theoretical Aspects of Computer Science, Springer. https://doi.org/10.1007/11672142_26
View | DOI
 

2006 | Conference Paper | IST-REx-ID: 4552
Chatterjee, K., De Alfaro, L., & Henzinger, T. A. (2006). Strategy improvement for concurrent reachability games (pp. 291–300). Presented at the QEST: Quantitative Evaluation of Systems, IEEE. https://doi.org/10.1109/QEST.2006.48
View | DOI
 

2006 | Conference Paper | IST-REx-ID: 4574
Beyer, D., Henzinger, T. A., & Théoduloz, G. (2006). Lazy shape analysis (Vol. 4144, pp. 532–546). Presented at the CAV: Computer Aided Verification, Springer. https://doi.org/10.1007/11817963_48
View | DOI
 

2006 | Book Chapter | IST-REx-ID: 3002
Sauer, M., & Friml, J. (2006). In vitro culture of Arabidopsis embryos. In A. Mujib & J. Šamaj (Eds.), Somatic Embryogenesis (Vol. 2, pp. 343–354). Springer. https://doi.org/10.1007/7089_020
View | DOI
 

2006 | Journal Article | IST-REx-ID: 3005
Friml, J., Benfey, P., Benková, E., Bennett, M., Berleth, T., Geldner, N., … Zažímalová, E. (2006). Apical-basal polarity: Why plant cells don’t stand on their heads. Trends in Plant Science. Cell Press. https://doi.org/10.1016/j.tplants.2005.11.010
View | DOI
 

2006 | Journal Article | IST-REx-ID: 3006
Dhonukshe, P., Baluška, F., Schlicht, M., Hlavacka, A., Šamaj, J., Friml, J., & Gadella, T. (2006). Endocytosis of cell surface material mediates cell plate formation during plant cytokinesis. Developmental Cell. Cell Press. https://doi.org/10.1016/j.devcel.2005.11.015
View | DOI
 

2006 | Journal Article | IST-REx-ID: 3007
Abas, L., Benjamins, R., Malenica, N., Paciorek, T., Wiśniewska, J., Moulinier Anzola, J., … Luschnig, C. (2006). Intracellular trafficking and proteolysis of the Arabidopsis auxin-efflux facilitator PIN2 are involved in root gravitropism. Nature Cell Biology. Nature Publishing Group. https://doi.org/10.1038/ncb1369
View | DOI
 

2006 | Journal Article | IST-REx-ID: 3008
Xu, J., Hofhuis, H., Heidstra, R., Sauer, M., Friml, J., & Scheres, B. (2006). A molecular framework for plant regeneration. Science. American Association for the Advancement of Science. https://doi.org/10.1126/science.1121790
View | DOI
 

2006 | Journal Article | IST-REx-ID: 3009 | OA
Paciorek, T., & Friml, J. (2006). Auxin signaling. Journal of Cell Science. Company of Biologists. https://doi.org/10.1242/jcs.02910
View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2006 | Journal Article | IST-REx-ID: 3010
Scarpella, E., Marcos, D., Friml, J., & Berleth, T. (2006). Control of leaf vascular patterning by polar auxin transport. Genes and Development. Cold Spring Harbor Laboratory Press. https://doi.org/10.1101/gad.1402406
View | DOI
 

2006 | Journal Article | IST-REx-ID: 3011
Wiśniewska, J., Xu, J., Seifertová, D., Brewer, P., Růžička, K., Blilou, I., … Friml, J. (2006). Polar PIN localization directs auxin flow in plants. Science. American Association for the Advancement of Science. https://doi.org/10.1126/science.1121356
View | DOI
 

2006 | Journal Article | IST-REx-ID: 3012
Petrášek J, Mravec J, Bouchard R, Blakeslee J, Abas MF, Seifertová D, Wiśniewska J, Tadele Z, Kubeš M, Čovanová M, Dhonukshe P, Skůpa P, Benková E, Perry L, Křeček P, Lee O, Fink G, Geisler M, Murphy A, Luschnig C, Zažímalová E, Friml J. 2006. PIN proteins perform a rate-limiting function in cellular auxin efflux. Science. 312(5775), 914–918.
View | DOI
 

2006 | Journal Article | IST-REx-ID: 3013
Paciorek, T., Sauer, M., Balla, J., Wiśniewska, J., & Friml, J. (2006). Immunocytochemical technique for protein localization in sections of plant tissues. Nature Protocols. Nature Publishing Group. https://doi.org/10.1038/nprot.2006.16
View | DOI
 

Search

Filter Publications