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.

6122 Publications


2004 | Book Chapter | IST-REx-ID: 2417
Lovász, L., Vesztergombi, K., Wagner, U., & Welzl, E. (2004). Convex quadrilaterals and k-sets . In J. Pach (Ed.), Towards a Theory of Geometric Graphs (Vol. 342, pp. 139–148). American Mathematical Society. https://doi.org/10.1090/conm/342
View | DOI
 

2004 | Journal Article | IST-REx-ID: 2308
Novarino, G., Fabrizi, C., Tonini, R., Denti, M., Malchiodi, A., Lauro, G., … Mazzanti, M. (2004). Involvement of the intracellular ion channel CLIC1 in microglia-mediated β-amyloid-induced neurotoxicity. Journal of Neuroscience. Society for Neuroscience. https://doi.org/10.1523/JNEUROSCI.1170-04.2004
View | DOI
 

2004 | Journal Article | IST-REx-ID: 2425
Matoušek, J., & Wagner, U. (2004). New constructions of weak ε-nets. Discrete & Computational Geometry. Springer. https://doi.org/10.1007/s00454-004-1116-4
View | DOI
 

2004 | Journal Article | IST-REx-ID: 2426
Giesen, J., & Wagner, U. (2004). Shape dimension and intrinsic metric from samples of manifolds. Discrete & Computational Geometry. Springer. https://doi.org/10.1007/s00454-004-1120-8
View | DOI
 

2004 | Book Review | IST-REx-ID: 2636
Momiyama, A., & Shigemoto, R. (2004). Function and distribution of glutamate receptors in the central synapses. Tanpakushitsu Kakusan Koso Protein Nucleic Acid Enzyme. Kyoritsu Shuppan.
View
 

2004 | Journal Article | IST-REx-ID: 2638
Kulik, Á., Nakadate, K., Hagiwara, A., Fukazawa, Y., Luján, R., Saito, H., … Shigemoto, R. (2004). Immunocytochemical localization of the α1A subunit of the P/Q-type calcium channel in the rat cerebellum. European Journal of Neuroscience. Wiley-Blackwell. https://doi.org/10.1111/j.0953-816X.2004.03319.x
View | DOI
 

2004 | Journal Article | IST-REx-ID: 2639
Somogyi, J., Baude, A., Omori, Y., Shimizu, H., El Mestikawy, S., Fukaya, M., … Somogyi, P. (2004). GABAergic basket cells expressing cholecystokinin contain vesicular glutamate transporter type 3 (VGLUT3) in their synaptic terminals in hippocampus and isocortex of the rat. European Journal of Neuroscience. Wiley-Blackwell. https://doi.org/10.1111/j.0953-816X.2003.03091.x
View | DOI
 

2004 | Journal Article | IST-REx-ID: 2640
Notomi, T., & Shigemoto, R. (2004). Immunohistochemical localization of Ih channel subunits, HCN1-4, in the rat brain. Journal of Comparative Neurology. Wiley-Blackwell. https://doi.org/10.1002/cne.11039
View | DOI
 

2004 | Journal Article | IST-REx-ID: 2641
Kang, Y., Notomi, T., Saito, M., Zhang, W., & Shigemoto, R. (2004). Bidirectional interactions between H-channels and Na+-K + pumps in mesencephalic trigeminal neurons. Journal of Neuroscience. Society for Neuroscience. https://doi.org/10.1523/JNEUROSCI.5641-03.2004
View | DOI
 

2004 | Journal Article | IST-REx-ID: 2642
Ferraguti, F., Cobden, P., Pollard, M., Cope, D., Shigemoto, R., Watanabe, M., & Somogyi, P. (2004). Immunolocalization of metabotropic glutamate receptor 1α (mGluR1α) in distinct classes of interneuron in the CA1 region of the rat hippocampus. Hippocampus. Wiley-Blackwell. https://doi.org/10.1002/hipo.10163
View | DOI
 

2004 | Journal Article | IST-REx-ID: 2643
Luján, R., Shigemoto, R., Kulik, Á., & Juíz, J. (2004). Localization of the GABAB receptor 1a/b subunit relative to glutamatergic synapses in the dorsal cochlear nucleus of the rat. Journal of Comparative Neurology. Wiley-Blackwell. https://doi.org/10.1002/cne.20160
View | DOI
 

2004 | Journal Article | IST-REx-ID: 2644
Kogo, N., Dalezios, Y., Capogna, M., Ferraguti, F., Shigemoto, R., & Somogyi, P. (2004). Depression of GABAergic input to identified hippocampal neurons by group III metabotropic glutamate receptors in the rat. European Journal of Neuroscience. Wiley-Blackwell. https://doi.org/10.1111/j.0953-816X.2004.03394.x
View | DOI
 

2004 | Journal Article | IST-REx-ID: 2645
Chan, S., Shigemoto, R., Mercer, J., & Surmeier, J. (2004). HCN2 and HCN1 channels govern the regularity of autonomous pacemaking and synaptic resetting in globus pallidus neurons. Journal of Neuroscience. Society for Neuroscience. https://doi.org/10.1523/JNEUROSCI.2162-04.2004
View | DOI
 

2004 | Journal Article | IST-REx-ID: 2646
López Bendito, G., Shigemoto, R., Kulik, Á., Vida, I., Fairén, A., & Luján, R. (2004). Distribution of metabotropic GABA receptor subunits GABAB1a/b and GABAB2 in the rat hippocampus during prenatal and postnatal development. Hippocampus. Wiley-Blackwell. https://doi.org/10.1002/hipo.10221
View | DOI
 

2004 | Book Review | IST-REx-ID: 2461
Sauer, M., & Friml, J. (2004). The Matryoshka dolls of plant polarity. Development. Company of Biologists. https://doi.org/10.1242/dev.01463
View | DOI
 

2004 | Journal Article | IST-REx-ID: 2741
Erdös, L., & Solovej, J. (2004). Uniform Lieb-Thirring inequality for the three-dimensional Pauli operator with a strong non-homogeneous magnetic field. Annales Henri Poincare. Birkhäuser. https://doi.org/10.1007/s00023-004-0180-x
View | DOI
 

2004 | Journal Article | IST-REx-ID: 2742
Elgart, A., Erdös, L., Schlein, B., & Yau, H. (2004). Nonlinear Hartree equation as the mean field limit of weakly coupled fermions. Journal de Mathématiques Pures et Appliquées. Elsevier. https://doi.org/10.1016/j.matpur.2004.03.006
View | DOI
 

2004 | Journal Article | IST-REx-ID: 2706
Erdös, L., & Solovej, J. (2004). Magnetic Lieb-Thirring inequalities with optimal dependence on the field strength. Journal of Statistical Physics. Springer. https://doi.org/10.1023/B:JOSS.0000037216.45270.1d
View | DOI
 

2004 | Journal Article | IST-REx-ID: 2707
Erdös, L., Salmhofer, M., & Yau, H. (2004). On the quantum Boltzmann equation. Journal of Statistical Physics. Springer. https://doi.org/10.1023/B:JOSS.0000037224.56191.ed
View | DOI
 

2004 | Journal Article | IST-REx-ID: 2786
Hof, B., Van Doorne, C., Westerweel, J., Nieuwstadt, F., Faisst, H., Eckhardt, B., … Waleffe, F. (2004). Experimental observation of nonlinear traveling waves in turbulent pipe flow. Science. American Association for the Advancement of Science. https://doi.org/10.1126/science.1100393
View | DOI
 

2004 | Journal Article | IST-REx-ID: 2787
Hof, B., Juel, A., Zhao, L., Henry, D., Ben Hadid, H., & Mullin, T. (2004). On the onset of oscillatory convection in molten gallium. Journal of Fluid Mechanics. Cambridge University Press. https://doi.org/10.1017/S0022112004000527
View | DOI
 

2004 | Journal Article | IST-REx-ID: 2997
Friml, J., Yang, X., Michniewicz, M., Weijers, D., Quint, A., Tietz, O., … Offringa, R. (2004). A PINOID-dependent binary switch in apical-basal PIN polar targeting directs auxin efflux. Science. American Association for the Advancement of Science. https://doi.org/10.1126/science.1100618
View | DOI
 

2004 | Journal Article | IST-REx-ID: 2998
Duroux, M., Houben, A., Růžička, K., Friml, J., & Grasser, K. (2004). The chromatin remodelling complex FACT associates with actively transcribed regions of the Arabidopsis genome. Plant Journal. Wiley-Blackwell. https://doi.org/10.1111/j.1365-313X.2004.02242.x
View | DOI
 

2004 | Journal Article | IST-REx-ID: 2999
Sauer, M., & Friml, J. (2004). In vitro culture of Arabidopsis embryos within their ovules. Plant Journal. Wiley-Blackwell. https://doi.org/10.1111/j.1365-313X.2004.02248.x
View | DOI
 

2004 | Book Review | IST-REx-ID: 3142
Hippenmeyer, S., Kramer, I., & Arber, S. (2004). Control of neuronal phenotype: What targets tell the cell bodies. Trends in Neurosciences. Elsevier. https://doi.org/10.1016/j.tins.2004.05.012
View | DOI
 

2004 | Journal Article | IST-REx-ID: 3172
Kolmogorov, V., Nguyen, T., Nuval, A., Spincemaille, P., Prince, M., Zabih, R., & Wang, Y. (2004). Multiprocessor scheduling implementation of the simultaneous multiple volume SMV navigator method. Magnetic Resonance in Medicine. Wiley-Blackwell. https://doi.org/10.1002/mrm.20162
View | DOI
 

2004 | Journal Article | IST-REx-ID: 3173
Kolmogorov, V., & Zabih, R. (2004). What energy functions can be minimized via graph cuts? . IEEE Transactions on Pattern Analysis and Machine Intelligence. IEEE. https://doi.org/10.1109/TPAMI.2004.1262177
View | DOI
 

2004 | Conference Paper | IST-REx-ID: 3177
Zabih, R., & Kolmogorov, V. (2004). Spatially coherent clustering using graph cuts (Vol. 2, pp. 437–444). Presented at the CVPR: Computer Vision and Pattern Recognition, IEEE. https://doi.org/10.1109/CVPR.2004.1315196
View | DOI
 

2004 | Journal Article | IST-REx-ID: 3178
Boykov, Y., & Kolmogorov, V. (2004). An experimental comparison of min-cut/max-flow algorithms for energy minimization in vision. IEEE Transactions on Pattern Analysis and Machine Intelligence. IEEE. https://doi.org/10.1109/TPAMI.2004.60
View | DOI
 

2004 | Conference Paper | IST-REx-ID: 3179
Rother, C., Kolmogorov, V., & Blake, A. (2004). "GrabCut" - Interactive foreground extraction using iterated graph cuts (Vol. 23, pp. 309–314). Presented at the SIGGRAPH: Special Interest Group on Computer Graphics and Interactive Techniques, ACM. https://doi.org/10.1145/1015706.1015720
View | DOI | Download (ext.)
 

2004 | Conference Paper | IST-REx-ID: 3208
Maurer, U., & Pietrzak, K. Z. (2004). Composition of random systems: When two weak make one strong (Vol. 2951, pp. 410–427). Presented at the TCC: Theory of Cryptography Conference, Springer. https://doi.org/10.1007/978-3-540-24638-1_23
View | DOI
 

2004 | Journal Article | IST-REx-ID: 3419
Janovjak, H. L., Struckmeier, J., Hubain, M., Kessler, M., Kedrov, A., & Mueller, D. (2004). Probing the energy landscape of the membrane protein bacteriorhodopsin. Structure. Cell Press. https://doi.org/10.1016/j.str.2004.03.016
View | DOI
 

2004 | Journal Article | IST-REx-ID: 3420
Kedrov, A., Ziegler, C., Janovjak, H. L., Kühlbrandt, W., & Mueller, D. (2004). Controlled unfolding and refolding of a single sodium/proton antiporter using atomic force microscopy. Journal of Molecular Biology. Elsevier. https://doi.org/10.1016/j.jmb.2004.05.026
View | DOI
 

2004 | Book Chapter | IST-REx-ID: 3574
Edelsbrunner, H. (2004). Biological applications of computational topology. In Handbook of Discrete and Computational Geometry (pp. 1395–1412). CRC Press.
View | Download (ext.)
 

2004 | Book Chapter | IST-REx-ID: 3575
Edelsbrunner, H., & Harer, J. (2004). Jacobi sets of multiple Morse functions. In Foundations of Computational Mathematics (Vol. 312, pp. 37–57). Springer. https://doi.org/10.1017/CBO9781139106962.003
View | DOI
 

2004 | Book Chapter | IST-REx-ID: 3587
Ulrich, F., & Heisenberg, C.-P. J. (2004). Gastrulation in zebrafish. In V. Korzh & Z. Gong (Eds.), Fish development and genetics : the zebrafish and medaka models (Vol. 2, pp. 39–86). World Scientific Publishing.
View
 

2004 | Conference Paper | IST-REx-ID: 4555
Chatterjee, K., De Alfaro, L., & Henzinger, T. A. (2004). Trading memory for randomness (pp. 206–217). Presented at the QEST: Quantitative Evaluation of Systems, IEEE. https://doi.org/10.1109/QEST.2004.10051
View | DOI
 

2004 | Journal Article | IST-REx-ID: 4556
Chatterjee, K., Ma, D., Majumdar, R., Zhao, T., Henzinger, T. A., & Palsberg, J. (2004). Stack size analysis for interrupt-driven programs. Information and Computation. Elsevier. https://doi.org/10.1016/j.ic.2004.06.001
View | DOI
 

2004 | Conference Paper | IST-REx-ID: 4558
Chatterjee, K., Jurdziński, M., & Henzinger, T. A. (2004). Quantitative stochastic parity games (pp. 121–130). Presented at the SODA: Symposium on Discrete Algorithms, SIAM.
View
 

2004 | Conference Paper | IST-REx-ID: 4629
De Alfaro, L., Faella, M., Henzinger, T. A., Majumdar, R., & Stoelinga, M. (2004). Model checking discounted temporal properties (Vol. 2988, pp. 77–92). Presented at the TACAS: Tools and Algorithms for the Construction and Analysis of Systems, Springer. https://doi.org/10.1007/978-3-540-24730-2_6
View | DOI
 

2004 | Conference Paper | IST-REx-ID: 4577
Beyer, D., Henzinger, T. A., Jhala, R., & Majumdar, R. (2004). An eclipse plug-in for model checking (pp. 251–255). Presented at the IWPC: Program Comprehension, IEEE. https://doi.org/10.1109/WPC.2004.1311069 
View | DOI
 

2004 | Conference Paper | IST-REx-ID: 4578
Beyer, D., Chlipala, A., Henzinger, T. A., Jhala, R., & Majumdar, R. (2004). The BLAST query language for software verification (Vol. 3148, pp. 2–18). Presented at the SAS: Static Analysis Symposium, Springer. https://doi.org/10.1007/978-3-540-27864-1_2
View | DOI
 

2004 | Conference Paper | IST-REx-ID: 4581
Beyer, D., Chlipala, A., Henzinger, T. A., Jhala, R., & Majumdar, R. (2004). Generating tests from counterexamples (pp. 326–335). Presented at the ICSE: Software Engineering, IEEE. https://doi.org/10.1109/ICSE.2004.1317455
View | DOI
 

2004 | Journal Article | IST-REx-ID: 3805
Jonas, P. M., Bischofberger, J., Fricker, D., & Miles, R. (2004). Interneuron Diversity series: Fast in, fast out--temporal and spatial signal processing in hippocampal interneurons. Trends in Neurosciences. Elsevier. https://doi.org/doi:10.1016/j.tins.2003.10.010
View | DOI
 

2004 | Journal Article | IST-REx-ID: 3807 | OA
Kampa, B., Clements, J., Jonas, P. M., & Stuart, G. (2004). Kinetics of Mg(2+) unblock of NMDA receptors: implications for spike-timing dependent synaptic plasticity. Journal of Physiology. Wiley-Blackwell. https://doi.org/10.1113/jphysiol.2003.058842
View | DOI | Download (ext.)
 

2004 | Book Review | IST-REx-ID: 3595
Charlesworth, B., & Barton, N. H. (2004). Genome size: Does bigger mean worse? Current Biology. Cell Press. https://doi.org/10.1016/j.cub.2004.02.054
View | DOI
 

2004 | Journal Article | IST-REx-ID: 3614
Barton, N. H., & Turelli, M. (2004). Effects of allele frequency changes on variance components under a general model of epistasis. Evolution; International Journal of Organic Evolution. Wiley-Blackwell. https://doi.org/10.1111/j.0014-3820.2004.tb01591.x
View | DOI
 

2004 | Journal Article | IST-REx-ID: 3615
Turelli, M., & Barton, N. H. (2004). Polygenic variation maintained by balancing selection: pleiotropy, sex-dependent allelic effects and GxE interactions. Genetics. Genetics Society of America. https://doi.org/10.1534/genetics.166.2.1053
View | DOI
 

2004 | Book Review | IST-REx-ID: 3616
Barton, N. H. (2004). Speciation: Why, how, where and when? Current Biology. Cell Press. https://doi.org/10.1016/j.cub.2004.07.037
View | DOI
 

2004 | Journal Article | IST-REx-ID: 3617
Barton, N. H., & Etheridge, A. (2004). The effect of selection on genealogies. Genetics. Genetics Society of America. https://doi.org/10.1534/genetics.166.2.1115
View | DOI
 

2004 | Journal Article | IST-REx-ID: 3809
Schmidt Hieber, C., Jonas, P. M., & Bischofberger, J. (2004). Enhanced synaptic plasticity in newly generated granule cells of the adult hippocampus. Nature. Nature Publishing Group. https://doi.org/10.1038/nature02553
View | DOI
 

2004 | Journal Article | IST-REx-ID: 3810
Oliver, D., Lien, C., Soom, M., Baukrowitz, T., Jonas, P. M., & Fakler, B. (2004). Functional conversion between A-type and delayed rectifier K+ channels by membrane lipids. Science. American Association for the Advancement of Science. https://doi.org/10.1126/science.1094113
View | DOI
 

2004 | Conference Paper | IST-REx-ID: 3688
Ulges, A., Lampert, C., & Breuel, T. (2004). Document capture using stereo vision (pp. 198–200). Presented at the DocEng: ACM Symposium on Document Engineering, ACM. https://doi.org/10.1145/1030397.1030434
View | DOI | Download (ext.)
 

2004 | Conference Paper | IST-REx-ID: 3894
Chatterjee, K., Majumdar, R., & Jurdziński, M. (2004). On Nash equilibria in stochastic games (Vol. 3210, pp. 26–40). Presented at the CSL: Computer Science Logic, Springer. https://doi.org/10.1007/978-3-540-30124-0_6
View | DOI
 

2004 | Conference Paper | IST-REx-ID: 3895
Chatterjee, K., Henzinger, T. A., & Jurdziński, M. (2004). Games with secure equilibria (pp. 160–169). Presented at the LICS: Logic in Computer Science, IEEE. https://doi.org/10.1109/LICS.2004.1319610
View | DOI
 

2004 | Journal Article | IST-REx-ID: 3918
Heinze, J., Böttcher, A., & Cremer, S. (2004). Production of winged and wingless males in the ant, Cardiocondyla minutior. Insectes Sociaux. Springer. https://doi.org/10.1007/s00040-004-0740-6
View | DOI
 

2004 | Journal Article | IST-REx-ID: 3929
Witte, V., Laffert, B., Rosorius, O., Lischka, P., Blume, K., Galler, G., … Baur, A. (2004). HIV-1 Nef mimics an integrin receptor signal that recruits the polycomb group protein Eed to the plasma membrane. Molecular Cell. Cell Press. https://doi.org/10.1016/S1097-2765(04)00004-8
View | DOI
 

2004 | Journal Article | IST-REx-ID: 3931
Zhang, H., Baader, S., Sixt, M. K., Kappler, J., & Rauch, U. (2004). Neurocan-GFP fusion protein: a new approach to detect hyaluronan on tissue sections and living cells. Journal of Histochemistry and Cytochemistry. Histochemical Society. https://doi.org/10.1369/jhc.3A6221.2004
View | DOI
 

2004 | Journal Article | IST-REx-ID: 3984
Bremer, P., Edelsbrunner, H., Hamann, B., & Pascucci, V. (2004). A topological hierarchy for functions on triangulated surfaces. IEEE Transactions on Visualization and Computer Graphics. IEEE. https://doi.org/10.1109/TVCG.2004.3
View | DOI
 

2004 | Journal Article | IST-REx-ID: 3985
Cole Mclaughlin, K., Edelsbrunner, H., Harer, J., Natarajan, V., & Pascucci, V. (2004). Loops in Reeb graphs of 2-manifolds. Discrete & Computational Geometry. Springer. https://doi.org/10.1007/s00454-004-1122-6
View | DOI
 

2004 | Journal Article | IST-REx-ID: 3986
Bryant, R., Edelsbrunner, H., Koehl, P., & Levitt, M. (2004). The area derivative of a space-filling diagram. Discrete & Computational Geometry. Springer. https://doi.org/10.1007/s00454-004-1099-1
View | DOI
 

2004 | Journal Article | IST-REx-ID: 3987
Natarajan, V., & Edelsbrunner, H. (2004). Simplification of three-dimensional density maps. IEEE Transactions on Visualization and Computer Graphics. IEEE. https://doi.org/10.1109/TVCG.2004.32
View | DOI
 

2004 | Conference Paper | IST-REx-ID: 3988
Choi, V., Agarwal, P., Edelsbrunner, H., & Rudolph, J. (2004). Local search heuristic for rigid protein docking (Vol. 3240, pp. 218–229). Presented at the WABI: 4th International Workshop on Algorithms in Bioinformatics, Springer. https://doi.org/10.1007/978-3-540-30219-3_19
View | DOI
 

2004 | Conference Paper | IST-REx-ID: 3989
Edelsbrunner, H., Harer, J., Natarajan, V., & Pascucci, V. (2004). Local and global comparison of continuous functions (pp. 275–280). Presented at the VIS: IEEE Visualization, IEEE. https://doi.org/10.1109/VISUAL.2004.68
View | DOI
 

2004 | Journal Article | IST-REx-ID: 3990
Agarwal, P., Edelsbrunner, H., & Wang, Y. (2004). Computing the writhing number of a polygonal knot. Discrete & Computational Geometry. Springer. https://doi.org/10.1007/s00454-004-2864-x
View | DOI
 

2004 | Journal Article | IST-REx-ID: 4172
Montero, J., & Heisenberg, C.-P. J. (2004). Gastrulation dynamics: cells move into focus. Trends in Cell Biology. Cell Press. https://doi.org/10.1016/j.tcb.2004.09.008
View | DOI
 

2004 | Journal Article | IST-REx-ID: 4224
Kruse, K., Pantazis, P., Bollenbach, M. T., Julicher, F., & Gonzalez Gaitan, M. (2004). Dpp gradient formation by dynamin-dependent endocytosis: receptor trafficking and the diffusion model. Development. Company of Biologists. https://doi.org/10.1242/dev.01335
View | DOI
 

2004 | Book Chapter | IST-REx-ID: 4230
de Vladar, H., Cipriani, R., Scharifker, B., & Bubis, J. (2004). A mechanism for the prebiotic emergence of proteins. In A. Hanslmeier, S. Kempe, & J. Seckbach (Eds.), Life in the Universe From the Miller Experiment to the Search for Life on Other Worlds (pp. 83–87). Springer.
View
 

2004 | Thesis | IST-REx-ID: 4236
de Vladar, H. (2004). Métodos no lineales y sus aplicaciones en dinámicas aleatorias de poblaciones celulares. Centro de estudios avazados, IVIC. https://doi.org/3810
View | DOI
 

2004 | Journal Article | IST-REx-ID: 4238
de Vladar, H., & González, J. (2004). Dynamic response of cancer under the influence of immunological activity and therapy. Journal of Theoretical Biology. Elsevier. https://doi.org/3801
View | DOI
 

2004 | Book Chapter | IST-REx-ID: 4239
de Vladar, H., Cipriani, R., Scharifker, B., & Bubis, J. (2004). A Mechanism for the Prebiotic Emergence of Proteins. In J. Seckbach, J. Chela Flores, T. Owen, & F. Raulin (Eds.), Life in the Universe From the Miller Experiment to the Search for Life on Other Worlds (Vol. 7, pp. 83–87). Springer. https://doi.org/3807
View | DOI
 

2004 | Journal Article | IST-REx-ID: 4253
Barton, N. H., Etheridge, A., & Sturm, A. (2004). Coalescence in a Random Background. Annals of Applied Probability. Institute of Mathematical Statistics.
View | Download (ext.)
 

2004 | Conference Paper | IST-REx-ID: 4372
Maler, O., & Nickovic, D. (2004). Monitoring Temporal Properties of Continuous Signals (pp. 152–166). Presented at the FORMATS: Formal Modeling and Analysis of Timed Systems, Springer. https://doi.org/1572
View | DOI
 

2004 | Thesis | IST-REx-ID: 4424
Jhala, R. (2004). Program verification by lazy abstraction. University of California, Berkeley.
View
 

2004 | Conference Paper | IST-REx-ID: 4445
Henzinger, T. A., & Kirsch, C. (2004). A typed assembly language for real-time programs (pp. 104–113). Presented at the EMSOFT: Embedded Software , ACM. https://doi.org/10.1145/1017753.1017774
View | DOI
 

2004 | Conference Paper | IST-REx-ID: 4458
Henzinger, T. A., Jhala, R., Majumdar, R., & Mcmillan, K. (2004). Abstractions from proofs (pp. 232–244). Presented at the POPL: Principles of Programming Languages, ACM. https://doi.org/10.1145/964001.964021
View | DOI
 

2004 | Conference Paper | IST-REx-ID: 4459
Henzinger, T. A., Jhala, R., & Majumdar, R. (2004). Race checking by context inference (pp. 1–13). Presented at the PLDI: Programming Languages Design and Implementation, ACM. https://doi.org/10.1145/996841.996844
View | DOI
 

2004 | Book Chapter | IST-REx-ID: 4461
Henzinger, T. A., Jhala, R., Majumdar, R., & Sanvido, M. (2004). Extreme model checking. In Verification: Theory and Practice (Vol. 2772, pp. 332–358). Springer. https://doi.org/10.1007/978-3-540-39910-0_16
View | DOI
 

2004 | Conference Paper | IST-REx-ID: 4525
Ghosal, A., Henzinger, T. A., Kirsch, C., & Sanvido, M. (2004). Event-driven programming with logical execution times (Vol. 2993, pp. 167–170). Presented at the HSCC: Hybrid Systems - Computation and Control, Springer. https://doi.org/10.1007/978-3-540-24743-2_24
View | DOI
 

2004 | Journal Article | IST-REx-ID: 6155
Cheung, B. H. ., Arellano-Carbajal, F., Rybicki, I., & de Bono, M. (2004). Soluble guanylate cyclases act in neurons exposed to the body fluid to promote C. elegans aggregation behavior. Current Biology. Elsevier. https://doi.org/10.1016/j.cub.2004.06.027
View | DOI | PubMed | Europe PMC
 

2004 | Journal Article | IST-REx-ID: 7333
Santis, M., Schmid, D., Ruge, M., Freunberger, S. A., & Büchi, F. N. (2004). Modular stack-internal air humidification concept-verification in a 1 kW stack. Fuel Cells. Wiley. https://doi.org/10.1002/fuce.200400028
View | DOI
 

2004 | Journal Article | IST-REx-ID: 7334
Mantzaras, J., Freunberger, S. A., Büchi, F. N., Roos, M., Brandstätter, W., Prestat, M., … Maréchal, F. (2004). Fuel cell modeling and simulations. CHIMIA International Journal for Chemistry. Swiss Chemical Society. https://doi.org/10.2533/000942904777677029
View | DOI
 

2004 | Journal Article | IST-REx-ID: 7706
Brunet, A., Sweeney, L. B. J., Sturgill, J. F., Chua, K., Greer, P., Lin, Y., … Greenberg, M. (2004). Stress-dependent regulation of FOXO transcription factors by the SIRT1 deacetylase. Science. American Association for the Advancement of Science. https://doi.org/10.1126/science.1094637
View | DOI
 

2004 | Journal Article | IST-REx-ID: 8517
Dolgopyat, D., Kaloshin, V., & Koralov, L. (2004). A limit shape theorem for periodic stochastic dispersion. Communications on Pure and Applied Mathematics. Wiley. https://doi.org/10.1002/cpa.20032
View | DOI
 

2004 | Journal Article | IST-REx-ID: 8518
Koralov, L., Kaloshin, V., & Dolgopyat, D. (2004). Sample path properties of the stochastic flows. The Annals of Probability. Institute of Mathematical Statistics. https://doi.org/10.1214/aop/1078415827
View | DOI
 

2004 | Journal Article | IST-REx-ID: 898
Bazykin, G., Kondrashov, F., Ogurtsov, A., Sunyaev, S., & Kondrashov, A. (2004). Positive selection at sites of multiple amino acid replacements since rat-mouse divergence. Nature. Nature Publishing Group. https://doi.org/10.1038/nature02601
View | DOI
 

2004 | Journal Article | IST-REx-ID: 864
Panchenko, A., Kondrashov, F., & Bryant, S. (2004). Prediction of functional sites by analysis of sequence and structure conservation. Protein Science. Wiley-Blackwell. https://doi.org/10.1110/ps.03465504
View | DOI
 

2004 | Journal Article | IST-REx-ID: 875
Kondrashov, F., & Koonin, E. (2004). A common framework for understanding the origin of genetic dominance and evolutionary fates of gene duplications. Trends in Genetics. Elsevier. https://doi.org/10.1016/j.tig.2004.05.001
View | DOI
 

2004 | Journal Article | IST-REx-ID: 870
Kondrashov, F., Ogurtsov, A., & Kondrashov, A. (2004). Bioinformatical assay of human gene morbidity. Nucleic Acids Research. Oxford University Press. https://doi.org/10.1093/nar/gkh330
View | DOI
 

2004 | Journal Article | IST-REx-ID: 889
Kern, A., & Kondrashov, F. (2004). Mechanisms and convergence of compensatory evolution in mammalian mitochondrial tRNAs. Nature Genetics. Nature Publishing Group. https://doi.org/10.1038/ng1451
View | DOI
 

2004 | Journal Article | IST-REx-ID: 902
Castillo Davis, C., Kondrashov, F., Hartl, D., & Kulathinal, R. (2004). The functional genomic distribution of protein divergence in two animal phyla: Coevolution, genomic conflict, and constraint. Genome Research. Cold Spring Harbor Laboratory Press. https://doi.org/10.1101/gr.2195604
View | DOI
 

2003 | Journal Article | IST-REx-ID: 1457 | OA
Hausel, T., & Thaddeus, M. (2003). Mirror symmetry, langlands duality, and the Hitchin system. Inventiones Mathematicae. Springer. https://doi.org/10.1007/s00222-003-0286-7
View | DOI | Download (ext.)
 

2003 | Journal Article | IST-REx-ID: 1458 | OA
Hausel, T., & Thaddeus, M. (2003). Relations in the cohomology ring of the moduli space of rank 2 Higgs bundles. Journal of the American Mathematical Society. American Mathematical Society. https://doi.org/10.1090/S0894-0347-02-00417-4
View | DOI | Download (ext.)
 

2003 | Journal Article | IST-REx-ID: 1459 | OA
Etesi, G., & Hausel, T. (2003). On Yang-Mills instantons over multi-centered gravitational instantons. Communications in Mathematical Physics. Springer. https://doi.org/10.1007/s00220-003-0806-8
View | DOI | Download (ext.)
 

2003 | Journal Article | IST-REx-ID: 166 | OA
Browning, T. D., & Swarbick Jones, M. (2003). Counting rational points on del Pezzo surfaces of degree 5. Proceedings of the Bonn Session in Analytic Number Theory and Diophantine Equations. Mathematisches Institut der Universität Bonn.
View | Download None (ext.) | arXiv
 

2003 | Journal Article | IST-REx-ID: 1959
Holt, P., Morgan, D., & Sazanov, L. A. (2003). The location of NuoL and NuoM subunits in the membrane domain of the Escherichia coli Complex I: implications for the mechanism of proton pumping. Journal of Biological Chemistry. American Society for Biochemistry and Molecular Biology. https://doi.org/10.1074/jbc.M308247200
View | DOI
 

2003 | Journal Article | IST-REx-ID: 1960
Sazanov, L. A., Carroll, J., Holt, P., Toime, L., & Fearnley, I. (2003). A role for native lipids in the stabilization and two dimensional crystallization of the Escherichia coli NADH ubiquinone oxidoreductase (complex I). Journal of Biological Chemistry. American Society for Biochemistry and Molecular Biology. https://doi.org/10.1074/jbc.M208959200
View | DOI
 

2003 | Journal Article | IST-REx-ID: 205
Browning, T. D. (2003). Counting rational points on cubic and quartic surfaces. Acta Arithmetica. Instytut Matematyczny. https://doi.org/10.4064/aa108-3-7
View | DOI
 

2003 | Journal Article | IST-REx-ID: 206
Browning, T. D. (2003). A note on the distribution of rational points on threefolds. Quarterly Journal of Mathematics. Unknown. https://doi.org/10.1093/qjmath/54.1.33
View | DOI
 

2003 | Journal Article | IST-REx-ID: 207
Browning, T. D. (2003). Sums of four biquadrates. Mathematical Proceedings of the Cambridge Philosophical Society. Cambridge University Press. https://doi.org/10.1017/S0305004102006382
View | DOI
 

Search

Filter Publications