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.

6122 Publications


2004 | Conference Paper | IST-REx-ID: 4577
Beyer, Dirk, et al. An Eclipse Plug-in for Model Checking. IEEE, 2004, pp. 251–55, doi:10.1109/WPC.2004.1311069  .
View | DOI
 

2004 | Conference Paper | IST-REx-ID: 4578
Beyer, Dirk, et al. The BLAST Query Language for Software Verification. Vol. 3148, Springer, 2004, pp. 2–18, doi:10.1007/978-3-540-27864-1_2.
View | DOI
 

2004 | Conference Paper | IST-REx-ID: 4581
Beyer, Dirk, et al. Generating Tests from Counterexamples. IEEE, 2004, pp. 326–35, doi:10.1109/ICSE.2004.1317455.
View | DOI
 

2004 | Journal Article | IST-REx-ID: 3805
Jonas, Peter M., et al. “Interneuron Diversity Series: Fast in, Fast out--Temporal and Spatial Signal Processing in Hippocampal Interneurons.” Trends in Neurosciences, vol. 27, no. 1, Elsevier, 2004, pp. 30–40, doi:doi:10.1016/j.tins.2003.10.010.
View | DOI
 

2004 | Journal Article | IST-REx-ID: 3807 | OA
Kampa, Bjorn, et al. “Kinetics of Mg(2+) Unblock of NMDA Receptors: Implications for Spike-Timing Dependent Synaptic Plasticity.” Journal of Physiology, vol. 556, no. Pt 2, Wiley-Blackwell, 2004, pp. 337–45, doi:10.1113/jphysiol.2003.058842 .
View | DOI | Download (ext.)
 

2004 | Book Review | IST-REx-ID: 3595
Charlesworth, Brian, and Nicholas H. Barton. “Genome Size: Does Bigger Mean Worse?” Current Biology, vol. 14, no. 6, Cell Press, 2004, pp. R233–35, doi:10.1016/j.cub.2004.02.054.
View | DOI
 

2004 | Journal Article | IST-REx-ID: 3614
Barton, Nicholas H., and Michael Turelli. “Effects of Allele Frequency Changes on Variance Components under a General Model of Epistasis.” Evolution; International Journal of Organic Evolution, vol. 58, no. 10, Wiley-Blackwell, 2004, pp. 2111–32, doi:10.1111/j.0014-3820.2004.tb01591.x.
View | DOI
 

2004 | Journal Article | IST-REx-ID: 3615
Turelli, Michael, and Nicholas 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, 2004, pp. 1053–79, doi:10.1534/genetics.166.2.1053.
View | DOI
 

2004 | Book Review | IST-REx-ID: 3616
Barton, Nicholas H. “Speciation: Why, How, Where and When?” Current Biology, vol. 14, no. 15, Cell Press, 2004, pp. R603–04, doi:10.1016/j.cub.2004.07.037.
View | DOI
 

2004 | Journal Article | IST-REx-ID: 3617
Barton, Nicholas H., and Alison Etheridge. “The Effect of Selection on Genealogies.” Genetics, vol. 166, no. 2, Genetics Society of America, 2004, pp. 1115–31, doi:10.1534/genetics.166.2.1115.
View | DOI
 

2004 | Journal Article | IST-REx-ID: 3809
Schmidt Hieber, Christoph, et al. “Enhanced Synaptic Plasticity in Newly Generated Granule Cells of the Adult Hippocampus.” Nature, vol. 429, no. 6988, Nature Publishing Group, 2004, pp. 184–87, doi:10.1038/nature02553.
View | DOI
 

2004 | Journal Article | IST-REx-ID: 3810
Oliver, Dominik, et al. “Functional Conversion between A-Type and Delayed Rectifier K+ Channels by Membrane Lipids.” Science, vol. 304, no. 5668, American Association for the Advancement of Science, 2004, pp. 265–70, doi:10.1126/science.1094113.
View | DOI
 

2004 | Conference Paper | IST-REx-ID: 3688
Ulges, Adrian, et al. Document Capture Using Stereo Vision. ACM, 2004, pp. 198–200, doi:10.1145/1030397.1030434.
View | DOI | Download (ext.)
 

2004 | Conference Paper | IST-REx-ID: 3894
Chatterjee, Krishnendu, et al. On Nash Equilibria in Stochastic Games. Vol. 3210, Springer, 2004, pp. 26–40, doi:10.1007/978-3-540-30124-0_6.
View | DOI
 

2004 | Conference Paper | IST-REx-ID: 3895
Chatterjee, Krishnendu, et al. Games with Secure Equilibria. IEEE, 2004, pp. 160–69, doi:10.1109/LICS.2004.1319610.
View | DOI
 

2004 | Journal Article | IST-REx-ID: 3918
Heinze, Jürgen, et al. “Production of Winged and Wingless Males in the Ant, Cardiocondyla Minutior.” Insectes Sociaux, vol. 51, no. 3, Springer, 2004, pp. 275–78, doi:10.1007/s00040-004-0740-6.
View | DOI
 

2004 | Journal Article | IST-REx-ID: 3929
Witte, Vanessa, et al. “HIV-1 Nef Mimics an Integrin Receptor Signal That Recruits the Polycomb Group Protein Eed to the Plasma Membrane.” Molecular Cell, vol. 13, no. 2, Cell Press, 2004, pp. 179–90, doi:10.1016/S1097-2765(04)00004-8.
View | DOI
 

2004 | Journal Article | IST-REx-ID: 3931
Zhang, Hui, et al. “Neurocan-GFP Fusion Protein: A New Approach to Detect Hyaluronan on Tissue Sections and Living Cells.” Journal of Histochemistry and Cytochemistry, vol. 52, no. 7, Histochemical Society, 2004, pp. 915–22, doi:10.1369/jhc.3A6221.2004.
View | DOI
 

2004 | Journal Article | IST-REx-ID: 3984
Bremer, Peer, et al. “A Topological Hierarchy for Functions on Triangulated Surfaces.” IEEE Transactions on Visualization and Computer Graphics, vol. 10, no. 4, IEEE, 2004, pp. 385–96, doi:10.1109/TVCG.2004.3.
View | DOI
 

2004 | Journal Article | IST-REx-ID: 3985
Cole Mclaughlin, Kree, et al. “Loops in Reeb Graphs of 2-Manifolds.” Discrete & Computational Geometry, vol. 32, no. 2, Springer, 2004, pp. 231–44, doi:10.1007/s00454-004-1122-6.
View | DOI
 

Search

Filter Publications