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, Luca, Marco Faella, Thomas A Henzinger, Ritankar Majumdar, and Mariëlle Stoelinga. “Model Checking Discounted Temporal Properties.” Theoretical Computer Science. Elsevier, 2005. https://doi.org/10.1016/j.tcs.2005.07.033.
View | DOI
 

2005 | Conference Paper | IST-REx-ID: 575
Hosten, Onur, Matthew Rakher, Julio Barreiro, Nicholas Peters, and Paul Kwiat. “Counterfactual Quantum Computation,” 1:365–67. IEEE, 2005. https://doi.org/ 10.1109/QELS.2005.1548783.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 6153
Bono, Mario de, and Andres Villu Maricq. “Neuronal Substrates of Complex Behaviors in C. Elegans.” Annual Review of Neuroscience. Annual Reviews, 2005. https://doi.org/10.1146/annurev.neuro.27.070203.144259.
View | DOI | PubMed | Europe PMC
 

2005 | Journal Article | IST-REx-ID: 6154
Cheung, Benny H.H., Merav Cohen, Candida Rogers, Onder Albayram, and Mario de Bono. “Experience-Dependent Modulation of C. Elegans Behavior by Ambient Oxygen.” Current Biology. Elsevier, 2005. https://doi.org/10.1016/j.cub.2005.04.017.
View | DOI | PubMed | Europe PMC
 

2005 | Journal Article | IST-REx-ID: 1298
Reiff, Dierk, Alexandra Ihring, Giovanna Guerrero, Ehud Isacoff, Maximilian A Jösch, Junichi Nakai, and Alexander Borst. “In Vivo Performance of Genetically Encoded Indicators of Neural Activity in Flies.” Journal of Neuroscience. Society for Neuroscience, 2005. https://doi.org/10.1523/JNEUROSCI.4900-04.2005.
View | DOI
 

2005 | Book Chapter | IST-REx-ID: 1444 | OA
Hausel, Tamás. “Mirror Symmetry and Langlands Duality in the Non-Abelian Hodge Theory of a Curve.” In Geometric Methods in Algebra and Number Theory, 235:193–217. Springer, 2005. https://doi.org/10.1007/0-8176-4417-2_9.
View | DOI | Download (ext.)
 

2005 | Journal Article | IST-REx-ID: 1447 | OA
Hausel, Tamás. “Quaternionic Geometry of Matroids.” Open Mathematics. Central European Science Journals, 2005. https://doi.org/10.2478/BF02475653.
View | DOI | Download (ext.)
 

2005 | Journal Article | IST-REx-ID: 1463 | OA
Hausel, Tamás, and Nicholas Proudfoot. “Abelianization for Hyperkähler Quotients.” Topology. Elsevier, 2005. https://doi.org/10.1016/j.top.2004.04.002.
View | DOI | Download (ext.)
 

2005 | Journal Article | IST-REx-ID: 893
Jordan, Ingo, Fyodor Kondrashov, Ivan Adzhubeǐ, Yuri Wolf, Eugene Koonin, Alexey Kondrashov, and Shamil Sunyaev. “A Universal Trend of Amino Acid Gain and Loss in Protein Evolution.” Nature. Nature Publishing Group, 2005. https://doi.org/10.1038/nature03306.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 3720
Guzmán, José, Zoltan Gerevich, Jan Hengstler, Peter Illes, and Werner Kleemann. “P2Y1 Receptors Inhibit Both Strength and Plasticity of Glutamatergic Synaptic Neurotransmission in the Rat Prefrontal Cortex.” Synapse. Wiley, 2005. https://doi.org/10.1002/syn.20177.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 3721 | OA
Janovjak, Harald L, Daniel Mueller, and Andrew Humphris. “Molecular Force Modulation Spectroscopy Revealing the Dynamic Response of Single Bacteriorhodopsins.” Biophysical Journal. Biophysical Society, 2005. https://doi.org/10.1529/biophysj.104.052746.
View | DOI | Download (ext.)
 

2005 | Journal Article | IST-REx-ID: 3741 | OA
Slonim, N., G. Atwal, Gašper Tkačik, and William Bialek. “Information-Based Clustering.” PNAS. National Academy of Sciences, 2005. https://doi.org/10.1073/pnas.0507432102.
View | DOI | Download (ext.)
 

2005 | Preprint | IST-REx-ID: 3746 | OA
Slonim, Noam, Gurinder Atwal, Gašper Tkačik, and William Bialek. “Estimating Mutual Information and Multi-Information in Large Networks.” ArXiv. ArXiv, 2005.
View | Download (ext.)
 

2005 | Journal Article | IST-REx-ID: 3753
Le, Thuc, Sébastien Harlepp, Calin C Guet, Kimberly Dittmar, Thierry Emonet, Tao Pan, and Philippe Cluzel. “Real-Time RNA Profiling within a Single Bacterium.” PNAS. National Academy of Sciences, 2005. https://doi.org/10.1073/pnas.0503311102.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 3763
Shi, Lin, Yizhou Yu, Christopher J Wojtan, and Stephen Chenney. “Controllable Motion Synthesis in a Gaseous Medium.” The Visual Computer. Springer, 2005. https://doi.org/10.1007/s00371-005-0296-0.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 3808
Engel, Dominique, and Peter M Jonas. “Presynaptic Action Potential Amplification by Voltage-Gated Na+ Channels in Hippocampal Mossy Fiber Boutons.” Neuron. Elsevier, 2005. https://doi.org/10.1016/j.neuron.2004.12.048 .
View | DOI
 

2005 | Book Review | IST-REx-ID: 3812
Hefft, Stefan, and Peter M Jonas. “Asynchronous GABA Release Generates Long-Lasting Inhibition at a Hippocampal Interneuron-Principal Neuron Synapse (Review).” Nature Neuroscience. Nature Publishing Group, 2005. https://doi.org/10.1038/nn1542.
View | DOI
 

2005 | Conference Paper | IST-REx-ID: 3892
Chatterjee, Krishnendu, Thomas A Henzinger, and Marcin Jurdziński. “Games with Secure Equilibria,” 3657:141–61. Springer, 2005. https://doi.org/10.1007/11561163_7.
View | DOI
 

2005 | Conference Paper | IST-REx-ID: 3893
Chatterjee, Krishnendu. “Two-Player Nonzero-Sum ω-Regular Games,” 3653:413–27. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2005. https://doi.org/10.1007/11539452_32.
View | DOI
 

2005 | Conference Paper | IST-REx-ID: 3896
Chatterjee, Krishnendu, Pallab Dasgupta, and Partha Chakrabarti. “Complexity of Compositional Model Checking of Computation Tree Logic on Simple Structures,” 3326:89–102. Springer, 2005. https://doi.org/10.1007/978-3-540-30536-1_13.
View | DOI
 

Search

Filter Publications