Please note that ISTA 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.
1790 Publications
2004 |Published| 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 |Published| 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 |Published| 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 |Published| Conference Paper | IST-REx-ID: 3208
Maurer U, Pietrzak KZ. Composition of random systems: When two weak make one strong. In: Vol 2951. Springer; 2004:410-427. doi:10.1007/978-3-540-24638-1_23
View
| DOI
2004 |Published| Journal Article | IST-REx-ID: 3617
Barton NH, Etheridge A. The effect of selection on genealogies. Genetics. 2004;166(2):1115-1131. doi:10.1534/genetics.166.2.1115
View
| DOI
2004 |Published| Conference Paper | IST-REx-ID: 3894
Chatterjee K, Majumdar R, Jurdziński M. On Nash equilibria in stochastic games. In: Vol 3210. Springer; 2004:26-40. doi:10.1007/978-3-540-30124-0_6
View
| DOI
2004 |Published| Journal Article | IST-REx-ID: 3419
Janovjak HL, Struckmeier J, Hubain M, Kessler M, Kedrov A, Mueller D. Probing the energy landscape of the membrane protein bacteriorhodopsin. Structure. 2004;12(5):871-879. doi:10.1016/j.str.2004.03.016
View
| DOI
2004 |Published| Journal Article | IST-REx-ID: 3615
Turelli M, Barton NH. Polygenic variation maintained by balancing selection: pleiotropy, sex-dependent allelic effects and GxE interactions. Genetics. 2004;166(2):1053-1079. doi:10.1534/genetics.166.2.1053
View
| DOI
2004 |Published| 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 |Published| 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 |Published| 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 |Published| 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 |Published| 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 |Published| 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 |Published| 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 |Published| Journal Article | IST-REx-ID: 7334
Mantzaras J, Freunberger SA, Büchi FN, et al. Fuel cell modeling and simulations. CHIMIA International Journal for Chemistry. 2004;58(12):857-868. doi:10.2533/000942904777677029
View
| DOI
2004 |Published| Journal Article | IST-REx-ID: 889
Kern A, Kondrashov F. Mechanisms and convergence of compensatory evolution in mammalian mitochondrial tRNAs. Nature Genetics. 2004;36(11):1207-1212. doi:10.1038/ng1451
View
| DOI
2003 |Published| Journal Article | IST-REx-ID: 11764
Goel A, Henzinger MH, Plotkin S, Tardos E. Scheduling data transfers in a network and the set scheduling problem. Journal of Algorithms. 2003;48(2):314-332. doi:10.1016/s0196-6774(03)00054-3
View
| DOI
2003 |Published| Journal Article | IST-REx-ID: 205
Browning TD. Counting rational points on cubic and quartic surfaces. Acta Arithmetica. 2003;108(3):275-295. doi:10.4064/aa108-3-7
View
| DOI
2003 |Published| Journal Article | IST-REx-ID: 206
Browning TD. A note on the distribution of rational points on threefolds. Quarterly Journal of Mathematics. 2003;54(1):33-39. doi:10.1093/qjmath/54.1.33
View
| DOI