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.

6016 Publications


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, 10(5), 587–597. 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, 32(1), 37–53. https://doi.org/10.1007/s00454-004-2864-x
View | DOI
 

2004 | Book Chapter | IST-REx-ID: 4230
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 | Book Chapter | IST-REx-ID: 4239
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, 14(2), 754–785.
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 | 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 | 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, 194(2), 144–174. 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: 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 | 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 | 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, 14(12), 1105–1111. https://doi.org/10.1016/j.cub.2004.06.027
View | DOI | PubMed | Europe PMC
 

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, 19(8), 2169–2178. 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, 19(3), 552–569. 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, 471(3), 241–276. 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, 24(14), 3694–3702. 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, 14(2), 193–215. 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, 475(1), 36–46. 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, 19(10), 2727–2740. 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, 24(44), 9921–9932. 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, 14(7), 836–848. https://doi.org/10.1002/hipo.10221
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, 116(1–4), 475–506. 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, 116(1–4), 367–380. https://doi.org/10.1023/B:JOSS.0000037224.56191.ed
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, 5(4), 671–741. 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, 83(10), 1241–1273. https://doi.org/10.1016/j.matpur.2004.03.006
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, 305(5690), 1594–1598. 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, 515, 391–413. 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, 306(5697), 862–865. 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, 40(5), 660–671. 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, 40(5), 835–843. 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: 1963
Mamedova, A., Holt, P., Carroll, J., & Sazanov, L. A. (2004). Substrate-induced conformational change in bacterial complex I. Journal of Biological Chemistry, 279(22), 23830–23836. https://doi.org/10.1074/jbc.M401539200
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, 13(4), 884–892. https://doi.org/10.1110/ps.03465504
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, 32(5), 1731–1737. https://doi.org/10.1093/nar/gkh330
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, 20(7), 287–291. https://doi.org/10.1016/j.tig.2004.05.001
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, 36(11), 1207–1212. https://doi.org/10.1038/ng1451
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, 429(6991), 558–562. https://doi.org/10.1038/nature02601
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, 14(5), 802–811. https://doi.org/10.1101/gr.2195604
View | DOI
 

2004 | Journal Article | IST-REx-ID: 1456 | OA
Hausel, T., Hunsicker, E., & Mazzeo, R. (2004). Hodge cohomology of gravitational instantons. Duke Mathematical Journal, 122(3), 485–548. https://doi.org/10.1215/S0012-7094-04-12233-X
View | DOI | Download (ext.)
 

2004 | Journal Article | IST-REx-ID: 1464 | OA
Hausel, T., & Thaddeus, M. (2004). Generators for the cohomology ring of the moduli space of rank 2 higgs bundles. Proceedings of the London Mathematical Society, 88(3), 632–658. https://doi.org/10.1112/S0024611503014618
View | DOI | Download (ext.)
 

Search

Filter Publications