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.

6313 Publications


2005 | Journal Article | IST-REx-ID: 4625
De Alfaro L, Faella M, Henzinger TA, Majumdar R, Stoelinga M. Model checking discounted temporal properties. Theoretical Computer Science. 2005;345(1):139-170. doi:10.1016/j.tcs.2005.07.033
View | DOI
 

2005 | Conference Paper | IST-REx-ID: 575
Hosten O, Rakher M, Barreiro J, Peters N, Kwiat P. Counterfactual quantum computation. In: Vol 1. IEEE; 2005:365-367. doi: 10.1109/QELS.2005.1548783
View | DOI
 

2005 | Journal Article | IST-REx-ID: 6153
de Bono M, Villu Maricq A. Neuronal substrates of complex behaviors in C. elegans. Annual Review of Neuroscience. 2005;28:451-501. doi:10.1146/annurev.neuro.27.070203.144259
View | DOI | PubMed | Europe PMC
 

2005 | Journal Article | IST-REx-ID: 6154
Cheung BHH, Cohen M, Rogers C, Albayram O, de Bono M. Experience-dependent modulation of C. elegans behavior by ambient oxygen. Current Biology. 2005;15(10):905-917. doi:10.1016/j.cub.2005.04.017
View | DOI | PubMed | Europe PMC
 

2005 | Journal Article | IST-REx-ID: 1298
Reiff D, Ihring A, Guerrero G, et al. In vivo performance of genetically encoded indicators of neural activity in flies. Journal of Neuroscience. 2005;25(19):4766-4778. doi:10.1523/JNEUROSCI.4900-04.2005
View | DOI
 

2005 | Book Chapter | IST-REx-ID: 1444 | OA
Hausel T. 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:193-217. doi:10.1007/0-8176-4417-2_9
View | DOI | Download (ext.)
 

2005 | Journal Article | IST-REx-ID: 1447 | OA
Hausel T. Quaternionic geometry of matroids. Open Mathematics. 2005;3(1):26-38. doi:10.2478/BF02475653
View | DOI | Download (ext.)
 

2005 | Journal Article | IST-REx-ID: 1463 | OA
Hausel T, Proudfoot N. Abelianization for hyperkähler quotients. Topology. 2005;44(1):231-248. doi:10.1016/j.top.2004.04.002
View | DOI | Download (ext.)
 

2005 | Journal Article | IST-REx-ID: 893
Jordan I, Kondrashov F, Adzhubeǐ I, et al. A universal trend of amino acid gain and loss in protein evolution. Nature. 2005;433(7026):633-638. doi:10.1038/nature03306
View | DOI
 

2005 | Journal Article | IST-REx-ID: 3720
Guzmán J, Gerevich Z, Hengstler J, Illes P, Kleemann W. P2Y1 receptors inhibit both strength and plasticity of glutamatergic synaptic neurotransmission in the rat prefrontal cortex. Synapse. 2005;57(4):235-238. doi:10.1002/syn.20177
View | DOI
 

2005 | Journal Article | IST-REx-ID: 3721 | OA
Janovjak HL, Mueller D, Humphris A. Molecular force modulation spectroscopy revealing the dynamic response of single bacteriorhodopsins. Biophysical Journal. 2005;88(2):1423-1431. doi:10.1529/biophysj.104.052746
View | DOI | Download (ext.)
 

2005 | Journal Article | IST-REx-ID: 3741 | OA
Slonim N, Atwal G, Tkačik G, Bialek W. Information-based clustering. PNAS. 2005;102(51):18297-18302. doi:10.1073/pnas.0507432102
View | DOI | Download (ext.)
 

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

2005 | Journal Article | IST-REx-ID: 3753
Le T, Harlepp S, Guet CC, et al. Real-time RNA profiling within a single bacterium. PNAS. 2005;102(26):9160-9164. doi:10.1073/pnas.0503311102
View | DOI
 

2005 | Journal Article | IST-REx-ID: 3763
Shi L, Yu Y, Wojtan CJ, Chenney S. Controllable motion synthesis in a gaseous medium. The Visual Computer. 2005;21(7):474-487. doi:10.1007/s00371-005-0296-0
View | DOI
 

2005 | Journal Article | IST-REx-ID: 3808
Engel D, Jonas PM. Presynaptic action potential amplification by voltage-gated Na+ channels in hippocampal mossy fiber boutons. Neuron. 2005;45(3):405-417. doi:10.1016/j.neuron.2004.12.048
View | DOI
 

2005 | Book Review | IST-REx-ID: 3812
Hefft S, Jonas PM. Asynchronous GABA release generates long-lasting inhibition at a hippocampal interneuron-principal neuron synapse (Review). Nature Neuroscience. 2005;8(10):1319-1328. doi:10.1038/nn1542
View | DOI
 

2005 | Conference Paper | IST-REx-ID: 3892
Chatterjee K, Henzinger TA, Jurdziński M. Games with secure equilibria. In: Vol 3657. Springer; 2005:141-161. doi:10.1007/11561163_7
View | DOI
 

2005 | Conference Paper | IST-REx-ID: 3893
Chatterjee K. Two-player nonzero-sum ω-regular games. In: Vol 3653. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2005:413-427. doi:10.1007/11539452_32
View | DOI
 

2005 | Conference Paper | IST-REx-ID: 3896
Chatterjee K, Dasgupta P, Chakrabarti P. Complexity of compositional model checking of computation tree logic on simple structures. In: Vol 3326. Springer; 2005:89-102. doi:10.1007/978-3-540-30536-1_13
View | DOI
 

Search

Filter Publications