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.

1780 Publications


2004 | Journal Article | IST-REx-ID: 2639
J. Somogyi 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, vol. 19, no. 3. Wiley-Blackwell, pp. 552–569, 2004.
View | DOI
 

2004 | Journal Article | IST-REx-ID: 2644
N. Kogo, Y. Dalezios, M. Capogna, F. Ferraguti, R. Shigemoto, and P. Somogyi, “Depression of GABAergic input to identified hippocampal neurons by group III metabotropic glutamate receptors in the rat,” European Journal of Neuroscience, vol. 19, no. 10. Wiley-Blackwell, pp. 2727–2740, 2004.
View | DOI
 

2004 | Journal Article | IST-REx-ID: 2998
M. Duroux, A. Houben, K. Růžička, J. Friml, and K. Grasser, “The chromatin remodelling complex FACT associates with actively transcribed regions of the Arabidopsis genome,” Plant Journal, vol. 40, no. 5. Wiley-Blackwell, pp. 660–671, 2004.
View | DOI
 

2004 | Conference Paper | IST-REx-ID: 3208
U. Maurer and K. Z. Pietrzak, “Composition of random systems: When two weak make one strong,” presented at the TCC: Theory of Cryptography Conference, 2004, vol. 2951, pp. 410–427.
View | DOI
 

2004 | Journal Article | IST-REx-ID: 3617
N. H. Barton and A. Etheridge, “The effect of selection on genealogies,” Genetics, vol. 166, no. 2. Genetics Society of America, pp. 1115–1131, 2004.
View | DOI
 

2004 | Conference Paper | IST-REx-ID: 3894
K. Chatterjee, R. Majumdar, and M. Jurdziński, “On Nash equilibria in stochastic games,” presented at the CSL: Computer Science Logic, 2004, vol. 3210, pp. 26–40.
View | DOI
 

2004 | Journal Article | IST-REx-ID: 3419
H. L. Janovjak, J. Struckmeier, M. Hubain, M. Kessler, A. Kedrov, and D. Mueller, “Probing the energy landscape of the membrane protein bacteriorhodopsin,” Structure, vol. 12, no. 5. Cell Press, pp. 871–879, 2004.
View | DOI
 

2004 | Journal Article | IST-REx-ID: 3615
M. Turelli and N. H. Barton, “Polygenic variation maintained by balancing selection: pleiotropy, sex-dependent allelic effects and GxE interactions,” Genetics, vol. 166, no. 2. Genetics Society of America, pp. 1053–1079, 2004.
View | DOI
 

2004 | Conference Paper | IST-REx-ID: 3988
V. Choi, P. Agarwal, H. Edelsbrunner, and J. Rudolph, “Local search heuristic for rigid protein docking,” presented at the WABI: 4th International Workshop on Algorithms in Bioinformatics, 2004, vol. 3240, pp. 218–229.
View | DOI
 

2004 | Book Chapter | IST-REx-ID: 4461
T. A. Henzinger, R. Jhala, R. Majumdar, and M. Sanvido, “Extreme model checking,” in Verification: Theory and Practice, vol. 2772, Springer, 2004, pp. 332–358.
View | DOI
 

2004 | Conference Paper | IST-REx-ID: 4459
T. A. Henzinger, R. Jhala, and R. Majumdar, “Race checking by context inference,” presented at the PLDI: Programming Languages Design and Implementation, 2004, pp. 1–13.
View | DOI
 

2004 | Conference Paper | IST-REx-ID: 4525
A. Ghosal, T. A. Henzinger, C. Kirsch, and M. Sanvido, “Event-driven programming with logical execution times,” presented at the HSCC: Hybrid Systems - Computation and Control, 2004, vol. 2993, pp. 167–170.
View | DOI
 

2004 | Conference Paper | IST-REx-ID: 4578
D. Beyer, A. Chlipala, T. A. Henzinger, R. Jhala, and R. Majumdar, “The BLAST query language for software verification,” presented at the SAS: Static Analysis Symposium, 2004, vol. 3148, pp. 2–18.
View | DOI
 

2004 | Conference Paper | IST-REx-ID: 4629
L. De Alfaro, M. Faella, T. A. Henzinger, R. Majumdar, and M. Stoelinga, “Model checking discounted temporal properties,” presented at the TACAS: Tools and Algorithms for the Construction and Analysis of Systems, 2004, vol. 2988, pp. 77–92.
View | DOI
 

2004 | Journal Article | IST-REx-ID: 6155
B. H. . Cheung, F. Arellano-Carbajal, I. Rybicki, and M. de Bono, “Soluble guanylate cyclases act in neurons exposed to the body fluid to promote C. elegans aggregation behavior,” Current Biology, vol. 14, no. 12. Elsevier, pp. 1105–1111, 2004.
View | DOI | PubMed | Europe PMC
 

2004 | Journal Article | IST-REx-ID: 7334
J. Mantzaras et al., “Fuel cell modeling and simulations,” CHIMIA International Journal for Chemistry, vol. 58, no. 12. Swiss Chemical Society, pp. 857–868, 2004.
View | DOI
 

2004 | Journal Article | IST-REx-ID: 889
A. Kern and F. Kondrashov, “Mechanisms and convergence of compensatory evolution in mammalian mitochondrial tRNAs,” Nature Genetics, vol. 36, no. 11. Nature Publishing Group, pp. 1207–1212, 2004.
View | DOI
 

2003 | Journal Article | IST-REx-ID: 11764
A. Goel, M. H. Henzinger, S. Plotkin, and E. Tardos, “Scheduling data transfers in a network and the set scheduling problem,” Journal of Algorithms, vol. 48, no. 2. Elsevier, pp. 314–332, 2003.
View | DOI
 

2003 | Journal Article | IST-REx-ID: 205
T. D. Browning, “Counting rational points on cubic and quartic surfaces,” Acta Arithmetica, vol. 108, no. 3. Instytut Matematyczny, pp. 275–295, 2003.
View | DOI
 

2003 | Journal Article | IST-REx-ID: 206
T. D. Browning, “A note on the distribution of rational points on threefolds,” Quarterly Journal of Mathematics, vol. 54, no. 1. Unknown, pp. 33–39, 2003.
View | DOI
 

Filters and Search Terms

isbn%3D978-3-642-40707-9

Search

Filter Publications