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.

6224 Publications


2005 | Conference Paper | IST-REx-ID: 4624
L. De Alfaro and T. A. Henzinger, “Interface-based design,” presented at the Engineering Theories of Software Intensive Systems, 2005, vol. 195, pp. 83–104.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 4625
L. De Alfaro, M. Faella, T. A. Henzinger, R. Majumdar, and M. Stoelinga, “Model checking discounted temporal properties,” Theoretical Computer Science, vol. 345, no. 1. Elsevier, pp. 139–170, 2005.
View | DOI
 

2005 | Conference Paper | IST-REx-ID: 575
O. Hosten, M. Rakher, J. Barreiro, N. Peters, and P. Kwiat, “Counterfactual quantum computation,” presented at the QELS: Quantum Electronics and Laser Science, 2005, vol. 1, pp. 365–367.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 6153
M. de Bono and A. Villu Maricq, “Neuronal substrates of complex behaviors in C. elegans,” Annual Review of Neuroscience, vol. 28. Annual Reviews, pp. 451–501, 2005.
View | DOI | PubMed | Europe PMC
 

2005 | Journal Article | IST-REx-ID: 6154
B. H. H. Cheung, M. Cohen, C. Rogers, O. Albayram, and M. de Bono, “Experience-dependent modulation of C. elegans behavior by ambient oxygen,” Current Biology, vol. 15, no. 10. Elsevier, pp. 905–917, 2005.
View | DOI | PubMed | Europe PMC
 

2005 | Journal Article | IST-REx-ID: 1298
D. Reiff et al., “In vivo performance of genetically encoded indicators of neural activity in flies,” Journal of Neuroscience, vol. 25, no. 19. Society for Neuroscience, pp. 4766–4778, 2005.
View | DOI
 

2005 | Book Chapter | IST-REx-ID: 1444 | OA
T. Hausel, “Mirror symmetry and Langlands duality in the non-Abelian Hodge theory of a curve,” in Geometric Methods in Algebra and Number Theory, vol. 235, Springer, 2005, pp. 193–217.
View | DOI | Download (ext.)
 

2005 | Journal Article | IST-REx-ID: 1447 | OA
T. Hausel, “Quaternionic geometry of matroids,” Open Mathematics, vol. 3, no. 1. Central European Science Journals, pp. 26–38, 2005.
View | DOI | Download (ext.)
 

2005 | Journal Article | IST-REx-ID: 1463 | OA
T. Hausel and N. Proudfoot, “Abelianization for hyperkähler quotients,” Topology, vol. 44, no. 1. Elsevier, pp. 231–248, 2005.
View | DOI | Download (ext.)
 

2005 | Journal Article | IST-REx-ID: 893
I. Jordan et al., “A universal trend of amino acid gain and loss in protein evolution,” Nature, vol. 433, no. 7026. Nature Publishing Group, pp. 633–638, 2005.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 3720
J. Guzmán, Z. Gerevich, J. Hengstler, P. Illes, and W. Kleemann, “P2Y1 receptors inhibit both strength and plasticity of glutamatergic synaptic neurotransmission in the rat prefrontal cortex.,” Synapse, vol. 57, no. 4. Wiley, pp. 235–238, 2005.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 3721 | OA
H. L. Janovjak, D. Mueller, and A. Humphris, “Molecular force modulation spectroscopy revealing the dynamic response of single bacteriorhodopsins,” Biophysical Journal, vol. 88, no. 2. Biophysical Society, pp. 1423–1431, 2005.
View | DOI | Download (ext.)
 

2005 | Journal Article | IST-REx-ID: 3741 | OA
N. Slonim, G. Atwal, G. Tkačik, and W. Bialek, “Information-based clustering,” PNAS, vol. 102, no. 51. National Academy of Sciences, pp. 18297–18302, 2005.
View | DOI | Download (ext.)
 

2005 | Preprint | IST-REx-ID: 3746 | OA
N. Slonim, G. Atwal, G. Tkačik, and W. Bialek, “Estimating mutual information and multi-information in large networks,” ArXiv. ArXiv, pp. 1–11, 2005.
View | Download (ext.)
 

2005 | Journal Article | IST-REx-ID: 3753
T. Le et al., “Real-time RNA profiling within a single bacterium,” PNAS, vol. 102, no. 26. National Academy of Sciences, pp. 9160–9164, 2005.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 3763
L. Shi, Y. Yu, C. J. Wojtan, and S. Chenney, “Controllable motion synthesis in a gaseous medium,” The Visual Computer, vol. 21, no. 7. Springer, pp. 474–487, 2005.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 3808
D. Engel and P. M. Jonas, “Presynaptic action potential amplification by voltage-gated Na+ channels in hippocampal mossy fiber boutons,” Neuron, vol. 45, no. 3. Elsevier, pp. 405–17, 2005.
View | DOI
 

2005 | Book Review | IST-REx-ID: 3812
S. Hefft and P. M. Jonas, “Asynchronous GABA release generates long-lasting inhibition at a hippocampal interneuron-principal neuron synapse (Review),” Nature Neuroscience, vol. 8, no. 10. Nature Publishing Group, pp. 1319–28, 2005.
View | DOI
 

2005 | Conference Paper | IST-REx-ID: 3892
K. Chatterjee, T. A. Henzinger, and M. Jurdziński, “Games with secure equilibria,” presented at the FMCO: Formal Methods for Components and Objects, 2005, vol. 3657, pp. 141–161.
View | DOI
 

2005 | Conference Paper | IST-REx-ID: 3893
K. Chatterjee, “Two-player nonzero-sum ω-regular games,” presented at the CONCUR: Concurrency Theory, 2005, vol. 3653, pp. 413–427.
View | DOI
 

Search

Filter Publications