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.

6311 Publications


2006 | Conference Paper | IST-REx-ID: 4374
Maler O, Nickovic D, Pnueli A. From MITL to Timed Automata. In: Springer; 2006:274-289. doi:1570
View | DOI
 

2006 | Conference Paper | IST-REx-ID: 4401
Alur R, Cerny P, Zdancewic S. Preserving Secrecy Under Refinement. In: Springer; 2006:107-118. doi:1543
View | DOI
 

2006 | Conference Paper | IST-REx-ID: 4406
De Wulf M, Doyen L, Henzinger TA, Raskin J. Antichains: A new algorithm for checking universality of finite automata. In: Vol 4144. Springer; 2006:17-30. doi:10.1007/11817963_5
View | DOI
 

2006 | Conference Paper | IST-REx-ID: 4431
Henzinger TA, Sifakis J. The embedded systems design challenge. In: Vol 4085. Springer; 2006:1-15. doi:10.1007/11813040_1
View | DOI
 

2006 | Conference Paper | IST-REx-ID: 4432
Henzinger TA, Prabhu V. Timed alternating-time temporal logic. In: Vol 4202. Springer; 2006:1-17. doi:10.1007/11867340_1
View | DOI
 

2006 | Conference Paper | IST-REx-ID: 4436
Henzinger TA, Matic S. An interface algebra for real-time components. In: IEEE; 2006:253-266. doi:10.1109/RTAS.2006.11
View | DOI
 

2006 | Conference Paper | IST-REx-ID: 4437
Henzinger TA, Piterman N. Solving games without determinization. In: Vol 4207. Springer; 2006:395-410. doi:10.1007/11874683_26
View | DOI
 

2006 | Journal Article | IST-REx-ID: 4451
Henzinger TA, Kupferman O, Majumdar R. On the universal and existential fragments of the mu-calculus. Theoretical Computer Science. 2006;354(2):173-186. doi:10.1016/j.tcs.2005.11.015
View | DOI
 

2006 | Conference Paper | IST-REx-ID: 4523
Gulavani B, Henzinger TA, Kannan Y, Nori A, Rajamani S. Synergy: A new algorithm for property checking. In: ACM; 2006:117-127. doi:10.1145/1181775.1181790
View | DOI
 

2006 | Conference Paper | IST-REx-ID: 4526
Ghosal A, Henzinger TA, Iercan D, Kirsch C, Sangiovanni Vincentelli A. A hierarchical coordination language for interacting real-time tasks. In: ACM; 2006:132-141. doi:10.1145/1176887.1176907
View | DOI
 

2006 | Conference Paper | IST-REx-ID: 4528
Fisher J, Henzinger TA. Executable biology. In: IEEE; 2006:1675-1682. doi:10.1109/WSC.2006.322942
View | DOI
 

2006 | Conference Paper | IST-REx-ID: 4538
Chatterjee K, Henzinger TA. Strategy improvement and randomized subexponential algorithms for stochastic parity games. In: Vol 3884. Springer; 2006:512-523. doi:10.1007/11672142_42
View | DOI
 

2006 | Conference Paper | IST-REx-ID: 4539
Chatterjee K, Henzinger TA. Finitary winning in omega-regular games. In: Vol 3920. Springer; 2006:257-271. doi:10.1007/11691372_17
View | DOI
 

2006 | Conference Paper | IST-REx-ID: 4549
Chatterjee K, De Alfaro L, Faella M, Henzinger TA, Majumdar R, Stoelinga M. Compositional quantitative reasoning. In: IEEE; 2006:179-188. doi:10.1109/QEST.2006.11
View | DOI
 

2006 | Journal Article | IST-REx-ID: 4550
Chatterjee K, Henzinger TA, Jurdziński M. Games with secure equilibria. Theoretical Computer Science. 2006;365(1-2):67-82. doi:10.1016/j.tcs.2006.07.032
View | DOI
 

2006 | Conference Paper | IST-REx-ID: 4551
Chatterjee K, Majumdar R, Henzinger TA. Markov decision processes with multiple objectives. In: Vol 3884. Springer; 2006:325-336. doi:10.1007/11672142_26
View | DOI
 

2006 | Conference Paper | IST-REx-ID: 4552
Chatterjee K, De Alfaro L, Henzinger TA. Strategy improvement for concurrent reachability games. In: IEEE; 2006:291-300. doi:10.1109/QEST.2006.48
View | DOI
 

2006 | Conference Paper | IST-REx-ID: 4574
Beyer D, Henzinger TA, Théoduloz G. Lazy shape analysis. In: Vol 4144. Springer; 2006:532-546. doi:10.1007/11817963_48
View | DOI
 

2006 | Book Chapter | IST-REx-ID: 3002
Sauer M, Friml J. In vitro culture of Arabidopsis embryos. In: Mujib A, Šamaj J, eds. Somatic Embryogenesis. Vol 2. Springer; 2006:343-354. doi:10.1007/7089_020
View | DOI
 

2006 | Journal Article | IST-REx-ID: 3005
Friml J, Benfey P, Benková E, et al. Apical-basal polarity: Why plant cells don’t stand on their heads. Trends in Plant Science. 2006;11(1):12-14. doi:10.1016/j.tplants.2005.11.010
View | DOI
 

2006 | Journal Article | IST-REx-ID: 3006
Dhonukshe P, Baluška F, Schlicht M, et al. Endocytosis of cell surface material mediates cell plate formation during plant cytokinesis. Developmental Cell. 2006;10(1):137-150. doi:10.1016/j.devcel.2005.11.015
View | DOI
 

2006 | Journal Article | IST-REx-ID: 3007
Abas L, Benjamins R, Malenica N, et al. Intracellular trafficking and proteolysis of the Arabidopsis auxin-efflux facilitator PIN2 are involved in root gravitropism. Nature Cell Biology. 2006;8(3):249-256. doi:10.1038/ncb1369
View | DOI
 

2006 | Journal Article | IST-REx-ID: 3008
Xu J, Hofhuis H, Heidstra R, Sauer M, Friml J, Scheres B. A molecular framework for plant regeneration. Science. 2006;311(5759):385-388. doi:10.1126/science.1121790
View | DOI
 

2006 | Journal Article | IST-REx-ID: 3009 | OA
Paciorek T, Friml J. Auxin signaling. Journal of Cell Science. 2006;119(7):1199-1202. doi:10.1242/jcs.02910
View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2006 | Journal Article | IST-REx-ID: 3010
Scarpella E, Marcos D, Friml J, Berleth T. Control of leaf vascular patterning by polar auxin transport. Genes and Development. 2006;20(8):1015-1027. doi:10.1101/gad.1402406
View | DOI
 

2006 | Journal Article | IST-REx-ID: 3011
Wiśniewska J, Xu J, Seifertová D, et al. Polar PIN localization directs auxin flow in plants. Science. 2006;312(5775). doi:10.1126/science.1121356
View | DOI
 

2006 | Journal Article | IST-REx-ID: 3012
Petrášek J, Mravec J, Bouchard R, Blakeslee J, Abas MF, Seifertová D, Wiśniewska J, Tadele Z, Kubeš M, Čovanová M, Dhonukshe P, Skůpa P, Benková E, Perry L, Křeček P, Lee O, Fink G, Geisler M, Murphy A, Luschnig C, Zažímalová E, Friml J. 2006. PIN proteins perform a rate-limiting function in cellular auxin efflux. Science. 312(5775), 914–918.
View | DOI
 

2006 | Journal Article | IST-REx-ID: 3013
Paciorek T, Sauer M, Balla J, Wiśniewska J, Friml J. Immunocytochemical technique for protein localization in sections of plant tissues. Nature Protocols. 2006;1(1):104-107. doi:10.1038/nprot.2006.16
View | DOI
 

2006 | Journal Article | IST-REx-ID: 3014
Brewer P, Heisler M, Hejátko J, Friml J, Benková E. In situ hybridization for mRNA detection in Arabidopsis tissue sections. Nature Protocols. 2006;1(3):1462-1467. doi:10.1038/nprot.2006.226
View | DOI
 

2006 | Journal Article | IST-REx-ID: 3015
Sauer M, Paciorek T, Benková E, Friml J. Immunocytochemical techniques for whole mount in situ protein localization in plants. Nature Protocols. 2006;1(1):98-103. doi:10.1038/nprot.2006.15
View | DOI
 

2006 | Journal Article | IST-REx-ID: 3016
Sauer M, Balla J, Luschnig C, et al. Canalization of auxin flow by Aux/IAA-ARF-dependent feedback regulation of PIN polarity. Genes and Development. 2006;20(20):2902-2911. doi:10.1101/gad.390806
View | DOI
 

2006 | Journal Article | IST-REx-ID: 3017
Tanaka H, Dhonukshe P, Brewer P, Friml J. Spatiotemporal asymmetric auxin distribution: A means to coordinate plant development. Cellular and Molecular Life Sciences. 2006;63(23):2738-2754. doi:10.1007/s00018-006-6116-5
View | DOI
 

2006 | Journal Article | IST-REx-ID: 3018
Kleine Vehn J, Dhonukshe P, Swarup R, Bennett M, Friml J. Subcellular trafficking of the Arabidopsis auxin influx carrier AUX1 uses a novel pathway distinct from PIN1. Plant Cell. 2006;18(11):3171-3181. doi:10.1105/tpc.106.042770
View | DOI
 

2006 | Journal Article | IST-REx-ID: 3020
Hejátko J, Blilou I, Brewer P, Friml J, Scheres B, Benková E. In situ hybridization technique for mRNA detection in whole mount Arabidopsis samples. Nature Protocols. 2006;1(4):1939-1946. doi:10.1038/nprot.2006.333
View | DOI
 

2006 | Journal Article | IST-REx-ID: 3152
Kunwar P, Siekhaus DE, Lehmann R. In vivo migration A germ cell perspective. Annual Review of Cell and Developmental Biology. 2006;22:237-265. doi:10.1146/annurev.cellbio.22.010305.103337
View | DOI
 

2006 | Conference Paper | IST-REx-ID: 3180
Szeliski R, Zabih R, Scharstein D, et al. A comparative study of energy minimization methods for Markov random fields. In: Vol 3952. Springer; 2006:16-29. doi:10.1007/11744047_2
View | DOI | Download (ext.)
 

2006 | Conference Paper | IST-REx-ID: 3184
Kolmogorov V, Rother C. Comparison of energy minimization algorithms for highly connected graphs. In: Vol 3952 LNCS. Springer; 2006:1-15. doi:10.1007/11744047_1
View | DOI | Download (ext.)
 

2006 | Journal Article | IST-REx-ID: 3185
Kolmogorov V, Criminisi A, Blake A, Cross G, Rother C. Probabilistic fusion of stereo with color and contrast for bilayer segmentation. IEEE Transactions on Pattern Analysis and Machine Intelligence. 2006;28(9):1480-1492. doi:10.1109/TPAMI.2006.193
View | DOI | Download (ext.)
 

2006 | Conference Paper | IST-REx-ID: 3186
Boykov Y, Kolmogorov V, Cremers D, Delong A. An integral solution to surface evolution PDEs via geo cuts. In: Vol 3953. Springer; 2006:409-422. doi:10.1007/11744078_32
View | DOI
 

2006 | Conference Paper | IST-REx-ID: 3188
Rother C, Kolmogorov V, Minka T, Blake A. Cosegmentation of image pairs by histogram matching - Incorporating a global constraint into MRFs. In: IEEE; 2006:993-1000. doi:10.1109/CVPR.2006.91
View | DOI
 

2006 | Conference Paper | IST-REx-ID: 3189
Criminisi A, Cross G, Blake A, Kolmogorov V. Bilayer segmentation of live video. In: Vol 1. IEEE; 2006:53-60. doi:10.1109/CVPR.2006.69
View | DOI | Download (ext.)
 

2006 | Journal Article | IST-REx-ID: 3190
Kolmogorov V. Convergent tree reweighted message passing for energy minimization. IEEE Transactions on Pattern Analysis and Machine Intelligence. 2006;28(10):1568-1583. doi:10.1109/TPAMI.2006.200
View | DOI | Download (ext.)
 

2006 | Conference Paper | IST-REx-ID: 3214
Maurer U, Oswald Y, Pietrzak KZ, Sjödin J. Luby Rackoff ciphers from weak round functions . In: Vol 4004. Springer; 2006:391-408. doi:10.1007/11761679_24
View | DOI
 

2006 | Conference Paper | IST-REx-ID: 3215
Dodis Y, Pietrzak KZ, Przydatek B. Separating sources for encryption and secret sharing. In: Vol 3876. Springer; 2006:601-616. doi:10.1007/11681878_31
View | DOI
 

2006 | Conference Paper | IST-REx-ID: 3216
Pietrzak KZ. A tight bound for EMAC. In: Vol 4052. Springer; 2006:168-179. doi:10.1007/11787006_15
View | DOI
 

2006 | Conference Paper | IST-REx-ID: 3217
Pietrzak KZ. Composition implies adaptive security in minicrypt. In: Vol 4004. Springer; 2006:328-338. doi:10.1007/11761679_20
View | DOI
 

2006 | Book Chapter | IST-REx-ID: 3404
Janovjak HL, Sawhney R, Stark M, Mueller D. Atomic force microscopy. In: Techniques in Microscopy for Biomedical Applications. Vol 2. World Scientific Publishing; 2006:213-284.
View
 

2006 | Journal Article | IST-REx-ID: 3413
Kessler M, Gottschalk K, Janovjak HL, Mueller D, Gaub H. Bacteriorhodopsin folds into the membrane against an external force. Journal of Molecular Biology. 2006;357(2):644-654. doi:10.1016/j.jmb.2005.12.065
View | DOI
 

2006 | Journal Article | IST-REx-ID: 3414
Kedrov A, Janovjak HL, Ziegler C, Kühlbrandt W, Mueller D. Observing folding pathways and kinetics of a single sodium-proton antiporter from Escherichia coli. Journal of Molecular Biology. 2006;355(1):2-8. doi:10.1016/j.jmb.2005.10.028
View | DOI
 

2006 | Book Review | IST-REx-ID: 3415
Janovjak HL, Kedrov A, Cisneros D, Sapra T, Struckmeier J, Mueller D. Imaging and detecting molecular interactions of single membrane proteins. Neurobiology of Aging. 2006;27:546-561. doi:10.1016/j.neurobiolaging.2005.03.031
View | DOI
 

2006 | Preprint | IST-REx-ID: 3431 | OA
Tkačik G, Schneidman E, Berry M, Bialek W. Ising models for networks of real neurons. ArXiv. 2006:1-4.
View | Download (ext.)
 

2006 | Journal Article | IST-REx-ID: 3437
Betancourt A, Bollback JP. Fitness effects of beneficial mutations: the mutational landscape model in experimental evolution. Current Opinion in Genetics & Development. 2006;16(6):618-623. doi:10.1016/j.gde.2006.10.006
View | DOI
 

2006 | Conference Paper | IST-REx-ID: 3449
Chatterjee K, Jagadeesan R, Pitcher C. Games for controls. In: IEEE; 2006:70-82. doi:10.1109/CSFW.2006.14
View | DOI
 

2006 | Book Review | IST-REx-ID: 3463
Bischofberger J, Engel D, Frotscher M, Jonas PM. Timing and efficacy of transmitter release at mossy fiber synapses in the hippocampal network. (Review). Pflugers Archiv : European Journal of Physiology. 2006;453(3):361-372. doi:10.1007/s00424-006-0093-2
View | DOI
 

2006 | Conference Paper | IST-REx-ID: 3499
Chatterjee K. Nash equilibrium for upward-closed objectives. In: Vol 4207. Springer; 2006:271-286. doi:10.1007/11874683_18
View | DOI
 

2006 | Conference Paper | IST-REx-ID: 3500
Chatterjee K, Henzinger TA, Piterman N. Algorithms for Büchi Games. In: ACM; 2006.
View | Download (ext.)
 

2006 | Patent | IST-REx-ID: 3510
Edelsbrunner H, Fu P, Nekhayev D, Facello M, Williams S. Method, apparatus and computer program products for automatically generating NURBS models of triangulated surfaces using homeomorphism. 2006. doi:US 6,996,505 B1
View | DOI | Download (ext.)
 

2006 | Patent | IST-REx-ID: 3511
Fu P, Nekhayev D, Edelsbrunner H. Manufacturing methods and systems for rapid production of hearing-aid shells. 2006. doi:US 7,050,876 B1
View | DOI | Download (ext.)
 

2006 | Patent | IST-REx-ID: 3512
Fletcher Y, Gloth T, Edelsbrunner H, Fu P. Method, apparatus and computer products that reconstruct surfaces from data points. 2006. doi:US 7,023,432 B2
View | DOI | Download (ext.)
 

2006 | Journal Article | IST-REx-ID: 3522
O’Neill J, Senior T, Csicsvari JL. Place-selective firing of CA1 pyramidal cells during sharp wave/ripple network patterns in exploratory behavior. Neuron. 2006;49(1):143-155. doi:10.1016/j.neuron.2005.10.037
View | DOI
 

2006 | Journal Article | IST-REx-ID: 3545
Magill P, Pogosyan A, Sharott A, Csicsvari JL, Bolam J, Brown P. Changes in functional connectivity within the rat striatopallidal axis during global brain activation in vivo. Journal of Neuroscience. 2006;26(23):6318-6329. doi:10.1523/​JNEUROSCI.0620-06.2006
View | DOI
 

2006 | Conference Paper | IST-REx-ID: 3559
Cohen Steiner D, Edelsbrunner H, Morozov D. Vines and vineyards by updating persistence in linear time. In: ACM; 2006:119-126. doi:10.1145/1137856.1137877
View | DOI
 

2006 | Conference Paper | IST-REx-ID: 3560
Edelsbrunner H, Morozov D, Pascucci V. Persistence-sensitive simplification of functions on 2-manifolds. In: ACM; 2006:127-134. doi:10.1145/1137856.1137878
View | DOI | Download (ext.)
 

2006 | Book Review | IST-REx-ID: 3594
Pemberton J, Swanson G, Barton NH, Livingstone S, Senn H. Hybridisation between red and sika deer in Scotland. Deer. 2006;13(9):22-26.
View
 

2006 | Journal Article | IST-REx-ID: 3607
Turelli M, Barton NH. Will population bottlenecks and multilocus epistasis increase additive genetic variance? Evolution; International Journal of Organic Evolution. 2006;60(9):1763-1776. doi:10.1111/j.0014-3820.2006.tb00521.x
View | DOI
 

2006 | Journal Article | IST-REx-ID: 3608
Kirkpatrick M, Barton NH. Chromosome inversions, local adaptation, and speciation. Genetics. 2006;173(1):419-434. doi:10.1534/genetics.105.047985
View | DOI
 

2006 | Journal Article | IST-REx-ID: 3609
Yanchukov A, Hofman S, Szymura J, et al. Hybridization of Bombina bombina and B. variegata (Anura, Discoglossidae) at a sharp ecotone in western Ukraine: comparisons across transects and over time. Evolution; International Journal of Organic Evolution. 2006;60(3):583-600. doi:10.1111/j.0014-3820.2006.tb01139.x
View | DOI
 

2006 | Journal Article | IST-REx-ID: 3610
Hill W, Barton NH, Turelli M. Prediction of effects of genetic drift on variance components under a general model of epistasis. Theoretical Population Biology. 2006;70(1):56-62. doi:10.1016/j.tpb.2005.10.001
View | DOI
 

2006 | Conference Paper | IST-REx-ID: 3677
Ulges A, Lampert C, Keysers D. Spatiogram-based shot distances for video retrieval. In: NIST (National Institute of Standards and Technology, US Department of Commerce); 2006:1-10.
View | Download (ext.)
 

2006 | Conference Paper | IST-REx-ID: 3679
Ali H, Lampert C, Breuel T. Satellite tracks removal in astronomical images. In: Vol 4225. Springer; 2006:892-901. doi:10.1007/11892755_92
View | DOI | Download (ext.)
 

2006 | Conference Paper | IST-REx-ID: 3680
Lampert C, Mei L, Breuel T. Printing technique classification for document counterfeit detection. In: Vol 1. IEEE; 2006:639-634. doi:10.1109/ICCIAS.2006.294214
View | DOI | Download (ext.)
 

2006 | Conference Paper | IST-REx-ID: 3683
Lampert C, Breuel T. Objective quality measurement for geometric document image restoration. In: Springer; 2006.
View | Download (ext.)
 

2006 | Conference Paper | IST-REx-ID: 3685
Lampert C. Machine learning for video compression: Macroblock mode decision. In: IEEE; 2006:936-940. doi:10.1109/ICPR.2006.778
View | DOI
 

2006 | Conference Paper | IST-REx-ID: 3692
Keysers D, Lampert C, Breuel T. Color image dequantization by constrained diffusion. In: Vol 6058. SPIE; 2006. doi:10.1117/12.648713
View | DOI
 

2006 | Conference Paper | IST-REx-ID: 3693
Lampert C, Wirjadi O. Anisotropic Gaussian filtering using fixed point arithmetic. In: IEEE; 2006:1565-1568. doi:10.1109/ICIP.2006.312606
View | DOI
 

2006 | Journal Article | IST-REx-ID: 3695 | OA
Lampert C, Wirjadi O. An optimal non-orthogonal separation of the anisotropic Gaussian convolution filter. IEEE Transactions on Image Processing (TIP). 2006;15(11):3501-3513. doi: 10.1109/TIP.2006.877501
View | DOI | Download (ext.)
 

2005 | Journal Article | IST-REx-ID: 2307
Schwartz J, Novarino G, Piston D, Defelice L. Substrate binding stoichiometry and kinetics of the norepinephrine transporter. Journal of Biological Chemistry. 2005;280(19):19177-19184. doi:10.1074/jbc.M412923200
View | DOI
 

2005 | Book | IST-REx-ID: 2335 | OA
Lieb É, Seiringer R, Solovej J, Yngvason J. The Mathematics of the Bose Gas and Its Condensation. Vol 34. Birkhäuser; 2005.
View | Download (ext.)
 

2005 | Book Chapter | IST-REx-ID: 2336 | OA
Lieb É, Seiringer R, Solovej J, Yngvason J. The quantum-mechanical many-body problem: The Bose gas. In: Benedicks M, Jones P, Smirnov S, Winckler B, eds. Perspectives in Analysis. Vol 27. Springer; 2005:97-183. doi:10.1007/3-540-30434-7_9
View | DOI | Download (ext.)
 

2005 | Journal Article | IST-REx-ID: 2359 | OA
Lieb É, Seiringer R, Yngvason J. Justification of c-number substitutions in bosonic hamiltonians. Physical Review Letters. 2005;94(8). doi:10.1103/PhysRevLett.94.080401
View | DOI | Download (ext.)
 

2005 | Journal Article | IST-REx-ID: 2361 | OA
Lieb É, Seiringer R. Stronger subadditivity of entropy. Physical Review A - Atomic, Molecular, and Optical Physics. 2005;71(6). doi:10.1103/PhysRevA.71.062329
View | DOI | Download (ext.)
 

2005 | Journal Article | IST-REx-ID: 2362 | OA
Lieb É, Seiringer R, Solovej J. Ground state energy of the low density Fermi gas. Physical Review A - Atomic, Molecular, and Optical Physics. 2005;71(5). doi:10.1103/PhysRevA.71.053605
View | DOI | Download (ext.)
 

2005 | Journal Article | IST-REx-ID: 2427
Ambühl C, Wagner U. The Clique problem in intersection graphs of ellipses and triangles. Theory of Computing Systems. 2005;38(3):279-292. doi:10.1007/s00224-005-1141-6
View | DOI
 

2005 | Conference Paper | IST-REx-ID: 2428
Fiat A, Levy M, Matoušek J, et al. Online conflict-free coloring for intervals. In: SIAM; 2005:545-554. doi:10.1137/S0097539704446682
View | DOI
 

2005 | Journal Article | IST-REx-ID: 2455
Billou I, Xu J, Wildwater M, et al. The PIN auxin efflux facilitator network controls growth and patterning in Arabidopsis roots. Nature. 2005;433(7021):39-44. doi:10.1038/nature03184
View | DOI
 

2005 | Book Chapter | IST-REx-ID: 2463
Dubová J, Hejátko J, Friml J. Reproduction, plants. In: Meyers R, ed. Encyclopedia of Molecular Cell Biology and Molecular Medicine. Vol 12. Wiley-Blackwell; 2005:249-295. doi:10.1002/3527600906
View | DOI
 

2005 | Book Chapter | IST-REx-ID: 2464
Friml J, Wiśniewska J. Auxin as an intercellular signal. In: Fleming A, ed. Intercellular Communication in Plants. Vol 16. Wiley-Blackwell; 2005.
View
 

2005 | Book Review | IST-REx-ID: 2647
Luján R, Shigemoto R, López Bendito G. Glutamate and GABA receptor signalling in the developing brain. Neuroscience. 2005;130(3):567-580. doi:10.1016/j.neuroscience.2004.09.042
View | DOI
 

2005 | Journal Article | IST-REx-ID: 2648
Luján R, Albasanz J, Shigemoto R, Juíz J. Preferential localization of the hyperpolarization-activated cyclic nucleotide-gated cation channel subunit HCN1 in basket cell terminals of the rat cerebellum. European Journal of Neuroscience. 2005;21(8):2073-2082. doi:10.1111/j.1460-9568.2005.04043.x
View | DOI
 

2005 | Journal Article | IST-REx-ID: 2649
Tanaka J, Matsuzaki M, Tarusawa E, et al. Number and density of AMPA receptors in single synapses in immature cerebellum. Journal of Neuroscience. 2005;25(4):799-807. doi:10.1523/JNEUROSCI.4256-04.2005
View | DOI
 

2005 | Journal Article | IST-REx-ID: 2650
Nyíri G, Szabadits E, Cserép C, Mackie K, Shigemoto R, Freund T. GABAB and CB1 cannabinoid receptor expression identifies two types of septal cholinergic neurons. European Journal of Neuroscience. 2005;21(11):3034-3042. doi:10.1111/j.1460-9568.2005.04146.x
View | DOI
 

2005 | Journal Article | IST-REx-ID: 2651
Kanbara K, Okamoto K, Nomura S, et al. Cellular localization of GABA and GABAB receptor subunit proteins during spermiogenesis in rat testis. Journal of Andrology. 2005;26(4):485-493. doi:10.2164/jandrol.04185
View | DOI
 

2005 | Journal Article | IST-REx-ID: 2652
Price C, Cauli B, Kovács E, et al. Neurogliaform neurons form a novel inhibitory network in the hippocampal CA1 area. Journal of Neuroscience. 2005;25(29):6775-6786. doi:10.1523/JNEUROSCI.1135-05.2005
View | DOI
 

2005 | Journal Article | IST-REx-ID: 2653
Hagiwara A, Fukazawa Y, Deguchi Tawarada M, Ohtsuka T, Shigemoto R. Differential distribution of release-related proteins in the hippocampal CA3 area as revealed by freeze-fracture replica labeling. Journal of Comparative Neurology. 2005;489(2):195-216. doi:10.1002/cne.20633
View | DOI
 

2005 | Journal Article | IST-REx-ID: 2654
Ferraguti F, Klausberger T, Cobden P, et al. Metabotropic glutamate receptor 8-expressing nerve terminals target subsets of GABAergic neurons in the hippocampus. Journal of Neuroscience. 2005;25(45):10520-10536. doi:10.1523/JNEUROSCI.2547-05.2005
View | DOI
 

2005 | Journal Article | IST-REx-ID: 2655
Wu Y, Kawakami R, Shinohara Y, et al. Target-cell-specific left-right asymmetry of NMDA receptor content in Schaffer collateral synapses in ε1/NR2A knock-out mice. Journal of Neuroscience. 2005;25(40):9213-9226. doi:10.1523/JNEUROSCI.2134-05.2005
View | DOI
 

2005 | Journal Article | IST-REx-ID: 2656
Feng Y, Li Y, Wang W, et al. Morphological evidence for GABA/glycine-cocontaining terminals in synaptic contact with neurokinin-1 receptor-expressing neurons in the sacral dorsal commissural nucleus of the rat. Neuroscience Letters. 2005;388(3):144-148. doi:10.1016/j.neulet.2005.06.068
View | DOI
 

2005 | Journal Article | IST-REx-ID: 2658
Kaneda K, Tachibana Y, Imanishi M, et al. Down-regulation of metabotropic glutamate receptor 1α in globus pallidus and substantia nigra of parkinsonian monkeys. European Journal of Neuroscience. 2005;22(12):3241-3254. doi:10.1111/j.1460-9568.2005.04488.x
View | DOI
 

2005 | Journal Article | IST-REx-ID: 2743
Erdös L, Hasler D, Solovej J. Existence of the D0-D4 bound state: A detailed proof. Annales Henri Poincare. 2005;6(2):247-267. doi:10.1007/s00023-005-0205-0
View | DOI
 

2005 | Journal Article | IST-REx-ID: 2744
Eng D, Erdös L. The linear Boltzmann equation as the low density limit of a random Schrödinger equation. Reviews in Mathematical Physics. 2005;17(6):669-743. doi:10.1142/S0129055X0500242X
View | DOI
 

Search

Filter Publications