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.

6386 Publications


2007 | Conference Paper | IST-REx-ID: 4402
Alur, R., Cerny, P., & Chaudhuri, S. (2007). Model Checking on Trees with Path Equivalences (pp. 664–678). Presented at the TACAS: Tools and Algorithms for the Construction and Analysis of Systems, Springer. https://doi.org/1544
View | DOI
 

2007 | Journal Article | IST-REx-ID: 4405
Schaub, M., Henzinger, T. A., & Fisher, J. (2007). Qualitative networks: A symbolic approach to analyze biological signaling networks. BMC Systems Biology. BioMed Central. https://doi.org/10.1186/1752-0509-1-4
View | DOI | Download (ext.)
 

2007 | Book Chapter | IST-REx-ID: 4417
Manevich, R., Field, J., Henzinger, T. A., Ramalingam, G., & Sagiv, M. (2007). Abstract counterexample-based refinement for powerset domains. In Program Analysis and Compilation, Theory and Practice: Essays Dedicated to Reinhard Wilhelm on the Occasion of His 60th Birthday (Vol. 4444, pp. 273–292). Springer. https://doi.org/10.1007/978-3-540-71322-7_13
View | DOI
 

2007 | Journal Article | IST-REx-ID: 4446
Henzinger, T. A., & Kirsch, C. (2007). The embedded machine: Predictable, portable real-time code. ACM Transactions on Programming Languages and Systems (TOPLAS). ACM. https://doi.org/10.1145/1286821.1286824
View | DOI
 

2007 | Conference Paper | IST-REx-ID: 4511
Henzinger, T. A. (2007). Quantitative generalizations of languages (Vol. 4588, pp. 20–22). Presented at the DLT: Developments in Language Theory, Springer. https://doi.org/10.1007/978-3-540-73208-2_2
View | DOI
 

2007 | Conference Paper | IST-REx-ID: 4514
Henzinger, T. A. (2007). Games, time, and probability: Graph models for system design and analysis (Vol. 4362, pp. 103–110). Presented at the SOFSEM: Current Trends in Theory and Practice of Computer Science, Springer. https://doi.org/10.1007/978-3-540-69507-3_7
View | DOI
 

2007 | Journal Article | IST-REx-ID: 4529
Fisher, J., & Henzinger, T. A. (2007). Executable cell biology. Nature Biotechnology. Nature Publishing Group. https://doi.org/10.1038/nbt1356
View | DOI
 

2007 | Conference (Editor) | IST-REx-ID: 4530
Duparc, J., & Henzinger, T. A. (2007). CSL: Computer Science Logic . CSL: Computer Science Logic (Vol. 4646). Springer. https://doi.org/10.1007/978-3-540-74915-8
View | DOI
 

2007 | Journal Article | IST-REx-ID: 4531
Fisher, J., Piterman, N., Hajnal, A., & Henzinger, T. A. (2007). Predictive modeling of signaling crosstalk during C. elegans vulval development. PLoS Computational Biology. Public Library of Science. https://doi.org/10.1371/journal.pcbi.0030092
View | DOI
 

2007 | Conference Paper | IST-REx-ID: 4537
Chatterjee, K., & Henzinger, T. A. (2007). Assume-guarantee synthesis (Vol. 4424, pp. 261–275). Presented at the TACAS: Tools and Algorithms for the Construction and Analysis of Systems, Springer. https://doi.org/10.1007/978-3-540-71209-1_21
View | DOI
 

2007 | Journal Article | IST-REx-ID: 4547
Chatterjee, K., Doyen, L., Henzinger, T. A., & Raskin, J. (2007). Algorithms for omega-regular games with imperfect information. Logical Methods in Computer Science. International Federation of Computational Logic. https://doi.org/10.2168/LMCS-3(3:4)2007
View | DOI
 

2007 | Thesis | IST-REx-ID: 4559
Chatterjee, K. (2007). Stochastic ω-Regular Games. University of California, Berkeley.
View | Download (ext.)
 

2007 | Thesis | IST-REx-ID: 4566
Chakrabarti, A. (2007). A framework for compositional design and analysis of systems. University of California, Berkeley.
View
 

2007 | Journal Article | IST-REx-ID: 4567
Beyer, D., Henzinger, T. A., Jhala, R., & Majumdar, R. (2007). The software model checker BLAST: Applications to software engineering. International Journal on Software Tools for Technology Transfer. Springer. https://doi.org/10.1007/s10009-007-0044-z
View | DOI
 

2007 | Conference Paper | IST-REx-ID: 4570
Brihaye, T., Henzinger, T. A., Prabhu, V., & Raskin, J. (2007). Minimum-time reachability in timed games (Vol. 4596, pp. 825–837). Presented at the ICALP: Automata, Languages and Programming, Springer. https://doi.org/10.1007/978-3-540-73420-8_71
View | DOI
 

2007 | Conference Paper | IST-REx-ID: 4571
Beyer, D., Henzinger, T. A., Majumdar, R., & Rybalchenko, A. (2007). Path invariants (pp. 300–309). Presented at the PLDI: Programming Languages Design and Implementation, ACM. https://doi.org/10.1145/1250734.1250769
View | DOI
 

2007 | Conference Paper | IST-REx-ID: 4572
Beyer, D., Henzinger, T. A., Majumdar, R., & Rybalchenko, A. (2007). Invariant synthesis for combined theories (Vol. 4349, pp. 378–394). Presented at the VMCAI: Verification, Model Checking and Abstract Interpretation, Springer. https://doi.org/10.1007/978-3-540-69738-1_27
View | DOI
 

2007 | Conference Paper | IST-REx-ID: 4573
Beyer, D., Henzinger, T. A., & Théoduloz, G. (2007). Configurable software verification: Concretizing the convergence of model checking and program analysis (Vol. 4590, pp. 504–518). Presented at the CAV: Computer Aided Verification, Springer. https://doi.org/10.1007/978-3-540-73368-3_51
View | DOI
 

2007 | Conference Paper | IST-REx-ID: 4575
Beyer, D., Chakrabarti, A., Henzinger, T. A., & Seshia, S. (2007). An application of web-service interfaces (pp. 831–838). Presented at the ICWS: International Conference on Web Service, IEEE. https://doi.org/10.1109/ICWS.2007.32
View | DOI
 

2007 | Journal Article | IST-REx-ID: 3019
Blakeslee, J., Bandyopadhyay, A., Ok, R., Mravec, J., Titapiwatanakun, B., Sauer, M., … Murphy, A. (2007). Interactions among PIN FORMED and P glycoprotein auxin transporters in Arabidopsis. Plant Cell. American Society of Plant Biologists. https://doi.org/10.1105/tpc.106.040782
View | DOI
 

2007 | Conference Paper | IST-REx-ID: 3021
Bandyopadhyay, A., Blakeslee, J., Lee, O., Mravec, J., Sauer, M., Titapiwatanakun, B., … Murphy, A. (2007). Interactions of PIN and PGP auxin transport mechanisms (Vol. 35, pp. 137–141). Presented at the Intercellular Signalling in Plants, Portland Press. https://doi.org/10.1042/BST0350137
View | DOI
 

2007 | Journal Article | IST-REx-ID: 3022
Dhonukshe, P., Aniento, F., Hwang, I., Robinson, D., Mravec, J., Stierhof, Y., & Friml, J. (2007). Clathrin-mediated constitutive endocytosis of PIN auxin efflux carriers in Arabidopsis. Current Biology. Cell Press. https://doi.org/10.1016/j.cub.2007.01.052
View | DOI
 

2007 | Journal Article | IST-REx-ID: 3023
Dhonukshe, P., Šamaj, J., Baluška, F., & Friml, J. (2007). A unifying new model of cytokinesis for the dividing plant and animal cells. Bioessays : News and Reviews in Molecular, Cellular and Developmental Biology. Wiley-Blackwell. https://doi.org/10.1002/bies.20559
View | DOI | PubMed | Europe PMC
 

2007 | Journal Article | IST-REx-ID: 3024
Vieten, A., Sauer, M., Brewer, P., & Friml, J. (2007). Molecular and cellular aspects of auxin-transport-mediated development. Trends in Plant Science. Cell Press. https://doi.org/10.1016/j.tplants.2007.03.006
View | DOI | PubMed | Europe PMC
 

2007 | Journal Article | IST-REx-ID: 3025
Sauer, M., Balla, J., Luschnig, C., Wiśniewska, J., Reinöhl, V., Friml, J., & Benková, E. (2007). Erratum: Canalization of auxin flow by Aux/IAA-ARF-dependent feedback regulation of PIN polarity (Genes and Development (2006) 20 (2902-2911)). Genes and Development. Cold Spring Harbor Laboratory Press.
View
 

2007 | Journal Article | IST-REx-ID: 3026
Růžička, K., Ljung, K., Vanneste, S., Podhorská, R., Beeckman, T., Friml, J., & Benková, E. (2007). Ethylene regulates root growth through effects on auxin biosynthesis and transport dependent auxin distribution. Plant Cell. American Society of Plant Biologists. https://doi.org/10.1105/tpc.107.052126
View | DOI
 

2007 | Journal Article | IST-REx-ID: 3027
Malenica, N., Abas, L., Benjamins, R., Kitakura, S., Sigmund, H., Jun, K., … Luschnig, C. (2007). MODULATOR of PIN genes control steady state levels of Arabidopsis PIN proteins. Plant Journal. Wiley-Blackwell. https://doi.org/10.1111/j.1365-313X.2007.03158.x
View | DOI
 

2007 | Journal Article | IST-REx-ID: 3028
Michniewicz, M., Zago, M., Abas, L., Weijers, D., Schweighofer, A., Meskiene, I., … Friml, J. (2007). Antagonistic regulation of PIN phosphorylation by PP2A and PINOID directs auxin flux. Cell. Cell Press. https://doi.org/10.1016/j.cell.2007.07.033
View | DOI
 

2007 | Journal Article | IST-REx-ID: 3029
Laplaze, L., Benková, E., Casimiro, I., Maes, L., Vanneste, S., Swarup, R., … Bennett, M. (2007). Cytokinins act directly on lateral root founder cells to inhibit root initiation. Plant Cell. American Society of Plant Biologists. https://doi.org/10.1105/tpc.107.055863
View | DOI
 

2007 | Journal Article | IST-REx-ID: 3144
Hippenmeyer, S., Huber, R., Ladle, D., Murphy, K., & Arber, S. (2007). ETS transcription factor Erm controls subsynaptic gene expression in skeletal muscles. Neuron. Elsevier. https://doi.org/10.1016/j.neuron.2007.07.028
View | DOI
 

2007 | Journal Article | IST-REx-ID: 3187
Blake, A., Criminisi, A., Cross, G., Kolmogorov, V., & Rother, C. (2007). Fusion of stereo colour and contrast. Springer Tracts in Advanced Robotics. Springer. https://doi.org/10.1007/978-3-540-48113-3_27
View | DOI | Download (ext.)
 

2007 | Conference Paper | IST-REx-ID: 3191
Kolmogorov, V., Boykov, Y., & Rother, C. (2007). Applications of parametric maxflow in computer vision. Presented at the ICCV: International Conference on Computer Vision, IEEE. https://doi.org/10.1109/ICCV.2007.4408910
View | DOI | Download (ext.)
 

2007 | Conference Paper | IST-REx-ID: 3192
Rother, C., Kolmogorov, V., Lempitsky, V., & Szummer, M. (2007). Optimizing binary MRFs via extended roof duality. Presented at the CVPR: Computer Vision and Pattern Recognition, IEEE. https://doi.org/10.1109/CVPR.2007.383203
View | DOI | Download (ext.)
 

2007 | Journal Article | IST-REx-ID: 3193
Kolmogorov, V., & Rother, C. (2007). Minimizing nonsubmodular functions with graph cuts - A review. IEEE Transactions on Pattern Analysis and Machine Intelligence. IEEE. https://doi.org/10.1109/TPAMI.2007.1031
View | DOI
 

2007 | Conference Paper | IST-REx-ID: 3218
Pietrzak, K. Z. (2007). Non-trivial black-box combiners for collision-resistant hash-functions don’t exist (Vol. 4515, pp. 23–33). Presented at the EUROCRYPT: Theory and Applications of Cryptographic Techniques, Springer. https://doi.org/10.1007/978-3-540-72540-4_2
View | DOI
 

2007 | Conference Paper | IST-REx-ID: 3219
Maurer, U., Pietrzak, K. Z., & Renner, R. (2007). Indistinguishability amplification (Vol. 4622, pp. 130–149). Presented at the CRYPTO: International Cryptology Conference, Springer. https://doi.org/10.1007/978-3-540-74143-5_8
View | DOI
 

2007 | Conference Paper | IST-REx-ID: 3220
Dziembowski, S., & Pietrzak, K. Z. (2007). Intrusion resilient secret sharing (pp. 227–237). Presented at the FOCS: Foundations of Computer Science, IEEE. https://doi.org/10.1109/FOCS.2007.63
View | DOI
 

2007 | Conference Paper | IST-REx-ID: 3221
Pietrzak, K. Z., & Sjödin, J. (2007). Range extension for weak PRFs the good the bad and the ugly (Vol. 4515, pp. 517–533). Presented at the EUROCRYPT: Theory and Applications of Cryptographic Techniques, Springer. https://doi.org/10.1007/978-3-540-72540-4_30
View | DOI
 

2007 | Conference Paper | IST-REx-ID: 3222
Pietrzak, K. Z., & Wikström, D. (2007). Parallel repetition of computationally sound protocols revisited (Vol. 4392, pp. 86–102). Presented at the TCC: Theory of Cryptography Conference, Springer. https://doi.org/10.1007/978-3-540-70936-7_5
View | DOI
 

2007 | Conference Paper | IST-REx-ID: 3223
Dodis, Y., & Pietrzak, K. Z. (2007). Improving the security of MACs via randomized message preprocessing (Vol. 4593, pp. 414–433). Presented at the FSE: Fast Software Encryption, Springer. https://doi.org/10.1007/978-3-540-74619-5_26
View | DOI
 

2007 | Journal Article | IST-REx-ID: 3305
Desai, M., Weissman, D., & Feldman, M. (2007). Evolution can favor antagonistic epistasis. Genetics. Genetics Society of America. https://doi.org/10.1534/genetics.107.075812
View | DOI
 

2007 | Journal Article | IST-REx-ID: 3411 | OA
Preiner, J., Janovjak, H. L., Rankl, C., Knaus, H., Cisneros, D., Kedrov, A., … Hinterdorfer, P. (2007). Free energy of membrane protein unfolding derived from single-molecule force measurements. Biophysical Journal. Biophysical Society. https://doi.org/10.1529/biophysj.106.096982
View | DOI | Download (ext.)
 

2007 | Book Review | IST-REx-ID: 3412
Kedrov, A., Janovjak, H. L., Sapra, T., & Mueller, D. (2007). Deciphering molecular interactions of native membrane proteins by single-molecule force spectroscopy. Annual Review of Biophysics. Annual Reviews. https://doi.org/10.1146/annurev.biophys.36.040306.132640
View | DOI
 

2007 | Journal Article | IST-REx-ID: 3427 | OA
Bollenbach, M. T., Kruse, K., Pantazis, P., Gonzalez Gaitan, M., & Julicher, F. (2007). Morphogen transport in epithelia. Physical Review E Statistical Nonlinear and Soft Matter Physics. American Institute of Physics. https://doi.org/10.1103/PhysRevE.75.011901
View | DOI | Download Preprint (ext.) | arXiv
 

2007 | Book Chapter | IST-REx-ID: 3432
Bollback, J. P., Gardner, P., & Nielsen, R. (2007). Estimating the history of mutations on a phylogeny. In D. Liberles (Ed.), Ancestral Sequence Reconstruction (pp. 69–79). Oxford University Press. https://doi.org/10.1093/acprof:oso/9780199299188.003.0006
View | DOI
 

2007 | Journal Article | IST-REx-ID: 3436
Reynolds, S., Dryer, K., Bollback, J. P., Uy, J. A., Patricelli, G., Robson, T., … Braun, M. (2007). Behavioral paternity predicts genetic paternity in satin bowerbirds, a species with a non-resource-based mating system. The Auk. University of California Press. https://doi.org/10.1642/0004-8038(2007)124[857:BPPGPI]2.0.CO;2
View | DOI
 

2007 | Journal Article | IST-REx-ID: 3450
Jonas, P. M., & Buzsáki, G. (2007). Neural inhibition. Scholarpedia. Scholarpedia. https://doi.org/10.4249/scholarpedia.3286
View | DOI
 

2007 | Journal Article | IST-REx-ID: 3523
Csicsvari, J. L., O’Neill, J., Allen, K., & Senior, T. (2007). Place-selective firing contributes to the reverse-order reactivation of CA1 pyramidal cells during sharp waves in open-field exploration. European Journal of Neuroscience. Wiley-Blackwell. https://doi.org/10.1111/j.1460-9568.2007.05684.x
View | DOI
 

2007 | Conference Paper | IST-REx-ID: 3561 | OA
Attali, D., Edelsbrunner, H., & Mileyko, Y. (2007). Weak witnesses for Delaunay triangulations of submanifolds (pp. 143–150). Presented at the SPM: Symposium on Solid and Physical Modeling, ACM. https://doi.org/10.1145/1236246.1236267
View | DOI | Download (ext.)
 

2007 | Conference Paper | IST-REx-ID: 3601
Yang, E., Haridas, N., El Rayis, A., Erdogan, A., Arslan, T., & Barton, N. H. (2007). Multiobjective optimal design of MEMS-based reconfigurable and evolvable sensor networks for space applications (pp. 27–34). Presented at the AHS: NASA/ESA Conference on Adaptive Hardware and Systems, IEEE. https://doi.org/10.1109/AHS.2007.76
View | DOI
 

2007 | Book | IST-REx-ID: 3674
Barton, N. H., Briggs, D., Eisen, J., Goldstein, D., & Patel, N. (2007). Evolution. Wiley-Blackwell.
View | Files available
 

2007 | Conference Paper | IST-REx-ID: 3681
Ulges, A., Lampert, C., Keysers, D., & Breuel, T. (2007). Optimal dominant motion estimation using adaptive search of transformation space (Vol. 4713, pp. 204–213). Presented at the DAGM: German Association For Pattern Recognition, Springer. https://doi.org/10.1007/978-3-540-74936-3_21
View | DOI
 

2007 | Report | IST-REx-ID: 3687
Blaschko, M., Hofmann, T., & Lampert, C. (2007). Efficient subwindow search for object localization. Unknown. Max-Planck-Institute for Biological Cybernetics.
View | Download (ext.)
 

2007 | Conference Paper | IST-REx-ID: 3701
Ulges, A., Lampert, C., Keysers, D., & Breuel, T. (2007). Optimal dominant motion estimation using adaptive search of transformation space (Vol. 4713, pp. 204–213). Presented at the DAGM: German Association For Pattern Recognition, Springer. https://doi.org/10.1007/978-3-540-74936-3_21
View | DOI
 

2007 | Journal Article | IST-REx-ID: 9524 | OA
ZILBERMAN, D., & Henikoff, S. (2007). Genome-wide analysis of DNA methylation patterns. Development. The Company of Biologists. https://doi.org/10.1242/dev.001131
View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2007 | Other Publication | IST-REx-ID: 9504
ZILBERMAN, D. (2007). The human promoter methylome. Nature Genetics (Vol. 39, pp. 442–443). Nature Publishing Group. https://doi.org/10.1038/ng0407-442
View | DOI | PubMed | Europe PMC
 

2006 | Conference Paper | IST-REx-ID: 2333 | OA
Lieb, É., Seiringer, R., & Solovej, J. (2006). Ground-state energy of a dilute Fermi gas (Vol. 412, pp. 239–248). Presented at the Differential Equations and Mathematical Physics, American Mathematical Society. https://doi.org/10.1090/conm/412
View | DOI | Download (ext.)
 

2006 | Conference Paper | IST-REx-ID: 2334 | OA
Seiringer, R., Lieb, É., & Yngvason, J. (2006). One-dimensional behavior of dilute, trapped Bose gases in traps. In J. Zambrini (Ed.). Presented at the ICMP: International Congress on Mathematical Physics, World Scientific Publishing. https://doi.org/10.1007/s00220-003-0993-3
View | DOI | Download (ext.)
 

2006 | Book Review | IST-REx-ID: 2363 | OA
Lieb, É., & Seiringer, R. (2006). Derivation of the Gross-Pitaevskii equation for rotating Bose gases. Communications in Mathematical Physics. Springer. https://doi.org/10.1007/s00220-006-1524-9
View | DOI | Download (ext.)
 

2006 | Journal Article | IST-REx-ID: 2364 | OA
Seiringer, R. (2006). A correlation estimate for quantum many-body systems at positive temperature. Reviews in Mathematical Physics. World Scientific Publishing. https://doi.org/10.1142/S0129055X06002632
View | DOI | Download (ext.)
 

2006 | Journal Article | IST-REx-ID: 2365 | OA
Seiringer, R. (2006). The thermodynamic pressure of a dilute fermi gas. Communications in Mathematical Physics. Springer. https://doi.org/10.1007/s00220-005-1433-3
View | DOI | Download (ext.)
 

2006 | Journal Article | IST-REx-ID: 2366 | OA
Frank, R., Laptev, A., Lieb, É., & Seiringer, R. (2006). Lieb-Thirring inequalities for Schrödinger operators with complex-valued potentials. Letters in Mathematical Physics. Springer. https://doi.org/10.1007/s11005-006-0095-1
View | DOI | Download (ext.)
 

2006 | Book Chapter | IST-REx-ID: 2368
Seiringer, R. (2006). Dilute, trapped Bose gases and Bose-Einstein condensation. In J. Dereziński & H. Siedentop (Eds.), Large Coulomb Systems (Vol. 695, pp. 249–274). Springer. https://doi.org/10.1007/3-540-32579-4_6
View | DOI
 

2006 | Book Chapter | IST-REx-ID: 2369 | OA
Aizenman, M., Lieb, É., Seiringer, R., Solovej, J., & Yngvason, J. (2006). Bose-Einstein condensation as a quantum phase transition in an optical lattice. In J. Asch & A. Joye (Eds.), Mathematical Physics of Quantum Mechanics (Vol. 690, pp. 199–215). Springer. https://doi.org/10.1007/b11573432
View | DOI | Download (ext.)
 

2006 | Book Chapter | IST-REx-ID: 2416
Bang Jensen, J., Reed, B., Schacht, B., Šámal, R., Toft, B., & Wagner, U. (2006). On six problems posed by Jarik Nešetřil. In Topics in Discrete Mathematics (Vol. 26, pp. 613–627). Springer. https://doi.org/10.1007/3-540-33700-8_30
View | DOI
 

2006 | Journal Article | IST-REx-ID: 2429
Matoušek, J., Sharir, M., Smorodinsky, S., & Wagner, U. (2006). K-sets in four dimensions. Discrete & Computational Geometry. Springer. https://doi.org/10.1007/s00454-005-1200-4
View | DOI
 

2006 | Journal Article | IST-REx-ID: 2430
Chent, K., Fiat, A., Kaplan, H., Levy, M., Matoušek, J., Mossel, E., … Welzl, E. (2006). Online conflict-free coloring for intervals. SIAM Journal on Computing. SIAM. https://doi.org/10.1137/S0097539704446682
View | DOI
 

2006 | Conference Paper | IST-REx-ID: 2431
Wagner, U. (2006). On a geometric generalization of the Upper Bound Theorem (pp. 635–645). Presented at the FOCS: Foundations of Computer Science, IEEE. https://doi.org/10.1109/FOCS.2006.53
View | DOI
 

2006 | Journal Article | IST-REx-ID: 2657
Luján, R., & Shigemoto, R. (2006). Localization of metabotropic GABA receptor subunits GABAB1 and GABAB2 relative to synaptic sites in the rat developing cerebellum. European Journal of Neuroscience. Wiley-Blackwell. https://doi.org/10.1111/j.1460-9568.2006.04669.x
View | DOI
 

2006 | Journal Article | IST-REx-ID: 2659
Inamura, M., Itakura, M., Okamoto, H., Hoka, S., Mizoguchi, A., Fukazawa, Y., … Takahashi, M. (2006). Differential localization and regulation of stargazin-like protein, γ-8 and stargazin in the plasma membrane of hippocampal and cortical neurons. Neuroscience Research. Elsevier. https://doi.org/10.1016/j.neures.2006.01.004
View | DOI
 

2006 | Journal Article | IST-REx-ID: 2660
Shaban, H., Humeau, Y., Herry, C., Cassasus, G., Shigemoto, R., Ciocchi, S., … Lüthi, A. (2006). Generalization of amygdala LTP and conditioned fear in the absence of presynaptic inhibition. Nature Neuroscience. Nature Publishing Group. https://doi.org/10.1038/nn1732
View | DOI
 

2006 | Journal Article | IST-REx-ID: 2661
Vigot, R., Barbieri, S., Bräuner Osborne, H., Tureček, R., Shigemoto, R., Zhang, Y., … Bettler, B. (2006). Differential Compartmentalization and Distinct Functions of GABAB Receptor Variants. Neuron. Elsevier. https://doi.org/10.1016/j.neuron.2006.04.014
View | DOI
 

2006 | Journal Article | IST-REx-ID: 2662
Kulik, Á., Vida, I., Fukazawa, Y., Guetg, N., Kasugai, Y., Marker, C., … Shigemoto, R. (2006). Compartment-dependent colocalization of Kir3.2-containing K+ channels and GABAB receptors in hippocampal pyramidal cells. Journal of Neuroscience. Society for Neuroscience. https://doi.org/10.1523/JNEUROSCI.4178-05.2006
View | DOI
 

2006 | Journal Article | IST-REx-ID: 2663
Kodama, T., Itsukaichi Nishida, Y., Fukazawa, Y., Wakamori, M., Miyata, M., Molnár, E., … Imoto, K. (2006). A CaV2.1 calcium channel mutation rocker reduces the number of postsynaptic AMPA receptors in parallel fiber-Purkinje cell synapses. European Journal of Neuroscience. Wiley-Blackwell. https://doi.org/10.1111/j.1460-9568.2006.05191.x
View | DOI
 

2006 | Book Review | IST-REx-ID: 2664
Ferraguti, F., & Shigemoto, R. (2006). Metabotropic glutamate receptors. Cell and Tissue Research. Springer. https://doi.org/10.1007/s00441-006-0266-5
View | DOI
 

2006 | Journal Article | IST-REx-ID: 2745
Elgart, A., Erdös, L., Schlein, B., & Yau, H. (2006). Gross-Pitaevskii equation as the mean field limit of weakly coupled bosons. Archive for Rational Mechanics and Analysis. Springer. https://doi.org/10.1007/s00205-005-0388-z
View | DOI
 

2006 | Conference Paper | IST-REx-ID: 2746
Erdös, L., Salmhofer, M., & Yau, H. (2006). Towards the quantum Brownian motion (Vol. 690, pp. 233–257). Presented at the QMath: Mathematical Results in Quantum Physics, World Scientific Publishing. https://doi.org/10.1007/3-540-34273-7_18
View | DOI
 

2006 | Journal Article | IST-REx-ID: 2747
Erdös, L., Schlein, B., & Yau, H. (2006). Derivation of the Gross-Pitaevskii hierarchy for the dynamics of Bose-Einstein condensate. Communications on Pure and Applied Mathematics. Wiley-Blackwell. https://doi.org/10.1002/cpa.20123
View | DOI
 

2006 | Journal Article | IST-REx-ID: 2791
Hof, B., Westerweel, J., Schneider, T., & Eckhardt, B. (2006). Finite lifetime of turbulence in shear flows. Nature. Nature Publishing Group. https://doi.org/10.1038/nature05089
View | DOI
 

2006 | Journal Article | IST-REx-ID: 2792
Hof, B., Van Doorne, C., Westerweel, J., & Nieuwstadt, F. (2006). Observation of nonlinear travelling waves in turbulent pipe flow. Fluid Mechanics and Its Applications. Springer. https://doi.org/10.1007/1-4020-4159-4_11
View | DOI
 

2006 | Journal Article | IST-REx-ID: 2894
Calado, D., Paixao, T., Holmberg, D., & Haury, M. (2006). Stochastic Monoallelic Expression of IL 10 in T Cells. Journal of Immunology. American Association of Immunologists. https://doi.org/10.4049/jimmunol.177.8.5358
View | DOI
 

2006 | Book Chapter | IST-REx-ID: 2921
Kolmogorov, V., & Zabih, R. (2006). Graph cut algorithms for binocular stereo with occlusions. In Handbook of Mathematical Models in Computer Vision (pp. 423–427). Springer. https://doi.org/10.1007/0-387-28831-7_26
View | DOI
 

2006 | Journal Article | IST-REx-ID: 8488
Schanda, P., Van Melckebeke, H., & Brutscher, B. (2006). Speeding up three-dimensional protein NMR experiments to a few minutes. Journal of the American Chemical Society. American Chemical Society. https://doi.org/10.1021/ja062025p
View | DOI
 

2006 | Journal Article | IST-REx-ID: 8489
Schanda, P., Forge, V., & Brutscher, B. (2006). HET-SOFAST NMR for fast detection of structural compactness and heterogeneity along polypeptide chains. Magnetic Resonance in Chemistry. Wiley. https://doi.org/10.1002/mrc.1825
View | DOI
 

2006 | Journal Article | IST-REx-ID: 8490
Schanda, P., & Brutscher, B. (2006). Hadamard frequency-encoded SOFAST-HMQC for ultrafast two-dimensional protein NMR. Journal of Magnetic Resonance. Elsevier. https://doi.org/10.1016/j.jmr.2005.10.007
View | DOI
 

2006 | Journal Article | IST-REx-ID: 8513
Kaloshin, V., & Saprykina, M. (2006). Generic 3-dimensional volume-preserving diffeomorphisms with superexponential growth of number of periodic orbits. Discrete & Continuous Dynamical Systems - A. American Institute of Mathematical Sciences (AIMS). https://doi.org/10.3934/dcds.2006.15.611
View | DOI
 

2006 | Journal Article | IST-REx-ID: 8514
OTT, W., HUNT, B., & Kaloshin, V. (2006). The effect of projections on fractal sets and measures in Banach spaces. Ergodic Theory and Dynamical Systems. Cambridge University Press. https://doi.org/10.1017/s0143385705000714
View | DOI
 

2006 | Conference Paper | IST-REx-ID: 8515
Kaloshin, V., DOLGOPYAT, D., & KORALOV, L. (2006). Long time behaviour of periodic stochastic flows. In XIVth International Congress on Mathematical Physics (pp. 290–295). Lisbon, Portugal: World Scientific. https://doi.org/10.1142/9789812704016_0026
View | DOI
 

2006 | Journal Article | IST-REx-ID: 854
Rogaev, E., Moliaka, Y., Malyarchuk, B., Kondrashov, F., Derenko, M., Chumakov, I., & Grigorenko, A. (2006). Complete mitochondrial genome and phylogeny of pleistocene mammoth Mammuthus primigenius. PLoS Biology. Public Library of Science. https://doi.org/10.1371/journal.pbio.0040073
View | DOI
 

2006 | Journal Article | IST-REx-ID: 868
Kondrashov, F., Koonin, E., Morgunov, I., Finogenova, T., & Kondrashova, M. (2006). Evolution of glyoxylate cycle enzymes in Metazoa Evidence of multiple horizontal transfer events and pseudogene formation. Biology Direct. BioMed Central. https://doi.org/10.1186/1745-6150-1-31
View | DOI
 

2006 | Journal Article | IST-REx-ID: 869
Kondrashov, F., Ogurtsov, A., & Kondrashov, A. (2006). Selection in favor of nucleotides G and C diversifies evolution rates and levels of polymorphism at mammalian synonymous sites. Journal of Theoretical Biology. Elsevier. https://doi.org/10.1016/j.jtbi.2005.10.020
View | DOI
 

2006 | Journal Article | IST-REx-ID: 873
Kondrashov, F., & Kondrashov, A. (2006). Role of selection in fixation of gene duplications. Journal of Theoretical Biology. Elsevier. https://doi.org/10.1016/j.jtbi.2005.08.033
View | DOI
 

2006 | Journal Article | IST-REx-ID: 1715
Dudu, V., Bittig, T., Entchev, E., Kicheva, A., Julicher, F., & González Gaitán, M. (2006). Postsynaptic mad signaling at the Drosophila neuromuscular junction. Current Biology. Cell Press. https://doi.org/10.1016/j.cub.2006.02.061
View | DOI
 

2006 | Journal Article | IST-REx-ID: 1716
Dudu, V., Bittig, T., Entchev, E., Kicheva, A., Julicher, F., & González Gaitán, M. (2006). Erratum: Postsynaptic mad signaling at the Drosophila neuromuscular junction. Current Biology. Cell Press. https://doi.org/10.1016/j.cub.2006.06.020
View | DOI
 

2006 | Journal Article | IST-REx-ID: 1745
Katsaros, G., Rastelli, A., Stoffel, M., Isella, G., Von Känel, H., Bittner, A., … Kern, K. (2006). Investigating the lateral motion of SiGe islands by selective chemical etching. Surface Science. Elsevier. https://doi.org/10.1016/j.susc.2006.04.027
View | DOI
 

2006 | Journal Article | IST-REx-ID: 1746
Costantini, G., Rastelli, A., Manzano, C., Acosta Diaz, P., Songmuang, R., Katsaros, G., … Kern, K. (2006). Interplay between thermodynamics and kinetics in the capping of InAs/GaAs (001) quantum dots. Physical Review Letters. American Physical Society. https://doi.org/10.1103/PhysRevLett.96.226106
View | DOI
 

2006 | Journal Article | IST-REx-ID: 1747
Rastelli, A., Stoffel, M., Katsaros, G., Tersoff, J., Denker, U., Merdzhanova, T., … Schmidt, O. (2006). Reading the footprints of strained islands. Microelectronics Journal. Elsevier. https://doi.org/10.1016/j.mejo.2006.05.029
View | DOI
 

2006 | Journal Article | IST-REx-ID: 1748
Katsaros, G., Rastelli, A., Stoffel, M., Costantini, G., Schmidt, O., Kern, K., … Von Känel, H. (2006). Evolution of buried semiconductor nanostructures and origin of stepped surface mounds during capping. Applied Physics Letters. American Institute of Physics. https://doi.org/10.1063/1.2405876
View | DOI
 

2006 | Journal Article | IST-REx-ID: 1796
Siegert, S., Schnierle, P., & Schnierle, B. (2006). Novel anti-viral therapy: Drugs that block HIV entry at different target sites. Mini-Reviews in Medicinal Chemistry. Bentham Science Publishers. https://doi.org/10.2174/138955706776876267
View | DOI
 

2006 | Journal Article | IST-REx-ID: 1961
Sazanov, L. A., & Hinchliffe, P. (2006). Structure of the hydrophilic domain of respiratory complex I from Thermus thermophilus. Science. American Association for the Advancement of Science. https://doi.org/10.1126/science.1123809
View | DOI
 

Search

Filter Publications