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.

7346 Publications


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: 7780
Goodrich, C. P., Kirmizialtin, S., Huyghues-Despointes, B. M., Zhu, A., Scholtz, J. M., Makarov, D. E., & Movileanu, L. (2007). Single-molecule electrophoresis of β-hairpin peptides by electrical recordings and Langevin dynamics simulations. The Journal of Physical Chemistry B. American Chemical Society. https://doi.org/10.1021/jp071364h
View | DOI
 

2007 | Journal Article | IST-REx-ID: 7781
Robinson, M. R., Pilkington, J. G., Clutton-Brock, T. H., Pemberton, J. M., & Kruuk, L. E. B. (2007). Live fast, die young: Trade-offs between fitness components and sexually antagonistic selection on weaponry in soay sheep. Evolution. Wiley. https://doi.org/10.1111/j.0014-3820.2006.tb01854.x
View | DOI
 

2007 | Journal Article | IST-REx-ID: 8027
Vogels, T. P., & Abbott, L. (2007). Gating deficits in model networks: A path to schizophrenia? Pharmacopsychiatry. Thieme. https://doi.org/10.1055/s-2007-992130
View | DOI | PubMed | Europe PMC
 

2007 | Journal Article | IST-REx-ID: 8483
Schanda, P., Forge, V., & Brutscher, B. (2007). Protein folding and unfolding studied at atomic resolution by fast two-dimensional NMR spectroscopy. Proceedings of the National Academy of Sciences. National Academy of Sciences. https://doi.org/10.1073/pnas.0702069104
View | DOI
 

2007 | Journal Article | IST-REx-ID: 8484
Lescop, E., Schanda, P., & Brutscher, B. (2007). A set of BEST triple-resonance experiments for time-optimized protein resonance assignment. Journal of Magnetic Resonance. Elsevier. https://doi.org/10.1016/j.jmr.2007.04.002
View | DOI
 

2007 | Journal Article | IST-REx-ID: 8485
Schanda, P., Lescop, E., Falge, M., Sounier, R., Boisbouvier, J., & Brutscher, B. (2007). Sensitivity-optimized experiment for the measurement of residual dipolar couplings between amide protons. Journal of Biomolecular NMR. Springer Nature. https://doi.org/10.1007/s10858-006-9138-2
View | DOI
 

2007 | Journal Article | IST-REx-ID: 8486
Lescop, E., Schanda, P., Rasia, R., & Brutscher, B. (2007). Automated spectral compression for fast multidimensional NMR and increased time resolution in real-time NMR spectroscopy. Journal of the American Chemical Society. American Chemical Society. https://doi.org/10.1021/ja068949u
View | DOI
 

2007 | Journal Article | IST-REx-ID: 8487
Gal, M., Schanda, P., Brutscher, B., & Frydman, L. (2007). UltraSOFAST HMQC NMR and the repetitive acquisition of 2D protein spectra at Hz rates. Journal of the American Chemical Society. American Chemical Society. https://doi.org/10.1021/ja066915g
View | DOI
 

2007 | Journal Article | IST-REx-ID: 8511
Gorodetski, A., & Kaloshin, V. (2007). How often surface diffeomorphisms have infinitely many sinks and hyperbolicity of periodic points near a homoclinic tangency. Advances in Mathematics. Elsevier. https://doi.org/10.1016/j.aim.2006.03.012
View | DOI
 

2007 | Journal Article | IST-REx-ID: 8512
Kaloshin, V., & Hunt, B. (2007). Stretched exponential estimates on growth of the number of periodic points for prevalent diffeomorphisms I. Annals of Mathematics. Princeton University Press. https://doi.org/10.4007/annals.2007.165.89
View | DOI
 

2007 | Journal Article | IST-REx-ID: 860
Plotnikova, O., Kondrashov, F., Vlasov, P., Grigorenko, A., Ginter, E., & Rogaev, E. (2007). Conversion and compensatory evolution of the γ-crystallin genes and identification of a cataractogenic mutation that reverses the sequence of the human CRYGD gene to an ancestral state. American Journal of Human Genetics. Cell Press. https://doi.org/10.1086/518616
View | DOI
 

2007 | Journal Article | IST-REx-ID: 861
Popadin, K., Mamirova, L., & Kondrashov, F. (2007). A manually curated database of tetrapod mitochondrially encoded tRNA sequences and secondary structures. BMC Bioinformatics. BioMed Central. https://doi.org/10.1186/1471-2105-8-441
View | DOI
 

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: 4626
De Alfaro, L., Henzinger, T. A., & Kupferman, O. (2007). Concurrent reachability games. Theoretical Computer Science. Elsevier. https://doi.org/10.1016/j.tcs.2007.07.008
View | DOI
 

2007 | Conference Paper | IST-REx-ID: 582
Hosten, O., & Kwiat, P. (2007). Observing the spin hall effect of light via quantum weak measurements. Presented at the OMD: Organic Materials and Devices for Displays and Energy Conversion, OSA. https://doi.org/10.1364/FIO.2007.JTuA4
View | DOI
 

2007 | Journal Article | IST-REx-ID: 7323
Büchi, F. N., Paganelli, G., Dietrich, P., Laurent, D., Tsukada, A., Varenne, P., … Olsommer, D. (2007). Consumption and efficiency of a passenger car with a Hydrogen/Oxygen PEFC based hybrid electric drivetrain. Fuel Cells. Wiley. https://doi.org/10.1002/fuce.200600050
View | DOI
 

2007 | Journal Article | IST-REx-ID: 7324
Büchi, F. N., Freunberger, S. A., Reum, M., Paganelli, G., Tsukada, A., Dietrich, P., & Delfino, A. (2007). On the efficiency of an advanced automotive fuel cell system. Fuel Cells. Wiley. https://doi.org/10.1002/fuce.200500257
View | DOI
 

2007 | Journal Article | IST-REx-ID: 7325
Schneider, I. A., Freunberger, S. A., Kramer, D., Wokaun, A., & Scherer, G. G. (2007). Oscillations in gas channels: Part I. The forgotten player in impedance spectroscopy in PEFCs. Journal of The Electrochemical Society. The Electrochemical Society. https://doi.org/10.1149/1.2435706
View | DOI
 

2007 | Journal Article | IST-REx-ID: 7704
Komiyama, T., Sweeney, L. B. J., Schuldiner, O., Garcia, K. C., & Luo, L. (2007). Graded expression of semaphorin-1a cell-autonomously directs dendritic targeting of olfactory projection neurons. Cell. Elsevier. https://doi.org/10.1016/j.cell.2006.12.028
View | DOI
 

2007 | Journal Article | IST-REx-ID: 7705
Sweeney, L. B. J., Couto, A., Chou, Y.-H., Berdnik, D., Dickson, B. J., Luo, L., & Komiyama, T. (2007). Temporal target restriction of olfactory receptor neurons by semaphorin-1a/plexinA-mediated axon-axon interactions. Neuron. Elsevier. https://doi.org/10.1016/j.neuron.2006.12.022
View | DOI
 

2007 | Journal Article | IST-REx-ID: 7753 | OA
Robinson, M. R., & Kruuk, L. E. . (2007). Function of weaponry in females: The use of horns in intrasexual competition for resources in female Soay sheep. Biology Letters. The Royal Society. https://doi.org/10.1098/rsbl.2007.0278
View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2007 | Book Chapter | IST-REx-ID: 167 | OA
Browning, T. D., & Heath Brown, R. (2007). Simultaneous equal sums of three powers. In U. Zannier (Ed.), Diophantine Geometry (Vol. 4, pp. 93–100). Edizioni della Normale.
View | Download Preprint (ext.) | arXiv
 

2007 | Journal Article | IST-REx-ID: 1750
Katsaros, G., Stoffel, M., Rastelli, A., Schmidt, O., Kern, K., & Tersoff, J. (2007). Three-dimensional isocompositional profiles of buried SiGeSi (001) islands. Applied Physics Letters. American Institute of Physics. https://doi.org/10.1063/1.2752730
View | DOI
 

2007 | Journal Article | IST-REx-ID: 1762 | OA
Leek, P., Fink, J. M., Blais, A., Bianchetti, R., Göppl, M., Gambetta, J., … Wallraff, A. (2007). Observation of Berry’s phase in a solid-state qubit. Science. American Association for the Advancement of Science. https://doi.org/10.1126/science.1149858
View | DOI | Download (ext.)
 

2007 | Journal Article | IST-REx-ID: 1797
Viney, T., Bálint, K., Hillier, D., Siegert, S., Boldogköi, Z., Enquist, L., … Roska, B. (2007). Local retinal circuits of melanopsin-containing ganglion cells identified by transsynaptic viral tracing. Current Biology. Cell Press. https://doi.org/10.1016/j.cub.2007.04.058
View | DOI
 

2007 | Journal Article | IST-REx-ID: 1964
Sazanov, L. A. (2007). Respiratory complex I: Mechanistic and structural insights provided by the crystal structure of the hydrophilic domain. Biochemistry. ACS. https://doi.org/10.1021/bi602508x
View | DOI
 

2007 | Journal Article | IST-REx-ID: 1965
Baranova, E., Holt, P., & Sazanov, L. A. (2007). Projection structure of the membrane domain of Escherichia coli respiratory Complex I at 8 Å resolution. Journal of Molecular Biology. Elsevier. https://doi.org/10.1016/j.jmb.2006.11.026
View | DOI
 

2007 | Journal Article | IST-REx-ID: 1969
Baranova, E., Morgan, D., & Sazanov, L. A. (2007). Single particle analysis confirms distal location of subunits NuoL and NuoM in Escherichia coli complex I. Journal of Structural Biology. Academic Press. https://doi.org/10.1016/j.jsb.2007.01.009
View | DOI
 

2007 | Journal Article | IST-REx-ID: 6150
Gumienny, T. L., MacNeil, L. T., Wang, H., de Bono, M., Wrana, J. L., & Padgett, R. W. (2007). Glypican LON-2 is a conserved negative regulator of BMP-like signaling in Caenorhabditis elegans. Current Biology. Elsevier. https://doi.org/10.1016/j.cub.2006.11.065
View | DOI | PubMed | Europe PMC
 

2007 | Preprint | IST-REx-ID: 6321 | OA
Browning, T. D. (n.d.). The Manin conjecture in dimension 2. arXiv.
View | Download Preprint (ext.) | arXiv
 

2007 | Book Chapter | IST-REx-ID: 6323 | OA
Browning, T. D. (2007). An overview of Manin’s conjecture for del Pezzo surfaces. In A Tribute to Gauss and Dirichlet (Vol. 7, pp. 39–56). American Mathematical Society.
View | Download Preprint (ext.) | arXiv
 

2007 | Journal Article | IST-REx-ID: 879
Kondrashov, F., Gurbich, T., & Vlasov, P. (2007). Selection for functional uniformity of tuf duplicates in γ-proteobacteria. Trends in Genetics. Elsevier. https://doi.org/10.1016/j.tig.2007.03.002
View | DOI
 

2007 | Journal Article | IST-REx-ID: 904
Bazykin, G., Kondrashov, F., Brudno, M., Poliakov, A., Dubchak, I., & Kondrashov, A. (2007). Extensive parallelism in protein evolution. Biology Direct. BioMed Central. https://doi.org/10.1186/1745-6150-2-20
View | DOI
 

2007 | Journal Article | IST-REx-ID: 9149 | OA
Bühler, O., & Muller, C. J. (2007). Instability and focusing of internal tides in the deep ocean. Journal of Fluid Mechanics. Cambridge University Press. https://doi.org/10.1017/s0022112007007410
View | DOI | Download None (ext.)
 

2007 | Journal Article | IST-REx-ID: 128 | OA
Carr, A., Serchest, Y., Waitukaitis, S. R., Perreault, J., Lonij, V., & Cronin, A. (2007). Cover slip external cavity diode laser. Review of Scientific Instruments. American Institute of Physics. https://doi.org/10.1063/1.2801006
View | DOI | Download Preprint (ext.) | arXiv
 

2007 | Journal Article | IST-REx-ID: 1297
Raghu, S., Jösch, M. A., Borst, A., & Reiff, D. (2007). Synaptic organization of lobula plate tangential cells in Drosophila: γ-aminobutyric acid receptors and chemical release sites. Journal of Comparative Neurology. Wiley-Blackwell. https://doi.org/10.1002/cne.21319
View | DOI
 

2007 | Journal Article | IST-REx-ID: 1035 | OA
Mark, M., Ferlaino, F., Knoop, S., Danzl, J. G., Kraemer, T., Chin, C., … Grimm, R. (2007). Spectroscopy of ultracold trapped cesium Feshbach molecules. Physical Review A - Atomic, Molecular, and Optical Physics. American Physical Society. https://doi.org/10.1103/PhysRevA.76.042514
View | DOI | Download None (ext.)
 

2007 | Conference Paper | IST-REx-ID: 2091 | OA
Bickel, B., Botsch, M., Angst, R., Matusik, W., Otaduy, M., Pfister, H., & Groß, M. (2007). Multi scale capture of facial geometry and motion. Presented at the SIGGRAPH: Special Interest Group on Computer Graphics and Interactive Techniques, ACM. https://doi.org/doi:10.1145/1275808.1276419
View | DOI | Download (ext.)
 

2007 | Journal Article | IST-REx-ID: 2092
Pietroni, N., Otaduy, M., Bickel, B., Ganovelli, F., & Groß, M. (2007). Texturing internal surfaces from a few cross-sections. Computer Graphics Forum. Wiley-Blackwell. https://doi.org/10.1111/j.1467-8659.2007.01087.x
View | DOI
 

2007 | Journal Article | IST-REx-ID: 2093 | OA
Bickel, B., Botsch, M., Angst, R., Matusik, W., Otaduy, M., Pfister, H., & Groß, M. (2007). Multi scale capture of facial geometry and motion. ACM Transactions on Graphics. ACM. https://doi.org/10.1145/1276377.1276419
View | DOI | Download (ext.)
 

2007 | Journal Article | IST-REx-ID: 2118 | OA
Maas, J., & Van Neerven, J. (2007). On analytic Ornstein-Uhlenbeck semigroups in infinite dimensions. Archiv Der Mathematik. Birkhäuser. https://doi.org/10.1007/s00013-007-2082-x
View | DOI | Download (ext.)
 

2007 | Journal Article | IST-REx-ID: 2135
Lemeshko, M., Nazarenko, E., Gonchar, A. ., Reznichenko, L., Nedoseykina, T., Novakovich, A., … Vedrinskiǐ, R. (2007). EXAFS studies of the local atomic structure of the lead-free piezoelectric ceramics KxNa1−xNbO3 over the temperature range 10–1023K. Physical Review B - Condensed Matter and Materials Physics. American Physical Society. http://dx.doi.org/10.1103/PhysRevB.76.134106
View | DOI
 

2007 | Journal Article | IST-REx-ID: 2143
Lemeshko, M., Nazarenko, E., Gonchar, A., Reznichenko, L., Mathon, O., Joly, Y., & Vedrinskiǐ, R. (2007). Phase transitions in lead-free piezoelectric ceramics: Study of local atomic structure. EPL. IOP Publishing Ltd. https://doi.org/10.1209/0295-5075/77/26003
View | DOI
 

2007 | Journal Article | IST-REx-ID: 2145
Lemeshko, M., Nazarenko, E., Gonchar, A., Reznichenko, L., Nedoseykina, T., Novakovich, A., … Vedrinskiǐ, R. (2007). EXAFS studies of the local atomic structure of the lead free piezoelectric ceramics Kx Na1-x Nb O3 over the temperature range 10-1023 K. Physical Review B - Condensed Matter and Materials Physics. American Physical Society. https://doi.org/10.1103/PhysRevB.76.134106
View | DOI
 

2007 | Journal Article | IST-REx-ID: 219
De La Bretèche, R., Browning, T. D., & Derenthal, U. (2007). On Manin’s conjecture for a certain singular cubic surface. Annales Scientifiques de l’Ecole Normale Superieure. Societe Mathematique de France. https://doi.org/10.1016/j.ansens.2006.12.002
View | DOI
 

2007 | Journal Article | IST-REx-ID: 220
Browning, T. D. (2007). Counting rational points on cubic hypersurfaces. Mathematika. University College London. https://doi.org/10.1112/S0025579300000243
View | DOI
 

2007 | Journal Article | IST-REx-ID: 221 | OA
De La Bretèche, R., & Browning, T. D. (2007). On Manin’s conjecture for singular del Pezzo surfaces of degree four, I. Michigan Mathematical Journal. Project Euclid. https://doi.org/10.1307/mmj/1177681985
View | Files available | DOI | arXiv
 

2007 | Journal Article | IST-REx-ID: 222 | OA
De La Bretèche, R., & Browning, T. D. (2007). On Manin’s conjecture for singular del Pezzo surfaces of degree four, II. Mathematical Proceedings of the Cambridge Philosophical Society. Unknown. https://doi.org/10.1017/S0305004107000205
View | DOI | Download (ext.)
 

2007 | Journal Article | IST-REx-ID: 223 | OA
Browning, T. D. (2007). Density of integer solutions to diagonal quadratic forms. Monatshefte Fur Mathematik. Springer. https://doi.org/10.1007/s00605-007-0457-5
View | DOI | Download (ext.)
 

2007 | Journal Article | IST-REx-ID: 2367 | OA
Seiringer, R. (2007). On the failure of subadditivity of the Wigner-Yanase entropy. Letters in Mathematical Physics. Springer. https://doi.org/10.1007/s11005-007-0159-x
View | DOI | Download (ext.)
 

2007 | Journal Article | IST-REx-ID: 2370 | OA
Lieb, É., Seiringer, R., & Yngvason, J. (2007). Bose-Einstein condensation and spontaneous symmetry breaking. Reports on Mathematical Physics. Elsevier. https://doi.org/10.1016/S0034-4877(07)80074-7
View | DOI | Download (ext.)
 

2007 | Journal Article | IST-REx-ID: 2371 | OA
Frank, R., Lieb, É., & Seiringer, R. (2007). Stability of relativistic matter with magnetic fields for nuclear charges up to the critical value. Communications in Mathematical Physics. Springer. https://doi.org/10.1007/s00220-007-0307-2
View | DOI | Download (ext.)
 

2007 | Journal Article | IST-REx-ID: 2372 | OA
Frank, R., Lieb, É., Seiringer, R., & Siedentop, H. (2007). Müller’s exchange-correlation energy in density-matrix-functional theory. Physical Review A - Atomic, Molecular, and Optical Physics. American Physical Society. https://doi.org/10.1103/PhysRevA.76.052517
View | DOI | Download (ext.)
 

2007 | Journal Article | IST-REx-ID: 2373 | OA
Frank, R., Hainzl, C., Naboko, S., & Seiringer, R. (2007). The critical temperature for the BCS equation at weak coupling. Journal of Geometric Analysis. Springer. https://doi.org/10.1007/BF02937429
View | DOI | Download (ext.)
 

2007 | Journal Article | IST-REx-ID: 2375 | OA
Frank, R., Lieb, É., & Seiringer, R. (2007). Number of bound states of Schrödinger operators with matrix-valued potentials. Letters in Mathematical Physics. Springer. https://doi.org/10.1007/s11005-007-0211-x
View | DOI | Download (ext.)
 

2007 | Journal Article | IST-REx-ID: 2451
Friml, J. (2007). Auxin - Universal development signal in plant life. Živa. CSAV.
View
 

2007 | Journal Article | IST-REx-ID: 2462
Michniewicz, M., Brewer, P., & Friml, J. (2007). Polar auxin transport and asymmetric auxin distribution. The Arabidopsis Book. The American Society of Plant Biologists. https://doi.org/10.1199/tab.0108
View | DOI
 

2007 | Journal Article | IST-REx-ID: 2495
Kuramoto, E., Fujiyama, F., Unzai, T., Nakamura, K., Hioki, H., Furuta, T., … Kaneko, T. (2007). Metabotropic glutamate receptor 4-immunopositive terminals of medium-sized spiny neurons selectively form synapses with cholinergic interneurons in the rat neostriatum. Journal of Comparative Neurology. Wiley-Blackwell. https://doi.org/10.1002/cne.21216
View | DOI
 

2007 | Journal Article | IST-REx-ID: 2496
Toyono, T., Kataoka, S., Seta, Y., Shigemoto, R., & Toyoshima, K. (2007). Expression of group II metabotropic glutamate receptors in rat gustatory papillae. Cell and Tissue Research. Springer. https://doi.org/10.1007/s00441-006-0351-9
View | DOI
 

2007 | Journal Article | IST-REx-ID: 2665
Tóth, K., Wittner, L., Urbán, Z., Doyle, W., Buzsáki, G., Shigemoto, R., … Maglóczky, Z. (2007). Morphology and synaptic input of substance P receptor-immunoreactive interneurons in control and epileptic human hippocampus. Neuroscience. Elsevier. https://doi.org/10.1016/j.neuroscience.2006.09.039
View | DOI
 

2007 | Journal Article | IST-REx-ID: 2666
Luyt, K., Slade, T., Dorward, J., Durant, C., Wu, Y., Shigemoto, R., … Molnár, E. (2007). Developing oligodendrocytes express functional GABAB receptors that stimulate cell proliferation and migration. Journal of Neurochemistry. Wiley-Blackwell. https://doi.org/10.1111/j.1471-4159.2006.04255.x
View | DOI
 

2007 | Journal Article | IST-REx-ID: 2667
Masugi Tokita, M., Tarusawa, E., Watanabe, M., Molnár, E., Fujimoto, K., & Shigemoto, R. (2007). Number and density of AMPA receptors in individual synapses in the rat cerebellum as revealed by SDS-digested freeze-fracture replica labeling. Journal of Neuroscience. Society for Neuroscience. https://doi.org/10.1523/JNEUROSCI.2861-06.2007
View | DOI
 

2007 | Journal Article | IST-REx-ID: 2668
Boyes, J., Bolam, J., Shigemoto, R., & Stanford, I. (2007). Functional presynaptic HCN channels in the rat globus pallidus. European Journal of Neuroscience. Wiley-Blackwell. https://doi.org/10.1111/j.1460-9568.2007.05463.x
View | DOI
 

2007 | Journal Article | IST-REx-ID: 2669
Brewster, A., Chen, Y., Bender, R., Yeh, A., Shigemoto, R., & Baram, T. (2007). Quantitative analysis and subcellular distribution of mRNA and protein expression of the hyperpolarization-activated cyclic nucleotide-gated channels throughout development in rat hippocampus. Cerebral Cortex. Oxford University Press. https://doi.org/10.1093/cercor/bhk021
View | DOI
 

2007 | Book Review | IST-REx-ID: 2670
Masugi Tokita, M., & Shigemoto, R. (2007). High-resolution quantitative visualization of glutamate and GABA receptors at central synapses. Current Opinion in Neurobiology. Elsevier. https://doi.org/10.1016/j.conb.2007.04.012
View | DOI
 

2007 | Journal Article | IST-REx-ID: 2671
Bender, R., Kirschstein, T., Kretz, O., Brewster, A., Richichi, C., Rüschenschmidt, C., … Baram, T. (2007). Localization of HCN1 channels to presynaptic compartments: Novel plasticity that may contribute to hippocampal maturation. Journal of Neuroscience. Society for Neuroscience. https://doi.org/10.1523/JNEUROSCI.4699-06.2007
View | DOI
 

2007 | Journal Article | IST-REx-ID: 2672
Whitaker, G., Angoli, D., Nazzari, H., Shigemoto, R., & Accili, E. (2007). HCN2 and HCN4 isoforms self-assemble and co-assemble with equal preference to form functional pacemaker channels. Journal of Biological Chemistry. American Society for Biochemistry and Molecular Biology. https://doi.org/10.1074/jbc.M610978200
View | DOI
 

2007 | Journal Article | IST-REx-ID: 2673
Ladera, C., Godino, M., Martín, R., Luján, R., Shigemoto, R., Ciruela, F., … Sánchez Prieto, J. (2007). The coexistence of multiple receptors in a single nerve terminal provides evidence for pre-synaptic integration. Journal of Neurochemistry. Wiley-Blackwell. https://doi.org/10.1111/j.1471-4159.2007.04964.x
View | DOI
 

2007 | Book Chapter | IST-REx-ID: 2705 | OA
Erdös, L. (2007). Recent developments in quantum mechanics with magnetic fields. In F. Gesztesy, P. Deift, P. Galvez, P. Perry, & W. Schlag (Eds.), Spectral Theory and Mathematical Physics: a Festschrift in Honor of Barry Simon’s 60th Birthday (Vol. 76, pp. 401–428). American Mathematical Society.
View | Download (ext.)
 

2007 | Journal Article | IST-REx-ID: 2748
Erdös, L., Schlein, B., & Yau, H. (2007). Rigorous derivation of the Gross-Pitaevskii equation. Physical Review Letters. American Physical Society. https://doi.org/10.1103/PhysRevLett.98.040404
View | DOI
 

2007 | Book Review | IST-REx-ID: 2749
Erdös, L., Schlein, B., & Yau, H. (2007). Derivation of the cubic non linear Schrödinger equation from quantum dynamics of many body systems. Inventiones Mathematicae. Springer. https://doi.org/10.1007/s00222-006-0022-1
View | DOI
 

2007 | Journal Article | IST-REx-ID: 2750
Erdös, L., Salmhofer, M., & Yau, H. (2007). Quantum diffusion of the random Schrödinger evolution in the scaling limit II. The recollision diagrams. Communications in Mathematical Physics. Springer. https://doi.org/10.1007/s00220-006-0158-2
View | DOI
 

2007 | Journal Article | IST-REx-ID: 2751
Erdös, L., Salmhofer, M., & Yau, H. (2007). Quantum diffusion for the Anderson model in the scaling limit. Annales Henri Poincare. Birkhäuser. https://doi.org/10.1007/s00023-006-0318-0
View | DOI
 

2007 | Journal Article | IST-REx-ID: 2752
Erdös, L., & Salmhofer, M. (2007). Decay of the Fourier transform of surfaces with vanishing curvature. Mathematische Zeitschrift. Springer. https://doi.org/10.1007/s00209-007-0125-4
View | DOI
 

2007 | Book Review | IST-REx-ID: 2793
Eckhardt, B., Schneider, T., Hof, B., & Westerweel, J. (2007). Turbulence transition in pipe flow. Annual Review of Fluid Mechanics. Annual Reviews. https://doi.org/10.1146/annurev.fluid.39.050905.110308
View | DOI
 

2007 | Journal Article | IST-REx-ID: 9487 | OA
Penterman, J., Zilberman, D., Huh, J. H., Ballinger, T., Henikoff, S., & Fischer, R. L. (2007). DNA demethylation in the Arabidopsis genome. Proceedings of the National Academy of Sciences. National Academy of Sciences. https://doi.org/10.1073/pnas.0701861104
View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

Search

Filter Publications