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.

6032 Publications


2005 | Journal Article | IST-REx-ID: 8516
Bourgain, Jean, and Vadim Kaloshin. “On Diffusion in High-Dimensional Hamiltonian Systems.” Journal of Functional Analysis 229, no. 1 (2005): 1–61. https://doi.org/10.1016/j.jfa.2004.09.006.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 8491
Schanda, Paul, Ēriks Kupče, and Bernhard Brutscher. “SOFAST-HMQC Experiments for Recording Two-Dimensional Deteronuclear Correlation Spectra of Proteins within a Few Seconds.” Journal of Biomolecular NMR 33, no. 4 (2005): 199–211. https://doi.org/10.1007/s10858-005-4425-x.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 8492
Schanda, Paul, and Bernhard Brutscher. “Very Fast Two-Dimensional NMR Spectroscopy for Real-Time Investigation of Dynamic Events in Proteins on the Time Scale of Seconds.” Journal of the American Chemical Society 127, no. 22 (2005): 8014–15. https://doi.org/10.1021/ja051306e.
View | DOI
 

2004 | Journal Article | IST-REx-ID: 209
Browning, Timothy D, and Roger Heath Brown. “Equal Sums of Three Powers.” Inventiones Mathematicae 157, no. 3 (2004): 553–73. https://doi.org/10.1007/s00222-004-0360-9.
View | DOI
 

2004 | Journal Article | IST-REx-ID: 2308
Novarino, Gaia, Cinzia Fabrizi, Raffaella Tonini, Michela Denti, Albedi Malchiodi, Giuliana Lauro, Benedetto Sacchetti, et al. “Involvement of the Intracellular Ion Channel CLIC1 in Microglia-Mediated β-Amyloid-Induced Neurotoxicity.” Journal of Neuroscience 24, no. 23 (2004): 5322–30. https://doi.org/10.1523/JNEUROSCI.1170-04.2004.
View | DOI
 

2004 | Journal Article | IST-REx-ID: 2355 | OA
Lieb, Élliott, and Robert Seiringer. “ Equivalent Forms of the Bessis-Moussa-Villani Conjecture.” Journal of Statistical Physics 115, no. 1–2 (2004): 185–90. https://doi.org/10.1023/B:JOSS.0000019811.15510.27.
View | DOI | Download (ext.)
 

2004 | Journal Article | IST-REx-ID: 2356 | OA
Lieb, Élliott, Robert Seiringer, and Jakob Yngvason. “One-Dimensional Behavior of Dilute, Trapped Bose Gases.” Communications in Mathematical Physics 244, no. 2 (2004): 347–93. https://doi.org/10.1007/s00220-003-0993-3.
View | DOI | Download (ext.)
 

2004 | Journal Article | IST-REx-ID: 2360 | OA
Aizenman, Michael, Élliott Lieb, Robert Seiringer, Jan Solovej, and Jakob Yngvason. “Bose-Einstein Quantum Phase Transition in an Optical Lattice Model.” Physical Review A - Atomic, Molecular, and Optical Physics 70, no. 2 (2004): 023612-1-0236121-2. https://doi.org/10.1103/PhysRevA.70.023612.
View | DOI | Download (ext.)
 

2004 | Book Chapter | IST-REx-ID: 2417
Lovász, László, Katalin Vesztergombi, Uli Wagner, and Emo Welzl. “Convex Quadrilaterals and K-Sets .” In Towards a Theory of Geometric Graphs, edited by János Pach, 342:139–48. American Mathematical Society, 2004. https://doi.org/10.1090/conm/342.
View | DOI
 

2004 | Journal Article | IST-REx-ID: 2425
Matoušek, Jiří, and Uli Wagner. “New Constructions of Weak ε-Nets.” Discrete & Computational Geometry 32, no. 2 (2004): 195–206. https://doi.org/10.1007/s00454-004-1116-4.
View | DOI
 

2004 | Journal Article | IST-REx-ID: 2426
Giesen, Joachim, and Uli Wagner. “Shape Dimension and Intrinsic Metric from Samples of Manifolds.” Discrete & Computational Geometry 32, no. 2 (2004): 245–67. https://doi.org/10.1007/s00454-004-1120-8.
View | DOI
 

2004 | Book Review | IST-REx-ID: 2461
Sauer, Michael, and Jirí Friml. “The Matryoshka Dolls of Plant Polarity.” Development. Company of Biologists, 2004. https://doi.org/10.1242/dev.01463.
View | DOI
 

2004 | Journal Article | IST-REx-ID: 7333
Santis, M., D. Schmid, M. Ruge, Stefan Alexander Freunberger, and F.N. Büchi. “Modular Stack-Internal Air Humidification Concept-Verification in a 1 KW Stack.” Fuel Cells 4, no. 3 (2004): 214–18. https://doi.org/10.1002/fuce.200400028.
View | DOI
 

2004 | Journal Article | IST-REx-ID: 7334
Mantzaras, John, Stefan Alexander Freunberger, Felix N. Büchi, Markus Roos, Wilhelm Brandstätter, Michel Prestat, Ludwig J. Gauckler, et al. “Fuel Cell Modeling and Simulations.” CHIMIA International Journal for Chemistry 58, no. 12 (2004): 857–68. https://doi.org/10.2533/000942904777677029.
View | DOI
 

2004 | Journal Article | IST-REx-ID: 7706
Brunet, Anne, Lora Beatrice Jaeger Sweeney, J Fitzhugh Sturgill, Katrin Chua, Paul Greer, Yingxi Lin, Hien Tran, et al. “Stress-Dependent Regulation of FOXO Transcription Factors by the SIRT1 Deacetylase.” Science 303, no. 5666 (2004): 2011–15. https://doi.org/10.1126/science.1094637.
View | DOI
 

2004 | Journal Article | IST-REx-ID: 3918
Heinze, Jürgen, A. Böttcher, and Sylvia Cremer. “Production of Winged and Wingless Males in the Ant, Cardiocondyla Minutior.” Insectes Sociaux 51, no. 3 (2004): 275–78. https://doi.org/10.1007/s00040-004-0740-6.
View | DOI
 

2004 | Journal Article | IST-REx-ID: 3929
Witte, Vanessa, Bernd Laffert, Olaf Rosorius, Peter Lischka, Katja Blume, Gunther Galler, Andrea Stilper, et al. “HIV-1 Nef Mimics an Integrin Receptor Signal That Recruits the Polycomb Group Protein Eed to the Plasma Membrane.” Molecular Cell 13, no. 2 (2004): 179–90. https://doi.org/10.1016/S1097-2765(04)00004-8.
View | DOI
 

2004 | Journal Article | IST-REx-ID: 3931
Zhang, Hui, Stephan Baader, Michael K Sixt, Joachim Kappler, and Uwe Rauch. “Neurocan-GFP Fusion Protein: A New Approach to Detect Hyaluronan on Tissue Sections and Living Cells.” Journal of Histochemistry and Cytochemistry 52, no. 7 (2004): 915–22. https://doi.org/10.1369/jhc.3A6221.2004.
View | DOI
 

2004 | Journal Article | IST-REx-ID: 3984
Bremer, Peer, Herbert Edelsbrunner, Bernd Hamann, and Valerio Pascucci. “A Topological Hierarchy for Functions on Triangulated Surfaces.” IEEE Transactions on Visualization and Computer Graphics 10, no. 4 (2004): 385–96. https://doi.org/10.1109/TVCG.2004.3.
View | DOI
 

2004 | Journal Article | IST-REx-ID: 3985
Cole Mclaughlin, Kree, Herbert Edelsbrunner, John Harer, Vijay Natarajan, and Valerio Pascucci. “Loops in Reeb Graphs of 2-Manifolds.” Discrete & Computational Geometry 32, no. 2 (2004): 231–44. https://doi.org/10.1007/s00454-004-1122-6.
View | DOI
 

2004 | Journal Article | IST-REx-ID: 3986
Bryant, Robert, Herbert Edelsbrunner, Patrice Koehl, and Michael Levitt. “The Area Derivative of a Space-Filling Diagram.” Discrete & Computational Geometry 32, no. 3 (2004): 293–308. https://doi.org/10.1007/s00454-004-1099-1.
View | DOI
 

2004 | Journal Article | IST-REx-ID: 3987
Natarajan, Vijay, and Herbert Edelsbrunner. “Simplification of Three-Dimensional Density Maps.” IEEE Transactions on Visualization and Computer Graphics 10, no. 5 (2004): 587–97. https://doi.org/10.1109/TVCG.2004.32.
View | DOI
 

2004 | Conference Paper | IST-REx-ID: 3988
Choi, Vicky, Pankaj Agarwal, Herbert Edelsbrunner, and Johannes Rudolph. “Local Search Heuristic for Rigid Protein Docking,” 3240:218–29. Springer, 2004. https://doi.org/10.1007/978-3-540-30219-3_19.
View | DOI
 

2004 | Conference Paper | IST-REx-ID: 3989
Edelsbrunner, Herbert, John Harer, Vijay Natarajan, and Valerio Pascucci. “Local and Global Comparison of Continuous Functions,” 275–80. IEEE, 2004. https://doi.org/10.1109/VISUAL.2004.68.
View | DOI
 

2004 | Journal Article | IST-REx-ID: 3990
Agarwal, Pankaj, Herbert Edelsbrunner, and Yusu Wang. “Computing the Writhing Number of a Polygonal Knot.” Discrete & Computational Geometry 32, no. 1 (2004): 37–53. https://doi.org/10.1007/s00454-004-2864-x.
View | DOI
 

2004 | Book Chapter | IST-REx-ID: 4230
Vladar, Harold, Roberto Cipriani, Benjamin Scharifker, and Jose Bubis. “A Mechanism for the Prebiotic Emergence of Proteins.” In Life in the Universe From the Miller Experiment to the Search for Life on Other Worlds, edited by A. Hanslmeier, S. Kempe, and J. Seckbach, 83–87. Springer, 2004.
View
 

2004 | Book Chapter | IST-REx-ID: 4239
Vladar, Harold, Roberto Cipriani, Benjamin Scharifker, and Jose Bubis. “A Mechanism for the Prebiotic Emergence of Proteins.” In Life in the Universe From the Miller Experiment to the Search for Life on Other Worlds, edited by J. Seckbach, J. Chela Flores, T. Owen, and F. Raulin, 7:83–87. Springer, 2004. https://doi.org/3807.
View | DOI
 

2004 | Journal Article | IST-REx-ID: 4253
Barton, Nicholas H, Alison Etheridge, and Anja Sturm. “Coalescence in a Random Background.” Annals of Applied Probability 14, no. 2 (2004): 754–85.
View | Download (ext.)
 

2004 | Conference Paper | IST-REx-ID: 4372
Maler, Oded, and Dejan Nickovic. “Monitoring Temporal Properties of Continuous Signals,” 152–66. Springer, 2004. https://doi.org/1572.
View | DOI
 

2004 | Conference Paper | IST-REx-ID: 4445
Henzinger, Thomas A, and Christoph Kirsch. “A Typed Assembly Language for Real-Time Programs,” 104–13. ACM, 2004. https://doi.org/10.1145/1017753.1017774.
View | DOI
 

2004 | Conference Paper | IST-REx-ID: 4458
Henzinger, Thomas A, Ranjit Jhala, Ritankar Majumdar, and Kenneth Mcmillan. “Abstractions from Proofs,” 232–44. ACM, 2004. https://doi.org/10.1145/964001.964021.
View | DOI
 

2004 | Conference Paper | IST-REx-ID: 4459
Henzinger, Thomas A, Ranjit Jhala, and Ritankar Majumdar. “Race Checking by Context Inference,” 1–13. ACM, 2004. https://doi.org/10.1145/996841.996844.
View | DOI
 

2004 | Book Chapter | IST-REx-ID: 4461
Henzinger, Thomas A, Ranjit Jhala, Ritankar Majumdar, and Marco Sanvido. “Extreme Model Checking.” In Verification: Theory and Practice, 2772:332–58. Springer, 2004. https://doi.org/10.1007/978-3-540-39910-0_16.
View | DOI
 

2004 | Conference Paper | IST-REx-ID: 4525
Ghosal, Arkadeb, Thomas A Henzinger, Christoph Kirsch, and Marco Sanvido. “Event-Driven Programming with Logical Execution Times,” 2993:167–70. Springer, 2004. https://doi.org/10.1007/978-3-540-24743-2_24.
View | DOI
 

2004 | Conference Paper | IST-REx-ID: 4555
Chatterjee, Krishnendu, Luca De Alfaro, and Thomas A Henzinger. “Trading Memory for Randomness,” 206–17. IEEE, 2004. https://doi.org/10.1109/QEST.2004.10051.
View | DOI
 

2004 | Journal Article | IST-REx-ID: 4556
Chatterjee, Krishnendu, Di Ma, Ritankar Majumdar, Tian Zhao, Thomas A Henzinger, and Jens Palsberg. “Stack Size Analysis for Interrupt-Driven Programs.” Information and Computation 194, no. 2 (2004): 144–74. https://doi.org/10.1016/j.ic.2004.06.001.
View | DOI
 

2004 | Conference Paper | IST-REx-ID: 4558
Chatterjee, Krishnendu, Marcin Jurdziński, and Thomas A Henzinger. “Quantitative Stochastic Parity Games,” 121–30. SIAM, 2004.
View
 

2004 | Conference Paper | IST-REx-ID: 4577
Beyer, Dirk, Thomas A Henzinger, Ranjit Jhala, and Ritankar Majumdar. “An Eclipse Plug-in for Model Checking,” 251–55. IEEE, 2004. https://doi.org/10.1109/WPC.2004.1311069  .
View | DOI
 

2004 | Conference Paper | IST-REx-ID: 4578
Beyer, Dirk, Adam Chlipala, Thomas A Henzinger, Ranjit Jhala, and Ritankar Majumdar. “The BLAST Query Language for Software Verification,” 3148:2–18. Springer, 2004. https://doi.org/10.1007/978-3-540-27864-1_2.
View | DOI
 

2004 | Conference Paper | IST-REx-ID: 4581
Beyer, Dirk, Adam Chlipala, Thomas A Henzinger, Ranjit Jhala, and Ritankar Majumdar. “Generating Tests from Counterexamples,” 326–35. IEEE, 2004. https://doi.org/10.1109/ICSE.2004.1317455.
View | DOI
 

2004 | Conference Paper | IST-REx-ID: 4629
De Alfaro, Luca, Marco Faella, Thomas A Henzinger, Ritankar Majumdar, and Mariëlle Stoelinga. “Model Checking Discounted Temporal Properties,” 2988:77–92. Springer, 2004. https://doi.org/10.1007/978-3-540-24730-2_6.
View | DOI
 

2004 | Journal Article | IST-REx-ID: 6155
Cheung, Benny H.H, Fausto Arellano-Carbajal, Irene Rybicki, and Mario de Bono. “Soluble Guanylate Cyclases Act in Neurons Exposed to the Body Fluid to Promote C. Elegans Aggregation Behavior.” Current Biology 14, no. 12 (2004): 1105–11. https://doi.org/10.1016/j.cub.2004.06.027.
View | DOI | PubMed | Europe PMC
 

2004 | Book Review | IST-REx-ID: 2636
Momiyama, Akiko, and Ryuichi Shigemoto. “Function and Distribution of Glutamate Receptors in the Central Synapses.” Tanpakushitsu Kakusan Koso Protein Nucleic Acid Enzyme. Kyoritsu Shuppan, 2004.
View
 

2004 | Journal Article | IST-REx-ID: 2638
Kulik, Ákos, Kazuhiko Nakadate, Akari Hagiwara, Yugo Fukazawa, Rafael Luján, Hiromitsu Saito, Noboru Suzuki, et al. “Immunocytochemical Localization of the Α1A Subunit of the P/Q-Type Calcium Channel in the Rat Cerebellum.” European Journal of Neuroscience 19, no. 8 (2004): 2169–78. https://doi.org/10.1111/j.0953-816X.2004.03319.x.
View | DOI
 

2004 | Journal Article | IST-REx-ID: 2639
Somogyi, Jozsef, Agnès Baude, Yuko Omori, Hidemi Shimizu, Salah El Mestikawy, Masahiro Fukaya, Ryuichi Shigemoto, Masahiko Watanabe, and Péter Somogyi. “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, no. 3 (2004): 552–69. https://doi.org/10.1111/j.0953-816X.2003.03091.x.
View | DOI
 

2004 | Journal Article | IST-REx-ID: 2640
Notomi, Takuya, and Ryuichi Shigemoto. “Immunohistochemical Localization of Ih Channel Subunits, HCN1-4, in the Rat Brain.” Journal of Comparative Neurology 471, no. 3 (2004): 241–76. https://doi.org/10.1002/cne.11039.
View | DOI
 

2004 | Journal Article | IST-REx-ID: 2641
Kang, Youngnam, Takuya Notomi, Mitsuru Saito, Wei Zhang, and Ryuichi Shigemoto. “Bidirectional Interactions between H-Channels and Na+-K + Pumps in Mesencephalic Trigeminal Neurons.” Journal of Neuroscience 24, no. 14 (2004): 3694–3702. https://doi.org/10.1523/JNEUROSCI.5641-03.2004.
View | DOI
 

2004 | Journal Article | IST-REx-ID: 2642
Ferraguti, Francesco, Philip Cobden, Marie Pollard, David Cope, Ryuichi Shigemoto, Masahiko Watanabe, and Péter Somogyi. “Immunolocalization of Metabotropic Glutamate Receptor 1α (MGluR1α) in Distinct Classes of Interneuron in the CA1 Region of the Rat Hippocampus.” Hippocampus 14, no. 2 (2004): 193–215. https://doi.org/10.1002/hipo.10163.
View | DOI
 

2004 | Journal Article | IST-REx-ID: 2643
Luján, Rafael, Ryuichi Shigemoto, Ákos Kulik, and José Juíz. “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, no. 1 (2004): 36–46. https://doi.org/10.1002/cne.20160.
View | DOI
 

2004 | Journal Article | IST-REx-ID: 2644
Kogo, Naoki, Yannis Dalezios, Marco Capogna, Francesco Ferraguti, Ryuichi Shigemoto, and Péter Somogyi. “Depression of GABAergic Input to Identified Hippocampal Neurons by Group III Metabotropic Glutamate Receptors in the Rat.” European Journal of Neuroscience 19, no. 10 (2004): 2727–40. https://doi.org/10.1111/j.0953-816X.2004.03394.x.
View | DOI
 

Search

Filter Publications