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.
1621 Publications
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
2003 |Published| Journal Article | IST-REx-ID: 208
Browning TD. Counting rational points on diagonal quadratic surfaces. Quarterly Journal of Mathematics. 2003;54(1):11-31. doi:10.1093/qjmath/54.1.11
View
| DOI
2003 |Published| Journal Article | IST-REx-ID: 2628
Momiyama A, Silver R, Häusser M, et al. The density of AMPA receptors activated by a transmitter quantum at the climbing fibre - Purkinje cell synapse in immature rats. Journal of Physiology. 2003;549(1):75-92. doi:10.1113/jphysiol.2002.033472
View
| DOI
2003 |Published| Journal Article | IST-REx-ID: 2631
Higashida H, Zhang J, Mochida S, et al. Subtype-specific coupling with ADP-ribosyl cyclase of metabotropic glutamate receptors in retina, cervical superior ganglion and NG108-15 cells. Journal of Neurochemistry. 2003;85(5):1148-1158. doi:10.1046/j.1471-4159.2003.01751.x
View
| DOI
2003 |Published| Journal Article | IST-REx-ID: 2996
Benková E, Michniewicz M, Sauer M, et al. Local, efflux-dependent auxin gradients as a common module for plant organ formation. Cell. 2003;115(5):591-602. doi:10.1016/S0092-8674(03)00924-3
View
| DOI