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.

5893 Publications


2004 | Journal Article | IST-REx-ID: 3929
Witte V, Laffert B, Rosorius O, et al. HIV-1 Nef mimics an integrin receptor signal that recruits the polycomb group protein Eed to the plasma membrane. Molecular Cell. 2004;13(2):179-190. doi:10.1016/S1097-2765(04)00004-8
View | DOI
 

2004 | Journal Article | IST-REx-ID: 3931
Zhang H, Baader S, Sixt MK, Kappler J, Rauch U. Neurocan-GFP fusion protein: a new approach to detect hyaluronan on tissue sections and living cells. Journal of Histochemistry and Cytochemistry. 2004;52(7):915-922. doi:10.1369/jhc.3A6221.2004
View | DOI
 

2004 | Journal Article | IST-REx-ID: 3984
Bremer P, Edelsbrunner H, Hamann B, Pascucci V. A topological hierarchy for functions on triangulated surfaces. IEEE Transactions on Visualization and Computer Graphics. 2004;10(4):385-396. doi: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. Loops in Reeb graphs of 2-manifolds. Discrete & Computational Geometry. 2004;32(2):231-244. doi:10.1007/s00454-004-1122-6
View | DOI
 

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

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

2004 | Conference Paper | IST-REx-ID: 3988
Choi V, Agarwal P, Edelsbrunner H, Rudolph J. Local search heuristic for rigid protein docking. In: Vol 3240. Springer; 2004:218-229. doi: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. Local and global comparison of continuous functions. In: IEEE; 2004:275-280. doi:10.1109/VISUAL.2004.68
View | DOI
 

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

2004 | Journal Article | IST-REx-ID: 4172
Montero J, Heisenberg C. Gastrulation dynamics: cells move into focus. Trends in Cell Biology. 2004;14(11):620-627. doi:10.1016/j.tcb.2004.09.008
View | DOI
 

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

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

2004 | Thesis | IST-REx-ID: 4236
De Vladar H. Métodos No Lineales y Sus Aplicaciones En Dinámicas Aleatorias de Poblaciones Celulares. Centro de estudios avazados, IVIC; 2004. doi:3810
View | DOI
 

2004 | Journal Article | IST-REx-ID: 4238
De Vladar H, González J. Dynamic response of cancer under the influence of immunological activity and therapy. Journal of Theoretical Biology. 2004;227(3):335-348. doi:3801
View | DOI
 

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

2004 | Journal Article | IST-REx-ID: 4253
Barton NH, Etheridge A, Sturm A. Coalescence in a Random Background. Annals of Applied Probability. 2004;14(2):754-785.
View | Download (ext.)
 

2004 | Conference Paper | IST-REx-ID: 4372
Maler O, Nickovic D. Monitoring Temporal Properties of Continuous Signals. In: Springer; 2004:152-166. doi:1572
View | DOI
 

2004 | Thesis | IST-REx-ID: 4424
Jhala R. Program Verification by Lazy Abstraction. University of California, Berkeley; 2004:1-165.
View
 

2004 | Conference Paper | IST-REx-ID: 4445
Henzinger TA, Kirsch C. A typed assembly language for real-time programs. In: ACM; 2004:104-113. doi:10.1145/1017753.1017774
View | DOI
 

2004 | Conference Paper | IST-REx-ID: 4458
Henzinger TA, Jhala R, Majumdar R, Mcmillan K. Abstractions from proofs. In: ACM; 2004:232-244. doi:10.1145/964001.964021
View | DOI
 

2004 | Conference Paper | IST-REx-ID: 4459
Henzinger TA, Jhala R, Majumdar R. Race checking by context inference. In: ACM; 2004:1-13. doi:10.1145/996841.996844
View | DOI
 

2004 | Book Chapter | IST-REx-ID: 4461
Henzinger TA, Jhala R, Majumdar R, Sanvido M. Extreme model checking. In: Verification: Theory and Practice. Vol 2772. Springer; 2004:332-358. doi:10.1007/978-3-540-39910-0_16
View | DOI
 

2004 | Conference Paper | IST-REx-ID: 4525
Ghosal A, Henzinger TA, Kirsch C, Sanvido M. Event-driven programming with logical execution times. In: Vol 2993. Springer; 2004:167-170. doi:10.1007/978-3-540-24743-2_24
View | DOI
 

2004 | Conference Paper | IST-REx-ID: 4555
Chatterjee K, De Alfaro L, Henzinger TA. Trading memory for randomness. In: IEEE; 2004:206-217. doi:10.1109/QEST.2004.10051
View | DOI
 

2004 | Journal Article | IST-REx-ID: 4556
Chatterjee K, Ma D, Majumdar R, Zhao T, Henzinger TA, Palsberg J. Stack size analysis for interrupt-driven programs. Information and Computation. 2004;194(2):144-174. doi:10.1016/j.ic.2004.06.001
View | DOI
 

2004 | Conference Paper | IST-REx-ID: 4558
Chatterjee K, Jurdziński M, Henzinger TA. Quantitative stochastic parity games. In: SIAM; 2004:121-130.
View
 

2004 | Conference Paper | IST-REx-ID: 4577
Beyer D, Henzinger TA, Jhala R, Majumdar R. An eclipse plug-in for model checking. In: IEEE; 2004:251-255. doi:10.1109/WPC.2004.1311069 
View | DOI
 

2004 | Conference Paper | IST-REx-ID: 4578
Beyer D, Chlipala A, Henzinger TA, Jhala R, Majumdar R. The BLAST query language for software verification. In: Vol 3148. Springer; 2004:2-18. doi:10.1007/978-3-540-27864-1_2
View | DOI
 

2004 | Conference Paper | IST-REx-ID: 4581
Beyer D, Chlipala A, Henzinger TA, Jhala R, Majumdar R. Generating tests from counterexamples. In: IEEE; 2004:326-335. doi:10.1109/ICSE.2004.1317455
View | DOI
 

2004 | Conference Paper | IST-REx-ID: 4629
De Alfaro L, Faella M, Henzinger TA, Majumdar R, Stoelinga M. Model checking discounted temporal properties. In: Vol 2988. Springer; 2004:77-92. doi:10.1007/978-3-540-24730-2_6
View | DOI
 

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

2004 | Book Review | IST-REx-ID: 2636
Momiyama A, Shigemoto R. Function and distribution of glutamate receptors in the central synapses. Tanpakushitsu kakusan koso Protein nucleic acid enzyme. 2004;49(3 Suppl):287-294.
View
 

2004 | Journal Article | IST-REx-ID: 2638
Kulik Á, Nakadate K, Hagiwara A, et al. Immunocytochemical localization of the α1A subunit of the P/Q-type calcium channel in the rat cerebellum. European Journal of Neuroscience. 2004;19(8):2169-2178. doi:10.1111/j.0953-816X.2004.03319.x
View | DOI
 

2004 | Journal Article | IST-REx-ID: 2639
Somogyi J, Baude A, Omori Y, et al. 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. 2004;19(3):552-569. doi:10.1111/j.0953-816X.2003.03091.x
View | DOI
 

2004 | Journal Article | IST-REx-ID: 2640
Notomi T, Shigemoto R. Immunohistochemical localization of Ih channel subunits, HCN1-4, in the rat brain. Journal of Comparative Neurology. 2004;471(3):241-276. doi:10.1002/cne.11039
View | DOI
 

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

2004 | Journal Article | IST-REx-ID: 2642
Ferraguti F, Cobden P, Pollard M, et al. Immunolocalization of metabotropic glutamate receptor 1α (mGluR1α) in distinct classes of interneuron in the CA1 region of the rat hippocampus. Hippocampus. 2004;14(2):193-215. doi:10.1002/hipo.10163
View | DOI
 

2004 | Journal Article | IST-REx-ID: 2643
Luján R, Shigemoto R, Kulik Á, Juíz J. Localization of the GABAB receptor 1a/b subunit relative to glutamatergic synapses in the dorsal cochlear nucleus of the rat. Journal of Comparative Neurology. 2004;475(1):36-46. doi: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. Depression of GABAergic input to identified hippocampal neurons by group III metabotropic glutamate receptors in the rat. European Journal of Neuroscience. 2004;19(10):2727-2740. doi: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. HCN2 and HCN1 channels govern the regularity of autonomous pacemaking and synaptic resetting in globus pallidus neurons. Journal of Neuroscience. 2004;24(44):9921-9932. doi: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. Distribution of metabotropic GABA receptor subunits GABAB1a/b and GABAB2 in the rat hippocampus during prenatal and postnatal development. Hippocampus. 2004;14(7):836-848. doi:10.1002/hipo.10221
View | DOI
 

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

2004 | Journal Article | IST-REx-ID: 2707
Erdös L, Salmhofer M, Yau H. On the quantum Boltzmann equation. Journal of Statistical Physics. 2004;116(1-4):367-380. doi:10.1023/B:JOSS.0000037224.56191.ed
View | DOI
 

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

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

2004 | Journal Article | IST-REx-ID: 2786
Hof B, Van Doorne C, Westerweel J, et al. Experimental observation of nonlinear traveling waves in turbulent pipe flow. Science. 2004;305(5690):1594-1598. doi: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. On the onset of oscillatory convection in molten gallium. Journal of Fluid Mechanics. 2004;515:391-413. doi:10.1017/S0022112004000527
View | DOI
 

2004 | Journal Article | IST-REx-ID: 2997
Friml J, Yang X, Michniewicz M, et al. A PINOID-dependent binary switch in apical-basal PIN polar targeting directs auxin efflux. Science. 2004;306(5697):862-865. doi: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. The chromatin remodelling complex FACT associates with actively transcribed regions of the Arabidopsis genome. Plant Journal. 2004;40(5):660-671. doi:10.1111/j.1365-313X.2004.02242.x
View | DOI
 

2004 | Journal Article | IST-REx-ID: 2999
Sauer M, Friml J. In vitro culture of Arabidopsis embryos within their ovules. Plant Journal. 2004;40(5):835-843. doi:10.1111/j.1365-313X.2004.02248.x
View | DOI
 

Search

Filter Publications